derive and expose address keyed GP register liveness - #290

Merged

sipma merged 9 commits into

static-analysis-engineering:masterfrom

leftbyte:dphung/pir-req3-register-liveness

Aug 22, 2026

Commits on Aug 21, 2026

ASTI: derive address-keyed flag-liveness from reaching-def facts
Dan Phung
committed
77f8809
AST: carry and serialize address-keyed flag-liveness in provenance
Dan Phung
committed
4468a4d
ASTI: attach derived flag-liveness during AST construction
Dan Phung
committed
3246b43
ASTI: count inlined and predicated def-sites as kills
Dan Phung
committed
d12711d
ASTI: warn when a flag use is reached by an 'init' definition
Dan Phung
committed
0c1a707

Commits on Aug 22, 2026

change message from warning to info for flag reached by an 'init' def
Dan Phung
committed
6c904cf
ASTI: derive address-keyed register-liveness from reaching-def facts
Dan Phung
committed
df09713
AST: carry and serialize address-keyed register-liveness in provenance
Dan Phung
committed
c6588e6
ASTI: attach derived register-liveness during AST construction
Dan Phung
committed
74efa53