CFG-VEX is a sub-project based on MC-Semantics and PyVEX for adding VEX_IR into original CFG file. The CFG protocol is extended with additional option entry (vex_ir) for each instruction.
The project needs to install MC-Semantics, PyVEX and Protocol Buffer. Change directory into cfgvex and make
will setup extended CFG protocol.
tools
contains useful tools such as converting original CFG files into extended CFG files with VEX IR for each instruction. cfg_examples
are examples from MC-Semantics with extended CFG protocol.