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

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

Full description

Saved in:
Bibliographic Details
Published in计算机科学 Vol. 51; no. z1; pp. 791 - 796
Main Authors 严瑞, 陈哲
Format Journal Article
LanguageChinese
Published 南京航空航天大学计算机科学与技术学院 南京 211106%南京航空航天大学计算机科学与技术学院 南京 211106 2024
软件新技术与产业化协同创新中心 南京 210023
Subjects
内存安全
Multithreading
源代码插桩
动态分析
Dynamic analysis
多线程
Memory safety
Source code instrumentation
Online AccessGet full text
ISSN1002-137X
DOI10.11896/jsjkx.230900115

Cover

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