Live Variables Analysis#2

Merged

AlexDimakos merged 6 commits into

AlexDimakos:mainfrom

Apanatshka:main

Apr 10, 2026

Commits on Apr 1, 2026

Add FlowSpec's dataflow engine
Apanatshka
committed
Add Live Variables transfer functions (updating some of the CFG shape_
Apanatshka
committed
Add basic smoke tests for live variables, fix bugs in data_flow, live_variables
Apanatshka
committed

Commits on Apr 2, 2026

Change all visitors to take a provider to set the metadata on, so we can have each depend on another
Apanatshka
committed

Commits on Apr 7, 2026