diff options
| author | chriseth <chris@ethereum.org> | 2017-04-12 21:36:59 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2017-04-12 21:37:06 +0800 |
| commit | 10c32362ead6b5198221a48605e16c89a7800deb (patch) | |
| tree | a4386b0494569fa38b5a2aaa3ed34598bacb2116 /docs/bugs.json | |
| parent | feacfcfd203c7d24b13ce28da3ce7041f5ee5287 (diff) | |
| download | dexon-solidity-10c32362ead6b5198221a48605e16c89a7800deb.tar dexon-solidity-10c32362ead6b5198221a48605e16c89a7800deb.tar.gz dexon-solidity-10c32362ead6b5198221a48605e16c89a7800deb.tar.bz2 dexon-solidity-10c32362ead6b5198221a48605e16c89a7800deb.tar.lz dexon-solidity-10c32362ead6b5198221a48605e16c89a7800deb.tar.xz dexon-solidity-10c32362ead6b5198221a48605e16c89a7800deb.tar.zst dexon-solidity-10c32362ead6b5198221a48605e16c89a7800deb.zip | |
Prefix all optimizer bug names by Optimizer.
Diffstat (limited to 'docs/bugs.json')
| -rw-r--r-- | docs/bugs.json | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/bugs.json b/docs/bugs.json index f80816ee..4e7f1245 100644 --- a/docs/bugs.json +++ b/docs/bugs.json @@ -7,7 +7,7 @@ "fixed": "0.4.7" }, { - "name": "StateKnowledgeNotResetForJumpdest", + "name": "OptimizerStateKnowledgeNotResetForJumpdest", "summary": "The optimizer did not properly reset its internal state at jump destinations, which could lead to data corruption.", "description": "The optimizer performs symbolic execution at certain stages. At jump destinations, multiple code paths join and thus it has to compute a common state from the incoming edges. Computing this common state was simplified to just use the empty state, but this implementation was not done properly. This bug can cause data corruption.", "severity": "medium", @@ -27,7 +27,7 @@ "fixed": "0.4.4" }, { - "name": "StaleKnowledgeAboutSHA3", + "name": "OptimizerStaleKnowledgeAboutSHA3", "summary": "The optimizer did not properly reset its knowledge about SHA3 operations resulting in some hashes (also used for storage variable positions) not being calculated correctly.", "description": "The optimizer performs symbolic execution in order to save re-evaluating expressions whose value is already known. This knowledge was not properly reset across control flow paths and thus the optimizer sometimes thought that the result of a SHA3 operation is already present on the stack. This could result in data corruption by accessing the wrong storage slot.", "severity": "low/medium", @@ -59,7 +59,7 @@ "fixed": "0.3.6" }, { - "name": "ClearStateOnCodePathJoin", + "name": "OptimizerClearStateOnCodePathJoin", "summary": "The optimizer did not properly reset its internal state at jump destinations, which could lead to data corruption.", "description": "The optimizer performs symbolic execution at certain stages. At jump destinations, multiple code paths join and thus it has to compute a common state from the incoming edges. Computing this common state was not done correctly. This bug can cause data corruption, but it is probably quite hard to use for targeted attacks.", "severity": "low", |