静态分析的基本概念

Rice’s Theorem “Any non-trivial property of the behavior of progr …