GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-23 16:35:02 +03:00
Code Issues Projects Releases Wiki Activity
7c95f5d874
macaw/macaw-ppc/macaw-ppc.cabal

93 lines
2.9 KiB
Plaintext
Raw Normal View History

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
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,
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
Reference in New Issue Copy Permalink