We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3840d92 commit 1bdd366Copy full SHA for 1bdd366
csharp/ql/lib/semmle/code/csharp/security/dataflow/ZipSlipQuery.qll
@@ -140,9 +140,6 @@ class RootSanitizerMethodCall extends SanitizerMethodCall {
140
exists(MethodSystemStringStartsWith sm | this.getTarget() = sm) and
141
exists(Expr q, MethodCallGetFullPath mcGetFullPath |
142
this.getQualifier() = q and
143
- // JB1: Try and detect existentials with non-interelated variables
144
- // , AbstractValue v
145
- // v.(AbstractValues::BooleanValue).getValue() = true and
146
safeCombineGetFullPathSequence(mcGetFullPath, q)
147
)
148
}
0 commit comments