Looks like a version of valgrind but for reversing purposes.

The basic block stuff reminded me of this: http://www.gtoal.com/sbt/