[1] Course Introduction

静态分析能做什么

但是,rice定理，表明，不存在准确的静态分析去分析出这些问题是Yes or No.

Rice 定理

就是说，任何non-trivial的性质(比如:有没有空指针)都是不能完美的去静态分析.

在实际的静态分析中，基本都是要做到Sound,就是比较宽松，允许漏报bug.

为什么必须保证Soundness

保证Soundness，其实就是保证你的静态分析是正确的，只有真的存在的bug才会被找出来