进阶话题

• 使用 angr 时的注意事项
• 理解执行流程
• Mixins 到底是啥，是怎么回事？
• 如何提高速度
• 使用文件系统、Sockets 和 Pipes
• 中间代码（Intermediate Representation, IR）
• 使用内置的数据类型和调用约定
• 求解器引擎（Solver Engine）
• 内存寻址符号化（Symbolic memory addressing）
• Java 支持
• Symbion：交错符号执行和具体执行
• 如何调试变量（仅限于有调试信息的二进制文件）
• 如何查看当前可用的变量