|
From: Eric L. <ew...@an...> - 2006-06-06 17:43:38
|
Right now, my existing code gives me pointers to the start and end of a BB and I want to use LibVEX_Translate to process it. In LibVEX_Translate, is the "guest_bytes" argument a pointer to the start of the BB I want to translate? What are "guest_bytes_addr" and "guest_bytes_addr_noredir" for? And how do I specify the length (or the end) of the block I want to translate? Thanks, Eric > On Mon, 5 Jun 2006, Eric Li wrote: > >>> What are you really trying to achieve? >> >> I'm working on a research project that generates vulnerability >> signatures (signatures that let you detect exploits and all their >> polymorphic variations in a binary). The framework translates from BB to >> IR to GCL to WP(weakest preconditions) and we were hoping to replace our >> IR with the one in Valgrind because it's more mature. > > How do you go from BB to IR? Something must be identifying the BBs. > Couldn't you keep that and then pass its output to Vex? > > Nick > > > |