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