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.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,
                       bv-sized >= 1.0.0 && < 1.1,
                       bytestring,
                       containers,
                       exceptions,
                       crucible,
                       text,
                       dismantle-tablegen,
                       dismantle-ppc,
                       semmc,
                       semmc-ppc,
                       macaw-semmc,
                       macaw-symbolic,
                       macaw-loader,
                       macaw-loader-ppc,
                       lens,
                       macaw-base,
                       cereal,
                       mtl,
                       parameterized-utils,
                       prettyprinter >= 1.7.0,
                       elf-edit,
                       template-haskell,
                       what4
  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: PPCTests
                 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,
                 prettyprinter,
                 macaw-base,
                 macaw-semmc,
                 macaw-ppc,
                 macaw-loader,
                 macaw-loader-ppc,
                 parameterized-utils,
                 semmc,
                 semmc-ppc,
                 template-haskell,
                 temporary,
                 tasty,
                 tasty-hunit,
                 text,
                 what4
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`
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,`
updates what4, crucible, etc. (#146) * update to bv-sized branch of what4 and other things * removed parameterized-utils submodule completely * Updates submodules * Fixes macaw-symbolic w.r.t. crucible-llvm changes Co-authored-by: Ben Selfridge <ben@000548-benselfridge.local> 2020-06-17 02:49:55 +03:00			`bv-sized >= 1.0.0 && < 1.1,`
Add more disassembly infrastructure 2017-10-03 03:32:59 +03:00			`bytestring,`
second commit 2017-09-29 19:37:45 +03:00			`containers,`
Add a draft of a generic binary loading interface, simplify TOC handling on PPC The generic binary loading interface is instantiated once for each architecture/binary container pair. This isn't great, but there is enough custom work in each setting to justify it. The binary loading interface isn't finished yet, and needs to learn some additional operations to support relocation. It already supports additional information that is architecture specific and binary container format specific (that operations will have to use on a per-format basis). On the PowerPC side, the Table of Contents (TOC) is now architecture-specific information constructed by the loader (currently from ELF binaries). The new TOC data type is in place to support this more easily (the old format was just a function). 2018-05-18 02:03:04 +03:00			`exceptions,`
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,`
Handle conversions for Float Mux in macaw-ppc. 2019-07-11 23:55:01 +03:00			`macaw-symbolic,`
Update to use macaw-loader for uniform binary loading. 2018-10-30 01:28:44 +03:00			`macaw-loader,`
			`macaw-loader-ppc,`
second commit 2017-09-29 19:37:45 +03:00			`lens,`
			`macaw-base,`
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,`
Switch from `ansi-wl-pprint` to the `prettyprinter` package. This patch relies on the following submodule updates: - GaloisInc/what4#77 - GaloisInc/elf-edit#20 - GaloisInc/crucible#586 - GaloisInc/asl-translator#28 This patch updates the following packages: - macaw-base - macaw-symbolic - macaw-x86 - macaw-x86-symbolic - macaw-aarch32 - macaw-ppc - macaw-semmc - macaw-refinement 2020-11-25 04:57:11 +03:00			`prettyprinter >= 1.7.0,`
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,`
Update for crucible reorganization and new what4 module. 2018-05-18 18:33:58 +03:00			`template-haskell,`
			`what4`
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`
ppc: Rename test modules They are now not 64-bit specific, update names to reflect that 2022-06-09 20:02:43 +03:00			`other-modules: PPCTests`
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,`
Add tests for 32 bit PowerPC 2022-06-07 08:02:57 +03:00			`prettyprinter,`
Added test skeleton, rearranged some TH stuff 2017-10-19 00:27:29 +03:00			`macaw-base,`
Update the PowerPC tests to deal with the latest macaw-semmc changes The new binary loading interface does manage to simplify things 2018-05-22 00:32:29 +03:00			`macaw-semmc,`
Added a simple test, which fails. 2017-10-25 02:36:36 +03:00			`macaw-ppc,`
Update to use macaw-loader for uniform binary loading. 2018-10-30 01:28:44 +03:00			`macaw-loader,`
			`macaw-loader-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,`
Update for crucible reorganization and new what4 module. 2018-05-18 18:33:58 +03:00			`text,`
			`what4`