GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-29 11:02:13 +03:00
Code Issues Projects Releases Wiki Activity
d470abe976
macaw/macaw-aarch32-symbolic
History
Your Name d470abe976 symbolic: Remove support for stack-spilled arguments 
Many ABIs impose some kind of alignment constraints on the stack
pointer. For example, both the AArch32 and x86_64 SysV ABIs specify
that the end of the spilled argument list is aligned to 2*w where w
is the number of bytes in a word. Since macaw-symbolic has no notion
of the ABI in use, its ABI-agnostic code could only ever satisfy such
alignment constraints accidentally. Clients wishing to spill arguments
to the stack should do so with ABI-specific functionality.
2024-09-24 10:09:55 -04:00
..
src/Data/Macaw/AArch32 symbolic: Remove support for stack-spilled arguments 2024-09-24 10:09:55 -04:00
tests symbolic-aarch32: Use ABI-compatible stack setup code in test harness 2024-09-23 13:16:43 -04:00
CHANGELOG.md Add a (dummy) symbolic backend for AArch32 2020-04-05 21:16:03 -07:00
LICENSE Add a (dummy) symbolic backend for AArch32 2020-04-05 21:16:03 -07:00
macaw-aarch32-symbolic.cabal symbolic-aarch32: Use ABI-compatible stack setup code in test harness 2024-09-23 13:16:43 -04:00
Setup.hs Add a (dummy) symbolic backend for AArch32 2020-04-05 21:16:03 -07:00