-
公开(公告)号：CN112817787A
公开(公告)日：2021-05-18
申请号：CN202110119762.3
申请日：2021-01-28
Applicant: 南京大学
Abstract: 本发明提出中断嵌入式系统数据竞争的自动检测方法，该方法第一步对被检测代码进行静态分析，基于程序值流以及潜在并发关系分析，识别针对共享资源的潜在并发访问关系，并据此报告潜在数据竞争警报；第二步，针对第一步静态分析报告的数据竞争警报，基于制导符号执行探索数据竞争相关程序路径，排除约束矛盾的路径，基于可解约束生成能触发数据竞争的测试用例，报告可行的数据竞争；最后，针对第二步报告的可行数据竞争及其测试用例，基于仿真平台构建被检测代码所需的硬软件运行时支撑，根据执行测试用例触发的数据竞争，从而报告确认的数据竞争。上述方法也可以检测多线程程序的数据竞争缺陷。
-
公开(公告)号：CN105809039B
公开(公告)日：2018-07-27
申请号：CN201610122116.1
申请日：2016-03-04
Applicant: 南京大学
Abstract: 本发明是种缓冲区溢出漏洞自动修复方法,基于缓冲区溢出模型,自动修复程序中已知的缓冲区溢出漏洞。首先读取并解析已经通过确认过的缓冲区溢出信息文件,该文件包含缓冲区溢出漏洞的源文件名、溢出漏洞代码所在的行号、溢出漏洞代码所使用的API,根据缓冲区溢出漏洞的位置信息得到缓冲区溢出漏洞修复的位置,根据缓冲区溢出漏洞代码所使用的API,以及缓冲区溢出模型得到相应的缓冲区溢出漏洞修复策略;定位到缓冲区溢出漏洞代码的位置,提取函数调用的参数信息;根据提取出的函数调用的参数信息和使用的API,构造出修复代码插桩到源代码中完成修复。
-
公开(公告)号：CN112817787B
公开(公告)日：2023-03-10
申请号：CN202110119762.3
申请日：2021-01-28
Applicant: 南京大学
Abstract: 本发明提出中断嵌入式系统数据竞争的自动检测方法，该方法第一步对被检测代码进行静态分析，基于程序值流以及潜在并发关系分析，识别针对共享资源的潜在并发访问关系，并据此报告潜在数据竞争警报；第二步，针对第一步静态分析报告的数据竞争警报，基于制导符号执行探索数据竞争相关程序路径，排除约束矛盾的路径，基于可解约束生成能触发数据竞争的测试用例，报告可行的数据竞争；最后，针对第二步报告的可行数据竞争及其测试用例，基于仿真平台构建被检测代码所需的硬软件运行时支撑，根据执行测试用例触发的数据竞争，从而报告确认的数据竞争。上述方法也可以检测多线程程序的数据竞争缺陷。
-
公开(公告)号：CN105809039A
公开(公告)日：2016-07-27
申请号：CN201610122116.1
申请日：2016-03-04
Applicant: 南京大学
CPC classification number: G06F21/577 , G06F21/52
Abstract: 本发明是一种缓冲区溢出漏洞自动修复方法，基于缓冲区溢出模型，自动修复程序中已知的缓冲区溢出漏洞。首先读取并解析已经通过确认过的缓冲区溢出信息文件，该文件包含缓冲区溢出漏洞的源文件名、溢出漏洞代码所在的行号、溢出漏洞代码所使用的API，根据缓冲区溢出漏洞的位置信息得到缓冲区溢出漏洞修复的位置，根据缓冲区溢出漏洞代码所使用的API，以及缓冲区溢出模型得到相应的缓冲区溢出漏洞修复策略；定位到缓冲区溢出漏洞代码的位置，提取函数调用的参数信息；根据提取出的函数调用的参数信息和使用的API，构造出修复代码插桩到源代码中完成修复。
-
-
-
Search Results
4
records
(took 0.012 seconds)
