摘要摘要 前言 安装如何贡献贡献什么常见问题 核心概念 顶层接口加载二进制文件Solver引擎程序状态模拟管理器执行引擎分析备注 内建分析 CFG向后切片函数标识符 高级主题 GotchasThe Whole PipelineSpeed ConsiderationsIntermediate RepresentationWorking with Data and ConventionsClaripySymbolic Memory Addressing 扩展angr Programming SimProceduresWriting State PluginsExtending the Environment ModelTODO: Writing Exploration TechniquesWriting AnalysesTODO: Adding Support for New Architectures Examples附录 List of Claripy OperationsList of State OptionsChangelogMigrating to angr 8Migrating to angr 7