Joe Hendrix 494aff6ff0 This makes a number of changes to abstract domains. ... 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.		2019-08-21 23:29:16 -07:00
..
src/Data/Macaw	This makes a number of changes to abstract domains.	2019-08-21 23:29:16 -07:00
tests	Build tests using the locally-available gcc arm binary name.	2018-12-14 15:09:47 -08:00
ChangeLog.md	Initial empty framwork for macaw-arm ARM support.	2017-12-18 17:46:17 -08:00
LICENSE	Initial empty framwork for macaw-arm ARM support.	2017-12-18 17:46:17 -08:00
macaw-arm.cabal	arm: Relax the base version bounds for macaw-arm	2018-07-08 22:28:58 -07:00
Setup.hs	Initial empty framwork for macaw-arm ARM support.	2017-12-18 17:46:17 -08:00