2021年1月5日
Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 02 Intermediate Representation
摘要： 程序编译过程 源码首先经过Scanner/Lexer做词法分析成为token stream，接着，再经过parser做语法分析成为AST抽象语法树，对于大多数语言来说，接下来的一步是类型检查Type checker，然后，Translator将经过检查的Decorated AST转化为较底层的表示法 阅读全文
posted @ 2021-01-05 12:53 雪溯 阅读(150) 评论(0) 推荐(0)
Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 01 Intro
摘要： Static Analysis Static analysis analyzes a program P to reason about its behaviors and determines whether it satisfies some properties before running 阅读全文
posted @ 2021-01-05 10:10 雪溯 阅读(93) 评论(0) 推荐(0)