Repaired static analysis