Skip to content
使用 KLEE-Native 进行二进制符号执行
blog.trailofbits.com | 博客 | #reverse-engineering | #binary-analysis | #llvm | #program-analysis | #symbolic-execution | #klee | #paravirtualization
摘要
KLEE-Native 是 KLEE 符号执行器的分支，可对二进制程序快照直接进行符号执行：通过动态将机器码提升为 LLVM 位码、结合半虚拟化运行时与 libc 拦截器恢复源码级抽象，无需源代码即可分析闭源二进制。
- 发布时间
- 收录时间