Skip to content
This repository has been archived by the owner on May 27, 2024. It is now read-only.

Use IR for determining instruction semantics #37

Open
fmckeogh opened this issue Feb 8, 2023 · 0 comments
Open

Use IR for determining instruction semantics #37

fmckeogh opened this issue Feb 8, 2023 · 0 comments
Labels
enhancement New feature or request

Comments

@fmckeogh
Copy link
Member

fmckeogh commented Feb 8, 2023

http://github.com/rems-project/isla likely to be very useful for implementing symbolic execution.
@fmckeogh fmckeogh added the enhancement New feature or request label Feb 8, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@fmckeogh