GitHub repository: CY0xZ/manticore
Description: Symbolic execution tool