Jump to content

Program analysis

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Vkuncak (talk | contribs) at 01:59, 27 December 2002. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Program_analysis&oldid=539155"