[KnoopKnoop]

As soon as I started reading how it worked it reminded me of Microsoft SAGE [0] It also uses guided execution to find constraints and new bugs.

[0] http://research.microsoft.com/en-us/um/people/pg/public_psfi...