Skip to content

Commit d6bbc51

Browse files
committed
C#: Autoformat QL.
1 parent 2706238 commit d6bbc51

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

csharp/ql/src/Security Features/CWE-119/LocalUnvalidatedArithmetic.ql

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -24,9 +24,7 @@ where
2424
// one of the operands comes, in zero or more steps, from a virtual method call
2525
DataFlow::localExprFlow(taintSrc, add.getAnOperand()) and
2626
// virtual method call result has not been validated
27-
not exists(Expr check, ComparisonOperation cmp |
28-
DataFlow::localExprFlow(taintSrc, check)
29-
|
27+
not exists(Expr check, ComparisonOperation cmp | DataFlow::localExprFlow(taintSrc, check) |
3028
cmp.getAnOperand() = check and
3129
add.getAnOperand().(GuardedExpr).isGuardedBy(cmp, check, _)
3230
)

0 commit comments

Comments
 (0)