GitHub repository: GaloisInc/stubs
Primary language: Haskell
Description: Simple language for defining stub function semantics for binary analysis