CodeQL library for Java/Kotlin
codeql/java-all 9.0.2 (changelog, source)
Search

Module PrintGraph::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.PrintGraph

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