多线程C程序内存安全性动态分析方法 - 严瑞; 陈哲 (计算机科学, 2024)
Keywords: 内存安全; Multithreading; 源代码插桩; 动态分析; Dynamic analysis; 多线程; Memory safety; Source code instrumentation