GitHub repository: marcostolosa/angr
Description: A powerful and user-friendly binary analysis platform!