297 Commits (m1-builds-github)

Author	SHA1	Message	Date
Gustavo Grieco	e3c25b6b13	fix test (#726)	3 years ago
Gustavo Grieco	31034fbf8d	Echidna 2.0 (#716)	3 years ago
Artur Cygan	d1ae6bac6c	Fix incorrect function filtering when using assertion mode (#695)	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
Artur Cygan	4aeffd4baa	Update hevm to 0.46.0 (#660)	3 years ago
Gustavo Grieco	f8b4bdccbc	Update Integration.hs (#667)	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	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
Artur Cygan	31e7961e57	New CLI options: --corpus-dir and --check-asserts (#640) ... * New CLI options: --corpus-dir and --check-asserts * Add a note about CLI arguments precedence * Fix tests	4 years ago
Gustavo Grieco	85f3318da4	First step to refactor the Test type (#622) ... * refactored test type * fixed tests	4 years ago
Gustavo Grieco	e179638879	More corpus mutations mutations (#372)	4 years ago
Gustavo Grieco	4e0a217d8f	Source coverage printing after fuzzing campaign (#516) ... * hevm-0.41.x * Buffer.hs * fix some non-exhaustive patterns * actually implement viewBuffer lol * disable gas price usage until hevm fixes its issue * proof-of-concept of coverage source printing * fixes * fixed bugs * upgrade to hevm-0.42 and fix tests * fixed test + default value * fixed test + default value * improvements * refactoring * hlint fixes * hlint fixes * more fixes * missing file * fixed tests * Avoid using showHex with negative values * Update Processor.hs * fix * clean-up * fixes * small changes to flags.sol * improved signature maps * fix for source info collection * fix * fixes * fixes * fixes Co-authored-by: Will Song <will.song@trailofbits.com>	4 years ago
Gustavo Grieco	5420a4ff3c	Enable use of coverage by default (#605) ... * Update Config.hs * coverage enabled by default * fixed test * fixed test * disabled coverage for the eip-170 test	4 years ago
Artur Cygan	a0509af16b	Simplify slither info parsing (#543)	4 years ago
Gustavo Grieco	f92159597c	Use a sensible default value for block.gaslimit (#596) ... * added a sensible value for block.gaslimit * added test	4 years ago
Gustavo Grieco	dcc4eed7f5	Use contract metadata to detect deployed contracts (#593) ... * Use metadata to keep track of deployed contracts * added test * removed unused imports * added solc versin constraint for immutable test and disable multicontract one * disable unused imports	4 years ago
Gustavo Grieco	717e2280b7	Semver integration for improve testing with different solc versions (#594) ... * semver integration for improve testing with different solc versions * fixes * more fixes * fix	4 years ago
Gustavo Grieco	081b2a1eac	Fixed wait bug when shrinking (#584) ... * fixed wait bug when shrinking * disabled MacOS CI * added tests * fixed test	4 years ago
Gustavo Grieco	8ec126c81f	Added funwithnumber example from Sabre (#565) ... * added funwithnumber example * fix	4 years ago
ßingen	ecfebe112c	Allow to bypass EIP-170 and set up a custom max code size (#544)	4 years ago
Gustavo Grieco	7c8420ac02	Improvements in the detection of failed tests (#515) ... * first version * missing file * fixed bug, but tests are broken * fixed tests * hlint fixes * fixes * several fixes * fixes * fixes	4 years ago
Gustavo Grieco	88e25e0fe5	Added example from the ILF paper into the CI tests (#541) ... * added example from the ILF paper into the CI tests * Update Research.hs * fixes	4 years ago
ggrieco-tob	09d1c5778d	fixes + tests	4 years ago
Gustavo Grieco	16ba989566	Use Slither for constant extraction (#451) ... * first version of the use of slither for constant extraction * fixed some tests * fix missing test * fix warning * fixes * fix + test * fixes * fix * slither is now mandatory * fix	4 years ago
Will Song	a4a7af92c4	hevm 0.42 (#511) ... * hevm-0.41.x * Buffer.hs * fix some non-exhaustive patterns * actually implement viewBuffer lol * disable gas price usage until hevm fixes its issue * upgrade to hevm-0.42 and fix tests * fixed test + default value * fixed test + default value * upgrade to sbv 8.8 Co-authored-by: ggrieco-tob <gustavo.grieco@trailofbits.com>	4 years ago
Gustavo Grieco	d567fe9369	fix flanky corpus count test (#537)	4 years ago
Gustavo Grieco	802c247dfe	Fixed the use of large constants in the dictionary (#523) ... * fixed the use of large constants in the dictionary * fixes + test * disable macOS tests for now	4 years ago
Will Song	9149d95dda	fix issue where libraries would get loaded at extreme timestamps and block numbers, also switch to the new hevm stripBytecodeMetadata (#510) ... * fix issue where libraries would get loaded at extreme timestamps and block numbers, also switch to the new hevm stripBytecodeMetadata * no longer doing cbor parsing * added test Co-authored-by: ggrieco-tob <gustavo.grieco@trailofbits.com>	4 years ago
Gustavo Grieco	59898043e4	Fixed timestamp/blocknumber issue and improved value generation with these values (#469)	4 years ago
Emilio López	d8804f3e2d	Add test for code size during contract creation (#453, #454) (#465)	4 years ago
Will Song	70fecc9938	split each test group into separate files (#457)	4 years ago
Gustavo Grieco	86b2b574fd	Use of external programs to obtain information to use during the campaign (#396)	5 years ago
Gustavo Grieco	8e7bd27ad8	Detect if the contract deployment failed (#447)	5 years ago
Will Song	278d08750a	refactor `Tx` (#437)	5 years ago
Will Song	bc25142d55	refactor CampaignConf and Campaign (#384)	5 years ago
Artur Cygan	313a4f8b31	JSON Output (#405)	5 years ago
E. Rivas	9146a992fc	tests + rule benchmarkMode makes tests = []	5 years ago
Gustavo Grieco	861de78cbb	Corrected corpus prioritization usage and added comments (#403)	5 years ago
Gustavo Grieco	ee11293a07	Enable addresses shrinking (#385)	5 years ago
Gustavo Grieco	32db8d0e4f	Prioritization to mutate each list of transactions from the corpus (#376)	5 years ago
Gustavo Grieco	1456b8caf3	Improved array generation using generic mutations (#357)	5 years ago
Gustavo Grieco	9db3c342ab	Multiple coverage tracking according to the result of a transaction (#369)	5 years ago
Gustavo Grieco	63c2cd9d08	Allow to control corpus mutation constants using a configuration file	5 years ago
Will Song	3a93b2cf9b	update hevm to 0.37, echidna 1.4.0.1 (#381)	5 years ago
Gustavo Grieco	cb22af4edf	Added new research tests and reorganized examples folder (#378)	5 years ago
Gustavo Grieco	343d51093f	Filtering the functions to be called (#356)	5 years ago
Gustavo Grieco	0bae37d496	Support to collect, save and load a corpus of transactions in JSON (#353) ... save, collect, and load JSON corpus	5 years ago
Will Song	f6dd7a6bbc	hlint workflow (#366)	5 years ago
agroce	4a2f114bc1	looser bounds	5 years ago