angr 中最重要的控制接口是 SimulationManager，它允许您同时控制状态组的符号执行，应用搜索策略来探索程序的状态空间。 在这里，您将学习如何使用它。
    模拟管理器让您可以巧妙地处理多个状态。 状态被组织成“藏匿处(stashes)”，您可以根据需要向前推进、过滤、合并和移动。 例如，这允许您以不同的速率步进两个不同的状态，然后将它们合并在一起。 大多数操作的默认存储是活动存储，这是您初始化新模拟管理器时放置状态的地方。