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

A fuzzer and a symbolic executor walk into a cloud

blog.trailofbits.com | blog | #cloud | #fuzzing | #darpa | #symbolic-execution | #cyber-grand-challenge | #grr | #pysymemu

Summary

Trail of Bits details GRR, a high-throughput fuzzer that ran tens of billions of executions in DARPA's Cyber Grand Challenge, and PySymEmu, a binary symbolic executor, as complementary tools.
Published
Collected

original ↗

Related coverage

  1. Shin GRR: Make Fuzzing Fast Again (blog.trailofbits.com)
  2. Your tool works better than mine? Prove it. (blog.trailofbits.com)
  3. Hacking for Charity: Automated Bug-finding in LibOTR (blog.trailofbits.com)
  4. How We Fared in the Cyber Grand Challenge (blog.trailofbits.com)
  5. Close Encounters with Symbolic Execution (Part 2) (blog.trailofbits.com)
  6. Close Encounters with Symbolic Execution (blog.trailofbits.com)

back