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[?].