摘要：静态分析：在程序运行前，编译时分析程序的可靠性，安全性等。 程序分析的目的：可靠性，安全性，编译优化，程序理解 不存在sound和complete的分析 soundness:保证覆盖所有的路径 在精度和速度之间，做一个有效的平衡。 编译器：将程序员写的高级source code 翻译成机器语言mac 阅读全文