12.1 符号执行概述