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

比如：

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

假如abc的初始状态为xyz

能得到：

a=y

b=z+1

c=z+1

就行

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

我的问题表述的不是很准确，是能对几条简单的代码段用符号执行吗，原问题少了个吗

我还真是孤陋寡闻了