南京大学《软件分析》笔记01 - 静态分析的基本概念
Rice’s Theorem“Any non-trivial property of the behavior of programs in a r.e. language is undecidable.”r.e.(recursively enumerable) = recognizable by a Turing-machine所有我们感兴趣的,需要静态分析的部分,都是non-trivial的。这句话的意思就是,没有一个完美的静态分析算法可以对一个non-trivial的程序给出一个绝对准确的
原创
2022-01-27 14:58:57 ·
1696 阅读 ·
1 评论