-
公开(公告)号：CN102289362A
公开(公告)日：2011-12-21
申请号：CN201110249700.0
申请日：2011-08-26
Applicant: 北京邮电大学
Abstract: 一种分段符号执行装置及其工作方法，装置设有：语言翻译、指令指针，指令解析和符号执行器，符号化对象，符号化内存，内部状态，约束求解器和实际执行进程控制与交互器等模块，采用PYTE语言和能解析该语言的虚拟机，支持对数据类型和调用关系都复杂的程序进行符号执行；且在符号执行时，对函数参数划分IO属性和对程序分段，缓解路径爆炸，使得对大程序的符号执行时间与其规模的关联程度降低为正比例相关；还通过结合实际执行，避免符号分段执行的结果不精确；并对实际执行中的路径条件进行约束求解，判断是否符合执行条件，提高路径遍历的覆盖率，以及程序分析和测试结果的准确率，使得在实际系统的运行环境下，对大程序的符号执行技术达到实用化。
Search Results
1
records
(took 0.016 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
