Manticore：面向人类的符号执行
blog.trailofbits.com | 博客 | #open-source | #binary-analysis | #instrumentation | #trail-of-bits | #taint-analysis | #symbolic-execution | #manticore
摘要
Manticore 帮助我们快速利用符号执行、污点分析和插桩技术来分析二进制文件。
- 发布时间
- 收录时间
Skip to content