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

Fuzzing Unit Tests with DeepState and Eclipser

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

Summary

Eclipser, presented at ICSE 2019, is now fully integrated into DeepState, giving C and C++ property-based tests grey-box fuzzing that approximates symbolic execution without ever calling an SMT solver.
Published
Collected

original ↗

Related coverage

  1. Fuzzing an API with DeepState (Part 1) (blog.trailofbits.com)
  2. Fuzzing an API with DeepState (Part 2) (blog.trailofbits.com)
  3. Sanitize your C++ containers: ASan annotations step-by-step (blog.trailofbits.com)
  4. Understanding AddressSanitizer: Better memory safety for your code (blog.trailofbits.com)
  5. The life and times of an Abstract Syntax Tree (blog.trailofbits.com)
  6. Catching OpenSSL misuse using CodeQL (blog.trailofbits.com)

back