---
id: 3778
title: "Close Encounters with Symbolic Execution"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2014/11/25/close-encounters-with-symbolic-execution/"
published_at: "2014-11-25T13:50:54Z"
tags: ["darpa", "program-analysis", "symbolic-execution", "mcsema", "klee", "maze-solving"]
phying_url: "https://phying.com/item/3778"
lang: en
---

# Close Encounters with Symbolic Execution

## Summary

Part 1: a primer on symbolic execution via escalating maze problems, and how KLEE (LLVM-based, enabled by mcsema) lets a DARPA Cyber Grand Challenge system learn inputs for binary-only software.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2014-11-25T13:50:54Z
- **Original:** https://blog.trailofbits.com/2014/11/25/close-encounters-with-symbolic-execution/
- **Phying News:** https://phying.com/item/3778