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 support for reverse control-flow analyses #121

Closed
m4rs-mt opened this issue May 22, 2020 · 0 comments
Closed

Add support for reverse control-flow analyses #121

m4rs-mt opened this issue May 22, 2020 · 0 comments
Assignees
@m4rs-mt
Labels
difficulty:advanced A task that requires advanced knowledge
Milestone
v0.8.1

Comments

@m4rs-mt
Copy link
Owner

m4rs-mt commented May 22, 2020

Some control-flow analyses require a reversal of successors and predecessors. We need a new (and of course beautiful) way of expressing forwards and backwards control-flow analyses. We should also have unique exit blocks for methods that simplify backwards analyses.

This extension should be implemented once #118 is complete.
@m4rs-mt m4rs-mt added the difficulty:advanced A task that requires advanced knowledge label May 22, 2020
@m4rs-mt m4rs-mt added this to the v0.8.1 milestone May 22, 2020
@m4rs-mt m4rs-mt self-assigned this May 22, 2020
@m4rs-mt m4rs-mt mentioned this issue May 25, 2020
Merged
@m4rs-mt m4rs-mt changed the title Add support for reverse control-flow anlyses Add support for reverse control-flow analyses Jun 1, 2020
@m4rs-mt m4rs-mt mentioned this issue Jun 2, 2020
Merged
@m4rs-mt m4rs-mt closed this as completed Jun 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@m4rs-mt m4rs-mt

Labels
difficulty:advanced A task that requires advanced knowledge
Projects
None yet
Milestone
v0.8.1
Development

No branches or pull requests
1 participant
@m4rs-mt