摘要：
程序编译过程 源码首先经过Scanner/Lexer做词法分析成为token stream，接着，再经过parser做语法分析成为AST抽象语法树，对于大多数语言来说，接下来的一步是类型检查Type checker，然后，Translator将经过检查的Decorated AST转化为较底层的表示法 阅读全文
摘要：
Static Analysis Static analysis analyzes a program P to reason about its behaviors and determines whether it satisfies some properties before running 阅读全文