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

性能协同规划（PCP）提供了一个框架和服务，用于支持系统级性能监控与管理。它为系统中的所有性能数据提供统一的抽象，并提供了多种工具来查询、获取和处理这些数据。