derive and expose address keyed NZCV flag liveness - #289

Closed

leftbyte wants to merge 6 commits into

static-analysis-engineering:masterfrom

leftbyte:dphung/pir-req2-flag-liveness

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