静态程序分析中的上下文敏感性
关于调用点敏感、堆敏感与上下文敏感指针分析的笔记。
日期:2024年12月1日 | 预计阅读:4 分钟 | 作者:Zifeng Xiong
关于调用点敏感、堆敏感与上下文敏感指针分析的笔记。
日期:2024年12月1日 | 预计阅读:4 分钟 | 作者:Zifeng Xiong
理解调用图构建与基于指针分析的过程间分析。
日期:2024年11月1日 | 预计阅读:9 分钟 | 作者:Zifeng Xiong
数据流分析核心概念与实践规则梳理。
日期:2024年10月1日 | 预计阅读:3 分钟 | 作者:Zifeng Xiong
编译器 IR、Jimple 示例、SSA 与 CFG 思路总结。
日期:2024年9月15日 | 预计阅读:3 分钟 | 作者:Zifeng Xiong
静态分析的意义与健全性、完备性核心概念。
日期:2024年9月1日 | 预计阅读:3 分钟 | 作者:Zifeng Xiong