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