macaw/base/macaw-base.cabal

name: macaw-base
version: 0.3
author: Galois, Inc.
maintainer: jhendrix@galois.com
build-type: Simple
cabal-version: >= 1.9.2
license:       BSD3
license-file:  LICENSE
description:
  Macaw is a multi-architecture binary analysis library written in
  Haskell.  @macaw-base@ defines the core algorithms and data types
  used across architectures.  This includes:
  .
  * The control-flow graph data structure used to represent control-flow
    graphs is defined in "Data.Macaw.CFG".
  .
  * The datatypes used to add support for new architectures are defined in
     "Data.Macaw.Architecture".
  .
  * The datatypes used to represent memory are defined in "Data.Macaw.Memory".
    Functions for constructing memory objects from Elf files are in
    "Data.Macaw.Memory.ElfLoader".
  .
  * The main code discovery algorithm for discovering code are in
    "Data.Macaw.Discovery".
  .
  * Declarations for working with Dwarf debug information are in "Data.Macaw.Dwarf".

library
  build-depends:
    base >= 4,
    ansi-wl-pprint,
    binary,
    binary-symbols,
    bytestring,
    containers >= 0.5.8.1,
    elf-edit >= 0.29,
    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.Analysis.FunctionArgs
    Data.Macaw.Architecture.Info
    Data.Macaw.CFG
    Data.Macaw.CFG.App
    Data.Macaw.CFG.AssignRhs
    Data.Macaw.CFG.Block
    Data.Macaw.CFG.BlockLabel
    Data.Macaw.CFG.Core
    Data.Macaw.CFG.DemandSet
    Data.Macaw.CFG.Rewriter
    Data.Macaw.DebugLogging
    Data.Macaw.Discovery
    Data.Macaw.Discovery.AbsEval
    Data.Macaw.Discovery.State
    Data.Macaw.Dwarf
    Data.Macaw.Fold
    Data.Macaw.Memory
    Data.Macaw.Memory.ElfLoader
    Data.Macaw.Memory.LoadCommon
    Data.Macaw.Memory.Permissions
    Data.Macaw.SCFG
    Data.Macaw.Types
    Data.Macaw.Utils.Pretty

  ghc-options: -Wall
  ghc-options: -fno-warn-unticked-promoted-constructors
  ghc-prof-options: -O2 -fprof-auto-top
Rename macaw to macaw-base and move directory. 2017-09-28 01:41:37 +03:00			`name: macaw-base`
Merge branch 'master' of github.com:GaloisInc/macaw 2018-03-30 02:30:29 +03:00			`version: 0.3`
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`author: Galois, Inc.`
			`maintainer: jhendrix@galois.com`
			`build-type: Simple`
			`cabal-version: >= 1.9.2`
Update license information. 2017-09-28 01:59:06 +03:00			`license: BSD3`
			`license-file: LICENSE`
Haddock improvements; some module reoganization. 2018-01-29 11:20:54 +03:00			`description:`
			`Macaw is a multi-architecture binary analysis library written in`
			`Haskell. @macaw-base@ defines the core algorithms and data types`
			`used across architectures. This includes:`
			`.`
			`* The control-flow graph data structure used to represent control-flow`
			`graphs is defined in "Data.Macaw.CFG".`
			`.`
			`* The datatypes used to add support for new architectures are defined in`
			`"Data.Macaw.Architecture".`
			`.`
			`* The datatypes used to represent memory are defined in "Data.Macaw.Memory".`
			`Functions for constructing memory objects from Elf files are in`
			`"Data.Macaw.Memory.ElfLoader".`
			`.`
			`* The main code discovery algorithm for discovering code are in`
			`"Data.Macaw.Discovery".`
			`.`
			`* Declarations for working with Dwarf debug information are in "Data.Macaw.Dwarf".`
Initial commit of macaw 2016-11-29 10:14:04 +03:00
			`library`
			`build-depends:`
			`base >= 4,`
			`ansi-wl-pprint,`
			`binary,`
Relocation support; various cleanups. This patch adds initial support for relocations in Macaw code discovery, and adds other refactoring. * It introduces a SymbolValue constructor to represent references to symbols within Macaw. * The various cases for x86 mov are made explicit after the flexdis refactor broke the previous code. We should now support segment register movs and give better error messages when seeing mov with control or debug registers. * The generic exception operation is replaced with Hlt and UD2 terminal x86-specific statements. * CodeAddrReason is split into FunctionExploreReason and BlockExploreReason to clarify whether a function or block was discovered. * The Macaw pretty printer is changed to use write_mem in place of pointer syntax. * Various other refactoring is made to clarify code. 2018-04-23 21:24:21 +03:00			`binary-symbols,`
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`bytestring,`
Additional support for relocations; GHC 8.0.1 compat 2016-12-28 00:59:21 +03:00			`containers >= 0.5.8.1,`
Improve robustness of elf loader, and start trying to parse relocations in objects. 2018-03-30 01:21:31 +03:00			`elf-edit >= 0.29,`
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`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`
Move global function argument analysis to Macaw; Syscall changes We also moved the syscall interface to be X86 specific to be compat with earlier changes. 2017-11-23 01:07:55 +03:00			`Data.Macaw.Analysis.FunctionArgs`
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`Data.Macaw.Architecture.Info`
			`Data.Macaw.CFG`
Separate App/remove ConcatV. 2017-06-02 21:10:58 +03:00			`Data.Macaw.CFG.App`
Remove redundant IPAlignment constraint. 2018-06-06 21:28:26 +03:00			`Data.Macaw.CFG.AssignRhs`
Refactor modules. 2017-07-05 23:31:21 +03:00			`Data.Macaw.CFG.Block`
Move global function argument analysis to Macaw; Syscall changes We also moved the syscall interface to be X86 specific to be compat with earlier changes. 2017-11-23 01:07:55 +03:00			`Data.Macaw.CFG.BlockLabel`
Refactor modules. 2017-07-05 23:31:21 +03:00			`Data.Macaw.CFG.Core`
Add better optimization and dead code elimination for conditions. 2017-06-30 20:56:46 +03:00			`Data.Macaw.CFG.DemandSet`
			`Data.Macaw.CFG.Rewriter`
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`Data.Macaw.DebugLogging`
			`Data.Macaw.Discovery`
Cleanups to fix haddock documentation, rename types to be more accurate. 2017-06-04 21:09:07 +03:00			`Data.Macaw.Discovery.AbsEval`
			`Data.Macaw.Discovery.State`
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`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`
Minor cleanups. 2018-01-29 12:06:59 +03:00			`Data.Macaw.Memory.LoadCommon`
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`Data.Macaw.Memory.Permissions`
Remove redundant IPAlignment constraint. 2018-06-06 21:28:26 +03:00			`Data.Macaw.SCFG`
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`Data.Macaw.Types`
Haddock improvements; some module reoganization. 2018-01-29 11:20:54 +03:00			`Data.Macaw.Utils.Pretty`
Initial commit of macaw 2016-11-29 10:14:04 +03:00
Fix warnings; remove -Werror 2018-01-21 18:56:04 +03:00			`ghc-options: -Wall`
Initial commit of macaw 2016-11-29 10:14:04 +03:00			`ghc-options: -fno-warn-unticked-promoted-constructors`
Haddock improvements; some module reoganization. 2018-01-29 11:20:54 +03:00			`ghc-prof-options: -O2 -fprof-auto-top`