Skip to content

Commit 6c3345e

Browse files
committed

File tree

1 file changed

+9
-0
lines changed

1 file changed

+9
-0
lines changed

csharp/ql/lib/semmle/code/csharp/security/dataflow/ConditionalBypassQuery.qll

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,15 @@ private module ConditionalBypassConfig implements DataFlow::ConfigSig {
3939
predicate isSink(DataFlow::Node sink) { sink instanceof Sink }
4040

4141
predicate isBarrier(DataFlow::Node node) { node instanceof Sanitizer }
42+
43+
predicate observeDiffInformedIncrementalMode() { any() }
44+
45+
Location getASelectedSinkLocation(DataFlow::Node sink) {
46+
result = sink.getLocation()
47+
or
48+
// from ConditionalBypass.ql
49+
result = sink.(Sink).getSensitiveMethodCall().getLocation()
50+
}
4251
}
4352

4453
/**

0 commit comments

Comments
 (0)