大模型辅助Ghidra符号执行
📚 30章 · 实战目录
⚡ 您的浏览器未启用JavaScript，但下面已为您静态展示全部30章目录（纯列表）。
1. 课程导论：为什么需要大模型辅助Ghidra符号执行？...
2. Ghidra基础回顾：Ghidra架构、插件机制...
3. 符号执行基础：什么是符号执行？...
4. Ghidra Pcode与IR：Pcode指令集架构...
5. Ghidra符号执行插件（SymGhidra）安装与配置...
6. SymGhidra核心API解析：符号状态管理...
7. 大模型（LLM）基础：主流模型介绍...
8. 大模型辅助逆向分析：用LLM理解反汇编代码...
9. 大模型辅助符号执行（一）：自动生成符号执行目标...
10. 大模型辅助符号执行（二）：用LLM简化复杂路径约束...
11. 大模型辅助符号执行（三）：智能路径剪枝...
12. 实战案例一：CTF逆向题——迷宫问题...
13. 实战案例二：漏洞挖掘——缓冲区溢出...
14. 实战案例三：协议逆向——状态机提取...
15. 大模型辅助生成Ghidra脚本...
16. 大模型辅助调试符号执行脚本...
17. 高级技巧一：符号执行与具体执行混合...
18. 高级技巧二：多路径符号执行与并行化...
19. 高级技巧三：符号执行与模糊测试结合...
20. 大模型辅助分析符号执行结果...
21. 自定义符号执行引擎（一）...
22. 自定义符号执行引擎（二）：集成Z3求解器...
23. 自定义符号执行引擎（三）：路径探索策略...
24. 大模型辅助编写符号执行测试用例...
25. 大模型辅助逆向工程文档生成...
26. 大模型辅助团队协作...
27. 常见问题与避坑指南...
28. 性能优化：符号执行加速技巧...
29. 综合实战：真实世界二进制程序全流程分析...
30. 课程总结与展望...