name: ethereum-analyzer
version: 2.0.2
synopsis: A Ethereum contract analyzer.
homepage: https://github.com/ethereumK/ethereum-analyzer
license: Apache-2.0
license-file: LICENSE
author: Kevin Chen
maintainer: k_@berkeley.edu
category: Ethereum, Static Analysis
build-type: Simple
extra-source-files: ChangeLog.md, README.md
cabal-version: >=1.10
description: A Ethereum contract analyzer.
source-repository head
type: git
location: https://github.com/zchn/ethereum-analyzer
branch: master
subdir: ethereum-analyzer
source-repository this
type: git
location: https://github.com/zchn/ethereum-analyzer
tag: v2.0.2
subdir: ethereum-analyzer
library
build-depends: base >= 4 && < 5
, GenericPretty
, aeson
, bimap
, bytestring
, containers
, ethereum-analyzer-deps
, extra
, fgl
, graphviz
, hexstring
, hoopl >= 3.10.2.1
, pretty
, protolude
, split
, text
, unordered-containers
, wl-pprint-text
exposed-modules: Ethereum.Analyzer
, Ethereum.Analyzer.Common
, Ethereum.Analyzer.CfgAugmentPass
, Ethereum.Analyzer.CfgAugWithTopNPass
, Ethereum.Analyzer.Debug
, Ethereum.Analyzer.Disasm
, Ethereum.Analyzer.Solidity
, Ethereum.Analyzer.Util
other-modules: Ethereum.Analyzer.IR
, Ethereum.Analyzer.Solidity.AstJson
, Ethereum.Analyzer.Solidity.Finding
, Ethereum.Analyzer.Solidity.Foreach
, Ethereum.Analyzer.Solidity.Simple
ghc-options: -Wall
hs-source-dirs: src
buildable: True
default-language: Haskell98
default-extensions: NoImplicitPrelude
, OverloadedStrings
test-suite spec
type: exitcode-stdio-1.0
ghc-options: -Wall
hs-source-dirs: test
main-is: Spec.hs
other-modules: Ethereum.Analyzer.CfgAugmentPassSpec
, Ethereum.Analyzer.CfgAugWithTopNPassSpec
, Ethereum.Analyzer.IRSpec
, Ethereum.Analyzer.SoliditySpec
, Ethereum.Analyzer.Solidity.ForeachSpec
, Ethereum.Analyzer.Solidity.SimpleSpec
, Ethereum.Analyzer.TestData.Basic
, Ethereum.Analyzer.TestData.DaoJson
, Ethereum.Analyzer.TestData.StorageJson
, Ethereum.Analyzer.UtilSpec
, Ethereum.AnalyzerSpec
build-depends: base >= 4 && < 5
, GenericPretty
, bytestring
, ethereum-analyzer
, ethereum-analyzer-deps
, extra
, hoopl
, hspec
, protolude
, text
, wl-pprint-text
default-language: Haskell98
default-extensions: NoImplicitPrelude
, OverloadedStrings