核心概念

• 核心概念
• 加载二进制文件
• 符号表达式与约束求解
• 机器状态（State） - 内存、寄存器等
• 模拟管理器（Simulation Managers）
• 模拟（Simulation）与相关工具（Instrumentation）
• 分析器（Analyses）
• 符号执行（Symbolic Execution）
• 最后的建议