|
From: Eric L. <ew...@an...> - 2006-06-06 01:12:28
|
>> translates each BB to IR. Is there a module that parses binaries to >> BB's that I can use? I'm guessing there's something built into coregrind >> that does that but can I use it without the rest of coregrind, i.e. call >> it directly somehow? > > No. This is somewhere between very difficult and impossible; in the most > general case distinguishing code from data is equivalent to solving the > halting problem I believe. Valgrind carefully avoids this by translating > code on demand. OK, well, at least now I know not to bother trying. > > 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. > > J > > |