---
id: 3794
title: "Semantic Analysis of Native Programs with CodeReason"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2014/02/23/semantic-analysis-of-native-programs-introducing-codereason/"
published_at: "2014-02-24T03:59:13Z"
tags: ["malware", "reverse-engineering", "binary-analysis", "static-analysis", "darpa", "flame"]
phying_url: "https://phying.com/item/3794"
lang: en
---

# Semantic Analysis of Native Programs with CodeReason

## Summary

Trail of Bits introduces CodeReason, a DARPA-funded framework that models x86/ARM instruction semantics so analysts can query program state, shown deobfuscating Flame malware strings.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2014-02-24T03:59:13Z
- **Original:** https://blog.trailofbits.com/2014/02/23/semantic-analysis-of-native-programs-introducing-codereason/
- **Phying News:** https://phying.com/item/3794