Merge branch 'main' into java-kotlin-sensitive-logging-substring-barriers

This commit is contained in:
Owen Mansel-Chan
2025-11-25 23:24:58 +00:00
committed by GitHub
113 changed files with 16095 additions and 2994 deletions

View File

@@ -86,6 +86,8 @@ pragma[nomagic]
private predicate constantIntegerExpr(Expr e, int val) {
e.(CompileTimeConstantExpr).getIntValue() = val
or
e.(LongLiteral).getValue().toInt() = val
or
exists(SsaExplicitWrite v, Expr src |
e = v.getARead() and
src = v.getValue() and