hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-14 03:24:06 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Bugfix for qualifier-of-qualifier update in hasExplicitQualifierUpdate.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-02-10 09:52:21 +01:00
committed by Tom Hvitved
parent 284e48cfbe
commit ed284353ef
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
java/ql/lib/semmle/code/java/dataflow/SSA.qll
View File

@@ -228,9 +228,10 @@ class SsaImplicitUpdate extends SsaUpdate {
}
private predicate hasExplicitQualifierUpdate() {
exists(SsaExplicitUpdate qdef, BasicBlock bb, int i |
exists(SsaUpdate qdef, BasicBlock bb, int i |
qdef.definesAt(this.getSourceVariable().getQualifier(), bb, i) and
this.definesAt(_, bb, i)
this.definesAt(_, bb, i) and
not qdef instanceof SsaUncertainImplicitUpdate
)
}