Accelerating High-Precision Vulnerability Detection in C Programs with Parallel Graph Summarization - Xu, Rulin; Mao, Xiaoguang; Xiao, Wei (2023 6th International Conference on Software Engineering and Computer Science (CSECS), 2023)
Keywords: Multicore processing; Software algorithms; Software engineering; Software systems; Static analysis; static analysis Memory vulnerabilities value-flow graph summarization parallel computing; Task analysis; Transforms