echidna: init at 1.7.2
This commit is contained in:
parent
712600db3b
commit
af3e9c79eb
62
pkgs/tools/security/echidna/default.nix
Normal file
62
pkgs/tools/security/echidna/default.nix
Normal file
|
@ -0,0 +1,62 @@
|
||||||
|
{ lib
|
||||||
|
, fetchpatch
|
||||||
|
, fetchFromGitHub
|
||||||
|
# Haskell deps
|
||||||
|
, mkDerivation, aeson, ansi-terminal, base, base16-bytestring, binary, brick
|
||||||
|
, bytestring, cborg, containers, data-dword, data-has, deepseq, directory
|
||||||
|
, exceptions, filepath, hashable, hevm, hpack, lens, lens-aeson, megaparsec
|
||||||
|
, MonadRandom, mtl, optparse-applicative, process, random, stm, tasty
|
||||||
|
, tasty-hunit, tasty-quickcheck, temporary, text, transformers , unix, unliftio
|
||||||
|
, unliftio-core, unordered-containers, vector, vector-instances, vty
|
||||||
|
, wl-pprint-annotated, word8, yaml , extra, ListLike, semver
|
||||||
|
}:
|
||||||
|
mkDerivation rec {
|
||||||
|
pname = "echidna";
|
||||||
|
version = "1.7.2";
|
||||||
|
|
||||||
|
src = fetchFromGitHub {
|
||||||
|
owner = "crytic";
|
||||||
|
repo = "echidna";
|
||||||
|
rev = "v${version}";
|
||||||
|
sha256 = "sha256-eFhL8Zn8204JRrF69ibPtd7VpFW63i1iVXoGwXHlqps=";
|
||||||
|
};
|
||||||
|
|
||||||
|
patches = [
|
||||||
|
(fetchpatch {
|
||||||
|
name = "update-hevm-to-0.47.0.patch";
|
||||||
|
url = "https://github.com/crytic/echidna/commit/25dfdad93d0e0dd822f22a1c1e63a0ecf2b22a23.patch";
|
||||||
|
sha256 = "sha256-dj3Ie+Z4zE1fgROE/KuWZXaH9knsXJi1ai3gu5zyw/E=";
|
||||||
|
})
|
||||||
|
];
|
||||||
|
|
||||||
|
isLibrary = true;
|
||||||
|
isExecutable = true;
|
||||||
|
libraryHaskellDepends = [
|
||||||
|
aeson ansi-terminal base base16-bytestring binary brick bytestring cborg
|
||||||
|
containers data-dword data-has deepseq directory exceptions filepath
|
||||||
|
hashable hevm lens lens-aeson megaparsec MonadRandom mtl
|
||||||
|
optparse-applicative process random stm temporary text transformers unix
|
||||||
|
unliftio unliftio-core unordered-containers vector vector-instances vty
|
||||||
|
wl-pprint-annotated word8 yaml extra ListLike semver
|
||||||
|
];
|
||||||
|
libraryToolDepends = [ hpack ];
|
||||||
|
executableHaskellDepends = libraryHaskellDepends;
|
||||||
|
testHaskellDepends = [
|
||||||
|
tasty tasty-hunit tasty-quickcheck
|
||||||
|
];
|
||||||
|
preConfigure = ''
|
||||||
|
hpack
|
||||||
|
# re-enable dynamic build for Linux
|
||||||
|
sed -i -e 's/os(linux)/false/' echidna.cabal
|
||||||
|
'';
|
||||||
|
shellHook = "hpack";
|
||||||
|
doHaddock = false;
|
||||||
|
# tests depend on a specific version of solc
|
||||||
|
doCheck = false;
|
||||||
|
|
||||||
|
description = "Ethereum smart contract fuzzer";
|
||||||
|
homepage = "https://github.com/crytic/echidna";
|
||||||
|
license = lib.licenses.agpl3Plus;
|
||||||
|
maintainers = with lib.maintainers; [ arturcygan ];
|
||||||
|
platforms = lib.platforms.unix;
|
||||||
|
}
|
|
@ -1504,6 +1504,8 @@ in
|
||||||
|
|
||||||
ecdsautils = callPackage ../tools/security/ecdsautils { };
|
ecdsautils = callPackage ../tools/security/ecdsautils { };
|
||||||
|
|
||||||
|
echidna = haskell.lib.justStaticExecutables (haskellPackages.callPackage (../tools/security/echidna) { });
|
||||||
|
|
||||||
sedutil = callPackage ../tools/security/sedutil { };
|
sedutil = callPackage ../tools/security/sedutil { };
|
||||||
|
|
||||||
elvish = callPackage ../shells/elvish { };
|
elvish = callPackage ../shells/elvish { };
|
||||||
|
|
Loading…
Reference in a new issue