angr is an open-source binary analysis platform for Python. It combines both static and dynamic symbolic ("concolic") analysis, providing tools to solve a variety of tasks. Features Open Source Released as Free and Open Source Software under the permissive BSD license. Contributions are welcome.