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

Module Make::TestOutput

Import this module into a .ql file of @kind graph to render 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.

nodes

Holds if n is a relevant node in the CFG.

Modules

Parameters

RelevantNodeRelevantNodeSig