静态分析的不确定性

程序的静态分析对于任何需要有关程序语义的编译时信息的软件工具、环境或系统来说都是不可或缺的。随着C和LISP等语言的出现，具有动态存储和递归数据结构的程序的静态分析已成为一个积极研究的领域。这种分析很困难，统计分析界已经认识到需要简化假设和近似解。然而，即使在一般的简化假设下，这种分析也比以前认识到的要困难。两个基本的静态分析问题是可能别名和必然别名。前者不是递归的（不可判定的），而后者不是递归可枚举的（不可变的），即使在使用if语句、循环、动态存储和递归数据结构分析语言的程序中，所有路径都是可执行的。