macaw/macaw.cabal

name: macaw
version: 0.0.1
author: Galois, Inc.
maintainer: jhendrix@galois.com
build-type: Simple
cabal-version: >= 1.9.2

library
  build-depends:
    base >= 4,
    ansi-wl-pprint,
    binary,
    bytestring,
    containers >= 0.5.8.1,
    elf-edit >= 0.28,
    galois-dwarf,
    IntervalMap >= 0.5,
    lens >= 4.7,
    mtl,
    parameterized-utils >= 0.1.6,
    text,
    vector,
    QuickCheck >= 2.7

  hs-source-dirs: src

  exposed-modules:
    Data.Macaw.AbsDomain.AbsState
    Data.Macaw.AbsDomain.JumpBounds
    Data.Macaw.AbsDomain.Refine
    Data.Macaw.AbsDomain.StridedInterval
    Data.Macaw.Architecture.Info
    Data.Macaw.Architecture.Syscall
    Data.Macaw.CFG
    Data.Macaw.DebugLogging
    Data.Macaw.Discovery
    Data.Macaw.Discovery.Info
    Data.Macaw.Dwarf
    Data.Macaw.Fold
    Data.Macaw.Memory
    Data.Macaw.Memory.ElfLoader
    Data.Macaw.Memory.Permissions
    Data.Macaw.Types

  ghc-options: -Wall -Werror
  ghc-options: -fno-warn-unticked-promoted-constructors
  ghc-prof-options: -O2 -fprof-auto-top
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`name: macaw`
			`version: 0.0.1`
			`author: Galois, Inc.`
			`maintainer: jhendrix@galois.com`
			`build-type: Simple`
			`cabal-version: >= 1.9.2`

			`library`
			`build-depends:`
			`base >= 4,`
			`ansi-wl-pprint,`
			`binary,`
			`bytestring,`
Additional support for relocations; GHC 8.0.1 compat 2016-12-28 00:59:21 +03:00			`containers >= 0.5.8.1,`
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`elf-edit >= 0.28,`
			`galois-dwarf,`
Add a version bound on IntervalMap Macaw uses the API from 0.5, which is incompatible with 0.4 for the contains function. 2017-01-07 03:10:23 +03:00			`IntervalMap >= 0.5,`
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`lens >= 4.7,`
			`mtl,`
			`parameterized-utils >= 0.1.6,`
			`text,`
			`vector,`
			`QuickCheck >= 2.7`

			`hs-source-dirs: src`

			`exposed-modules:`
			`Data.Macaw.AbsDomain.AbsState`
Start using jump bounds; introduce "ParsedBlocks" The code is now using a constraint representation for Jump bounds; an attempt to reduce the need for strided intervals. It's a bit unclear how much of a win this is; the jump bounds should recognize the size of a jump table with fewer needs to repeat as strided intervals may. However, it doesn't solve the incompleteness problem that I hoped it would -- if the intra-procedural control flow graph contains missing edges, the result may still be incomplete. This code also introduces ParsedBlocks, a basic block representation that used the ParseTermStmt. A future patch will start including this in the discoveryinfo, so that later procedures do not need to call "classifyBlock". 2017-02-16 10:53:19 +03:00			`Data.Macaw.AbsDomain.JumpBounds`
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`Data.Macaw.AbsDomain.Refine`
			`Data.Macaw.AbsDomain.StridedInterval`
			`Data.Macaw.Architecture.Info`
			`Data.Macaw.Architecture.Syscall`
			`Data.Macaw.CFG`
			`Data.Macaw.DebugLogging`
			`Data.Macaw.Discovery`
			`Data.Macaw.Discovery.Info`
			`Data.Macaw.Dwarf`
Migrate architecture independent code from reopt to here. 2017-05-30 09:25:51 +03:00			`Data.Macaw.Fold`
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`Data.Macaw.Memory`
			`Data.Macaw.Memory.ElfLoader`
			`Data.Macaw.Memory.Permissions`
			`Data.Macaw.Types`

			`ghc-options: -Wall -Werror`
			`ghc-options: -fno-warn-unticked-promoted-constructors`
			`ghc-prof-options: -O2 -fprof-auto-top`