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
2c08649
feat(dataflow): stage 2 — post-dominators and control dependence
rahlk
committed
6af65e0
feat(dataflow): stage 3 — access paths, reaching definitions, DDG
rahlk
committed
7377dc3
feat(dataflow): stage 4 — PDG assembly and exact backward-slice gate
rahlk
committed
d21fc0a
feat(dataflow): stage 5 — alias oracle wiring, Tarjan SCC, global qualification
rahlk
committed
789bd1c
feat(dataflow): stages 6–7 — function summaries and SDG assembly
rahlk
committed
c6f990f
feat(dataflow): stage 8a — two-phase context-sensitive backward slicing
rahlk
committed
43e0e69
feat(dataflow): program_graphs emission, -a 3, --graphs, --graph-field-depth
rahlk
committed
6479c04
feat(dataflow): stage 8b — CPG projection through the Neo4j emitter
rahlk
committed
3e82256
docs(dataflow): analysis levels, Architecture & Tooling, schema decisions
rahlk
committed
ac7acb3
fix(neo4j): namespace the CPG overlay per language (PyCFGNode, PY_* edges)
rahlk
committed
ddae36c