公开(公告)号：CN103914372B

公开(公告)日：2017-11-10

申请号：CN201210593048.9

申请日：2012-12-31

Applicant: 北京启明星辰信息技术股份有限公司 ,  北京启明星辰信息安全技术有限公司

Inventor： 孙薇 ,  梁彬 ,  边攀

IPC: G06F11/36

Abstract: 本发明提供了一种基于程序切片的代码缺陷静态检测的并行化方法及装置，其中，该基于程序切片的代码缺陷静态检测的并行化方法包括：利用程序切片技术，将检测对象切分成多个相互独立的子对象；以及，并行执行对各子对象的代码缺陷静态检测。本发明利用程序切片技术将待检测对象划分成多个相互独立的子对象；这些子对象的检测过程互不干扰，可以并行执行对各子对象的代码缺陷静态检测，从而提高静态检测的效率和精度。

公开(公告)号：CN103914372A

公开(公告)日：2014-07-09

申请号：CN201210593048.9

申请日：2012-12-31

Applicant: 北京启明星辰信息技术股份有限公司 ,  北京启明星辰信息安全技术有限公司

Inventor： 孙薇 ,  梁彬 ,  边攀

IPC: G06F11/36

Abstract: 本发明提供了一种基于程序切片的代码缺陷静态检测的并行化方法及装置，其中，该基于程序切片的代码缺陷静态检测的并行化方法包括：利用程序切片技术，将检测对象切分成多个相互独立的子对象；以及，并行执行对各子对象的代码缺陷静态检测。本发明利用程序切片技术将待检测对象划分成多个相互独立的子对象；这些子对象的检测过程互不干扰，可以并行执行对各子对象的代码缺陷静态检测，从而提高静态检测的效率和精度。