首页 > 专利学习

一种基于A-Star的引导型符号执行方法及系统、Android应用程序[发明专利...

专利名称：一种基于A-Star的引导型符号执行方法及系统、Android应用程序

专利类型：发明专利

发明人：孙黎婉

申请号：CN201810437332.4

申请日：20180509

公开号：CN108681672A

公开日：

20181019

专利内容由知识产权出版社提供

摘要：本发明属于计算机漏洞挖掘技术领域，公开了一种基于A‑Star的引导型符号执行方法及系统、Android应用程序，通过A‑Star算法引导程序执行危险区域得到漏洞相关的路径约束条件，采用汇编转换方法将原生库文件翻译并划分为基本块，并利用基本块重用方法和循环简化方法优化符号执行过程，实现对Android原生库漏洞的快速发现和定位问题。本发明采用循环简化方法，在路径遍历过程中，分指定次数循环和无限循环两种情况进行优化，减少循环次数，降低路径约束条件求解的难度。本发明采用基本块重用方法，存储已经分析过的基本块状态，防止符号执行技术重复分析程序中的基本块，减少符号执行时间，提高符号执行效率。

申请人：西安电子科技大学

地址：710071 陕西省西安市太白南路2号西安电子科技大学

国籍：CN

代理机构：西安长和专利代理有限公司

代理人：黄伟洪

本文发布于:2024-09-21 01:28:49，感谢您对本站的认可！

本文链接：https://www.17tex.com/tex/1/460755.html

上一篇：AI写作在智能写专利申请中的应用

下一篇：新能源车辆充电技术专利申请书