Skip to content

Commit 0d72d35

Browse files
committed
1 parent c0c8902 commit 0d72d35

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

java/ql/lib/semmle/code/java/security/UnsafeCertTrustQuery.qll

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,14 @@ module SslEndpointIdentificationFlowConfig implements DataFlow::ConfigSig {
1414
predicate isSink(DataFlow::Node sink) { sink instanceof SslConnectionCreation }
1515

1616
predicate isBarrier(DataFlow::Node sanitizer) { sanitizer instanceof SslUnsafeCertTrustSanitizer }
17+
18+
predicate observeDiffInformedIncrementalMode() { any() }
19+
20+
Location getASelectedSourceLocation(DataFlow::Node source) { none() }
21+
22+
Location getASelectedSinkLocation(DataFlow::Node sink) {
23+
exists(Expr unsafeTrust | result = unsafeTrust.getLocation() | sink.asExpr() = unsafeTrust)
24+
}
1725
}
1826

1927
/**

0 commit comments

Comments
 (0)