Skip to content

Yu-ChenChang/cfgvex

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

46 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

cfgvex

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.

Building

The project needs to install MC-Semantics, PyVEX and Protocol Buffer. Change directory into cfgvex and make will setup extended CFG protocol.

Usage

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.