Rosemary Design

Rosemary: Binary Static Analysis Engine