Check condition code for branches
rbertran opened this issue · 1 comments
rbertran commented
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 commented
Control flow analysis for path creation approach is not a high priority anymore since we are able to reproduce the full state.