CodeQL library for C#
codeql/csharp-all 3.1.1-dev (changelog, source)
Search

Module MakeWithSplitting::TestOutput

Import this module into a .ql file to output a CFG. The graph is restricted to nodes from RelevantNode.

Import path

import codeql.controlflow.Cfg

Predicates

edges

Holds if pred -> succ is an edge in the CFG.

Modules

Mermaid

Provides logic for representing a CFG as a Mermaid diagram.

Parameters

RelevantNodeRelevantNodeSig