GitHub repository: GaloisInc/macaw-semmc
Primary language: Haskell
Description: Architecture-specific macaw backends