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.

Related Topics:
Program optimization - Program correctness

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Techniques related to program analysis include:

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

type systems,

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

program verification,

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

model checking.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~