静态分析：soundiness
Soundness and Soundiness
-
到现在为止：学术界+工业界的静态分析都做不到完全的 sound
-
因为存在难以分析的特征：对这些特征的激进保守处理可能会使分析过于不精确而无法扩展，从而使分析无用
...
静态分析：IFDS
Feasible and Realizable Paths
- 不可行路径（infeasible path）： CFG 中在程序实际运行时不会执行到的路径
- 我们希望程序分析结果不会被不可行路径污染，或尽可能少被污染
- 但是，给定一条路径，确定它...
静态程序分析介绍
PL and Static Analysis（程序设计语言与静态分析）
关系图：
| Programming Languages（程序设计语言） | ... Read More
|---|