GitHub repository: scvsh/manticore
Description: Symbolic execution tool