Static program analysis encompasses a suite of techniques that examine software without executing it, in order to detect defects, verify properties and guide optimisation. Fundamental approaches ...