This invention discloses an intelligent scanning method for
software security vulnerabilities based on
static analysis, specifically relating to the field of
software security testing technology. The method acquires a snapshot of the baseline version
source code and a snapshot of the modified version
source code corresponding to the
software project under test, establishes alignment relationships between program elements of the previous and current versions, and forms a set of modified elements. Combining the baseline version program graph cache, function summary cache, and historical
hazard index, a comprehensive quantity of the
impact of changes is formed, and a subgraph of the
impact of changes is constructed. Static incremental
vulnerability analysis is performed on the subgraph of the
impact of changes to identify newly added risk paths and activated historical
hazard paths, and a trusted comprehensive quantity of risk activation is formed. Based on the trusted comprehensive quantity of risk activation, confirmation screening and baseline updates are performed, and valid incremental alerts or paths awaiting review are output. This invention can narrow the analysis scope, reduce the
resource consumption of full scans, and improve the ability to identify incremental vulnerabilities and the activation of historical
hazard paths.