mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-29 21:44:11 +03:00
494aff6ff0
The goal is to support a jumptable testcase that is not supported by the current jump bounds check. The jump bounds check needs to be augmented so that it understands equality relationships between stack values and registers, and bounds on both. This patch tracks when a register points to a concrete stack offset. As part of this, we droped the AbsDomain instance for AbsBlockState. Clients should now likely use `fnStartAbsBlockState` in lieu of `top`. The other client visible change is that the ClassifyFailure constructor now has an extra argument with details about why classification failure occured. |
||
---|---|---|
.. | ||
src/Data/Macaw | ||
tests | ||
ChangeLog.md | ||
LICENSE | ||
macaw-arm.cabal | ||
Setup.hs |