 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
|
70a2902714
|
Merge pull request #8100 from ethereum/deadTestArguments
Disallow dead positional arguments for (i)soltest
|
2020-01-07 16:56:10 +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
|
8ac6258d31
|
lll: Adapted to namespace changes.
|
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 |
|
 Leonardo
|
8385256bdc
|
Merge pull request #8004 from ethereum/fix-7960
abiv2 proto converter: Resize dynamic storage arrays via push
|
2020-01-07 15:48:20 +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 |
|
|
Daniel Kirchner
|
3e714913a0
|
Disallow positional arguments for (i)soltest instead of ignoring
|
2020-01-06 15:28:20 +01:00 |
|
|
Leonardo
|
f7624e254c
|
Merge pull request #8098 from ethereum/smt_fix_shared_ptr
[SMTChecker] Replace some shared_ptr by unique_ptr/raw
|
2020-01-06 14:58:37 +01:00 |
|
|
Mathias L. Baumann
|
20cf9d9fef
|
Merge pull request #8038 from ethereum/statless-typechecker-7566
Refactor PostTypeChecker into multiple classes per usecase
|
2020-01-06 14:39:58 +01:00 |
|