Level-3: native dataflow graphs (CFG/PDG/SDG/CPG) and backward slicing#68

Merged

rahlk merged 11 commits into

mainfrom

feat/level3-dataflow-sdg

Jul 15, 2026

Commits on Jul 2, 2026

feat(dataflow): stage 1 — exceptional statement-level CFG per callable
rahlk
committed
feat(dataflow): stage 2 — post-dominators and control dependence
rahlk
committed
feat(dataflow): stage 3 — access paths, reaching definitions, DDG
rahlk
committed
feat(dataflow): stage 4 — PDG assembly and exact backward-slice gate
rahlk
committed
feat(dataflow): stage 5 — alias oracle wiring, Tarjan SCC, global qualification
rahlk
committed
feat(dataflow): stages 6–7 — function summaries and SDG assembly
rahlk
committed
feat(dataflow): stage 8a — two-phase context-sensitive backward slicing
rahlk
committed
feat(dataflow): program_graphs emission, -a 3, --graphs, --graph-field-depth
rahlk
committed
feat(dataflow): stage 8b — CPG projection through the Neo4j emitter
rahlk
committed
docs(dataflow): analysis levels, Architecture & Tooling, schema decisions
rahlk
committed
fix(neo4j): namespace the CPG overlay per language (PyCFGNode, PY_* edges)
rahlk
committed