|
From: Nicholas N. <nj...@cs...> - 2006-06-06 02:05:52
|
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 |