Commit Graph

19959 Commits

Author SHA1 Message Date
Bhargava Shastry
f2c0ef750e Fuzz Yul optimizer with stack pressure. 2021-04-15 11:26:03 +02:00
Bhargava Shastry
c0e82fa318 Add upto 32 function I/O parameters. 2021-04-15 11:26:03 +02:00
Bhargava Shastry
28e83a506a Make proto mutator deterministic. 2021-04-15 11:23:12 +02:00
Bhargava Shastry
b3d4b2defb Remove upper bound on test case size. 2021-04-15 11:23:12 +02:00
Bhargava Shastry
505bcc8d6d Add custom mutation to increase stack pressure. 2021-04-15 11:23:12 +02:00
Bhargava Shastry
d81a43e671 Add upto 32 function I/O parameters. 2021-04-15 11:23:12 +02:00
Bhargava Shastry
1df304b92d Remove large literals 2021-04-15 11:21:31 +02:00
Bhargava Shastry
407d816745 Run stack alloc optimisation 2021-04-15 11:21:31 +02:00
Bhargava Shastry
2e1264ffe3 Disable calldata and return data copy, self destruct. 2021-04-15 11:21:31 +02:00
Bhargava Shastry
fbaf1c130c Hacks to disable instructions that may lead to false positives across interpreter and evmone. 2021-04-15 11:21:31 +02:00
Bhargava Shastry
310df52ca9 Fuzzing setup 2021-04-15 11:21:31 +02:00
Bhargava Shastry
6ede17e440 Manual merge 2021-04-15 11:21:16 +02:00
Daniel Kirchner
f1a474e599 Have the stack optimization in the code transform only reuse slots that are reachable. 2021-04-14 19:17:30 +02:00
Daniel Kirchner
beedf7ca25 Add test with same variable on lhs and rhs of assignment. 2021-04-14 19:14:24 +02:00
Daniel Kirchner
3a4769bd99 Support multi-variable-declarations without value. 2021-04-14 19:14:24 +02:00
Daniel Kirchner
5dae888c00 Review suggestions. 2021-04-14 19:14:24 +02:00
Daniel Kirchner
ba41814d33 Move function arguments and return values. 2021-04-14 19:14:24 +02:00
Daniel Kirchner
845b396587 Function definition collector. 2021-04-14 19:14:24 +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
a108f84651
Merge pull request #10997 from ethereum/yul-fuzzer-improvements
Yul fuzzer improvements
2021-04-14 15:03:36 +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
Christian Parpart
81c7b30a6a
Merge pull request #11234 from ethereum/fix-file-reader-compiler-stack-source-unit-name-mismatch
Use identical source unit names in FileReader and CompilerStack
2021-04-14 13:46:14 +02:00
chriseth
11b227e33e
Merge pull request #11205 from ethereum/fix-docstring-bug
Fix docstring bug
2021-04-14 13:18:33 +02:00
chriseth
850bd289eb
Merge pull request #11255 from ethereum/bytesConcatFixedBytesTests
Adding tests for bytes.concat with fixed bytes arguments.
2021-04-14 11:32:48 +02:00
Djordje Mijovic
ea5cda08c8 Adding tests for bytes.concat with fixed bytes arguments. 2021-04-14 11:21:24 +02:00
chriseth
60d43ecf28
Merge pull request #11252 from ethereum/simplifySemanticInfo
Remove semantic information function for assembly items.
2021-04-14 10:35:36 +02:00
Daniel Kirchner
13401bed87 Have the stack optimization in the code transform only reuse slots that are reachable. 2021-04-13 22:29:46 +02:00
Bhargava Shastry
b1392ac988 Fix use of const ref in Abiv2 and other proto fuzzers. 2021-04-13 19:38:43 +02:00
chriseth
6dba5f5c2b Remove semantic information function for assembly items. 2021-04-13 18:34:16 +02:00
chriseth
f188f3d9ed
Merge pull request #11248 from ethereum/docs_meeting_update
DOCS: Replace Google Meet with Jitsi Link in Contributing
2021-04-13 18:19:45 +02:00
franzihei
8f17034eee Docs Contributing: Replace Google Meet with Jitsi Link 2021-04-13 16:01:36 +02:00
chriseth
282c389cfc
Merge pull request #11241 from ethereum/codeTransformExtractCommon
Extract VariableReferenceCounter and StackTooDeep error from EVMCodeTransform.
2021-04-13 15:29:53 +02:00
Kamil Śliwak
cc65b426d0
Merge pull request #11237 from ethereum/fix-wrong-exit-code-update-in-cmdline-tests
Fix exit code update in cmdlineTests
2021-04-13 13:34:57 +02:00
Kamil Śliwak
0922d60ba6 FileReader: More accurate description of FileReader::readFile() and its arguments 2021-04-13 13:26:01 +02:00
Kamil Śliwak
6a41b417a3 FileReader: Store files loaded by the callback under their source unit name 2021-04-13 13:25:59 +02:00
Kamil Śliwak
b9b483a0c3 cmdlineTests.sh: Make regex for stripping version from test output match even if there's no whitespace after colon 2021-04-13 13:25:32 +02:00
Daniel Kirchner
c9fd97ecae Add test with same variable on lhs and rhs of assignment. 2021-04-13 12:28:04 +02:00
Daniel Kirchner
6d15c229fa Support multi-variable-declarations without value. 2021-04-13 12:26:13 +02:00
Daniel Kirchner
5bebbca273 Extract VariableReferenceCounter and StackTooDeep error from EVMCodeTransform. 2021-04-13 10:41:16 +02:00
chriseth
0289994da5
Merge pull request #11221 from ethereum/fixCalldataDecodingOverflowBug
Fix calldata decoding overflow bug
2021-04-12 18:11:29 +02:00
chriseth
4912bfe639
Merge pull request #11229 from ethereum/antlrPath
Fix import paths in grammar and grammar testing details.
2021-04-12 16:30:41 +02:00
Daniel Kirchner
6fdfd8b62b Fix import path grammar and grammar testing details. 2021-04-12 14:54:36 +02:00
Daniel Kirchner
0cb7ee93d6 Review suggestions. 2021-04-12 14:43:29 +02:00
chriseth
f895760bbc
Merge pull request #11231 from anurag-git/macos-dep-changes
Support for 11.2 MacOS Big Sur
2021-04-12 14:06:48 +02:00
chriseth
680ea78f14
Merge pull request #11228 from aybehrouz/typo-fix-1
Fix a typo
2021-04-12 14:03:48 +02:00
chriseth
2ed17e4b43 Update tests. 2021-04-12 13:43:56 +02:00
chriseth
72d0a56a72 Fix array decoding offset overflow. 2021-04-12 13:43:51 +02:00