---
id: 2067
title: "Magic with Manticore"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2017/05/15/magic-with-manticore/"
published_at: "2017-05-15T11:50:05Z"
tags: ["automation", "ctf", "reverse-engineering", "binary-ninja", "symbolic-execution", "manticore"]
phying_url: "https://phying.com/item/2067"
lang: en
---

# Magic with Manticore

## Summary

Solving Magic, a DEF CON CTF qualifier with 200 key-protected binaries, using Manticore symbolic execution plus Binary Ninja hooks to automate key extraction instead of manual reversing.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2017-05-15T11:50:05Z
- **Original:** https://blog.trailofbits.com/2017/05/15/magic-with-manticore/
- **Phying News:** https://phying.com/item/2067