Sam Alws
183e14202a
Simplify Exec.hs
2026-03-16 09:08:57 +01:00
Emilio López
c010ea5410
tests: foundry: relax compiler pragma ( #1534 )
2026-03-13 22:57:34 +01:00
Emilio López
4974580535
Improve identification of CBOR bytecode metadata ( #1506 )
...
* Improve identification of CBOR bytecode metadata
* pick the last prefix if several are present, to work in bytecode-in-bytecode scenarios
(e.g., a contract that deploys other contracts)
* identify CBOR length and drop other trailing data (typically constructor arguments)
* Try CBOR metadata matches from end backwards, pick first valid
In bytecode-in-bytecode scenarios (e.g. a contract deploying another),
the child contract's CBOR prefix can appear in the middle of the parent
bytecode. Previously we only tried the last prefix match and fell back
to full bytecode if it was invalid. Now we try all matches from end to
start and return the first one with a valid CBOR length.
2026-03-13 15:50:07 +01:00
e899c10c3c
Improved support for foundry tests ( #1499 )
...
* improved support for foundry tests
* Extend Foundry support testing (#1512 )
* Fix lint failures
* ci: bump python version to 3.10, clone submodules
* some fixes when using foundry mode
* Update hevm to `542986dea3bec4f5898731ff48877a7a21811bf4`
* Fix bugs in Foundry test generation (#1516 )
* Fix fallback function bug in Foundry test generation
* Fix null byte in argument bug in Foundry test generation
* Remove unnecessary config file
* Remove unused/redundant imports
* Disable Slither in Foundry test gen tests
* Conditionally run forge-std tests based on the solc version
* Reduce unnecessary test grouping and improve failed assertion messages
---------
Co-authored-by: Emilio López <[email protected] #1521 )
* improve foundry stateful invariant testing
* fix
* Fix foundry test generation linter hints and tests (#1522 )
* Foundry updates (#1525 )
* Rename dapptest to foundry and support foundry assertX in assertion mode
* Rename basic foundry test contracts dir to `foundry-basic`
* Add testing modes to `README`
* fixes
* fixes
* Add support for Foundry assume (#1528 )
* flake: sync hevm version with stack.yaml
* Clarify `optimization` test mode in `README` (#1529 )
* IS_TEST fix
---------
Co-authored-by: Radu Bahmata <[email protected] [email protected] [email protected]
2026-03-13 15:49:41 +01:00
dependabot[bot]
75ec222641
build(deps): bump actions/upload-artifact from 6 to 7 ( #1527 )
...
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact ) from 6 to 7.
- [Release notes](https://github.com/actions/upload-artifact/releases )
- [Commits](https://github.com/actions/upload-artifact/compare/v6...v7 )
---
updated-dependencies:
- dependency-name: actions/upload-artifact
dependency-version: '7'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <[email protected]
2026-03-13 09:23:39 -03:00
dependabot[bot]
df257b909a
build(deps): bump actions/download-artifact from 7 to 8 ( #1526 )
...
Bumps [actions/download-artifact](https://github.com/actions/download-artifact ) from 7 to 8.
- [Release notes](https://github.com/actions/download-artifact/releases )
- [Commits](https://github.com/actions/download-artifact/compare/v7...v8 )
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: '8'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <[email protected]
2026-03-13 09:23:18 -03:00
dependabot[bot]
7bb2d080cf
build(deps): bump docker/metadata-action from 5 to 6 ( #1531 )
...
Bumps [docker/metadata-action](https://github.com/docker/metadata-action ) from 5 to 6.
- [Release notes](https://github.com/docker/metadata-action/releases )
- [Commits](https://github.com/docker/metadata-action/compare/v5...v6 )
---
updated-dependencies:
- dependency-name: docker/metadata-action
dependency-version: '6'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <[email protected]
2026-03-13 09:22:38 -03:00
dependabot[bot]
460d17c980
build(deps): bump docker/setup-buildx-action from 3 to 4 ( #1532 )
...
Bumps [docker/setup-buildx-action](https://github.com/docker/setup-buildx-action ) from 3 to 4.
- [Release notes](https://github.com/docker/setup-buildx-action/releases )
- [Commits](https://github.com/docker/setup-buildx-action/compare/v3...v4 )
---
updated-dependencies:
- dependency-name: docker/setup-buildx-action
dependency-version: '4'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <[email protected]
2026-03-13 09:22:13 -03:00
dependabot[bot]
72f5033d1b
build(deps): bump docker/build-push-action from 6 to 7 ( #1533 )
...
Bumps [docker/build-push-action](https://github.com/docker/build-push-action ) from 6 to 7.
- [Release notes](https://github.com/docker/build-push-action/releases )
- [Commits](https://github.com/docker/build-push-action/compare/v6...v7 )
---
updated-dependencies:
- dependency-name: docker/build-push-action
dependency-version: '7'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <[email protected]
2026-03-13 09:21:52 -03:00
Emilio López
f946d3638e
Etherscan: add support for multiple files ( #1520 )
...
Sample contracts to test with sourcemaps:
- 0x924fa68a0fc644485b8df8abfa0a41c2e7744444
Single brace, direct format, chainid=56 (BSC)
- 0x58d97b57bb95320f9a05dc918aef65434969c2b2
Double brace, nested format, chainid=1 (Ethereum)
- 0x54261774905f3e6e9718f2abb10ed6555cae308a
Raw source code, chainid=56 (BSC)
2026-02-08 09:27:45 +01:00
Emilio López
fc6a4164eb
Update open source address ( #1524 )
2026-02-05 08:32:41 +01:00
Emilio López
5ab7bc068c
Update hevm to 41e6d1304411749ea8c816d131991663b5dca67a ( #1519 )
...
* Update hevm to `542986dea3bec4f5898731ff48877a7a21811bf4`
* Update hevm to `41e6d1304411749ea8c816d131991663b5dca67a`
2026-02-01 18:20:05 -03:00
Emilio López
cde590fd71
Echidna 2.3.1 ( #1517 )
...
* Bump version to 2.3.1
* Update CHANGELOG
2026-01-16 14:43:10 -03:00
Emilio López
4092fe5104
Onchain: Sourcify support for code and source maps ( #1511 )
...
* Initial Sourcify support
* Refactor onchain support
* Clean up implementation
* Fix conformance with Sourcify
* Clean up implementation
* Reduce amount of fields requested to Sourcify
* Do not request metadata from Sourcify
* Allow disabling Sourcify and Etherscan
This adds a new config option, `disableOnchainSources`, and a new
CLI flag, `--disable-onchain-sources` that allows disabling coverage
reports for onchain contracts.
2026-01-15 22:55:57 +01:00
Emilio López
9b22b9288a
Update hevm to release/0.57.0 ( #1515 )
2026-01-10 08:44:27 +01:00
Gustavo Grieco
97bddbd3a3
Correctly encode bytes when producing a foundry reproducer ( #1514 )
2026-01-08 18:58:00 -03:00
Emilio López
02c9c02b87
Strip whitespace from FFI responses ( #1507 )
...
Fixes #1129
2025-12-29 15:41:12 +01:00
Emilio López
344bcfe74e
Do not save onchain coverage if RPC url was not provided ( #1504 )
2025-12-20 06:27:45 +01:00
Emilio López
95672154a6
Keep count of burned gas on reverted transactions ( #1503 )
...
* Keep count of burned gas on reverted transactions
* Add test to ensure gas is counted on revert
2025-12-19 19:00:17 +01:00
Emilio López
10dab38a8c
flake: update nixpkgs, stay on GHC 9.8 ( #1501 )
...
* flake: update nixpkgs, stay on GHC 9.8
* flake: update rest of inputs
• Updated input 'flake-compat':
'github:edolstra/flake-compat/9100a0f413b0c601e0533d1d94ffd501ce2e7885?narHash=sha256-CIVLLkVgvHYbgI2UpXvIIBJ12HWgX%2BfjA8Xf8PUmqCY%3D' (2025-05-12)
→ 'github:edolstra/flake-compat/65f23138d8d09a92e30f1e5c87611b23ef451bf3?narHash=sha256-4VBOP18BFeiPkyhy9o4ssBNQEvfvv1kXkasAYd0%2BrrA%3D' (2025-12-07)
• Updated input 'foundry':
'github:shazow/foundry.nix/6d8688b32523e7e3fd8bf6acad2c8ef20d75997f?narHash=sha256-h0HXTojT3x0QAUk315Ww7SJTHoGCGCFXZkgSx4vfRcE%3D' (2025-08-22)
→ 'github:shazow/foundry.nix/85455ab02f1cedbdb2079f428d0297abea952eb2?narHash=sha256-s/he6rna4VArSdBffTAgcYTsodb4QyfR6E4noRg4t48%3D' (2025-11-24)
• Updated input 'solc-pkgs':
'github:hellwolf/solc.nix/d83e90df2fa8359a690f6baabf76099432193c3f?narHash=sha256-cqEHv7uCV0LibmQphyiXZ1%2BjYtGjMNb9Pae4tfcAcF8%3D' (2025-08-28)
→ 'github:hellwolf/solc.nix/740364bdc3df632cce49e37e8bec858a91991dc4?narHash=sha256-gqHLugmqY5CzTlJBNuwC5FOaPl3X6Z/UlI8/fPt/jyY%3D' (2025-12-03)
• Updated input 'solc-pkgs/solc-macos-amd64-list-json':
'https://github.com/argotorg/solc-bin/raw/26fc3fd/macosx-amd64/list.json?narHash=sha256-AvITkfpNYgCypXuLJyqco0li%2BunVw39BAfdOZvd/SPE%3D '
→ 'https://github.com/argotorg/solc-bin/raw/0c6f116/macosx-amd64/list.json?narHash=sha256-oJrt1d/kxej9rUrdXQIhb19Yp/n76xqlUwkkZujzNUo%3D '
* flake: add numa on linux builds
* release: stop pushing echidna builds themselves to cachix
These generate a lot of churn
2025-12-18 14:31:10 +01:00
Emilio López
e302a0ab76
Fix GHC 9.10 compilation errors ( #1500 )
2025-12-18 12:56:59 +01:00
Gustavo Grieco
8708a67e59
avoid SSE to get stuck at the end of the execution ( #1493 )
2025-12-17 08:06:51 +01:00
Radu Bahmata
235fb75a45
Fix Foundry test generation contract name collision ( #1484 )
...
* Fix Foundry test generation contract name collision
* Add actual forge compilation test in Foundry test generation suite
* Install foundry in CI
2025-12-15 23:22:42 +01:00
dependabot[bot]
797fe19763
build(deps): bump actions/download-artifact from 6 to 7 ( #1496 )
...
Bumps [actions/download-artifact](https://github.com/actions/download-artifact ) from 6 to 7.
- [Release notes](https://github.com/actions/download-artifact/releases )
- [Commits](https://github.com/actions/download-artifact/compare/v6...v7 )
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: '7'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <[email protected]
2025-12-15 18:29:57 -03:00
dependabot[bot]
7bed7564ab
build(deps): bump actions/upload-artifact from 5 to 6 ( #1495 )
...
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact ) from 5 to 6.
- [Release notes](https://github.com/actions/upload-artifact/releases )
- [Commits](https://github.com/actions/upload-artifact/compare/v5...v6 )
---
updated-dependencies:
- dependency-name: actions/upload-artifact
dependency-version: '6'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <[email protected]
2025-12-15 18:28:48 -03:00
dependabot[bot]
36a5a188be
build(deps): bump actions/cache from 4 to 5 ( #1494 )
...
Bumps [actions/cache](https://github.com/actions/cache ) from 4 to 5.
- [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/v4...v5 )
---
updated-dependencies:
- dependency-name: actions/cache
dependency-version: '5'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <[email protected]
2025-12-15 18:28:22 -03:00
Gustavo Grieco and Emilio López
e4be047c31
Do not fetch if etherscan key is not available and support different chain ids ( #1492 )
...
* do not fetch if etherscan key is not available and support different chain ids
* etherscan: add support for source maps on other chains
* etherscan: move cache away from Env
* etherscan: remove extra & on URLs
* onchain: remove dead code
---------
Co-authored-by: Emilio López <[email protected]
2025-12-15 14:56:43 +01:00
dependabot[bot]
cf9bfb14ed
build(deps): bump sigstore/gh-action-sigstore-python from 3.1.0 to 3.2.0 ( #1491 )
...
Bumps [sigstore/gh-action-sigstore-python](https://github.com/sigstore/gh-action-sigstore-python ) from 3.1.0 to 3.2.0.
- [Release notes](https://github.com/sigstore/gh-action-sigstore-python/releases )
- [Changelog](https://github.com/sigstore/gh-action-sigstore-python/blob/main/CHANGELOG.md )
- [Commits](https://github.com/sigstore/gh-action-sigstore-python/compare/v3.1.0...v3.2.0 )
---
updated-dependencies:
- dependency-name: sigstore/gh-action-sigstore-python
dependency-version: 3.2.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <[email protected]
2025-12-12 15:00:32 -03:00
Emilio López and gustavo-grieco
a31c5f8c26
Update hevm to 9ba5e52fc7ec7ae6f7f3a25d5ee426625d2aa9d ( #1487 )
...
* Update `hevm` to `9ba5e52fc7ec7ae6f7f3a25d5ee426625d2aa9d`
* CLAUDE.md: document import order
* tree-wide: sort imports
* Fix symbolic tests after hevm update
* update the fetching code for the new hevm
* improved rpc fetching
---------
Co-authored-by: gustavo-grieco <[email protected]
2025-12-12 14:59:25 -03:00
Emilio López
6c3fe007a2
Merge pull request #1488 from crytic/dependabot/github_actions/softprops/action-gh-release-2.5.0
...
build(deps): bump softprops/action-gh-release from 2.4.2 to 2.5.0
2025-12-02 09:59:52 -03:00
dependabot[bot]
073374f86d
build(deps): bump softprops/action-gh-release from 2.4.2 to 2.5.0
...
Bumps [softprops/action-gh-release](https://github.com/softprops/action-gh-release ) from 2.4.2 to 2.5.0.
- [Release notes](https://github.com/softprops/action-gh-release/releases )
- [Changelog](https://github.com/softprops/action-gh-release/blob/master/CHANGELOG.md )
- [Commits](https://github.com/softprops/action-gh-release/compare/v2.4.2...v2.5.0 )
---
updated-dependencies:
- dependency-name: softprops/action-gh-release
dependency-version: 2.5.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <[email protected]
2025-12-01 23:37:22 +00:00
Emilio López
d4e28d619b
Merge pull request #1482 from crytic/dependabot/github_actions/DeterminateSystems/nix-installer-action-21
...
build(deps): bump DeterminateSystems/nix-installer-action from 20 to 21
2025-11-29 19:33:48 -03:00
Emilio López
bcef31ac4c
ci: release: use rosetta
...
Determinate Systems is deprecating Intel support, see https://github.com/DeterminateSystems/nix-src/issues/224
2025-11-29 17:54:53 -03:00
Gustavo Grieco and Emilio López
458ae15404
Echidna 2.3 RC ( #1467 )
...
* Upgrade `hevm` to `95b5e074c9f27f970011ed53f38f1643d70c3c8a`
* Refactor cache use after hevm upgrade
* fixes
* Added rpc cache serialization code and fixes
* fixes
* fixes
* fixes
* refactor verification code to make sure tests are correctly labeled when the verifiction finishes
* revert b899481b65[email protected]
2025-11-29 17:02:04 -03:00
dependabot[bot]
d195acbd15
build(deps): bump DeterminateSystems/nix-installer-action from 20 to 21
...
Bumps [DeterminateSystems/nix-installer-action](https://github.com/determinatesystems/nix-installer-action ) from 20 to 21.
- [Release notes](https://github.com/determinatesystems/nix-installer-action/releases )
- [Commits](https://github.com/determinatesystems/nix-installer-action/compare/v20...v21 )
---
updated-dependencies:
- dependency-name: DeterminateSystems/nix-installer-action
dependency-version: '21'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <[email protected]
2025-11-29 19:35:22 +00:00
dependabot[bot]
817c017128
build(deps): bump actions/checkout from 5 to 6 ( #1483 )
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 5 to 6.
- [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/v5...v6 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: '6'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <[email protected]
2025-11-29 16:34:26 -03:00
dependabot[bot]
d2cd977f0a
build(deps): bump softprops/action-gh-release from 2.3.3 to 2.4.2 ( #1481 )
...
Bumps [softprops/action-gh-release](https://github.com/softprops/action-gh-release ) from 2.3.3 to 2.4.2.
- [Release notes](https://github.com/softprops/action-gh-release/releases )
- [Changelog](https://github.com/softprops/action-gh-release/blob/master/CHANGELOG.md )
- [Commits](https://github.com/softprops/action-gh-release/compare/v2.3.3...v2.4.2 )
---
updated-dependencies:
- dependency-name: softprops/action-gh-release
dependency-version: 2.4.2
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <[email protected]
2025-11-21 10:13:03 -03:00
dependabot[bot]
0a96fd1930
build(deps): bump actions/download-artifact from 5 to 6 ( #1477 )
...
Bumps [actions/download-artifact](https://github.com/actions/download-artifact ) from 5 to 6.
- [Release notes](https://github.com/actions/download-artifact/releases )
- [Commits](https://github.com/actions/download-artifact/compare/v5...v6 )
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: '6'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <[email protected]
2025-11-10 18:37:42 -03:00
dependabot[bot]
8ccd5096a9
build(deps): bump sigstore/gh-action-sigstore-python from 3.0.1 to 3.1.0 ( #1479 )
...
Bumps [sigstore/gh-action-sigstore-python](https://github.com/sigstore/gh-action-sigstore-python ) from 3.0.1 to 3.1.0.
- [Release notes](https://github.com/sigstore/gh-action-sigstore-python/releases )
- [Changelog](https://github.com/sigstore/gh-action-sigstore-python/blob/main/CHANGELOG.md )
- [Commits](https://github.com/sigstore/gh-action-sigstore-python/compare/v3.0.1...v3.1.0 )
---
updated-dependencies:
- dependency-name: sigstore/gh-action-sigstore-python
dependency-version: 3.1.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <[email protected]
2025-11-10 18:27:36 -03:00
dependabot[bot]
5a232e1c47
build(deps): bump actions/upload-artifact from 4 to 5 ( #1478 )
...
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact ) from 4 to 5.
- [Release notes](https://github.com/actions/upload-artifact/releases )
- [Commits](https://github.com/actions/upload-artifact/compare/v4...v5 )
---
updated-dependencies:
- dependency-name: actions/upload-artifact
dependency-version: '5'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <[email protected]
2025-11-10 18:25:23 -03:00
Gustavo Grieco
7d5b25a37a
Show all events from all the transactions when a property or assertion fails ( #1475 )
...
* show all events from all the transaction when a property or assertion fails
* fixed tests and removed ECHIDNA_SAVE_TRACES
2025-10-20 11:43:05 -03:00
Radu Bahmata
00f14cc2bd
Log shrinking status ( #1454 )
...
* Add cli option to include shrinking status in status lines
A worker event is also logged showing the shrinking operation and the sequence
length before and after each successful step.
* Add `logShrinking` flag to `default.yaml`
* Remove last shrinking op from status line
* Always display shrinking info in status line
* Comment cleanup
* Remove shrinking step log and `logShrinking` flag
* Compute status line reproducer length on demand
* Log per-worker shrinking status
* Display shrinking status when shrinking and active shrinking workers data
2025-10-09 11:55:20 -03:00
Gustavo Grieco
b314059cbb
Show trace instead of list of events when deployment failed ( #1466 )
2025-10-06 20:04:48 -03:00
Benjamin Samuels
cda7516826
Merge pull request #1469 from crytic/feat/add-foundry-to-docker-image
...
add foundry to docker image
2025-10-06 14:30:53 -07:00
Benjamin Samuels
4676495b78
add foundry to docker image
2025-10-06 09:49:34 -07:00
Gustavo Grieco
560f16d865
Include value into json output and use string instead of integer ( #1460 )
2025-09-30 10:32:51 -03:00
Gustavo Grieco
b899481b65
Downgrade z3 to 4.12.6 ( #1461 )
...
Some symbolic execution related tests are failing when using z3 (4.15) but work correctly with 4.12.6 for some unknown reason. While we investigate, we will downgrade z3 to have the tests passing (they are also passing with other solvers such as bitwuzla).
2025-09-29 12:45:21 -03:00
Emilio López
cc1868e795
Merge pull request #1441 from gustavo-grieco/dev-sym-exec-fixes
...
Symbolic execution fixes to make sure no counter example is missed
2025-09-27 11:12:05 -03:00
Gustavo Grieco
e65bd1c80b
Add solc constraint to the callback test ( #1458 )
...
* Add solc constraint to the callback test
* Update Values.hs
2025-09-27 08:54:47 -03:00
Gustavo Grieco
75d8a22303
Merge branch 'master' into dev-sym-exec-fixes
2025-09-26 19:39:15 -03:00
Sam Alws