ggrieco-tob
9ddfba5fa6
fixes
3 years ago
ggrieco-tob
06eab3fdce
Allow echidna to continue executing even after a revert
3 years ago
ggrieco-tob
81cc68412a
refined coverage to show when the transaction ended
3 years ago
Gustavo Grieco
93ba16442a
Expanded and improved command-line help ( #741 )
...
* Expanded and improved command-line help
* added missing file
* fixed tests
3 years ago
Emilio López
1f703409c4
stack: fix version number, libBF pin ( #743 )
3 years ago
Gustavo Grieco
426ed97b7b
Update default.yaml ( #742 )
3 years ago
Gustavo Grieco
680bcb41a2
Dapp mode fuzzing support ( #733 )
...
* preliminary code for foundry fuzz test support
* added call to setUp
* added some tests, that needed to be fixed
* added missing file, fixed tests and some optimization
* fix solc version
* fix
* show an error if setUp reverts
* fix hlint issues
* fixed and reorganized tests
* renamed test mode
3 years ago
Gustavo Grieco
a90c2c3028
Generate more values closer to the maximum ( #736 )
...
* Generate more values closer to the maximum
* added test and some fixes
* fixes
* fix
3 years ago
Emilio López
f76a7f4a20
Fix TERMINFO path for Nix release builds ( #731 )
...
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.
3 years ago
Gustavo Grieco
a729ef94b5
Mitigate large memory consumption when replaying corpus ( #725 )
3 years ago
Gustavo Grieco
e52802c6e3
fix --shrink-limit to change shrink limit instead of test limit ( #728 )
3 years ago
Gustavo Grieco
e3c25b6b13
fix test ( #726 )
3 years ago
ggrieco-tob
0e3c05d56d
corretly show lines with multiple types of coverage
3 years ago
Emilio López
65ecb1cb76
Update nixpkgs for Echidna 2.0 ( #717 )
...
* Bump echidna version to 2.0.0
* Upgrade hevm to 0.49
* Fix bundling by using matching nixpkgs
* Re-enable nix build on CI
3 years ago
Emilio López
b3071adb4d
Fix references to old test location ( #718 )
3 years ago
Gustavo Grieco
31034fbf8d
Echidna 2.0 ( #716 )
3 years ago
Artur Cygan
253e159b6e
Native M1 development support and releases with Nix ( #700 )
3 years ago
Dan Guido
f1b0a8f42d
Update README.md ( #712 )
3 years ago
Sam Uwe Alws
aa99405d58
Memoize getBytecodeMetadata; fix State memory leak ( #707 )
3 years ago
Sam Uwe Alws
e2d6c81818
Instructions for profiling; improve default.nix ( #704 )
3 years ago
Nat Chin
58b4c933f1
Added link to Liquity Dev repository ( #711 )
3 years ago
Gustavo Grieco
e9bba78133
Replaced dead link in the README
3 years ago
Emilio López
8180d332c0
Move echidna action to crytic/echidna-action ( #701 )
...
This removes the action from the echidna repository. The action will
now live on its own repository, where it can be versioned and published
independently.
Additionally, this updates the workflow to refer to the action on its
new location, as well as adds a few lines to the README pointing to the
new action location.
3 years ago
Emilio López
ff36688977
GH Actions: Bump cachix/install-nix-action to v16 ( #703 )
3 years ago
Evan Sultanik
f0f20de47e
MacOS Compatibility ( #688 )
...
* Use homebrew to set the OpenSSL prefix
* Use `uname` to set $HOST_OS if it is not set in the environment
* Do not re-clone the libff repo if it already exists
* Adds additional environment variables to appease OpenSSL/CMake
3 years ago
Dayitva Goel
b13fde77ae
fix typo in README.md ( #702 )
3 years ago
Gustavo Grieco
f7481241b9
Echidna 1.7.3 ( #699 )
3 years ago
Artur Cygan
2894ba2c74
Skip .json directories on cleanup ( #697 )
3 years ago
Artur Cygan
6d461a77a8
Clean up previous json files in crytic-export dir ( #696 )
...
* Clean up previous json files in crytic-export dir
* Check if crytic-export exists prior to cleaning
3 years ago
Artur Cygan
d1ae6bac6c
Fix incorrect function filtering when using assertion mode ( #695 )
3 years ago
Gustavo Grieco
8e010faac8
Improved handling of negative constants ( #683 )
3 years ago
Samuel Moelius
ed064f14c7
GitHub action ( #687 )
...
* Draft GitHub action
* Update action.yml
* Allow solc version selection
* Updation action.yml
3 years ago
Artur Cygan
b425931b9f
Update hevm to 0.48.0 ( #691 )
3 years ago
Artur Cygan
16834a15e5
Remove nix workaround for slither ( #680 )
...
* Remove nix workaround for slither
* Use hevm from nixpkgs
3 years ago
Artur Cygan
25dfdad93d
Fix source printing and update hevm to 0.47.0 ( #678 )
...
* Fix source printing and update hevm to 0.47.0
* Handle VMFailure FFI
* Fix seed reproducibility test
* Cosmetic fixes
3 years ago
Gustavo Grieco
30e9e5e055
Echidna 1.7.2 ( #677 )
...
* Update package.yaml
* Update CHANGELOG.md
* Update default.nix
3 years ago
Gustavo Grieco
5aaf4a9076
Update README.md
3 years ago
Artur Cygan
4aeffd4baa
Update hevm to 0.46.0 ( #660 )
3 years ago
Gustavo Grieco
f4b78a2898
Support for loading multiple files with compiled contracts from hardhat/brownie ( #659 )
3 years ago
Gustavo Grieco
f8b4bdccbc
Update Integration.hs ( #667 )
4 years ago
Gustavo Grieco
ba77ea6623
Update README.md ( #670 )
4 years ago
Gustavo Grieco
b11be00956
Update README.md ( #666 )
4 years ago
Artur Cygan
0a604ff565
Fix check-asserts and multi-abi cli switches ( #665 )
4 years ago
Artur Cygan
cf40c27770
Additional CLI options ( #664 )
4 years ago
Gustavo Grieco
89d9439bbd
Echidna 1.7.1 ( #663 )
4 years ago
Gustavo Grieco
8668dc4022
Reworked mutators and tests to be more efficient ( #628 )
4 years ago
Gustavo Grieco
556aa86627
Document limitations and known issues ( #655 )
...
* Document limitations and known issues
* Update README.md
* Update README.md
* Update README.md
4 years ago
Gustavo Grieco
e531f05514
Automatically initialize addresses when used ( #657 )
...
* automatically initialize addresses when used
* added some tests
* added some tests
* fix some minor issues
Co-authored-by: Will Song <will.song@trailofbits.com>
4 years ago
Gustavo Grieco
ca02d7b8b3
Added the number of frames as coverage information to record ( #624 )
...
* Added the number of frames as coverage information to record
* fix
* fixes
* rename NumberFrames
4 years ago
Gustavo Grieco
185ee196f4
Fix num range updated ( #650 )
...
* fix numerical range of (u)int after mutation
* fix
* Clean up fixAbiUInt and fixAbiInt
Co-authored-by: Artur Cygan <arczicygan@gmail.com>
4 years ago