• The timing problem
• 6
• Abstract interpretation

Static program analysis is performed without executing the program at hand, but rather by analyzing the program’s structure. Different approaches exist, with varying degrees of safety and precision.