摘要: 符号跟踪是沿程序执行通路出现的源语句和分枝判定的线性表。实质上,它代表在代码初排过程中或进行符号执行时,由程序员检查的程序部件的顺序。因此,它可以使程序易于调试和检验,并可用于证明程序的某些特性,如Howden所述。