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