一个符号执行工具的C++语言扩展

一个符号执行工具的C++语言扩展

出版社：中国科学技术大学

出版年：2018

作者：孙文全

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

使用静态符号执行对C++标准模板库误用的检测

作者：罗季
出版社：中国科学院软件研究所
出版年：2023

基于符号执行和约束求解的程序验证与测试工具

作者：徐辰
出版社：中国科学院
出版年：2002

形状分析符号执行引擎中的状态合并

作者：邓维
出版年：2016

基于动态符号执行的测试用例生成技术研究

作者：董齐兴
出版年：2014

基于符号执行的自动利用生成的设计与实现

作者：王云鹏
出版年：2017

基于符号执行生成测试数据的过程优化

作者：于亚南
出版年：2012