Commit Graph
215 Commits
Author SHA1 Message Date
chriseth 7f797bc6ae Merge pull request #7342 from ethereum/extendedMemorySizeInterpreter
Make memory addresses wrap in interpreter.
2019-09-05 13:14:57 +02:00
Bhargava Shastry 137a898eca Yul proto fuzzer: Fix typo in low level call 2019-09-04 21:14:26 +02:00
chriseth 5b4b4011c7 Extend memory beyond 32 byte addresses in interpreter. 2019-09-04 20:10:42 +02:00
Bhargava Shastry c889e6e015 Yul proto fuzzer: Add create and call opcodes 2019-09-04 19:13:40 +02:00
Bhargava Shastry 6b27ef8fcb Yul proto fuzzer: Additional blockchain opcodes 2019-09-04 19:13:40 +02:00
Bhargava Shastry fce65ec811 Randomize calldataload and storage slots and use dictionary tokens as function argument 2019-09-04 09:54:57 +02:00
Bhargava Shastry d066ba71a4 Force call of every valid func declaration 2019-09-04 09:54:57 +02:00
Bhargava Shastry 4837ef4ada Yul proto fuzzer: Make function definition a statement 2019-09-04 09:54:36 +02:00
Leonardo Alt d131784714 Add Load Resolver to Yulopti 2019-09-03 15:51:33 +02:00
chriseth 6e4e54cbc6 Merge pull request #7309 from ethereum/yulproto-refactor
Yul proto fuzzer: Do not shadow variables
2019-09-03 12:29:13 +02:00
chriseth 029941a168 Merge pull request #7251 from ethereum/sideEffectsForUserDefinedFunctions
Side effects for user defined functions
2019-09-03 12:10:56 +02:00
Bhargava Shastry 6427ec661a Yul interpreter: Out of bounds mloads return zero 2019-09-03 09:51:15 +02:00
chriseth 127bcfc69d Take user function side-effects into account for unused pruner. 2019-09-02 17:41:51 +02:00
chriseth 1c5845e3f2 Side-effects of user-defined functions. 2019-09-02 17:41:51 +02:00
Bhargava Shastry bcf0c1810c Yul proto fuzzer: Do not reuse variable names 2019-09-02 15:23:10 +02:00
chriseth 9a6357ab09 Merge pull request #7188 from ethereum/abiv2-use-bytes-string-longer-than-32-bytes
Abiv2 use bytes string longer than 32 bytes
2019-09-02 15:05:43 +02:00
chriseth bdf29277a2 Change interpreter memory to be non-contiguous. 2019-09-02 13:51:47 +02:00
Bhargava Shastry 46a133e848 Generate bytes and string literals that are longer than 32 bytes 2019-09-02 12:43:47 +02:00
Bhargava Shastry 3963d0ca02 Create bytes/string values of shorter than 32 bytes and adjust invalid encoding length accordingly 2019-09-02 11:30:38 +02:00
chriseth 01e0a12c3b Fix handling of scopes in Yul Interpreter. 2019-09-02 10:41:26 +02:00
Bhargava Shastry 922790730c Do not create duplicate case statements 2019-08-26 12:44:06 +02:00
Bhargava Shastry 86c981d9fa proto fuzzer: Use a yul optimizer dictionary 2019-08-26 12:44:06 +02:00
chriseth 3c4f558242 Tests 2019-08-15 16:30:05 +02:00
Mathias Baumann ccfcee5b80 YulInterpreter: Fix wrong context passed to called function 2019-08-12 17:12:53 +02:00
chriseth f3f3cac864 Fix for ossfuzz. 2019-08-08 17:35:46 +02:00
chriseth c4638cc5cb Remove mention of IPC. 2019-08-08 17:35:46 +02:00
chriseth ac43c3bd18 Construct VM with path. 2019-08-08 17:35:46 +02:00
chriseth f692cec11d Provide path to libevmone. 2019-08-08 17:35:46 +02:00
chriseth 3dec3af638 Use evmone for testing. 2019-08-08 17:35:44 +02:00
Bhargava Shastry 2f815c5c35 While compiling abiv2 proto generated solidity test program, silently ignore stack too deep errors (exception), throw exception otherwise. 2019-08-06 11:06:09 +02:00
Bhargava Shastry bf16f2f75e Test low level calls with correct and incorrect encodings 2019-08-06 09:43:55 +02:00
Bhargava Shastry e018d62a67 Dynamically sized array dimensions can be zero sized 2019-08-01 16:33:57 +02:00
Bhargava Shastry 90d421352a Add bool type and array of bool and dynamic byte types 2019-07-17 14:24:43 +02:00
Bhargava Shastry 00bca77cca Updated evmc to version tracked by evmone v0.1.0 2019-07-17 14:24:27 +02:00
Christian Parpart 810a0de1aa Add evmc and host interface implementation. Modify fuzzer harness to make use of evmc host/vm. 2019-07-17 10:55:33 +02:00
Bhargava Shastry 5aa571e56f Update fuzzing deps in docker image and ossfuzz CMakeLists.txt 2019-07-16 09:10:02 +02:00
chriseth 869d69d293 Supply full object to stack compressor and Optimizer Suite. 2019-07-10 18:49:42 +02:00
Bhargava Shastry 3b33ff1454 Adjust call to suffixedVariableNameList post refactoring in ABIv2 proto fuzzer and slim down dependencies. 2019-07-09 18:18:40 +02:00
chriseth 859dbaa2a3 Merge pull request #7053 from djudjuu/moveSuffixHelper
move SuffixHelper to StringUtils
2019-07-09 14:32:05 +02:00
djudjuu cafa01cbf6 moved SuffixHelper to StringUtils 2019-07-09 13:50:07 +02:00
chriseth 479b843067 Merge pull request #7048 from ethereum/soltest-refactoring
[isoltest] Types and formatting refactoring
2019-07-09 12:50:15 +02:00
Bhargava Shastry 5bc1a68b40 ABIv2 proto fuzzer implementation for a limited set of value and non-value types (arrays included). 2019-07-09 10:50:43 +02:00
Erik Kundt de34f7712d Separates types and conversion functions in soltest. 2019-07-04 14:11:07 +02:00
chriseth a4ef435c07 Automated ABI Json tests. 2019-07-02 18:11:49 +02:00
chriseth 05a67c486e Use "what" in exception reports. 2019-06-18 17:34:10 +02:00
Bhargava Shastry b5cbb1a3e9 For loop with custom init and post blocks and potentially unbounded conditional expression 2019-06-14 08:46:28 +02:00
Daniel Kirchner 226f8bb64d Use imported cmake targets for boost. 2019-06-06 18:49:34 +02:00
Bhargava Shastry f57439035a Do not enclose string literal within double quotes before conversion to u256 2019-05-29 15:52:31 +02:00
chriseth a3f721bbcc Merge pull request #6583 from ethereum/reset_yulstringrepo
Reset YulStringRepository regularly
2019-05-28 14:20:53 +02:00
Bhargava Shastry dbae0fa939 Reset Yul string repository before each compilation. 2019-05-28 13:12:39 +02:00