OpenSAW is a framework that uses concolic execution to find bugs in compiled programs." - View it on GitHub