angr / angr Python 9.4K 1.2K A powerful and user-friendly binary analysis platform! binary analysis angr