静态程序分析中的上下文敏感性
关于调用点敏感、堆敏感与上下文敏感指针分析的笔记。
日期：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
没有符合条件的文章。