一种符号执行方法、装置及系统

    公开(公告)号:CN103019862B

    公开(公告)日:2015-08-19

    申请号:CN201210540027.0

    申请日:2012-12-13

    Abstract: 本发明公开了一种符号执行方法、装置及系统,主要内容包括:应用于包含负载均衡器和至少两个控制器的系统中,控制器执行待测试程序中的某条路径的同时将待测试程序中与该路径相关的路径进行分解,生成路径种子,并将生成的路径种子发送至负载均衡器,由负载均衡器将路径种子分发给多个空闲的控制器。通过本发明实施例的方案,一方面由于采用了分布式并行方式对待测试程序进行符号执行分析,有效解决了基于生成的符号执行中遇到的路径爆炸问题;另一方面,负载均衡器仅需保存路径种子,占用的内存资源较少,且每个分布式控制器在执行完本次的符号执行任务后就释放了占用的内存资源,因此有效地解决了资源耗尽问题。

    进程行为分析方法及系统

    公开(公告)号:CN103164649A

    公开(公告)日:2013-06-19

    申请号:CN201310052560.7

    申请日:2013-02-18

    Abstract: 本发明公开了一种进程行为分析方法及系统,其中进程行为分析方法,包括:获取对预设的敏感进程进行监控的监控记录数据;根据所述监控记录数据模拟重现监控过程中的句柄、进程和线程,获取分别与所述句柄、进程和线程对应的虚拟表项,所述虚拟表项记录敏感进程创建的句柄、进程和线程及对应的属性;设定敏感进程的相关进程,根据所述虚拟表项将相关进程对应的句柄、进程和线程操作及对应的属性关联到敏感进程的进程行为分析结果中。本发明对与一个进程相关的所有进程的行为进行全面地分析,提高进程行为分析的质量效率。

    一种符号执行方法、装置及系统

    公开(公告)号:CN103019862A

    公开(公告)日:2013-04-03

    申请号:CN201210540027.0

    申请日:2012-12-13

    Abstract: 本发明公开了一种符号执行方法、装置及系统,主要内容包括:应用于包含负载均衡器和至少两个控制器的系统中,控制器执行待测试程序中的某条路径的同时将待测试程序中与该路径相关的路径进行分解,生成路径种子,并将生成的路径种子发送至负载均衡器,由负载均衡器将路径种子分发给多个空闲的控制器。通过本发明实施例的方案,一方面由于采用了分布式并行方式对待测试程序进行符号执行分析,有效解决了基于生成的符号执行中遇到的路径爆炸问题;另一方面,负载均衡器仅需保存路径种子,占用的内存资源较少,且每个分布式控制器在执行完本次的符号执行任务后就释放了占用的内存资源,因此有效地解决了资源耗尽问题。

    进程行为分析方法及系统

    公开(公告)号:CN103164649B

    公开(公告)日:2016-08-17

    申请号:CN201310052560.7

    申请日:2013-02-18

    Abstract: 本发明公开了一种进程行为分析方法及系统,其中进程行为分析方法,包括:获取对预设的敏感进程进行监控的监控记录数据;根据所述监控记录数据模拟重现监控过程中的句柄、进程和线程,获取分别与所述句柄、进程和线程对应的虚拟表项,所述虚拟表项记录敏感进程创建的句柄、进程和线程及对应的属性;设定敏感进程的相关进程,根据所述虚拟表项将相关进程对应的句柄、进程和线程操作及对应的属性关联到敏感进程的进程行为分析结果中。本发明对与一个进程相关的所有进程的行为进行全面地分析,提高进程行为分析的质量效率。

Patent Agency Ranking