资料下载
×
精准执行可达性分析
消耗积分:1 |
格式:rar |
大小:0.61 MB |
2017-12-19
分享资料个
精准执行可达性分析探究计算机程序状态之间的可达性关系，通过分析软件的文档、源代码或二进制程序并进行必要测试验证。以求出在既定限制下从初始状态到特定代码位置的目标状态的准确触发输入和执行路径．精准执行可达性分析在定向测试、静态分析结果核验、错误复现和漏洞POC构造等领域均有广泛应用．本文对近年来国内外学者在该研究领域取得的相关研究成果进行了系统的分析、提炼和总结．首先，指出了精准执行可达性分析对应的约束求解问题，以双向符号分析和程序归纳为主线介绍了其主要研究方法，讨论了相关技术难点．其次，对目前已经存在的精准执行可达性应用进行了分类分析．进而。指出精准执行可达性分析应用中程序分析、归纳和约束求解等方面存在的挑战．最后。对可能的解决办法以及未来发展方向进行了展望．
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
