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.