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

macaw-ppc-symbolic: Export SemanticsError #385

Closed
RyanGlScott opened this issue Jun 21, 2024 · 0 comments · Fixed by #401
Closed

macaw-ppc-symbolic: Export SemanticsError #385

RyanGlScott opened this issue Jun 21, 2024 · 0 comments · Fixed by #401
Assignees
@RyanGlScott
Labels
arch:ppc PowerPC issues enhancement symbolic-execution Issues relating to macaw-symbolic and symbolic execution

Comments

@RyanGlScott
Copy link
Contributor

macaw-ppc-symbolic currently does not export the SemanticsError exception type. It would be nice to export this so that these exceptions can be caught in downstream applications, much like we can do for x86_64 and AArch32 exception types (see #370).
@RyanGlScott RyanGlScott added enhancement arch:ppc PowerPC issues symbolic-execution Issues relating to macaw-symbolic and symbolic execution labels Jun 21, 2024
@RyanGlScott RyanGlScott self-assigned this Jun 21, 2024
RyanGlScott added a commit that referenced this issue Jul 19, 2024
@RyanGlScott
macaw-ppc-symbolic: Export SemanticsError
8f81e0f 
Fixes #385 (and finishes the work started in #370).
@RyanGlScott RyanGlScott mentioned this issue Jul 19, 2024
Merged
RyanGlScott added a commit that referenced this issue Aug 1, 2024
@RyanGlScott
macaw-ppc-symbolic: Export SemanticsError
bb7426c 
Fixes #385 (and finishes the work started in #370).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@RyanGlScott RyanGlScott

Labels
arch:ppc PowerPC 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.

macaw-ppc-symbolic: Add syscall support, export SemanticsError GaloisInc/macaw
1 participant
@RyanGlScott