多线程C程序内存安全性动态分析方法

作     者：严瑞 陈哲 YAN Rui;CHEN Zhe

作者机构：南京航空航天大学计算机科学与技术学院南京211106 软件新技术与产业化协同创新中心南京210023 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2024年第51卷第S01期

页      面：791-796页

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(62172217) 国家自然科学基金委员会-中国民航局民航联合研究基金(U1533130) CCF-华为胡杨林基金形式化专项资助 

主　　题：多线程 内存安全 动态分析 源代码插桩 

摘      要：随着软件结构越来越复杂以及其要求更高级别的并发量,出现了越来越多的多线程程序,同时C语言程序缺乏检测其内存安全的能力,进而导致C语言实现的程序可能会存在较多的隐藏漏洞,因此对多线程C程序的内存安全检测尤为的重要。较为前沿且可靠的检测内存安全的技术主要为动态分析技术,且现在对于多线程C程序内存安全检测的工具不是特别完善,错误检测不完全,性能不是很高。因此提出了基于指针的动态分析技术,同时结合无锁技术、源代码插桩技术实现了工具Movec来对多线程C程序的内存安全性进行检测,并且选取专业测试集来进行实验,验证了本工具对于多线程C程序检测内存安全是有效的,检测的错误更多且性能较为优秀。