Skip to content

Commit db6c29d

Browse files
committed
Fixup of dataflow implementation.
1 parent 8ca90aa commit db6c29d

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

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

+4
Original file line numberDiff line numberDiff line change
@@ -610,6 +610,10 @@ module LocalFlow {
610610
or
611611
exists(Switch sw | sw.getACase() = cfe and sw.getExpr() = e1 and scope = sw)
612612
)
613+
or
614+
e1 = e2.(InterpolatedStringExpr).getAnInsert() and
615+
scope = e2 and
616+
isSuccessor = true
613617
)
614618
}
615619

0 commit comments

Comments
 (0)