search

rajanmaghera / riscv-analysis

WIP
GNU General Public License v3.0
3 stars 0 forks source link

Reaching definitions with constant estimation #6

Closed rajanmaghera closed 1 year ago

rajanmaghera commented 1 year ago

Main use case: guessing environment calls and their arguments.

Design decision: ambiguous arguments not allowed? Can we just use live variables to get the same information?

rajanmaghera commented 1 year ago

Solved via custom version of abstract interpretation