摘要 前言 安装 如何贡献 贡献什么 常见问题 核心概念 顶层接口 加载二进制文件 Solver引擎 程序状态 模拟管理器 执行引擎 分析 备注 内建分析 CFG 向后切片 函数标识符 高级主题 Gotchas The Whole Pipeline Speed Considerations Intermediate Representation Working with Data and Conventions Claripy Symbolic Memory Addressing 扩展angr Programming SimProcedures Writing State Plugins Extending the Environment Model TODO: Writing Exploration Techniques Writing Analyses TODO: Adding Support for New Architectures Examples 附录 List of Claripy Operations List of State Options Changelog Migrating to angr 8 Migrating to angr 7