Phying News
P非影 中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

Manticore: Symbolic execution for humans

blog.trailofbits.com | blog | #open-source | #binary-analysis | #instrumentation | #trail-of-bits | #taint-analysis | #symbolic-execution | #manticore

Summary

Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries.
Published
Collected

original ↗

Related coverage

  1. 1Password's AI patching benchmark is misleading (blog.trailofbits.com)
  2. Performing Concolic Execution on Cryptographic Primitives (blog.trailofbits.com)
  3. Symbolic Path Merging in Manticore (blog.trailofbits.com)
  4. Trail of Bits @ Devcon IV Recap (blog.trailofbits.com)
  5. Fault Analysis on RSA Signing (blog.trailofbits.com)
  6. Videos from Ethereum-focused Empire Hacking (blog.trailofbits.com)

back