Software Source Code Security Audit Algorithm Supporting Incremental Checking. - Xiuli Li; Guoshi Wang; Chuping Wang; Yanyan Qin; Ning Wang (SmartCloud, 2022)