|
From: Eric L. <ew...@an...> - 2006-06-06 03:49:53
|
> 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? > Yea, that's what I'm planning to do. But at first we wanted to try to replace as much of the binary to IR stuff with Valgrind as we can since Valgrind's code is more complete and mature. > Nick > > > |