Static program analysis

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.