Program analysis

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

The methods of program analysis allow programmers a better understanding of complex programs, as they are applied in fields used by translators and interpreters optimization methods. The dependencies between sub-programs based reference 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
Compiler Interpreter (computing) Data-flow analysis
662029
de