5.5.2 符号执行技术