GitHub repository: AwesomeGitHubRepos/manticore
Primary language: Python
Description: Symbolic execution tool