A new approach to control flow analysisNon-Deterministic Games and Program Analysis: an application to security
