符号执行就是不用具体的值去执行程序，而是选用“符号化”的变量来执行程序，这些“符号化”的变量并不代表一个具体的值，而是代表了一类具有相同特征的值。 如下图所示，我们将一个“符号化”的变量a里面的存储的值，我们用X表示。我们将a传入函数foo ...