search

GaloisInc / macaw

Open source binary analysis tools.
BSD 3-Clause "New" or "Revised" License
208 stars 21 forks source link

x86-symbolic: Establish SysV stack alignment #437

Closed langston-barrett closed 2 months ago

langston-barrett commented 2 months ago

Fixes #436.