首页> 中文会议>2012河南省计算机大会暨学术年会 >符号执行技术研究与展望

符号执行技术研究与展望

页面导航

摘要
著录项
相似文献
相关主题

摘要

符号执行技术出现较早,近些年在软件脆弱性分析领域得到了更多的关注和应用.从介绍符号执行技术的基本原理入手,给出了符号执行的典型算法;从程序状态空间爆炸、程序全局分析和具体符号执行结合三个技术点对单路径符号执行的进展进行了总结;同时,对已出现的应用新型计算模型实现的并行符号执行系统的技术特点进行分析;最后,对符号执行技术的下一步发展趋势和关键技术进行了展望.

著录项

来源
《2012河南省计算机大会暨学术年会》|2012年|1-5|共5页
会议地点开封
作者
Cao Yan; 曹琰; Wang Qingxian; 王清贤;
展开▼
作者单位

河南省计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.52;
关键词
软件脆弱性分析; 符号执行; 单路径; 并行化处理;

相似文献

中文文献
外文文献
专利

1. 控制流污点信息导向的符号执行技术研究 [J] . 黄晖 ,陆余良 ,刘林涛 . 中国科学技术大学学报 . 2016,第001期
2. “十一五”国家科技支撑计划“造纸工业关键技术研究”项目 “混合阔叶材漂白化学热磨机械浆生产应用关键技术研究”课题成果回眸与展望 [J] . 王勇 ,张革仓 ,邵学军 . 造纸信息 . 2012,第2期
3. 情系江河安澜倾心洪旱研究——水利部防洪抗旱减灾工程技术研究中心成立二十周年成果总结与展望 [J] . 吕娟 . 中国防汛抗旱 . 2022,第1期
4. 智慧城市车-站-网一体化运行关键技术研究综述及展望 [J] . 王海鑫 ,袁佳慧 ,陈哲 . 电工技术学报 . 2022,第1期
5. 重组木制造技术研究进展与展望 [J] . 高旭东 ,亓燕然 ,范吉龙 . 木材科学与技术 . 2022,第1期
6. 基于混合符号执行的安全漏洞检测关键技术研究 [C] . ZHANG Junxian ,张俊贤 ,LI Zhoujun . 第七届信息安全漏洞分析与风险评估大会 . 2014
7. 符号执行的覆盖率优化技术研究 [A] . 於家伟 . 2020

符号执行技术研究与展望

摘要

著录项

相似文献

相关主题

期刊订阅