---
id: 2383
title: "A fuzzer and a symbolic executor walk into a cloud"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2016/08/02/engineering-solutions-to-hard-program-analysis-problems/"
published_at: "2016-08-02T11:50:34Z"
tags: ["cloud", "fuzzing", "darpa", "symbolic-execution", "cyber-grand-challenge", "grr", "pysymemu"]
phying_url: "https://phying.com/item/2383"
lang: en
---

# A fuzzer and a symbolic executor walk into a cloud

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

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2016-08-02T11:50:34Z
- **Original:** https://blog.trailofbits.com/2016/08/02/engineering-solutions-to-hard-program-analysis-problems/
- **Phying News:** https://phying.com/item/2383