摘要 |
PROBLEM TO BE SOLVED: To reduce trouble in creating an analysis rule. SOLUTION: A data flow analysis apparatus extracts detected points using an analysis target program and the analysis rule. The data flow analysis apparatus generates additional rule candidates on the basis of the extracted detected points. More specifically, the data flow analysis apparatus creates a control flow graph of a procedure of the detected points, extracts procedure calls with respect to nodes reachable in a reverse sequence of the flow graph from positions of the detected points, omits all the overlapped procedures, existing secure procedure definitions in the analysis rule, and procedures not returning values, and generates a remaining procedure group as the candidates. After this, the data flow analysis apparatus displays the generated additional rule candidates. COPYRIGHT: (C)2009,JPO&INPIT
|