公开(公告)号：CN109002713B

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

申请号：CN201810666911.6

申请日：2018-06-26

Applicant: 中国科学院计算技术研究所

Inventor： 朱薪豪 ,  吕方 ,  卢廷玉 ,  冯晓兵 ,  姚鹏飞 ,  黄磊

IPC: G06F21/56 ,  G06F8/41

Abstract: 本发明提供了全局性安全规则检测方法和系统，其中根据设定的全局安全规则在编译器前端从源程序中提取与所述全局安全规则相关的信息并将其保存在与该源程序对应的中间文件中；遍历所有中间文件中保存的信息以检测其是否符合所述全局安全规则；以及响应于检测到不符合所述全局安全规则的信息，发出指示以修改与该信息所在的中间文件对应的源程序。该方法中使得代码的全局安全规则检测可以与代码开发同步进行，能及时检测错误并反馈给各方进行纠正，缩小了错误检测和纠正范围，改善了全局安全规则检测效率，加快了整个项目开发进度。

公开(公告)号：CN109002713A

公开(公告)日：2018-12-14

申请号：CN201810666911.6

申请日：2018-06-26

Applicant: 中国科学院计算技术研究所

Inventor： 朱薪豪 ,  吕方 ,  卢廷玉 ,  冯晓兵 ,  姚鹏飞 ,  黄磊

IPC: G06F21/56 ,  G06F8/41

Abstract: 本发明提供了全局性安全规则检测方法和系统，其中根据设定的全局安全规则在编译器前端从源程序中提取与所述全局安全规则相关的信息并将其保存在与该源程序对应的中间文件中；遍历所有中间文件中保存的信息以检测其是否符合所述全局安全规则；以及响应于检测到不符合所述全局安全规则的信息，发出指示以修改与该信息所在的中间文件对应的源程序。该方法中使得代码的全局安全规则检测可以与代码开发同步进行，能及时检测错误并反馈给各方进行纠正，缩小了错误检测和纠正范围，改善了全局安全规则检测效率，加快了整个项目开发进度。