yoff a026382c63 Python: simulated-rebase fixup — VariableCapture Flow uses CfgImpl::Cfg ...

The canonicalization work on the CFG facade PR removed the thin
`Cfg::CfgForBb` wrapper module ("we have CfgImpl::Cfg already"), so the
variable-capture Flow instantiation must reference the native
`CfgImpl::Cfg` (= BB::Make<Location, BbInput>, which implements
BB::CfgSig) directly. This is the only mechanical change needed when the
dataflow flip is rebased onto the canonicalized CFG facade.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: e1faf86b-2dba-40bd-9419-f10184c53d72

2026-07-23 17:21:14 +00:00

..

consistency-queries

Python: switch dataflow library to new (shared) CFG + SSA

2026-07-21 11:32:03 +00:00

examples

Python: Fix example snippets

2025-11-26 12:30:30 +00:00

integration-tests/query-suite

python: Add query for prompt injection

2026-01-29 23:47:52 +01:00

lib

Python: simulated-rebase fixup — VariableCapture Flow uses CfgImpl::Cfg

2026-07-23 17:21:14 +00:00

src

Python: switch dataflow library to new (shared) CFG + SSA

2026-07-21 11:32:03 +00:00

test

Python: switch dataflow library to new (shared) CFG + SSA

2026-07-21 11:32:03 +00:00