Skip to content

Commit ce1bcb5

Browse files
committed
Java: Support MaD barrier guards checking the qualifier.
1 parent 5232bd1 commit ce1bcb5

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

java/ql/lib/semmle/code/java/dataflow/ExternalFlow.qll

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -662,9 +662,10 @@ private module Cached {
662662
isBarrierGuardNode(n, acceptingvalue, kind, model) and
663663
n.asNode().asExpr() = e and
664664
kmp = TMkPair(kind, model) and
665-
g.(Call).getAnArgument() = e and
666665
// gv = convertAcceptingValue(acceptingvalue)
667666
branch = convertAcceptingValue(acceptingvalue)
667+
|
668+
g.(Call).getAnArgument() = e or g.(MethodCall).getQualifier() = e
668669
)
669670
}
670671

0 commit comments

Comments
 (0)