静态分析(Static Analysis) 是指在实际运行程序P之前,通过分析静态程序P本身来推测程序的行为,并判断程序是否满足某些特定的 性质(Property)。数据流分析作为静态分析的一种,可以解决程序分析中的一些问题,如存活变量分析。

Read More