GitHub repository: wapen/angr
Primary language: Python
Description: The next-generation binary analysis platform from UC Santa Barbara's Seclab!