static analyzer of source code, system, method, and its program for the

摘要

PROBLEM TO BE SOLVED: To solve such a problem that, when performing a static analysis once, correcting detected defects, and performing a re-analysis, it takes a lot of time for discriminating and extracting a difference for creating a source code for a re-analysis.SOLUTION: A static analysis method according to the present invention includes: an analysis data storage unit for storing results of analysis processes of a source code of software; an analysis object source code generation unit for generating a source code for a re-analysis on the basis of an object source code including a corrected source code; and a static analysis part for executing the static analysis for the source code. The analysis object source code generation unit refers to the analysis result in the previous analysis stored in the analysis data storage unit, and generates the source code for the re-analysis obtained by extracting a correction part from the object source code. The static analysis part analyzes the source code for the re-analysis.