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

Check condition code for branches #6

Open
4 tasks
rbertran opened this issue Jun 17, 2019 · 1 comment
Open
4 tasks

Check condition code for branches #6

rbertran opened this issue Jun 17, 2019 · 1 comment
Labels
low priority

Comments

@rbertran
Copy link
Collaborator

rbertran commented Jun 17, 2019 •
edited
Loading

Branches are defined as conditional and not conditional when generating the CFG.
Improve that definition to check the 'condition' code so that conditional branches with the condition always taken/not taken will be recognized as non-conditional branches in the CFG.

Support to be added to:

  • ppc64
  • ppc64le
  • s390x
  • riscv
@rbertran
Copy link
Collaborator Author

rbertran commented Mar 2, 2022

Control flow analysis for path creation approach is not a high priority anymore since we are able to reproduce the full state.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
low priority
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@rbertran