Commit Graph
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