312a9e1490
ci: add solc 0.8.x tests
9 months ago
ac63cb5828
ci: unmark solc 0.6 and 0.7 as experimental
9 months ago
603dc35079
Bump DeterminateSystems/magic-nix-cache-action from 2 to 3 ( #1186 )
...
* Bump DeterminateSystems/magic-nix-cache-action from 2 to 3
Bumps [DeterminateSystems/magic-nix-cache-action](https://github.com/determinatesystems/magic-nix-cache-action ) from 2 to 3.
- [Release notes](https://github.com/determinatesystems/magic-nix-cache-action/releases )
- [Commits](https://github.com/determinatesystems/magic-nix-cache-action/compare/v2...v3 )
---
updated-dependencies:
- dependency-name: DeterminateSystems/magic-nix-cache-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
* ci: release: re-enable Nix cache for aarch64 builds
The action now supports the architecture.
---------
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Emilio López <2642849+elopez@users.noreply.github.com>
9 months ago
f641d1a070
Fix faulty corpus transaction detection ( #1184 )
...
* Fix faulty corpus transaction detection
* Don't execute NoCalls
9 months ago
1d0c937e88
Display contract names in UI ( #1181 )
9 months ago
09b86445c9
Save traces for every transaction in reproducer ( #1180 )
9 months ago
f964ba68fc
Refactor ( #1178 )
9 months ago
2cf85c3b4c
Validate corpus while replaying ( #1177 )
9 months ago
467ad6c345
Refactor BuildOutput ( #1174 )
9 months ago
8e258fd9c3
Bump actions/cache from 3 to 4 ( #1173 )
...
Bumps [actions/cache](https://github.com/actions/cache ) from 3 to 4.
- [Release notes](https://github.com/actions/cache/releases )
- [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md )
- [Commits](https://github.com/actions/cache/compare/v3...v4 )
---
updated-dependencies:
- dependency-name: actions/cache
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>
9 months ago
4ccee4b00b
Echidna 2.2.2 ( #1169 )
9 months ago
bbd35b0a8c
Save corpus and reproducers continuously ( #1167 )
10 months ago
24cd9729a0
Add list of security reviews ( #1165 )
10 months ago
e604b300ae
Bump cachix/install-nix-action from 24 to 25 ( #1163 )
...
Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action ) from 24 to 25.
- [Release notes](https://github.com/cachix/install-nix-action/releases )
- [Commits](https://github.com/cachix/install-nix-action/compare/v24...v25 )
---
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>
10 months ago
fb42ab4b5a
Bump cachix/cachix-action from 13 to 14 ( #1162 )
...
Bumps [cachix/cachix-action](https://github.com/cachix/cachix-action ) from 13 to 14.
- [Release notes](https://github.com/cachix/cachix-action/releases )
- [Commits](https://github.com/cachix/cachix-action/compare/v13...v14 )
---
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>
10 months ago
988bda7c70
Deliver status information using server-sent events ( #1131 )
...
* POC of delivering status information using server-sent events
* deliver only events instead of status lines
* Stream JSON events
* Hide event server behind config
---------
Co-authored-by: Artur Cygan <artur.cygan@trailofbits.com>
10 months ago
e0d243a939
Index CoverageMap and SignatureMap by codehash (for performance) ( #1160 )
...
* WIP implementation using codehash map
* compiles and runs; significantly faster than master
* use codehash for signaturemap
* remove metadata cache
* use codeContract rather than contract; use env rather than individual pieces of env
* refactor codehash helper functions
* hlint
* cleanup
* added test (don't know if it works yet)
* Add @arcz 's suggestions
* fallback on bytecode metadata if findSrc doesn't work
* fix tests
* rename Echidna.Types.CodehashMap to Echidna.SignatureMapping
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
Emilio López
dependabot[bot]
Artur Cygan
Feist Josselin
Gustavo Grieco
samalws-tob
Emilio López
E. Rivas
Ardis Lu
James Olds