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

Fuzzing an API with DeepState (Part 1)

blog.trailofbits.com | blog | #fuzzing | #symbolic-execution | #deepstate | #unit-testing | #api-testing

Summary

Part 1 shows how DeepState turns a handwritten red-black tree fuzzer into a full test generator with regression replay, test reduction, and Manticore/angr/libFuzzer/AFL backends, catching missed bugs.
Published
Collected

original ↗

Related coverage

  1. Fuzzing Unit Tests with DeepState and Eclipser (blog.trailofbits.com)
  2. Performing Concolic Execution on Cryptographic Primitives (blog.trailofbits.com)
  3. Fuzzing an API with DeepState (Part 2) (blog.trailofbits.com)
  4. Everything You Ever Wanted To Know About Test-Case Reduction, But Didn’t Know to Ask (blog.trailofbits.com)
  5. DeepState Now Supports Ensemble Fuzzing (blog.trailofbits.com)
  6. Symbolic Path Merging in Manticore (blog.trailofbits.com)

back