实现中的静态分析与符号执行

Question

静态分析的实现和符号执行有什么区别？

Answer 1

我真的很喜欢Julian Cohen 的当代自动程序分析演讲中的这张幻灯片。简而言之，人们喜欢将程序分析分为静态分析和动态分析两大类。但程序分析技术的范围确实很广，从静态到动态，从手动到全自动。符号执行是一种有趣的技术，介于静态分析和动态分析之间，通常作为全自动方法应用。