Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add macaw-riscv-symbolic package #409

Closed
RyanGlScott opened this issue Jul 26, 2024 · 0 comments · Fixed by #411
Closed

Add macaw-riscv-symbolic package #409

RyanGlScott opened this issue Jul 26, 2024 · 0 comments · Fixed by #411
Labels
arch:riscv RISC-V issues enhancement symbolic-execution Issues relating to macaw-symbolic and symbolic execution

Comments

@RyanGlScott
Copy link
Contributor

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.
@RyanGlScott RyanGlScott added enhancement symbolic-execution Issues relating to macaw-symbolic and symbolic execution arch:riscv RISC-V issues labels Jul 26, 2024
@RyanGlScott RyanGlScott mentioned this issue Jul 26, 2024
Open
RyanGlScott added a commit that referenced this issue Jul 26, 2024
@RyanGlScott
Implement macaw-riscv-symbolic
f47b425 
This adds the necessary plumbing to simulate Macaw-lifted RISC-V binaries using
`macaw-symbolic`. This proves relatively straightforward, given that RISC-V
does not have a lot of special primitive functions or statements to deal with.
I have also added a basic test suite to ensure that `macaw-riscv-symbolic`
works on end-to-end examples.

Fixes #409.
@RyanGlScott RyanGlScott mentioned this issue Jul 26, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
arch:riscv RISC-V issues enhancement symbolic-execution Issues relating to macaw-symbolic and symbolic execution
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Implement macaw-riscv-symbolic GaloisInc/macaw
1 participant
@RyanGlScott