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