hero

静态分析

基于南京大学软件分析课程的静态分析基础教程

开始学习 →

内容全面

涵盖一个自顶向下,然后又自底向上的完整的基础静态分析知识体系。

结构严谨

基于集合论与数理逻辑来阐释关键概念与性质,保持前后记号和术语上的连贯性和一致性。

通俗易懂

由于本身就是笔者从学生视角作的笔记形成的教程,对初学者更加友好。