静态分析
基于南京大学软件分析课程的静态分析基础教程
内容全面
涵盖一个自顶向下,然后又自底向上的完整的基础静态分析知识体系。
结构严谨
基于集合论与数理逻辑来阐释关键概念与性质,保持前后记号和术语上的连贯性和一致性。
通俗易懂
由于本身就是笔者从学生视角作的笔记形成的教程,对初学者更加友好。
基于南京大学软件分析课程的静态分析基础教程
涵盖一个自顶向下,然后又自底向上的完整的基础静态分析知识体系。
基于集合论与数理逻辑来阐释关键概念与性质,保持前后记号和术语上的连贯性和一致性。
由于本身就是笔者从学生视角作的笔记形成的教程,对初学者更加友好。
Copyright © 2023 崔家才
本作品采用知识共享署名-非商业性使用-相同方式共享 4.0 国际许可协议进行许可。