hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-12 05:01:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

Cfg: qldoc + overlay fixups.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2026-02-05 08:59:28 +01:00
parent 83adf793e4
commit 81977f11a1
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
shared/controlflow/codeql/controlflow/PrintGraph.qll
View File

@@ -3,6 +3,8 @@
* CFG" query. Also provides modules for printing control flow graphs in tests
* and as Mermaid diagrams.
*/
overlay[local?]
module;
private import codeql.util.FileSystem
private import codeql.util.Location
@@ -22,6 +24,7 @@ signature module InputSig<LocationSig Location> {
ControlFlowNode getASuccessor(ControlFlowNode n, SuccessorType t);
}
/** Provides modules for printing control flow graphs. */
module PrintGraph<LocationSig Location, InputSig<Location> Input> {
private import Input