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.

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

[FEAT] Permissive Errors Mode #56

Closed
2 tasks
iamrecursion opened this issue Aug 25, 2023 · 0 comments · Fixed by #100
Closed
2 tasks

[FEAT] Permissive Errors Mode #56

iamrecursion opened this issue Aug 25, 2023 · 0 comments · Fixed by #100
Labels
enhancement New feature or request

Comments

@iamrecursion
Copy link
Contributor

Description

Currently accumulating any errors during execution will cause the analyzer to abort the analysis process and return those errors. There are, however, errors in individual threads that mean that execution still may be able to gather enough information to produce a partial or suboptimal layout. Continuing here may be useful.

Spec

  • Add a permissive_errors option to the VM::Config that defaults to false.
  • In permissive errors mode, filter errors in VM::execute such that it does not fail out if the only errors are error::Execution::InvalidOffsetForJump, error::Execution::InvalidJumpTarget, error::Execution::NonExistentJumpTarget, and error::Execution::NoConcreteJumpDestination.
@iamrecursion iamrecursion added the enhancement New feature or request label Aug 25, 2023
@iamrecursion iamrecursion changed the title [TASK] Permissive Errors Mode [FEAT] Permissive Errors Mode Sep 11, 2023
@2xic 2xic closed this as completed in #100 Sep 28, 2023
2xic added a commit that referenced this issue Sep 28, 2023
# Summary

Fixes #56 

# Checklist

- [x] Code is formatted by Rustfmt.
- [x] Documentation has been updated if necessary.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant