 Bhargava Shastry
|
e35ddbc41c
|
yul fuzzer: Permit upto 7 I/O function parameters (previously 4).
|
2021-04-06 13:04:17 +02:00 |
|
|
Bhargava Shastry
|
939a347afe
|
Changes to yul proto mutator.
|
2021-04-06 12:13:54 +02:00 |
|
|
Bhargava Shastry
|
14b66c4819
|
Correct use of emplace_back
|
2021-04-06 12:13:54 +02:00 |
|
|
Bhargava Shastry
|
f36bc0f664
|
Changes to how function calls are generated.
|
2021-04-06 12:13:54 +02:00 |
|
 chriseth
|
98a8640928
|
Merge pull request #11203 from anurag-git/issue_10738-1
Use range-v3 loops (reverse, keys, values)
|
2021-04-01 12:19:40 +02:00 |
|
 anurag4u80
|
bbcdddeed9
|
Replaced keys, values and reverse with ranges
|
2021-03-31 23:33:04 +05:30 |
|
 Djordje Mijovic
|
aeba059192
|
Fixing auto update for macos.
|
2021-03-31 16:51:01 +02:00 |
|
 Martin Blicha
|
330fb8f4d0
|
[SMTChecker] Assignment refactoring
|
2021-03-31 13:36:50 +02:00 |
|
 Leonardo
|
78d94737a4
|
Merge pull request #11188 from blishko/issue-11181
[SMTChecker] Fix crash when analysing try-catch clauses with function call.
|
2021-03-31 11:24:36 +02:00 |
|
 Mathias Baumann
|
e590a99f39
|
Detect circular references for library and free functions
|
2021-03-30 23:06:30 +02:00 |
|
|
chriseth
|
79d7466e19
|
NatSpec for errors.
|
2021-03-30 21:16:58 +02:00 |
|
|
chriseth
|
517cd17a6f
|
Add errors to the ABI.
|
2021-03-30 21:16:58 +02:00 |
|
|
chriseth
|
e877e2bba7
|
Use all referenced errors.
|
2021-03-30 21:15:46 +02:00 |
|
|
chriseth
|
1057fd5355
|
Take revert statement into account in control flow graph.
|
2021-03-30 21:15:46 +02:00 |
|
|
chriseth
|
d5669696d5
|
Code generation for errors.
|
2021-03-30 21:15:46 +02:00 |
|
|
chriseth
|
fb67051467
|
Revert statement.
|
2021-03-30 21:15:46 +02:00 |
|
|
chriseth
|
b04b189959
|
Syntax for custom errors.
|
2021-03-30 21:15:18 +02:00 |
|
|
Martin Blicha
|
2d231f1859
|
[SMTChecker] Changed SMTEncoder::mergeVariables to work regardless which branch has been visited first
|
2021-03-30 20:35:44 +02:00 |
|
|
Leonardo Alt
|
ba97d6ac4e
|
Add local vars to cex
|
2021-03-30 17:55:21 +02:00 |
|
|
Leonardo Alt
|
dbd067d6db
|
Report out of bounds index access
|
2021-03-30 10:28:48 +02:00 |
|
|
chriseth
|
bb49bc5892
|
Merge pull request #10418 from ethereum/function-specializer
Function specializer
|
2021-03-29 15:48:01 +02:00 |
|
 hrkrshnn
|
0100f48e05
|
FunctionSpecializer: skip specializing recursive functions
This avoids potential pathological behaviour, like in Ackermann function.
|
2021-03-29 11:02:31 +02:00 |
|
|
hrkrshnn
|
2c75d1dfe4
|
Isoltest gas update for FunctionSpecializer
|
2021-03-29 11:02:31 +02:00 |
|
|
hrkrshnn
|
09998ceb0c
|
Tests for FunctionSpecializer
|
2021-03-29 11:02:18 +02:00 |
|
|
Bhargava Shastry
|
f3f1ccc34f
|
Fix false positive caused by early termination due to nested expressions.
|
2021-03-26 13:35:57 +01:00 |
|
|
Đorđe Mijović
|
d75a132f33
|
Merge pull request #11166 from ethereum/cmdLineTestsDevVersionFix
|
2021-03-25 19:06:26 +01:00 |
|
 Djordje MijovicandKamil Śliwak
|
08993a3282
|
Enabling running cmd line tests on currently unreleased version.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2021-03-25 17:11:31 +01:00 |
|
|
Martin Blicha
|
85358dfe30
|
[SMTChecker] Do not create targets for contracts that cannot be deployed
|
2021-03-25 15:38:37 +01:00 |
|
|
Leonardo
|
7e1be52281
|
Merge pull request #11165 from blishko/smt-abi-no-args
[SMTChecker] Fix ICE on ABI functions with no arguments
|
2021-03-25 15:21:57 +01:00 |
|
 Alex Beregszaszi
|
e071884bbf
|
Show proper error for misusing the custom natspec tag
|
2021-03-25 12:45:37 +00:00 |
|
|
Martin Blicha
|
5293f05ee3
|
[SMTChecker] Fix ICE on ABI functions with no arguments
|
2021-03-25 13:28:29 +01:00 |
|
|
Alex Beregszaszi
|
7a7ff7af2f
|
Add one more test for invalid custom tag
|
2021-03-25 12:24:18 +00:00 |
|
|
chriseth
|
6eac77aea2
|
Merge pull request #11107 from ethereum/extendedLowlevelInliner
Inline ordinary jumps to small blocks and jumps to terminating control flow.
|
2021-03-24 18:06:15 +01:00 |
|
|
Martin Blicha
|
98446782e2
|
[SMTChecker] Fix compound assignment to push
|
2021-03-24 14:54:13 +01:00 |
|
|
Leonardo
|
13d3b35141
|
Merge pull request #11116 from blishko/issue-10985
[SMTChecker] Handle InaccessibleDynamicType
|
2021-03-24 14:39:24 +01:00 |
|
|
hrkrshnn
|
4fbf5a3f12
|
Added few more tests for low level inliner.
|
2021-03-24 13:50:24 +01:00 |
|
 Daniel Kirchner
|
8b3095920a
|
Inline ordinary jumps to small blocks and jumps to terminating control flow.
|
2021-03-24 13:50:24 +01:00 |
|
|
Martin Blicha
|
852e877ae7
|
[SMTChecker] Handle InaccessibleDynamicType
|
2021-03-24 11:53:06 +01:00 |
|
|
Djordje Mijovic
|
d0a854b312
|
Adding semantic tests for bytes.concat.
|
2021-03-24 11:49:21 +01:00 |
|
|
Djordje Mijovic
|
e7da9f3d52
|
Adding syntax tests for bytes.concat.
|
2021-03-24 11:49:21 +01:00 |
|
|
chriseth
|
d15ba987d1
|
Fix AST output if modifier invocation is base constructor call.
|
2021-03-24 11:24:26 +01:00 |
|
|
Leonardo
|
70c1720903
|
Merge pull request #11129 from blishko/smt-ci-tests
Run SMTChecker tests for all EVM versions
|
2021-03-24 10:31:44 +01:00 |
|
|
chriseth
|
e3ea5c631e
|
Merge pull request #11136 from ethereum/refactor-typepointer
Replace `TypePointer` with `Type const*`
|
2021-03-23 18:32:38 +01:00 |
|
|
Martin Blicha
|
145a03bdd6
|
Run SMTChecker tests on all EVM versions
|
2021-03-23 12:51:52 +01:00 |
|
|
Mathias Baumann
|
e197ebbdd1
|
Replace TypePointer with Type const*
|
2021-03-23 11:47:19 +01:00 |
|
|
hrkrshnn
|
30e08ee3a5
|
Changelog and test for the KeccakCaching bug
|
2021-03-23 11:09:00 +01:00 |
|
|
Mathias Baumann
|
bccedf791b
|
Add creationCode/runtimeCode contract creation detection to call graph
|
2021-03-22 15:44:23 +01:00 |
|
|
chriseth
|
baf2ff2a6e
|
Proof.
|
2021-03-18 08:42:49 +01:00 |
|
|
chriseth
|
2c8540b1f9
|
Yul optimizer test updates.
|
2021-03-18 08:42:49 +01:00 |
|
|
chriseth
|
7aa51bcb40
|
Test updates.
|
2021-03-18 08:42:49 +01:00 |
|