313
edits
Changes
→Background: Program Analysis
=Background: Program Analysis=
This is just some boring background material. Feel free to skip to Introduction on first reading.
'''Program analysis''' refers to algorithms for discovering facts about the behavior of programs. Examples include finding which variables are constant, whether null pointer errors can occur, or whether every "lock" operation is followed by exactly one "unlock". Program analysis is a basic technology with many applications, especially compiler optimizations, bug finding, and security auditing.
