Bhargava Shastry
|
8aa7abaeda
|
Add multi variable decl statement; use dummy expressions instead of dictionary tokens alone; dont visit blocks unless they contain at least one statement
|
2020-01-13 07:00:44 +01:00 |
|
Bhargava Shastry
|
31a5d3077e
|
Add arbitrary statements and convert unset or uninitialized expressions into variable refs
|
2020-01-13 06:54:29 +01:00 |
|
Bhargava Shastry
|
12e5391547
|
Make custom mutations more frequent; pass post processed seed; add var decl before branch stmt
|
2020-01-09 19:41:58 +01:00 |
|
Bhargava Shastry
|
77b52f0b08
|
Add dataoffset/size mutation and varref inside for-loop-body; minor refactoring and code clean up post previous rebase
|
2020-01-08 13:03:31 +01:00 |
|
Bhargava Shastry
|
629a10a9be
|
Adapt namespace of proto mutator
|
2020-01-07 22:25:47 +01:00 |
|
Bhargava Shastry
|
98ce79dd0c
|
Add/remove function call in another function's body
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
c9da41743e
|
Add pop(f()) mutation
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
cba1f05005
|
Add/remove pop(call) and pop(create) and add constant assignment mutations
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
e6efb71147
|
Add expression mutator and helper
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
01f4b24ed5
|
Minor refactoring
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
25dabb8de2
|
Adjust mutation probability and add binop/unop/nullop mutations
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
bec86f7c03
|
Bug fix in enum ranging and add/remove revert mutation
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
3d8b9f03fe
|
Minor refactoring
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
8c9c5b74ae
|
Add utility functions and add/remove store stmt mutator
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
c954e18e12
|
Simplify function call type conversion
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
a6702425a1
|
Add/remove bounded and generic for stmt; remove block swap
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
17a69bbe90
|
Swap mutated block and if body and switch-case body blocks
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
145a4ee645
|
Swap mutated block and function def block
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
2c48f9a841
|
Add/remove function definition
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
26b3ee91e3
|
Minor code cleanup and added two new mutations: add/remove Function call and vardecl
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
f0ade1b4de
|
Add/remove switch statement mutation
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
fc93d9e5f8
|
Add/remove if statement mutation; also remove first instance and bail in all remove mutations
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
b6f9a2d380
|
Add/remove assignment mutation
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
60930ca119
|
WIP
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
3324762c37
|
Add remove mutations
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
194fbeb5c2
|
Add leave mutation
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
e2efcf222c
|
WIP
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
ec56c785c1
|
yul fuzzer: Add custom mutation routines
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
e32bb74b30
|
yul proto fuzzer: Add EVM version field
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
bab92118a5
|
yul proto fuzzer: Add EVM version field
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
4089c2cd55
|
yul proto fuzzer: Make function call generation optional
|
2020-01-07 22:21:24 +01:00 |
|
Bhargava Shastry
|
cdc935a294
|
yul proto fuzzer: Add EVM version field
|
2020-01-07 22:21:24 +01:00 |
|
Bhargava Shastry
|
31ef914d61
|
Change EVMVersion namespace
|
2020-01-07 22:20:56 +01:00 |
|
Bhargava Shastry
|
bb96d871e7
|
yul proto fuzzer: Add EVM version field
|
2020-01-07 21:59:51 +01:00 |
|
Bhargava Shastry
|
b7a9fe2203
|
yul proto fuzzer: Generate at most 2 for loops per program
|
2020-01-07 21:56:08 +01:00 |
|
Bhargava Shastry
|
bd73bfbe05
|
yul proto fuzzer: Do not generate infinite for loops
|
2020-01-07 21:56:08 +01:00 |
|
Bhargava Shastry
|
3764a9f9c9
|
Permit variable declarations inside for init block
|
2020-01-07 21:55:28 +01:00 |
|
Daniel Kirchner
|
be0775da49
|
Merge pull request #8075 from ethereum/refactor-namespaces
Refactor namespaces
|
2020-01-07 16:52:20 +01:00 |
|
Mathias L. Baumann
|
a2141d3be2
|
Merge pull request #7869 from fulldecent/fix-kill
Reduce usage of word kill
|
2020-01-07 16:01:04 +01:00 |
|
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 |
|
Christian Parpart
|
6b23412fae
|
C++ namespace cleanup (except tests).
|
2020-01-07 15:51:50 +01:00 |
|
William Entriken
|
6d068b6331
|
Reduce usage of the word "kill"
|
2020-01-07 11:18:10 +01:00 |
|
Bhargava Shastry
|
49aec64caf
|
abiv2 proto converter: Do not resize dynamic storage arrays by writing to the length field as it is now read only
|
2020-01-06 17:44:42 +01:00 |
|
Bhargava Shastry
|
f5bd483dfa
|
yul proto fuzzer: Target default evm version
|
2019-12-11 16:52:00 +01:00 |
|
chriseth
|
1ebcc757e1
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-11-27 19:14:08 +01:00 |
|
Paweł Bylica
|
38a20190f4
|
test: Use evmc::VM directly
The evmc::VM works as a RAII wrapper similarly to unique_ptr, so there is no point in using additional unique_ptr.
|
2019-11-27 18:53:02 +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 |
|