Program analysis

The program analysis is concerned with methods for (automatic) analysis of computer programs .

The methods of program analysis allow programmers to better understand complex programs, as they are in of translators and interpreters used optimization methods applied. The dependencies between subroutines based on where-used list and call structure can be determined and displayed in a static call tree .

Important methods are:

• Abstract interpretation
• Constraint-based analysis
• Data flow analysis
• Type and effect systems

See also

• Dependency analysis
• Static code analysis

literature

• Flemming Nielson, Hanne R. Nielson, Chris Hankin: Principles of Program Analysis , Springer, 1999, ISBN 3-540-65410-0 , website for the book