-
公开(公告)号：CN106502912A
公开(公告)日：2017-03-15
申请号：CN201610994150.8
申请日：2016-10-31
Applicant: 电子科技大学
CPC classification number: G06F11/3676 , G06F11/3688 , G06F21/577 , G06F2221/033
Abstract: 用于漏洞发掘的动态符号执行可视化方法，本发明涉及符号执行可视化技术领域，解决现有技术在漏洞发掘过程中符号执行不能够动态呈现，难于克服代码覆盖瓶颈导致的遍历效率低等技术问题。本发明主要包括启动漏洞挖掘工具和符号执行可视化工具；将符号执行可视化工具置于等待调用状态并执行漏洞挖掘工具至分支点；由漏洞挖掘工具调用符号执行可视化工具的符号执行树绘制模块构建出分支节点，再由漏洞挖掘工具发送分支信息至分支节点；利用符号执行可视化工具的数据统计模块更新当前所有分支节点的总体统计数据；在总体统计数据中，根据调用数据和分支信息，由符号执行树绘制模块创建下一次分支节点并设置其位置。本发明用于符合执行可视化。
-
公开(公告)号：CN106502912B
公开(公告)日：2019-01-08
申请号：CN201610994150.8
申请日：2016-10-31
Applicant: 电子科技大学
Abstract: 用于漏洞发掘的动态符号执行可视化方法，本发明涉及符号执行可视化技术领域，解决现有技术在漏洞发掘过程中符号执行不能够动态呈现，难于克服代码覆盖瓶颈导致的遍历效率低等技术问题。本发明主要包括启动漏洞挖掘工具和符号执行可视化工具；将符号执行可视化工具置于等待调用状态并执行漏洞挖掘工具至分支点；由漏洞挖掘工具调用符号执行可视化工具的符号执行树绘制模块构建出分支节点，再由漏洞挖掘工具发送分支信息至分支节点；利用符号执行可视化工具的数据统计模块更新当前所有分支节点的总体统计数据；在总体统计数据中，根据调用数据和分支信息，由符号执行树绘制模块创建下一次分支节点并设置其位置。本发明用于符合执行可视化。
-
公开(公告)号：CN105095079B
公开(公告)日：2018-01-12
申请号：CN201510444041.4
申请日：2015-07-27
Applicant: 电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种热点模块指令跟踪的方法及设备，属于软件分析技术领域。本发明提供的方法首先标记用户感兴趣的页，当线程访问热点模块将触发PAGE_GUARD异常，触发调试器进行处理；然后调试器设置所有线程单步调试，并把该页页号加入恢复链表，触发PAGE_GUARD异常的页会自动丢失PAGE_GUARD属性，最后在当前执行线程中分析执行指令所在地址是否位于感兴趣的页进行相应操作。该发明使用PAGE_GUARD属性标识热点模块和有限单步调试来跟踪模块指令执行，实现了热点模块指令跟踪的完备性，避免了单纯断点跟踪的非完备性问题和复杂性问题，也避免了单纯指令跟踪的效率低下问题。
-
公开(公告)号：CN105095079A
公开(公告)日：2015-11-25
申请号：CN201510444041.4
申请日：2015-07-27
Applicant: 电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种热点模块指令跟踪的方法及设备，属于软件分析技术领域。本发明提供的方法首先标记用户感兴趣的页，当线程访问热点模块将触发PAGE_GUARD异常，触发调试器进行处理；然后调试器设置所有线程单步调试，并把该页页号加入恢复链表，触发PAGE_GUARD异常的页会自动丢失PAGE_GUARD属性，最后在当前执行线程中分析执行指令所在地址是否位于感兴趣的页进行相应操作。该发明使用PAGE_GUARD属性标识热点模块和有限单步调试来跟踪模块指令执行，实现了热点模块指令跟踪的完备性，避免了单纯断点跟踪的非完备性问题和复杂性问题，也避免了单纯指令跟踪的效率低下问题。
-
-
-
Search Results
4
records
(took 0.016 seconds)
