Principles and Practice of Program Analysis
Semester II, 2024/2025
Program Analysis
A process of automatically analyzing the runtime behavior. of a computer program.
• TRADITIONAL USES: Program optimization (compilers)
To improve the program’s performance while reducing the resource usage
• MODERN USES: Verification, Testing, Debugging, Synthesis, Vulnerabilities, Performance estimation, …
To