GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-28 01:35:33 +03:00
Code Issues Projects Releases Wiki Activity
Open source binary analysis tools.
47 Commits 50 Branches 0 Tags 13 MiB
Haskell 54.9%
C++ 37.3%
C 5.8%
Roff 0.8%
Assembly 0.7%
Other 0.4%
e29d94be06
Go to file
Tristan Ravitch e29d94be06 Change the representation of RelocatableValue 
It used to hold a SegmentedAddr.  This caused issues in semantics that require
the ability to perform addition and subtraction operations on RelocatableValues.
Addition or subtraction operations on SegmentedAddrs are not well defined,
because these operations can push a value from one segment into another, and
there is no way for them to compute the new segment.

The new representation is just a MemWord, whose interpretation is now decided
later (in `transferValue'` in AbsState).
2017-03-21 14:32:30 -07:00
scripts Add a script to clone/pull dependencies 2017-01-18 11:17:59 -05:00
src/Data/Macaw Change the representation of RelocatableValue 2017-03-21 14:32:30 -07:00
.gitignore Initial commit of macaw 2016-11-28 23:14:04 -08:00
macaw.cabal Start using jump bounds; introduce "ParsedBlocks" 2017-02-16 02:53:19 -05:00
stack.yaml Update stack.yaml to match cabal requirement on containers version 2017-01-18 14:26:48 -05:00