File tree Expand file tree Collapse file tree
csharp/ql/lib/semmle/code/csharp/security/dataflow Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -217,23 +217,17 @@ class PathCheck extends Sanitizer {
217217 Guard g ;
218218
219219 PathCheck ( ) {
220- < < < < < < < HEAD
221220 // This expression is structurally replicated in a dominating guard
222- exists ( AbstractValues:: BooleanValue v | g = this .( GuardedDataFlowNode ) .getAGuard ( _, v ) )
221+ exists ( GuardValue v |
222+ g = this .( GuardedDataFlowNode ) .getAGuard ( _, v ) and
223+ exists ( v .asBooleanValue ( ) )
224+ )
223225 }
224226
225227 override predicate isBarrier ( TaintedPathConfig:: FlowState state ) {
226228 g .( WeakGuard ) .isBarrier ( state )
227229 or
228230 not g instanceof WeakGuard
229- = = = = = = =
230- // This expression is structurally replicated in a dominating guard which is not a "weak" check
231- exists ( Guard g , GuardValue v |
232- g = this .( GuardedDataFlowNode ) .getAGuard ( _, v ) and
233- exists ( v .asBooleanValue ( ) ) and
234- not g instanceof WeakGuard
235- )
236- > > > > > > > codeql - cli / latest
237231 }
238232}
239233
You can’t perform that action at this time.
0 commit comments