Computer program analysis

Computer program analysis is the process of automatically analysing the behavior of computer programs.

Two main approaches in program analysis are static program analysis[?] and dynamic program analysis[?].

Main applications of program analysis are program optimization[?] and program correctness[?].

Techniques related to program analysis include: type systems, program verification, model checking[?].