OpenSAW is a framework that uses concolic execution to find bugs in compiled programs
Primary LanguageC++OtherNOASSERTION