Fix NewDelete.qll performance.

This commit is contained in:
Geoffrey White
2019-03-11 18:49:44 +00:00
parent 548a28ff7d
commit 249f350cc8

View File

@@ -80,6 +80,7 @@ private predicate allocReaches0(Expr e, Expr alloc, string kind) {
) or exists(Variable v |
// alloc via a global
allocReachesVariable(v, alloc, kind) and
strictcount(VariableAccess va | va.getTarget() = v) <= 50 and // avoid very expensive cases
e.(VariableAccess).getTarget() = v
)
}