search

GaloisInc / macaw

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

Add `macaw-riscv-symbolic` package #409

Closed RyanGlScott closed 4 months ago

RyanGlScott commented 4 months ago

Currently, macaw-riscv is the only macaw backend that lacks symbolic execution support via Crucible. We should add a macaw-riscv-symbolic package for this.