公开(公告)号：CN111159022A

公开(公告)日：2020-05-15

申请号：CN201911329257.0

申请日：2019-12-20

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  余娜 ,  江云松 ,  王峥 ,  李超 ,  贾春鹏 ,  肖志恒 ,  丁戈 ,  李杨 ,  吴瑾 ,  杨帆

IPC: G06F11/36

Abstract: 本发明实施例提供了一种基于单变量访问序模式的中断数据访问冲突检测方法及装置。所述方法包括：获取多个源文件；对每个所述源文件的函数进行可达访问分析，生成每个所述源文件的可达访问图；使用所述多个源文件的函数调用关系和各所述源文件的函数摘要，更新各所述可达访问图；遍历各更新后的可达访问图，匹配单变量访问序模式，得到中断数据访问冲突检测结果。本发明实施例对单文件进行独立分析，避免了跨文件的分析时在不同文件交替分析，减小了内存占用的峰值，可适用于大规模程序。

公开(公告)号：CN109388573A

公开(公告)日：2019-02-26

申请号：CN201811232920.0

申请日：2018-10-23

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  贾春鹏 ,  余娜 ,  高栋栋 ,  高猛 ,  杨帆 ,  左万娟 ,  郭华 ,  郑小萌 ,  孙民

IPC: G06F11/36

Abstract: 本发明公开了一种无漏报的中断驱动型程序运行时错误检测方法和系统。该方法，包括：对待处理程序进行抽象处理，得到用抽象数值表达的抽象程序；根据所述抽象程序，建立共享变量数值抽象集；对所述共享变量数值抽象集进行解析，得到中断间干扰集；根据所述中断间干扰集进行模块化分析，得到模块化分析结果；根据所述模块化分析结果，遍历所述抽象程序，得到遍历结果，并根据遍历结果确定待处理程序是否存在运行时错误。本发明降低了运行时错误检测对测试人员经验和能力的依赖，提高了高安全要求软件开发和测试的效率，提升了软件的安全性。

公开(公告)号：CN109388573B

公开(公告)日：2022-03-04

申请号：CN201811232920.0

申请日：2018-10-23

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  贾春鹏 ,  余娜 ,  高栋栋 ,  高猛 ,  杨帆 ,  左万娟 ,  郭华 ,  郑小萌 ,  孙民

IPC: G06F11/36

Abstract: 本发明公开了一种无漏报的中断驱动型程序运行时错误检测方法和系统。该方法，包括：对待处理程序进行抽象处理，得到用抽象数值表达的抽象程序；根据所述抽象程序，建立共享变量数值抽象集；对所述共享变量数值抽象集进行解析，得到中断间干扰集；根据所述中断间干扰集进行模块化分析，得到模块化分析结果；根据所述模块化分析结果，遍历所述抽象程序，得到遍历结果，并根据遍历结果确定待处理程序是否存在运行时错误。本发明降低了运行时错误检测对测试人员经验和能力的依赖，提高了高安全要求软件开发和测试的效率，提升了软件的安全性。

公开(公告)号：CN111159022B

公开(公告)日：2023-05-02

申请号：CN201911329257.0

申请日：2019-12-20

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  余娜 ,  江云松 ,  王峥 ,  李超 ,  贾春鹏 ,  肖志恒 ,  丁戈 ,  李杨 ,  吴瑾 ,  杨帆

IPC: G06F11/36

Abstract: 本发明实施例提供了一种基于单变量访问序模式的中断数据访问冲突检测方法及装置。所述方法包括：获取多个源文件；对每个所述源文件的函数进行可达访问分析，生成每个所述源文件的可达访问图；使用所述多个源文件的函数调用关系和各所述源文件的函数摘要，更新各所述可达访问图；遍历各更新后的可达访问图，匹配单变量访问序模式，得到中断数据访问冲突检测结果。本发明实施例对单文件进行独立分析，避免了跨文件的分析时在不同文件交替分析，减小了内存占用的峰值，可适用于大规模程序。