GitHub repository: montyly/manticore
Description: Symbolic execution tool