87c635b59e
rename Echidna.Types.CodehashMap to Echidna.SignatureMapping
10 months ago
dcbc558ad7
fix tests
10 months ago
bad2d741ac
fallback on bytecode metadata if findSrc doesn't work
10 months ago
6a0e32f7de
Add @arcz 's suggestions
10 months ago
514220265d
added test (don't know if it works yet)
10 months ago
b78e6a7af4
cleanup
10 months ago
7c8fdbc793
hlint
10 months ago
292168a8aa
refactor codehash helper functions
10 months ago
dc797eb0b3
use codeContract rather than contract; use env rather than individual pieces of env
10 months ago
964cbafd32
remove metadata cache
10 months ago
7e70e18d56
use codehash for signaturemap
10 months ago
61ec23c3cb
compiles and runs; significantly faster than master
10 months ago
141bad2e6b
WIP implementation using codehash map
10 months ago
9d502be265
Make slither optional ( #1159 )
10 months ago
937102bcba
Simplify saving tx result in coverage ( #1158 )
10 months ago
f6e8fbb016
Use trace printing from hevm ( #1157 )
10 months ago
0a3480974c
echidna-redistributable: fix static builds ( #1156 )
...
* echidna-redistributable: alert if nix deps remain on binary
* echidna-redistributable: link cxxabi as well on darwin
* echidna-redistributable: use pkgsStatic for haskell operations
10 months ago
b7f5e79bf1
Upgrade actions/upload-artifact and actions/download-artifact to v4 ( #1155 )
10 months ago
0d9588545a
Bump nixpkgs and default back to non-static ( #1154 )
10 months ago
0fab478e0b
Bump actions/setup-python from 4 to 5 ( #1147 )
...
Bumps [actions/setup-python](https://github.com/actions/setup-python ) from 4 to 5.
- [Release notes](https://github.com/actions/setup-python/releases )
- [Commits](https://github.com/actions/setup-python/compare/v4...v5 )
---
updated-dependencies:
- dependency-name: actions/setup-python
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
10 months ago
0540ce60cb
Merge pull request #1153 from crytic/hevm-0.52
...
hevm 0.52
10 months ago
ce70a8e958
hevm: update to 0.52.0
10 months ago
7ca2cf7447
Small cleanup in execTxWith
10 months ago
04c5a79f0b
Bump DeterminateSystems/nix-installer-action from 8 to 9 ( #1148 )
...
Bumps [DeterminateSystems/nix-installer-action](https://github.com/determinatesystems/nix-installer-action ) from 8 to 9.
- [Release notes](https://github.com/determinatesystems/nix-installer-action/releases )
- [Commits](https://github.com/determinatesystems/nix-installer-action/compare/v8...v9 )
---
updated-dependencies:
- dependency-name: DeterminateSystems/nix-installer-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
10 months ago
60a68b6886
Bump sigstore/gh-action-sigstore-python from 2.1.0 to 2.1.1 ( #1149 )
...
Bumps [sigstore/gh-action-sigstore-python](https://github.com/sigstore/gh-action-sigstore-python ) from 2.1.0 to 2.1.1.
- [Release notes](https://github.com/sigstore/gh-action-sigstore-python/releases )
- [Commits](https://github.com/sigstore/gh-action-sigstore-python/compare/v2.1.0...v2.1.1 )
---
updated-dependencies:
- dependency-name: sigstore/gh-action-sigstore-python
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
10 months ago
25361bdd16
Bump cachix/install-nix-action from 23 to 24 ( #1146 )
...
Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action ) from 23 to 24.
- [Release notes](https://github.com/cachix/install-nix-action/releases )
- [Commits](https://github.com/cachix/install-nix-action/compare/v23...v24 )
---
updated-dependencies:
- dependency-name: cachix/install-nix-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
11 months ago
39c4deb324
Bump cachix/cachix-action from 12 to 13 ( #1145 )
...
Bumps [cachix/cachix-action](https://github.com/cachix/cachix-action ) from 12 to 13.
- [Release notes](https://github.com/cachix/cachix-action/releases )
- [Commits](https://github.com/cachix/cachix-action/compare/v12...v13 )
---
updated-dependencies:
- dependency-name: cachix/cachix-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
11 months ago
d2eac5090c
Bump DeterminateSystems/nix-installer-action from 6 to 8 ( #1144 )
...
Bumps [DeterminateSystems/nix-installer-action](https://github.com/determinatesystems/nix-installer-action ) from 6 to 8.
- [Release notes](https://github.com/determinatesystems/nix-installer-action/releases )
- [Commits](https://github.com/determinatesystems/nix-installer-action/compare/v6...v8 )
---
updated-dependencies:
- dependency-name: DeterminateSystems/nix-installer-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
11 months ago
494eb9241d
nix: static builds and release workflow ( #1133 )
...
* flake.nix: static build support
Adds a "redistributable" flavor of Echidna that is fully static on
Linux, and mostly static on macOS.
* ci: add Nix & release workflow
Replaces previous Nix workflow
* ci: release: add job timeouts
* ci: release: configure Cachix
* README: update echidna-bundle references to echidna-redistributable
* Fix TERMINFO path for Nix release builds on Linux
ncurses in Nix is built with a TERMINFO path that references `/nix`.
This causes the binaries fail when ran on non-nix systems, unless
TERMINFO=/usr/share/terminfo is exported. This patches the binaries
to use a more sensible default TERMINFO path.
See also commit f76a7f4a
11 months ago
f52b35af4e
Fix new hlint issues after update (hlint-3.6.1) ( #1132 )
...
* refactor: nits to make hlint-3.6.1 happy
* refactor: remove redundant import
1 year ago
e03efba8d2
Update to GHC 9.4 ( #1096 )
...
* Update to GHC 9.4
* ci: Update to GHC 9.4
* ci: fix GHC 9.4 support on Windows
GHC 9.4 has changed toolchains to Clang, which causes issues when building
with our current setup. We perform the following changes to support
GHC 9.4 and later:
* Use MSYS2 CLANG64 MSYS. See https://gitlab.haskell.org/ghc/ghc/-/issues/22561
* Use MSYS2 minimal $PATH. There's many things in the default GitHub
environment that cause conflicts. To achieve this, we have to also
manually re-add the Stack, Cabal and GHC paths.
* Bump the Stack resolver. GHC 9.4.7 has some compilation fixes that
are good to have around.
* Replace the GHC linker with our MSYS2 linker. The GHC linker is old
(~LLVM 14?) and does not fully understand the static libraries
produced by the newer Clang 17 in MSYS2.
* Refactor the way we invoke Stack and take advantage of the Stack
config to indicate extra library and include paths.
* Drop the 'strip' workaround for the test suite, as it is not needed
any longer.
* Fix the linking of the standard C++ library. GHC 9.4 introduces a
nice way to do it in a platform-independent way, but unfortunately
it does not work properly in Nix and it attempts to link clang++
instead of libc++.so, so we have to use some trickery.
addDLL: stdc++ or dependencies not loaded. (Win32 error 126)
See also:
* https://gitlab.haskell.org/ghc/ghc/-/issues/22738
* https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.4?version_id=b60e52482a666d25638d59cd7e86851ddf971dc1#link-against-system-cxx-std-lib-instead-of-stdc
* hevm: pin to newer version supporting GHC 9.4
* ci: linux: update to GHC 9.4.7
* ci: do not cache Stack config
---------
Co-authored-by: Emilio López <emilio.lopez@trailofbits.com>
1 year ago
c42eff0750
Bump docker/login-action from 2 to 3 ( #1122 )
...
Bumps [docker/login-action](https://github.com/docker/login-action ) from 2 to 3.
- [Release notes](https://github.com/docker/login-action/releases )
- [Commits](https://github.com/docker/login-action/compare/v2...v3 )
---
updated-dependencies:
- dependency-name: docker/login-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
068fa9dc13
Bump docker/metadata-action from 4 to 5 ( #1121 )
...
Bumps [docker/metadata-action](https://github.com/docker/metadata-action ) from 4 to 5.
- [Release notes](https://github.com/docker/metadata-action/releases )
- [Upgrade guide](https://github.com/docker/metadata-action/blob/master/UPGRADE.md )
- [Commits](https://github.com/docker/metadata-action/compare/v4...v5 )
---
updated-dependencies:
- dependency-name: docker/metadata-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
561edc0c72
Bump docker/build-push-action from 4 to 5 ( #1120 )
...
Bumps [docker/build-push-action](https://github.com/docker/build-push-action ) from 4 to 5.
- [Release notes](https://github.com/docker/build-push-action/releases )
- [Commits](https://github.com/docker/build-push-action/compare/v4...v5 )
---
updated-dependencies:
- dependency-name: docker/build-push-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
83475edf7f
Bump docker/setup-buildx-action from 2 to 3 ( #1119 )
...
Bumps [docker/setup-buildx-action](https://github.com/docker/setup-buildx-action ) from 2 to 3.
- [Release notes](https://github.com/docker/setup-buildx-action/releases )
- [Commits](https://github.com/docker/setup-buildx-action/compare/v2...v3 )
---
updated-dependencies:
- dependency-name: docker/setup-buildx-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
33f7b46d58
Revert "docker: temporarily pin crytic-compile @ 53167f3f3d63 ( #912 )" ( #1115 )
...
This reverts commit 563886df8bCloses #1114
1 year ago
31c187b835
Fix broken link ( #1113 )
1 year ago
f8ccfaa57d
Bump cachix/install-nix-action from 22 to 23 ( #1112 )
...
Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action ) from 22 to 23.
- [Release notes](https://github.com/cachix/install-nix-action/releases )
- [Commits](https://github.com/cachix/install-nix-action/compare/v22...v23 )
---
updated-dependencies:
- dependency-name: cachix/install-nix-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
058b517894
Bump actions/checkout from 3 to 4 ( #1111 )
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 3 to 4.
- [Release notes](https://github.com/actions/checkout/releases )
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md )
- [Commits](https://github.com/actions/checkout/compare/v3...v4 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
9ea8a2c865
re-enable using slither for vyper files ( #1108 )
1 year ago
21e6e5282a
Echidna 2.2.1 ( #1099 )
1 year ago
7be4072d77
Bring back loading multiple combined JSON files ( #1098 )
1 year ago
f4dfed28e1
Update hevm to 0.51.3 ( #1090 )
1 year ago
2711374501
echidna: enable compact-unwind on macOS ( #1084 )
...
* hevm: enable compact-unwind on macOS
Refer to https://gitlab.haskell.org/ghc/ghc/-/issues/11829
* Add test for precompile unwinding
* Revert hevm pin from "hevm: enable compact-unwind on macOS"
This partially reverts commit 37270701a7
1 year ago
8ce9b49b7c
Correct collection of coverage when there is a delegatecall ( #1083 )
1 year ago
dcc2387a7f
update link to empirehacking slack ( #1089 )
1 year ago
d0292959ab
Bump cachix/install-nix-action from 21 to 22 ( #1080 )
...
Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action ) from 21 to 22.
- [Release notes](https://github.com/cachix/install-nix-action/releases )
- [Commits](https://github.com/cachix/install-nix-action/compare/v21...v22 )
---
updated-dependencies:
- dependency-name: cachix/install-nix-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
a7d9290295
Show event sequence on new lines ( #1079 )
1 year ago
e9860f3f42
Improve "No tests found in ABI" error message ( #1077 )
1 year ago
d022554e65
Convert MonadState VM to explicit arguments ( #1074 )
1 year ago
Sam Alws
Artur Cygan
Emilio López
dependabot[bot]
E. Rivas
Ardis Lu
Gustavo Grieco
James Olds