Angr (open-source binary analysis platform for Python)