计划覆盖

• angr
• 约束路径爆炸
• 混合执行
• 自动化求解题型

原子清单