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
literature
- Flemming Nielson, Hanne R. Nielson, Chris Hankin: Principles of Program Analysis , Springer, 1999, ISBN 3-540-65410-0 , website for the book