GitHub repository: majacQ/manticore
Description: Symbolic execution tool