符号执行
符号执行
符号执行，即使用符号值代替真实值执行，是当下较为火的方向之一，在
软件测试
等领域有很好的应用前景，目前学术研究已经相对成熟，很多企业以及科研机构都在积极尝试将符号执行技术用于产品中。
正文
符号执行根据发展状况可以分为传统的符号执行、动态符号执行和选择性符号执行。
传统的符号执行并不真实的执行，而是通过解析程序通过符号值模拟执行。
动态符号执行结合了真实执行和传统符号执行技术的优点，在真实执行的过程中同时进行符号执行。
选择性符号执行可以对程序员感兴趣的部分进行符号执行，其它的部分使用真实值执行，代表工具S2E。
参考资料
Warning
: Invalid argument supplied for foreach() in
/www/wwwroot/newbaike1.com/id.php
on line
362
条目作者
小编
资深百科编辑
目录
概述
正文
参考资料
Copyright©2024
技术支持
国金词典