S
S
Static Program Analysis Book
搜索文档…
简介
前言
写在前面
课程介绍与实验进度安排
数据流分析
静态程序分析简介与数据流分析
中间表示
数据流分析上
数据流分析下
过程间分析
过程间分析简介
指针分析
指针分析简介
指针分析进阶
上下文敏感分析(上)
上下文敏感分析(下)
指针分析应用与声明式实现
应用——污点分析
实现——声明式指针分析
其他话题
另一种静态分析框架——IFDS
从Soundness到Soundiness
由
GitBook
提供支持
指针分析进阶
这一部分介绍精度更高的上下文敏感指针分析。
以前
指针分析理论(下)
下一个
上下文敏感分析(上)
最近更新
5mo ago
复制链接