摘要：
这里的DFA可不是有限状态自动机（ Data Flow Analysis 这一部分是比较重的重点...要好好看 或许需要补一补lattice(事实证明这一部分非常简单...) Data Flow Analysis 实际是要通过 How Application-Specific Data Flows 阅读全文
摘要：
术语 IR = Intermediate Representation 代码的中间形式 AST = Abstract Semantic Tree 抽象语法树 IR 上节讲到的同态映射需要一个具体的载体,类比我们常常将n维线性空间同构到R^n上考虑,这里就引入了IR IR也是一种语言，可以作任意语言到 阅读全文
摘要：
决定要好好开干了，于是有了这个系列的笔记 真是绝了，我连淑芬都没有专门的笔记 回想上学期的考试周开了CSAPP的大锅，这次考试周开了软件分析的大锅，考试周真是除了考试都好玩 术语 PLT = Programming language theory 编程语言理论 Static Analysis 静态分 阅读全文