Program analysis

In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness.

Description

Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.

Program analysis can be performed without executing the program (static program analysis), during run time (dynamic program analysis), or in a combination of both.

See also

• Abstract interpretation
• Control flow analysis
• Data-flow analysis
• Dynamic program analysis
• Effect system
• Model checking
• Program optimization
• Program optimization
• Program slicing
• Static program analysis
• Type checking
• Type system

External links

• Program analysis @ Wikipedia