echidna

Commit Graph

Author	SHA1	Message	Date
Artur Cygan	7be4072d77	Bring back loading multiple combined JSON files (#1098 )	1 year ago
Artur Cygan	f4dfed28e1	Update hevm to 0.51.3 (#1090 )	1 year ago
Emilio López	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`. hevm will be upgraded separately.	1 year ago
Artur Cygan	d022554e65	Convert MonadState VM to explicit arguments (#1074 )	1 year ago
Artur Cygan	87449e9896	Multicore (#963 ) * Multicore * Try different approach for stopping workers * Fix windows warning * Cleanup * Distribute corpus replay across workers * Change jobs to workers in config and CLI * Fix corpus chunking * Use better chunksOf * Fix JSON output * Fix rebasing mistake * Fix workers not stopping while fetching RPC * Fix optimization tests shrinking * Dont set Solved for optimization tests	2 years ago
Artur Cygan	2f067ecd8c	hevm 0.50.5 (#1023 )	2 years ago
Artur Cygan	e9bcf50cda	Add support for lcov, as well as an option in config for choosing coverage formats (#1029 ) Co-authored-by: Sam Alws <sam.alws@trailofbits.com>	2 years ago
Artur Cygan	bdbf2bba04	Mutable coverage (#1003 )	2 years ago
Artur Cygan	0ce9588ec0	Decouple corpus replay from callseq (#1026 )	2 years ago
Artur Cygan	1db3236cd0	Code cleanup (#1020 )	2 years ago
Artur Cygan	2fea6ba8af	RPC improvements (chain id, config options) (#1017 ) * RPC improvements (chain id, config options) * Fetch external contract sources for Ethereum Mainnet only	2 years ago
Artur Cygan	10b1d5036c	Handle ctrl-c in text mode (#1007 )	2 years ago
Artur Cygan	a10704c2ff	Remove lens for Campaign (#995 )	2 years ago
Artur Cygan	a446a6c167	Remove prefixes from EchidnaTest (#994 )	2 years ago
Artur Cygan	46b6484aea	Change mapM_ to forM_ to improve readability (#990 )	2 years ago
Artur Cygan	31093e478b	Measure saving coverage	2 years ago
Artur Cygan	93ee9db6e5	hevm 0.50.4 (#986 ) * hevm 0.50.4 * Bump stack and flake.lock	2 years ago
Artur Cygan	435443beae	Split and refactor prepareContract	2 years ago
Artur Cygan	3333be2e35	Use corpus dir to persist RPC cache	2 years ago
Artur Cygan	8fbf924f86	Cleanup some code and improve naming	2 years ago
Artur Cygan	63e8a14751	Get sources from Etherscan for fetched contracts Basic logging for Etherscan fetches Fix fetch cache populated from constructor Persist and load fetch cache Save fetch cache per block Code cleanup Fetch contract name from Etherscan	2 years ago
Artur Cygan	67a9ec06c3	Fetch contracts through RPC RPC test More complex RPC example, metadata memo and logging Display the number of fetched contracts/slots Fetched contracts popup RPC errors WIP Show fetch errors to the user Move metadata cache to IORef	2 years ago
Artur Cygan	9eac604908	Use the proper type for gas (#956 )	2 years ago
Artur Cygan	ff312a67cc	Rename multi-abi to allContracts (#934 )	2 years ago
Artur Cygan	a1d718ba6b	Fix W256 values parsing from config (#935 )	2 years ago
Emilio López	043f8e8e55	Fix emoji output	2 years ago
Emilio López	56250ae8a8	Try dynamic build	2 years ago
Emilio López	e8764a2927	Disable UI on Windows	2 years ago
Artur Cygan	640cc5bb30	Update hevm to 0.50.3 (#942 ) * Update hevm to 0.50.3 * Fix stack * Cosmetic fixes * Warnings	2 years ago
Artur Cygan	9bf8208c86	Fix --crytic-args CLI option (#937 )	2 years ago
Artur Cygan	157b6bf429	Cleanup field underscores and improve naming (#928 )	2 years ago
Artur Cygan	b5f0974959	Don't generate negative seeds (#933 )	2 years ago
Artur Cygan	216f0cc00f	Refactor test updating	2 years ago
Gustavo Grieco	89cbbb4f40	Allow to use the FFI cheatcode from HEVM in Echidna (#750 ) * allow ffi to be used * added allowFFI in default.yaml * implement a system call to perform a ffi * allow ffi in the etheno json, if the proper flag is used * Remove unsafePerformIO and cleanup VM creation * FFI test Co-authored-by: Artur Cygan <artur.cygan@trailofbits.com>	2 years ago
Artur Cygan	dceee29809	Code cleanup (#906 ) * Code cleanup * Fix hlint * Fix name shadowing * Remove redundant import * Remove redundant MonadIO and liftIO * Fix --sender switch * Fix warning * Fix path for saving cov reports	2 years ago
Artur Cygan	8dc4d40d03	Refactor and simplify code to not use Data.Has (#903 ) * Refactor and simplify code to not use Data.Has * Move fromEVM to Echidna.Types	2 years ago
Artur Cygan	2a4d3c67c0	Update hevm to 0.50.1 (#884 ) * Update hevm to 0.50.1 * Fix hlint * Fix warnings * Fix warnings in tests * Optimize genDelay and genValue * Document dictValues	2 years ago
Gustavo Grieco	1f59ae1892	Save and load reproducers for every test (#858 ) * Save and load reproducers for every test * avoid saving [] as reproducer	2 years ago
Gustavo Grieco	e4cba78dbd	Initialize sender addresses from etheno transactions (#823 ) * initialize sender addresses from etheno transactions * make sure EOA are initialized when replaying etheno transactions * hlint fix * properly show the user when a hevm query failed during etheno transaction replay * added tests * Minor fixes Co-authored-by: Artur Cygan <artur.cygan@trailofbits.com>	2 years ago
Artur Cygan	b70141510b	Update to GHC 9.0.2 (#846 ) * Update nixpkgs and stack to GHC 9.0.2 * Fix macos release script	2 years ago
Artur Cygan	ce643852d4	Cleanup imports and extensions (#828 ) * Cleanup imports and extensions * Update hlint action * Fix hlint suggestions	2 years ago
Gustavo Grieco	6504a4b339	Colored html output based on @samalws code (#816 ) * added colored html output based on @samalws code * hlint fix * Exclude non-runtime lines from coverage display * Use a lighter grey as background * make sure coverage filenames have the same prefix Co-authored-by: Artur Cygan <artur.cygan@trailofbits.com>	2 years ago
Gustavo Grieco	972086593b	Correctly decode non-utf8 strings from slither printer (#799 ) * correctly decode non-utf8 strings from slither printer * add tests	2 years ago
Gustavo Grieco	1296aa67fe	Fix generation and mutation of extreme signed integers (#791 ) * fix generation and mutation of extremete signed integers * add tests	2 years ago
Gustavo Grieco	75162dc9cf	Remove fallback from signature map when it is not defined (#772 ) * remove fallback from signature map when it is not defined * hlint fixes * count corpus test fix * disable nix tests * fixed default values and reenable nix * disable nix tests (again) * disable nix tests (again) * Update nix.yml * Update nix.yml	2 years ago
Gustavo Grieco	59c85d45f3	Support for deployment of certain contracts in specific addresses (#758 ) * initial support for deployment of certain contracts in specific addresses * fix * hlint fixes * allow to deploy specific bytecode instead of contracts * fix * use b16 decoding for bytecodes * fix * fix * added two tests to cover this new feature	2 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
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
Gustavo Grieco	e52802c6e3	fix --shrink-limit to change shrink limit instead of test limit (#728 )	3 years ago

1 2 3 4 5 ...

297 Commits (m1-builds-github)