search

octopus-platform / bjoern

Binary analysis platform based on Octopus and Radare2
GNU General Public License v3.0
78 stars 15 forks source link

CFLOW edges from instructions #10

Open fabsx00 opened 8 years ago

fabsx00 commented 8 years ago

CFLOW_ALWAYS/CFLOW_TRUE/CFLOW_FALSE edges from the last instruction of a basic block to the first instruction of the next basic block would be nice, as that means an instruction level analysis can stay at that level without going back to the basic block level.

a0x77n commented 8 years ago

Apart from the different edge types, this is fixed by the instruction linker plugin. As for the labels, I would suggest to add a property, which contains the outcome of the branch instruction instead, e.g. "ecx < 42" or "ecx >= 42".