能对几条简单的代码段用符号执行

Question

比如：

a=b;
b=c+1;
c=b;

假如abc的初始状态为xyz

能得到：

a=y

b=z+1

c=z+1

就行

Answer 1

请问什么叫 ”用符号执行“？  你用的什么语言？ 这是字符串操作呢，还是逻辑的操作？