Week 1安全分析导论
自动化验证与人工审计,漏洞分类
Week 2静态分析基础
控制流图 (CFG), 数据流分析
Week 3污点分析 (Taint Analysis)
追踪不受信任的输入,隐式流处理
Week 4符号执行 (Symbolic Execution)
路径探索,SMT 求解器集成 (Z3)
Week 5模糊测试 (Fuzzing 1)
基于变异的 Fuzzing, AFL 基础
Week 6灵活性周 (Flex Week)
无新内容
Week 7进阶模糊测试
反馈驱动,结构化 Fuzzing (LibFuzzer)
Week 8逆向工程基础
反汇编,反编译技术,二进制分析
Week 9动态二进制分析
插桩技术 (Pin/Frida), 运行时漏洞检测
Week 10分析报告与修复建议
自动化报告生成,期末回顾