基于南京大学软件分析课程的静态分析基础教程
开始学习 →
涵盖一个自顶向下，然后又自底向上的完整的基础静态分析知识体系。
基于集合论与数理逻辑来阐释关键概念与性质，保持前后记号和术语上的连贯性和一致性。
由于本身就是笔者从学生视角作的笔记形成的教程，对初学者更加友好。
