2.3 符号执行