指向分析/指针分析（Pointer analysis）

最新推荐文章于 2021-12-16 16:03:30 发布
最新推荐文章于 2021-12-16 16:03:30 发布
阅读量2k 收藏 2
点赞数
分类专栏： 代码安全 文章标签： 指向分析 SAST 安全检测
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/manok/article/details/89740562
版权

在基于SAST的静态分析工具中，指向分析是经常采用的分析技术。指向分析怎么理解呢？

指向分析是一种用于分析指针和内存引用所指向的变量或内存地址的静态代码分析技术。指向分析技术是很多更为复杂的代码分析技术的基础，例如编译优化，代码缺陷检测以及指针修改影响分析。

指向分析，是指通过对源程序的分析近似地求出源程序中指针表达式所指向的目标。

指向分析紧接数据流分析，是静态分析中的一个难点。对于任何一个指针／引用，能否在编译阶段就知道它会指向内存那块位置(位置在这里并不是0xFFFF这样的具体位置，而是说指向哪个stack/heap上local/object)呢？ 我们不能对任何指针都准确的分析出它会确切指向哪。但这不妨碍我们求出近似解，从而在某些情况下能作出优化。 因此我们把问题转化为: 对于任何一个任何指针，能否在编译阶段知道它所有可能(may)指向的位置?

manok
关注
  • 0
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
指针分析工具
01-18
野指针分析使用gflags工具；内存泄露工具是visual leak detect库，vld只能用于vs2008及更高版本。
指针分析(一)
weixin_34123613的博客
03-10 163
指针，一直是C语言最难的话题，不通指针，不敢说自己熟悉C语言。那么就按照我个人的理解来说一下指针吧，如果还看不懂，那就没办法了，因为我的理解程度能够帮你以最清晰的角度去理解指针： 在32位操作系统下，不管是什么类型的指针，指针变量在该环境下占4个byte。 还要区分一个概念：野指针，什么是野指针？也就是没有具体的指向。 比如: Int *p ; *p ...
指针分析
IOT_SONG的博客
04-01 658
#include <stdio.h>int main(int argc, char const *argv[]){ int   a = 100; int (*p1); p1 = &a; a  = 1000; *p1 = 1000; //////////////////// char  ch = 'w'; char (*p2); p2 = &ch; ch  = 'x';...
指针分析/Point-to Analysis/Reference Analysis
翾昱
11-21 7480
目录目录 指针分析 指针分析的目的 基础 Anderson 算法 例子 图示 指针分析指针分析紧接数据流分析，是静态分析中的一个难点。遗憾的是能把相关内容讲得通俗易懂的资料非常少，中文的更基本没有。所以我斗胆在这里以例子的形式讲一下静态分析中的指针分析。参考资料主要在此. 如果有讲错的地方还望斧正。指针分析的目的对于任何一个指针／引用，能否在编译阶段就知道它会指向内存那块位置(位置在这里并不是0x
soot数据流 -- 指向分析（points-to）
课桌
11-30 4509
一、基本的介绍1.指向分析的目标给定一个变量的函数，计算其可能的类型，指向信息。 2.意义：指向分析为其他的分析提供了支持。（比如，别名分析（Alias analysis），以及提高call graph的准确度） 3.构建框架3.1.必要的接口 soot提供了PointsToAnalysis ，PointsToSet接口。任何一个指向的分析都应该实现这两个接口。 PointsToAnalysi
c++智能指针weak-ptr源码分析
06-15
c++智能指针weak-ptr源码分析
详细分析c++ const 指针与指向const的指针
08-18
主要介绍了c++ const 指针与指向const的指针的相关资料，文中示例代码非常详细，帮助大家更好的理解和学习，感兴趣的朋友可以了解下
Java指针指向分析优化.pdf
最新发布
12-27
Java指针指向分析优化
指针指向分析
02-16
一种基于稀数据流的指针分析，用于内存泄漏缺陷发现
指向分析的有效方法
02-26
指向分析的有效方法
深刻理解指针类型
应用即网络
08-20 744
指针分析 Pointer Analysis
Dong_HFUT的博客
12-16 3142
本文为Andersen-style pointer analysis学习笔记。
指针详细分析
遗失的角落的博客
06-13 417
一.指针的概念  指针是一个特殊的变量，它里面存储的数值被解释成为内存里的一个地址。  要搞清一个指针需要搞清指针的四方面的内容： 指针的类型， 指针所指向的类型， 指针的值或者叫指针所指向的内存区， 指针本身所占据的内存区。 例一：  (1)int *ptr;  (2)char *ptr;  (3)int **ptr;  (4)int (*p
指针解析
JIWilliams
12-06 158
char a; char *b; char **c； a = 'a'; b = &a; c = &b; printf("a的值（a）:%c\n",a); printf("a的地址（&a）:%p\n\n",&a); printf("b的值（b）:%p\n",b); printf("b的地址（&b）:%p\n",&b); printf(
指针的本质分析
一万HOURS的知识库
11-27 317
1 变量的回顾程序中的变量只是一段存储空间的别名，那么是不是必须通过这个别名才能使用这段存储空间？思考： 2 *号的意义 在指针声明时，*号表示所声明的变量为指针。 在指针使用时，*号表示取指针所指向的内存空间中的值。 实例分析：指针使用示例#include <stdio.h>int main() { int i = 0; int* pI; char* pC; f
C语言指针分析
weixin_30443747的博客
02-16 65
/*************1*************/ int p; //p是一个普通的整型变量。 /*************2*************/ int *p; //p与*结合，说明p是一个指针。 //*p与int结合，说明指针所指向的内容的类型是整型的。 //所以p是一个返回整型数据的指针。 /*************3**...
struct lnode *next;// 指针指向下一个结点
09-19
// 指针指向下一个结点。 这段代码是C语言中定义一个结构体的成员变量，成员变量名为next，类型为struct lnode *。struct lnode *表示指向struct lnode类型的指针，也就是指向一个节点的指针。 这个结构体成员变量...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

manok

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值