WIP: derive and expose address keyed GP register liveness - #290

Open

leftbyte wants to merge 7 commits into

static-analysis-engineering:masterfrom

leftbyte:dphung/pir-req3-register-liveness

Commits on Aug 7, 2026

ASTI: derive address-keyed flag-liveness from reaching-def facts
Dan Phung
committed
6442daf
AST: carry and serialize address-keyed flag-liveness in provenance
Dan Phung
committed
0941a82
ASTI: attach derived flag-liveness during AST construction
Dan Phung
committed
c6c3bb1
ASTI: derive address-keyed register-liveness from reaching-def facts
Dan Phung
committed
5d53893
AST: carry and serialize address-keyed register-liveness in provenance
Dan Phung
committed
7af5105
ASTI: attach derived register-liveness during AST construction
Dan Phung
committed
18827d3

Commits on Aug 11, 2026

Merge branch 'static-analysis-engineering:master' into dphung/pir-req3-register-liveness
leftbyte
authored
4ab5916