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

Investigate reworking CBR and RBR to match Dream #291

Open

frabert opened this issue Aug 12, 2022 · 0 comments

Collaborator

frabert commented Aug 12, 2022

From #288

The new condition-based refinement pass is fine IMO. Better and simpler than the previous version, but might miss some structurization opportunities compared to the version in No More Goto's or the Dream decompiler, which does clustering across the whole compound statement, but also is aware of reachability and probably side-effects too in some way.

The reach-based refine seems conceptually similar to me, but might have correctness issues that I mentioned in the comments in the code.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment