macaw/macaw-ppc/macaw-ppc.cabal

-- Initial macaw-ppc.cabal generated by cabal init.  For further
-- documentation, see http://haskell.org/cabal/users-guide/

name:                macaw-ppc
version:             0.1.0.0
-- synopsis:
-- description:
license:             BSD3
license-file:        LICENSE
author:              Ben Selfridge
maintainer:          benselfridge@galois.com
-- copyright:
category:            Semantics
build-type:          Simple
extra-source-files:  ChangeLog.md
cabal-version:       >=1.10

library
  exposed-modules:     Data.Macaw.PPC
                       Data.Macaw.PPC.Arch
                       Data.Macaw.PPC.BinaryFormat.ELF
                       Data.Macaw.PPC.Disassemble
                       Data.Macaw.PPC.Eval
                       Data.Macaw.PPC.Identify
                       Data.Macaw.PPC.Operand
                       Data.Macaw.PPC.PPCReg
                       Data.Macaw.PPC.Semantics.Base
                       Data.Macaw.PPC.Semantics.PPC64
                       Data.Macaw.PPC.Semantics.PPC32
                       Data.Macaw.PPC.Semantics.TH
  build-depends:       base >=4.9 && <5,
                       bytestring,
                       containers,
                       constraints,
                       crucible,
                       text,
                       dismantle-tablegen,
                       dismantle-ppc,
                       semmc,
                       semmc-ppc,
                       macaw-semmc,
                       lens,
                       macaw-base,
                       ansi-wl-pprint,
                       cereal,
                       mtl,
                       parameterized-utils,
                       elf-edit,
                       template-haskell,
                       text
  hs-source-dirs:      src
  default-language:    Haskell2010
  ghc-options:         -Wall

test-suite macaw-ppc-tests
  type: exitcode-stdio-1.0
  default-language: Haskell2010
  ghc-options: -Wall
  main-is: Main.hs
  other-modules: PPC64Tests
                 PPC64InstructionCoverage
                 Shared
  hs-source-dirs: tests
  build-depends: base >=4.9 && <5,
                 bytestring,
                 containers,
                 constraints,
                 crucible,
                 dismantle-tablegen,
                 dismantle-ppc,
                 elf-edit,
                 exceptions,
                 filemanip,
                 filepath,
                 lens,
                 macaw-base,
                 macaw-ppc,
                 parameterized-utils,
                 semmc,
                 semmc-ppc,
                 template-haskell,
                 temporary,
                 tasty,
                 tasty-hunit,
                 text
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2017-10-04 00:43:33 +03:00			`-- Initial macaw-ppc.cabal generated by cabal init. For further`
first commit 2017-08-29 01:48:55 +03:00			`-- documentation, see http://haskell.org/cabal/users-guide/`

			`name: macaw-ppc`
			`version: 0.1.0.0`
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2017-10-04 00:43:33 +03:00			`-- synopsis:`
			`-- description:`
first commit 2017-08-29 01:48:55 +03:00			`license: BSD3`
			`license-file: LICENSE`
			`author: Ben Selfridge`
			`maintainer: benselfridge@galois.com`
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2017-10-04 00:43:33 +03:00			`-- copyright:`
first commit 2017-08-29 01:48:55 +03:00			`category: Semantics`
			`build-type: Simple`
			`extra-source-files: ChangeLog.md`
			`cabal-version: >=1.10`

			`library`
Split up the functions that will comprise ppc_linux_info 2017-10-02 21:19:34 +03:00			`exposed-modules: Data.Macaw.PPC`
Add arch-specific decls + type instances + rewriters This also lets us add 'withArchConstraints' easily. 2017-10-04 04:59:35 +03:00			`Data.Macaw.PPC.Arch`
Add a (currently failing) test for indirect call handling The code pointer discovery in macaw can't handle this case because we never write the code pointers into memory - we only read them. We really need a way to tell macaw about code pointers. The easy workaround is to pull all of the function entry points out of the TOC and just seed the macaw search with them, but it would be nice to be able to identify them from first principles. 2017-11-15 06:00:01 +03:00			`Data.Macaw.PPC.BinaryFormat.ELF`
Split up the functions that will comprise ppc_linux_info 2017-10-02 21:19:34 +03:00			`Data.Macaw.PPC.Disassemble`
			`Data.Macaw.PPC.Eval`
			`Data.Macaw.PPC.Identify`
[ppc] Add a helper for turning operands into bitvectors The main function is 'extractValue', which takes an operand and returns a macaw bitvector for it (in the PPCGenerator monad). There are still some missing cases for the memory operands. 2017-10-17 01:11:16 +03:00			`Data.Macaw.PPC.Operand`
second commit 2017-09-29 19:37:45 +03:00			`Data.Macaw.PPC.PPCReg`
Removed unused functions from TH.hs and put them in a standalone module 2017-11-02 21:43:27 +03:00			`Data.Macaw.PPC.Semantics.Base`
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2017-10-04 00:43:33 +03:00			`Data.Macaw.PPC.Semantics.PPC64`
			`Data.Macaw.PPC.Semantics.PPC32`
			`Data.Macaw.PPC.Semantics.TH`
second commit 2017-09-29 19:37:45 +03:00			`build-depends: base >=4.9 && <5,`
Add more disassembly infrastructure 2017-10-03 03:32:59 +03:00			`bytestring,`
second commit 2017-09-29 19:37:45 +03:00			`containers,`
Feed semantics to the `genExecInstruction` calls These lists come from semmc and contain the bytestrings of the semantics files for each opcode. NOTE: The lists are currently empty (presumably due to bugs), but the logic for moving data around and setting up a SimpleBuilder instance is at least right. 2017-10-07 02:58:53 +03:00			`constraints,`
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2017-10-04 00:43:33 +03:00			`crucible,`
Simplify more type variables and implement the error throwing function for the disassembler We had two different state thread parameters: s and ids. We only need one (for now), so unify them. 2017-10-03 21:09:23 +03:00			`text,`
Implement 'RegisterInfo' for PPCReg 2017-10-04 02:31:16 +03:00			`dismantle-tablegen,`
second commit 2017-09-29 19:37:45 +03:00			`dismantle-ppc,`
Depend on semmc/semmc-ppc and enable warnings 2017-10-02 20:26:39 +03:00			`semmc,`
			`semmc-ppc,`
Generalize the generator monad, the TH helper monad, and the simplifier This code was mostly architecture independent already, so this commit moves it to the macaw-semmc module so that it can be shared with the ARM backend. I still plan to move the main TH module with the SimpleBuilder to macaw translation, but that requires a few other changes first. 2017-11-27 10:31:04 +03:00			`macaw-semmc,`
second commit 2017-09-29 19:37:45 +03:00			`lens,`
			`macaw-base,`
Add arch-specific decls + type instances + rewriters This also lets us add 'withArchConstraints' easily. 2017-10-04 04:59:35 +03:00			`ansi-wl-pprint,`
Add a (currently failing) test for indirect call handling The code pointer discovery in macaw can't handle this case because we never write the code pointers into memory - we only read them. We really need a way to tell macaw about code pointers. The easy workaround is to pull all of the function entry points out of the TOC and just seed the macaw search with them, but it would be nice to be able to identify them from first principles. 2017-11-15 06:00:01 +03:00			`cereal,`
second commit 2017-09-29 19:37:45 +03:00			`mtl,`
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2017-10-04 00:43:33 +03:00			`parameterized-utils,`
Add a (currently failing) test for indirect call handling The code pointer discovery in macaw can't handle this case because we never write the code pointers into memory - we only read them. We really need a way to tell macaw about code pointers. The easy workaround is to pull all of the function entry points out of the TOC and just seed the macaw search with them, but it would be nice to be able to identify them from first principles. 2017-11-15 06:00:01 +03:00			`elf-edit,`
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2017-10-04 00:43:33 +03:00			`template-haskell,`
			`text`
first commit 2017-08-29 01:48:55 +03:00			`hs-source-dirs: src`
			`default-language: Haskell2010`
Depend on semmc/semmc-ppc and enable warnings 2017-10-02 20:26:39 +03:00			`ghc-options: -Wall`
Added test skeleton, rearranged some TH stuff 2017-10-19 00:27:29 +03:00
			`test-suite macaw-ppc-tests`
			`type: exitcode-stdio-1.0`
			`default-language: Haskell2010`
			`ghc-options: -Wall`
			`main-is: Main.hs`
Test runs, fails at identifyCall 2017-10-28 00:29:04 +03:00			`other-modules: PPC64Tests`
Add a new type of test to PowerPC It runs code discovery over a large-ish binary to test coverage. We currently fail due to unsupported instructions (expected). This test will guide priorities on implementing new semantics. 2017-11-10 04:18:20 +03:00			`PPC64InstructionCoverage`
Split some shared helpers out of a test module 2017-11-09 21:43:41 +03:00			`Shared`
Added test skeleton, rearranged some TH stuff 2017-10-19 00:27:29 +03:00			`hs-source-dirs: tests`
			`build-depends: base >=4.9 && <5,`
			`bytestring,`
			`containers,`
			`constraints,`
			`crucible,`
			`dismantle-tablegen,`
			`dismantle-ppc,`
			`elf-edit,`
			`exceptions,`
			`filemanip,`
			`filepath,`
			`lens,`
			`macaw-base,`
Added a simple test, which fails. 2017-10-25 02:36:36 +03:00			`macaw-ppc,`
Added test skeleton, rearranged some TH stuff 2017-10-19 00:27:29 +03:00			`parameterized-utils,`
			`semmc,`
			`semmc-ppc,`
			`template-haskell,`
			`temporary,`
			`tasty,`
			`tasty-hunit,`
			`text`