Design And Implementation Of A Control Flow Graph Generation Tool Based On Program Static Analysis

Program static analysis can help application developers to better understand thestructure of the code identify security vulnerabilities verify code specifications andimprove the maintainability of the program:owever with the continuous extensionof the development cycle the programmer will not be able to quickly understand therelationshipbetweenthestructureofthesourcecodeandmodules tthesametimevariouslanguagefeatures such asabnormalmechanismandinheritance have causedgreat difficulties for developers to analyze the source code which has severelyreduced the efficiency of developmentiming at the above requirements by analyzing the characteristics of object-oriented syntax development this paper proposes the code-based static analysismethods designs and implements a generation tool for program control flow graphhence to help the application developers easily understand and analyze the sourcecode From the source code converted into abstract syntax tree it needs abstractsyntax tree to be intermediary between the control flow graphs Source codeestablishes the control flow graph through the parser and then uses abstract syntaxtree to build control flow graph=n order to more effectively improve the efficiency ofthedevelopers analysisonthesource code onthebasisofthegeneratedcontrolflowgraph combining with the method call graph it putsforward a solution for optimizingcontrol flow graph visualization hence to achieve the expand/close effects of thecontrol flow graph...