515 Commits

Author	SHA1	Message	Date
Bhargava Shastry	bc9510eefc	Fuzz not only successful calls but those with other status codes.	2021-06-14 13:27:17 +02:00
Bhargava Shastry	5f202cedea	Add custom mutation to solc reverse and bytecode optimizer fuzzers.	2021-06-14 13:27:17 +02:00
Bhargava Shastry	3a837aeed6	CMake update	2021-06-14 13:27:17 +02:00
Bhargava Shastry	d5364e43ea	Add New->Old code gen comparator fuzzer	2021-06-14 13:27:17 +02:00
Bhargava Shastry	68f5632ddd	Update bytecode optimiser fuzzer	2021-06-14 13:27:17 +02:00
Bhargava Shastry	0c57fbb275	Fix optional access bug for libraries	2021-06-14 13:27:17 +02:00
Bhargava Shastry	c248b91bfa	Permit low-level library function calls.	2021-06-14 13:27:17 +02:00
Bhargava Shastry	af94138b53	Reset between runs, redeploying library.	2021-06-14 13:27:17 +02:00
Bhargava Shastry	7b1ade9223	Minor refactoring	2021-06-14 13:27:17 +02:00
Bhargava Shastry	7b64e660c6	Bug fix	2021-06-14 13:27:17 +02:00
Bhargava Shastry	785bfcda99	Add real addresses to encoder	2021-06-14 13:27:17 +02:00
Bhargava Shastry	e400dff607	Change random function selection	2021-06-14 13:27:17 +02:00
Bhargava Shastry	295aef77a4	Add bytecode optimizer fuzzer	2021-06-14 13:27:17 +02:00
Bhargava Shastry	1485374115	Undo msg.value init	2021-06-14 13:27:17 +02:00
Bhargava Shastry	7a16359bae	Add 1 eth value to deploy/call	2021-06-14 13:27:17 +02:00
Bhargava Shastry	319b0fb624	Permit partial fuzzing of tests with libraries.	2021-06-14 13:27:17 +02:00
Bhargava Shastry	98a452d0aa	Add random value generation.	2021-06-14 13:27:17 +02:00
Bhargava Shastry	08f4a98ea6	Value generator fuzzer	2021-06-14 13:27:17 +02:00
Bhargava Shastry	c8e31e3466	Debug prints	2021-06-14 13:27:17 +02:00
Bhargava Shastry	ee665748aa	Refactor contract ABI Utils a bit to get it to build with solc ossfuzz. Untested.	2021-06-14 13:27:17 +02:00
Bhargava Shastry	39fcdf22c3	Fix storage order in evmhost.	2021-06-14 13:27:12 +02:00
Bhargava Shastry	7c572dbfdf	Fix bug related to new code gen testing.	2021-06-14 13:27:12 +02:00
Bhargava Shastry	67a4d6f01d	Catch compiler errors due to missing source.	2021-06-14 13:27:12 +02:00
Bhargava Shastry	7108b7d465	Remove source updates.	2021-06-14 13:27:12 +02:00
Bhargava Shastry	3ab3eda2c5	Reset compiler stack between runs.	2021-06-14 13:27:12 +02:00
Bhargava Shastry	49cda44699	Initial commit	2021-06-14 13:27:12 +02:00
Daniel Kirchner	06a9199967	Change loading of VMs and error messages during test.	2021-05-12 14:48:37 +02:00
Daniel Kirchner	6104ac1cdf	Remove more imports of ranges namespace.	2021-05-07 15:42:17 +02:00
Djordje Mijovic	e404b6e7a6	Refactoring yul source locations.	2021-05-04 16:05:23 +02:00
chriseth	3548049c61	Merge pull request #10356 from ethereum/isoltest-add-enforce-ewasm ... [test] Add support for --enforce-compile-to-ewasm.	2021-04-27 17:51:33 +02:00
Alexander Arlt	da38149f57	[test] Add support for --enforce-compile-to-ewasm.	2021-04-26 20:31:03 -05:00
Alexander Arlt	481971cbcf	[isoltest] Add support for external sources.	2021-04-26 08:27:30 -05:00
chriseth	2969bc0f3e	Merge pull request #11302 from ethereum/drop-u160 ... Drop the util::u160 type	2021-04-26 15:12:20 +02:00
anurag4u80	c4cf412fed	Replaced boost remove_erase and remove_erase_if	2021-04-24 08:10:41 +05:30
Alex Beregszaszi	37be1b3ed9	Remove dependency on util::160 in yulInterpreter ... Instead apply explicit truncation or masking for readability.	2021-04-23 14:35:05 +01:00
hrkrshnn	1f5b874eaf	Optimizer context has parameter expectedExecutionsPerDeployment	2021-04-22 17:27:57 +02:00
Alex Beregszaszi	8fb7a18800	Small refactorings for isoltest	2021-04-22 01:04:34 +01:00
Leonardo	7bbf3a694b	Merge pull request #11261 from ethereum/smt_choose_target ... [SMTChecker] Add option to choose contracts to be analyzed	2021-04-21 13:11:33 +02:00
Leonardo Alt	dd1865873e	Choose contracts to be analyzed by the SMTChecker	2021-04-21 10:34:14 +02:00
Bhargava Shastry	69dd1771b7	Remove as many boost usages as possible in protoToYul.cpp	2021-04-20 18:46:19 +02:00
Bhargava Shastry	14d2170b46	Merge pull request #11238 from ethereum/yul-interpreter-storage-state ... Permit Yul interpreter vs Evmone storage comparison.	2021-04-19 12:22:59 +02:00
Bhargava Shastry	6941143613	Merge pull request #11216 from ethereum/fix-abiv2-fuzzer-bug ... Fix use of const ref in Abiv2 and other proto fuzzers.	2021-04-14 15:03:57 +02:00
Bhargava Shastry	15bf6af77a	Remove output parameters from function call since they are generated on the fly in the converter.	2021-04-14 13:53:37 +02:00
Bhargava Shastry	7c806217fb	Changes to yul proto mutator.	2021-04-14 13:53:37 +02:00
Bhargava Shastry	cf08c9b255	Correct use of emplace_back	2021-04-14 13:53:37 +02:00
Bhargava Shastry	1709b2924b	Changes to how function calls are generated.	2021-04-14 13:53:37 +02:00
Bhargava Shastry	b1392ac988	Fix use of const ref in Abiv2 and other proto fuzzers.	2021-04-13 19:38:43 +02:00
Bhargava Shastry	033ee0e2bc	Permit Yul interpreter vs Evmone storage comparison.	2021-04-12 10:39:23 +02:00
Bhargava Shastry	6f3095a199	Merge pull request #11141 from ethereum/compilation-framework-fuzzer ... Enable multi-source fuzzing.	2021-04-06 14:00:11 +02:00
anurag4u80	bbcdddeed9	Replaced keys, values and reverse with ranges	2021-03-31 23:33:04 +05:30