Program analysis using game semantics