GitHub repository: mborgerson/angr
Primary language: Python
Description: A powerful and user-friendly binary analysis platform!