GitHub repository: GaloisInc/renovate
Primary language: Haskell
Description: A library for binary analysis and rewriting