计划覆盖

• 平坦化还原
• 污点与切片
• 编译器优化辅助还原
• 自动化去混淆

原子清单