|
From: Nicholas N. <nj...@cs...> - 2006-06-03 06:44:59
|
On Sat, 3 Jun 2006, Eric Li wrote: > But what I want is to use VEX as a library to generate IR and then use > that IR in my own project. Initially, I thought VEX did just that and > handed the IR over to the tools for further processing, but now it's clear > to me that it only lets you define the instrumentation functions. "Defining the instrumentation functions" is exactly equivalent to "handing over the IR for further processing". The instrumentation function is given each BB's IR and can then do anything it wants to it (although if the end result isn't functionally equivalent the program's behaviour will be changed). > Would it be a fairly involved endeavor to take apart VEX and extract just > the parts that generate the IR? AIUI that's really all Vex does. It has a couple of minor Valgrind-specific hooks, but it should be usable standalone. Nick |