Bhargava Shastry
|
5113af1df0
|
Update test/tools/ossfuzz/protoToYul.h
Co-Authored-By: Leonardo <leo@ethereum.org>
|
2020-04-27 14:01:11 +02:00 |
|
Bhargava Shastry
|
62e5ccec90
|
Minor code factoring to clarify for init scope extension
|
2020-04-27 14:01:11 +02:00 |
|
Bhargava Shastry
|
7280ed716a
|
Yul proto spec: Add multiple variable declaration statement
|
2020-04-27 14:01:11 +02:00 |
|
Bhargava Shastry
|
f78414b333
|
Disallow statements containing empty blocks e.g., empty if, for, function definition
|
2020-04-23 10:07:36 +02:00 |
|
Bhargava Shastry
|
79f1917422
|
yul proto fuzzer: Refactor dataoffset/size specification
|
2020-02-11 13:58:36 +05:30 |
|
Bhargava Shastry
|
59e7206c8f
|
yul proto fuzzer: Support boolean literal generation
|
2020-02-10 20:48:29 +05:30 |
|
Bhargava Shastry
|
8cbe1d4b1d
|
yul proto fuzzer: Make function call generation optional
|
2020-01-24 12:31:43 +05:30 |
|
Bhargava Shastry
|
a335fed189
|
yul proto fuzzer: Add EVM version field
|
2020-01-24 12:31:20 +05:30 |
|
Bhargava Shastry
|
9befb4bdf0
|
yul proto fuzzer: Do not generate infinite for loops and limit total
number of for loops per test program to two
|
2020-01-20 16:27:01 +05:30 |
|
Bhargava Shastry
|
49a05b5935
|
Permit variable declarations inside for init block
|
2020-01-13 16:17:33 +05:30 |
|
Christian Parpart
|
345f9928ab
|
Library libdevcore renamed to libsolutil.
|
2020-01-07 15:51:50 +01:00 |
|
Christian Parpart
|
ed45b000d1
|
Adapt tests directory to C++ namespace changes.
|
2020-01-07 15:51:50 +01:00 |
|
chriseth
|
1ebcc757e1
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-11-27 19:14:08 +01:00 |
|
Bhargava Shastry
|
ea9e849ee4
|
Use pointer to string for efficiency
|
2019-11-26 17:12:56 +01:00 |
|
Bhargava Shastry
|
41bdc9b673
|
yul proto fuzzer: Generalize variable references
|
2019-11-26 17:12:56 +01:00 |
|
Erik K
|
94272d44aa
|
Merge pull request #7745 from ethereum/develop
Merge develop into develop_060
|
2019-11-19 15:30:31 +01:00 |
|
Bhargava Shastry
|
505b5deaf9
|
Add chainid and selfbalance opcodes to yul proto converter and enable it
in the yul proto differential fuzzer.
|
2019-11-18 09:26:00 +01:00 |
|
Bhargava Shastry
|
edc5059208
|
yul proto: Add leave statement
|
2019-11-01 11:18:05 +01:00 |
|
Bhargava Shastry
|
34022a2c8c
|
Pseudo-randomly choose object/data identifier that is in scope
|
2019-09-11 10:57:54 +02:00 |
|
Bhargava Shastry
|
d677a15507
|
Add object access builtin functions
|
2019-09-11 10:57:54 +02:00 |
|
Bhargava Shastry
|
137a898eca
|
Yul proto fuzzer: Fix typo in low level call
|
2019-09-04 21:14:26 +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 |
|
Bhargava Shastry
|
bcf0c1810c
|
Yul proto fuzzer: Do not reuse variable names
|
2019-09-02 15:23:10 +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 |
|
djudjuu
|
cafa01cbf6
|
moved SuffixHelper to StringUtils
|
2019-07-09 13:50:07 +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 |
|
Bhargava Shastry
|
f57439035a
|
Do not enclose string literal within double quotes before conversion to u256
|
2019-05-29 15:52:31 +02:00 |
|
Bhargava Shastry
|
495f7f9013
|
[Proto fuzzer] Add function calls, and multi variable declaration/assignment statements
|
2019-05-09 16:00:29 +02:00 |
|
Bhargava Shastry
|
a5524983f9
|
[Proto fuzzer]: Add terminating opcodes
|
2019-05-02 15:34:26 +02:00 |
|
Bhargava Shastry
|
ac7bfec2c0
|
Support generation of calldata, code, extcode and returndata opcodes
|
2019-05-02 10:14:25 +02:00 |
|
Bhargava Shastry
|
d894ffad16
|
Proto fuzzer: Add missing memory and log opcodes and fix visitation bug
for ternary ops
|
2019-04-30 14:18:00 +02:00 |
|
chriseth
|
1d5559c350
|
Merge pull request #6554 from ethereum/add-ternary-ops
ossfuzz: Generate addmod and mulmod builtin functions
|
2019-04-19 00:41:57 +02:00 |
|
Bhargava Shastry
|
836c466f09
|
ossfuzz: Generate addmod and mulmod builtin functions
|
2019-04-18 14:21:02 +02:00 |
|
Bhargava Shastry
|
68b7f40184
|
ossfuzz: Fixes buggy generation of duplicate case literals
|
2019-04-18 14:12:23 +02:00 |
|
Bhargava Shastry
|
6f673f5e81
|
Generate break and continue statements inside for loop body.
|
2019-04-17 13:02:47 +02:00 |
|
Bhargava Shastry
|
762dd24784
|
Reference only those variables that are in scope.
|
2019-04-04 13:28:56 +02:00 |
|
Bhargava Shastry
|
b3c3a1f9cd
|
Use visitor pattern for proto converter.
|
2019-03-26 16:39:44 +01:00 |
|
Bhargava Shastry
|
d1d3dd8571
|
yul proto: Add support for generating string and hex literals.
|
2019-03-21 12:25:52 +01:00 |
|
Bhargava Shastry
|
22f5a82edc
|
yul proto: Add support for generating for and switch statements.
|
2019-03-20 18:50:27 +00:00 |
|
Bhargava Shastry
|
5e8ed426df
|
Add more binary operations to the yul proto spec.
|
2019-03-14 22:26:25 +01:00 |
|
Bhargava Shastry
|
5681086d2c
|
Proto spec and translator bug fixes.
|
2019-03-14 15:40:54 +01:00 |
|
Bhargava Shastry
|
d9bcbe6ad5
|
LibProtobuf Mutator (LPM) based fuzzer for yul subset
|
2019-03-05 12:32:55 +01:00 |
|