Accelerating High-Precision Vulnerability Detection in C Programs with Parallel Graph Summarization

• Published in: 2023 6th International Conference on Software Engineering and Computer Science (CSECS) pp. 1 - 6
• Main Authors: Xu, Rulin, Mao, Xiaoguang, Xiao, Wei
• Format: Conference Proceeding
• Language: English
• Published: IEEE 22.12.2023
• Subjects: Multicore processing; Software algorithms; Software engineering; Software systems; Static analysis; static analysis Memory vulnerabilities value-flow graph summarization parallel computing; Task analysis; Transforms

C language programs are often subject to memory vulnerabilities, posing substantial security risks to software systems. Conventional detection techniques, rooted in static value-flow analysis, necessitate exhaustive searches across the entirety of value-flow graphs. This approach results in ineffici...