Software Source Code Security Audit Algorithm Supporting Incremental Checking
Xiuli Li, Guoshi Wang, Chuping Wang, Yanyan Qin, Ning Wang · 2022
Source code security audit is an effective technique to deal with security vulnerabilities and software bugs. As one kind of white-box testing approaches, it can effectively help developers eliminate defects in the code. However, it suffers from performance issues. In this paper, we propose an incremental checking mechanism which enables fast source code security audits. And we conduct comprehensive experiments to verify the effectiveness of our approach.