mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-26 09:22:20 +03:00
659cfff6c9
The core of macaw cannot represent conditional calls because the existing block terminators are not sufficiently expressive and it doesn't support creating synthetic blocks to represent control flow not directly tied to machine addresses. To work around this, we introduce ARM-specific block terminators for conditional calls and plumb them through up to macaw-aarch32-symbolic. Fixes #288
76 lines
2.1 KiB
Plaintext
76 lines
2.1 KiB
Plaintext
cabal-version: >=1.10
|
|
-- Initial package description 'macaw-aarch32-symbolic.cabal' generated by
|
|
-- 'cabal init'. For further documentation, see
|
|
-- http://haskell.org/cabal/users-guide/
|
|
|
|
name: macaw-aarch32-symbolic
|
|
version: 0.1.0.0
|
|
synopsis: Symbolic execution support for ARM
|
|
-- description:
|
|
-- bug-reports:
|
|
license: BSD3
|
|
license-file: LICENSE
|
|
author: Tristan Ravitch
|
|
maintainer: tristan@galois.com
|
|
-- copyright:
|
|
category: Analysis
|
|
build-type: Simple
|
|
extra-source-files: CHANGELOG.md
|
|
|
|
library
|
|
exposed-modules: Data.Macaw.AArch32.Symbolic
|
|
other-modules: Data.Macaw.AArch32.Symbolic.AtomWrapper
|
|
Data.Macaw.AArch32.Symbolic.Functions
|
|
Data.Macaw.AArch32.Symbolic.Panic
|
|
-- other-extensions:
|
|
build-depends: base >=4.10 && <5,
|
|
containers,
|
|
lens,
|
|
panic,
|
|
text,
|
|
mtl,
|
|
parameterized-utils,
|
|
asl-translator,
|
|
what4,
|
|
crucible,
|
|
crucible-llvm,
|
|
macaw-base,
|
|
dismantle-arm-xml,
|
|
semmc-aarch32,
|
|
macaw-aarch32,
|
|
macaw-symbolic
|
|
hs-source-dirs: src
|
|
default-language: Haskell2010
|
|
ghc-options: -Wall -Wcompat
|
|
|
|
test-suite macaw-aarch32-symbolic-tests
|
|
type: exitcode-stdio-1.0
|
|
default-language: Haskell2010
|
|
ghc-options: -Wall -Wcompat
|
|
main-is: Main.hs
|
|
hs-source-dirs: tests
|
|
build-depends:
|
|
base >= 4,
|
|
bytestring,
|
|
containers,
|
|
crucible,
|
|
crucible-llvm,
|
|
elf-edit,
|
|
filepath,
|
|
Glob >= 0.9 && < 0.11,
|
|
lens,
|
|
dismantle-arm-xml,
|
|
asl-translator,
|
|
semmc-aarch32,
|
|
macaw-aarch32,
|
|
macaw-aarch32-symbolic,
|
|
macaw-base,
|
|
macaw-symbolic,
|
|
parameterized-utils,
|
|
prettyprinter,
|
|
tasty,
|
|
tasty-hunit,
|
|
text,
|
|
what4,
|
|
vector
|