在不实际执行程序的前提下,将程序的输入表示成符号,根据程序的执行流程和输入参数的赋值变化,把程序的输出表示成包含这些符号的逻辑或算术表达式,这种技术被称为( )技术。
符号执行
◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。