search

GaloisInc / macaw

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

Simple CLI for macaw-symbolic #390

Closed langston-barrett closed 1 month ago

langston-barrett commented 3 months ago

Fixes #389.

RyanGlScott commented 1 month ago

@langston-barrett, what are your plans for this PR now that https://github.com/GaloisInc/macaw/pull/423 has landed? https://github.com/GaloisInc/macaw/pull/423 only adds support for S-expression programs, whereas this PR is about binaries. Do you want to extend macaw-x86-cli to support binaries as well?

langston-barrett commented 1 month ago

@langston-barrett, what are your plans for this PR now that https://github.com/GaloisInc/macaw/pull/423 has landed?

I don't have further plans for this PR; as we've discussed in other forums, we should likely work towards a CLI that ingests binaries, but the testing harness code I'ver reused here is actually not reusable enough to suit this purpose. Instead, we should do a larger refactor of Macaw's APIs to make it easier to create frontends, and spend more effort creating one that has all of the conventions and functionality we actually think it should.