Fuzzing Unit Tests with DeepState and Eclipser

Published

2019-05-31 11:00

Collected

2026-07-03 04:25

---
id: 1965
title: "Fuzzing Unit Tests with DeepState and Eclipser"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2019/05/31/fuzzing-unit-tests-with-deepstate-and-eclipser/"
published_at: "2019-05-31T11:00:31Z"
tags: ["fuzzing", "cpp", "symbolic-execution", "deepstate", "eclipser", "unit-testing"]
phying_url: "https://phying.com/item/1965"
lang: en
---

# Fuzzing Unit Tests with DeepState and Eclipser

## 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.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2019-05-31T11:00:31Z
- **Original:** https://blog.trailofbits.com/2019/05/31/fuzzing-unit-tests-with-deepstate-and-eclipser/
- **Phying News:** https://phying.com/item/1965