基于程序切片的代码缺陷静态检测的并行化方法及装置

摘要

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