Skip to content

Commit a72f848

Browse files
committed
C#: Update data flow and taint-tracking private.
1 parent 2a1b1ab commit a72f848

File tree

2 files changed

+3
-5
lines changed

2 files changed

+3
-5
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -512,7 +512,7 @@ module LocalFlow {
512512
predicate localExprStep(Expr e1, Expr e2) {
513513
e1 = e2.(ParenthesizedExpr).getExpr()
514514
or
515-
e1 = e2.(NullCoalescingExpr).getAnOperand()
515+
e1 = e2.(NullCoalescingOperation).getAnOperand()
516516
or
517517
e1 = e2.(SuppressNullableWarningExpr).getExpr()
518518
or
@@ -623,7 +623,7 @@ module LocalFlow {
623623
(
624624
e instanceof ConditionalExpr or
625625
e instanceof Cast or
626-
e instanceof NullCoalescingExpr or
626+
e instanceof NullCoalescingOperation or
627627
e instanceof SwitchExpr or
628628
e instanceof SuppressNullableWarningExpr or
629629
e instanceof AssignExpr

csharp/ql/lib/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -47,9 +47,7 @@ predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::ContentSet c)
4747
private predicate localTaintExprStep(Expr e1, Expr e2) {
4848
e1 = e2.(ElementAccess).getQualifier()
4949
or
50-
e1 = e2.(AddExpr).getAnOperand()
51-
or
52-
e1 = e2.(AssignAddExpr).getAnOperand()
50+
e1 = e2.(AddOperation).getAnOperand()
5351
or
5452
// A comparison expression where taint can flow from one of the
5553
// operands if the other operand is a constant value.

0 commit comments

Comments
 (0)