31. 用 Manticore 施展魔法 漏洞 | 2017-05-15 11:50 | blog.trailofbits.com | 原文 ↗ | #automation | #ctf | #reverse-engineering
32. Manticore：面向人类的符号执行 博客 | 2017-04-27 04:00 | blog.trailofbits.com | 原文 ↗ | #open-source | #binary-analysis | #instrumentation
33. Arybo：通过混合布尔与算术运算清理混淆 研究 | 2016-09-11 22:00 | blog.quarkslab.com | 原文 ↗ | #python | #mba | #symbolic-execution
34. 一个模糊测试器和一个符号执行器走进云端 博客 | 2016-08-02 11:50 | blog.trailofbits.com | 原文 ↗ | #cloud | #fuzzing | #darpa
35. Triton 底层探秘 研究 | 2015-06-09 22:00 | blog.quarkslab.com | 原文 ↗ | #reverse-engineering | #binary-analysis | #symbolic-execution
36. 去混淆：还原被 OLLVM 保护的程序 研究 | 2014-12-03 23:00 | blog.quarkslab.com | 原文 ↗ | #reverse-engineering | #obfuscation | #symbolic-execution
37. 与符号执行的亲密接触（第 2 部分） 博客 | 2014-12-04 13:50 | blog.trailofbits.com | 原文 ↗ | #reverse-engineering | #llvm | #darpa
38. 与符号执行的亲密接触 博客 | 2014-11-25 13:50 | blog.trailofbits.com | 原文 ↗ | #darpa | #program-analysis | #symbolic-execution
Skip to content