与符号执行的亲密接触
blog.trailofbits.com | 博客 | #darpa | #program-analysis | #symbolic-execution | #mcsema | #klee | #maze-solving
摘要
系列第一篇：以迷宫求解层层深入讲解符号执行，并介绍 KLEE（基于 LLVM、借助 mcsema 作用于二进制）如何让 DARPA 网络大挑战赛的“推理系统”在无先验知识下学习二进制程序输入。
- 发布时间
- 收录时间
Skip to content