diff --git a/java/ql/src/Likely Bugs/Comparison/StringComparison.ql b/java/ql/src/Likely Bugs/Comparison/StringComparison.ql index fc6e8dce7b5..1f33ece559d 100644 --- a/java/ql/src/Likely Bugs/Comparison/StringComparison.ql +++ b/java/ql/src/Likely Bugs/Comparison/StringComparison.ql @@ -41,6 +41,7 @@ class StringValue extends Expr { } } +pragma[noinline] predicate candidateVariable(Variable v) { v.fromSource() and // For parameters, assume they could be non-interned.