Topic created on: August 3, 2009 14:34 CDT by wishi .

Hi fellows!

I'm currently searching for some helpful tools, that allow me to formally verify binaries through binary instrumentation. Normally people rapidly recommend the Valgrind tool suite, however these tools are not designed for security specific analysis, because the execution is slower.

I took a look at PINtools, but my target binaries are Mach-O. - However PIN is very intriguing. So it was worth a look in any case.

If somebody has got a tip for a helpful tool (no matter what plattform ;))... would be awesome. Because I'm generally trying to get experience with that stuff and it's very fascinating.

Have fun,
wishi