Update java/ql/src/Likely Bugs/Comparison/StringComparison.ql

This commit is contained in:
Anders Schack-Mulligen
2021-10-13 08:57:31 +02:00
committed by GitHub
parent 2185a654de
commit 306388a6bc

View File

@@ -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.