31. Ninon Eyrolles 博士论文答辩：混合布尔算术表达式混淆：重建、分析与简化工具 研究 | 2017-06-08 22:00 | blog.quarkslab.com | 原文 ↗ | #obfuscation | #mba | #program-analysis
32. 你的工具比我的更好？证明给我看。 博客 | 2016-08-01 11:50 | blog.trailofbits.com | 原文 ↗ | #benchmarks | #darpa | #trail-of-bits
33. 动态程序分析的问题 博客 | 2016-03-09 18:53 | blog.trailofbits.com | 原文 ↗ | #memory-safety | #use-after-free | #tools
34. 简化 MBA 表达式需要哪些理论工具？ 研究 | 2015-09-22 22:00 | blog.quarkslab.com | 原文 ↗ | #reverse-engineering | #obfuscation | #mba
35. 与符号执行的亲密接触 博客 | 2014-11-25 13:50 | blog.trailofbits.com | 原文 ↗ | #darpa | #program-analysis | #symbolic-execution
Skip to content