In computer science, 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 correctness and program optimization.
Techniques related to program analysis include:
- control-flow and data-flow analysis
- constraint-based analysis
- abstract interpretation,
- type and effect systems.
A technique that is applied for certain kinds of program analysis is program slicing.
Related fields include performance analysis and program verification.
Famous quotes containing the words program and/or analysis:
“On our streets it is the sight of a totally unknown face or figure which arrests the attention, rather than, as in big cities, the strangeness of occasionally seeing someone you know.”
—For the State of Vermont, U.S. public relief program (1935-1943)
“Cubism had been an analysis of the object and an attempt to put it before us in its totality; both as analysis and as synthesis, it was a criticism of appearance. Surrealism transmuted the object, and suddenly a canvas became an apparition: a new figuration, a real transfiguration.”
—Octavio Paz (b. 1914)