Merge pull request #2497 from hvitved/csharp/remove-cp

C#: Remove a Cartesian product
This commit is contained in:
Jonas Jensen
2019-12-06 13:58:33 +00:00
committed by GitHub

View File

@@ -117,6 +117,7 @@ private class LocalTaintExprStepConfiguration extends ControlFlowReachabilityCon
e2 = any(OperatorCall oc |
oc.getTarget().(ConversionOperator).fromLibrary() and
e1 = oc.getAnArgument() and
scope = e2 and
isSuccessor = true
)
)