宣布 Manticore 0.3.0 发布
blog.trailofbits.com | 博客 | #release | #dynamic-analysis | #symbolic-execution | #manticore | #aarch64
摘要
符号执行引擎 Manticore 0.3.0 发布:执行器重构为基于 multiprocessing,新增 Unicorn 预加载可将无关具体执行快进提速至 50 倍,并支持静态编译的 AArch64 Linux 二进制文件。
- 发布时间
- 收录时间
Skip to content