search

GaloisInc / macaw

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

symbolic: Remove support for stack-spilled arguments #442

Closed langston-barrett closed 2 months ago

langston-barrett commented 2 months ago

Fixes #441.