静态分析能做什么
但是,rice定理
,表明,不存在准确的静态分析去分析出这些问题是Yes or No.
Rice 定理
就是说,任何non-trivial的性质(比如:有没有空指针)都是不能完美的去静态分析.
在实际的静态分析中,基本都是要做到Sound,就是比较宽松,允许漏报bug.
为什么必须保证Soundness
保证Soundness,其实就是保证你的静态分析是正确的,只有真的存在的bug才会被找出来
但是,rice定理
,表明,不存在准确的静态分析去分析出这些问题是Yes or No.
就是说,任何non-trivial的性质(比如:有没有空指针)都是不能完美的去静态分析.
在实际的静态分析中,基本都是要做到Sound,就是比较宽松,允许漏报bug.
保证Soundness,其实就是保证你的静态分析是正确的,只有真的存在的bug才会被找出来
友情链接: