Repository navigation

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