angr 是一个用于 Python 的开源二进制分析平台。它结合了静态和动态符号化（“混同”）分析，提供了多种工具以解决各类任务。