Commit 50522ca

committed

C#: Improve performance of CFG split set computation

Rewrite the predicate `succSplits()` and the construction of the IPA type `TSplits`. The two are now mutually dependent, see more in the comment for the module `SuccSplits`.

1 parent ea018a2 commit 50522caCopy full SHA for 50522ca

3 files changed

csharp/ql
- src/semmle/code/csharp/controlflow
  - ControlFlowGraph.qll
- test/library-tests/controlflow/graph
  - SplitsConsistency.expected
  - SplitsConsistency.ql

Comments

(0)

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Commit 50522ca

File tree

0 commit comments