过程内指针分析
文章目录
- 前言
- 过程内指针分析
- 流非敏感指向分析
- 流敏感指向分析
- 其他
前言
视频：北大-软件分析-公开课
文档：课件
简单记录下。
过程内指针分析
指向分析：每个指针变量可能指向的内存位置。
流非敏感指向分析
我们手动对一个程序，进行流非敏感分析。
如何设计一个指向分析算法？
Anderson指向分析算法：约束收集+约束求解
约束收集：
对于上面的例子，产生的约束如下。
将约束转换成标准形式，并进行求解。
流敏感指向分析
和上面过程类似。指针赋值，伴随着数据流，指针分析的转换方程如下所示。
其他
堆上分配的内存：每个malloc()创建一个抽象内存位置。
理结构体的指针分析：域敏感/非敏感分析。
本文来自互联网用户投稿，文章观点仅代表作者本人，不代表本站立场，不承担相关法律责任。如若转载，请注明出处。 如若内容造成侵权/违法违规/事实不符，请点击【内容举报】进行投诉反馈！