GitHub repository: marcostolosa/manticore
Description: Symbolic execution tool