diff options
author | Leonardo Alt <leo@ethereum.org> | 2018-08-03 19:55:44 +0800 |
---|---|---|
committer | chriseth <chris@ethereum.org> | 2018-08-14 21:57:38 +0800 |
commit | 55e67e41f9356e4953a57d8a15808e1c7d391686 (patch) | |
tree | 368286d5f45ab87bf91a054a5ce20ea7dd918662 /docs/bugs.rst | |
parent | e1bb6848976c7a54baa19e3e61f9aeeb58f55f5a (diff) | |
download | dexon-solidity-55e67e41f9356e4953a57d8a15808e1c7d391686.tar.gz dexon-solidity-55e67e41f9356e4953a57d8a15808e1c7d391686.tar.zst dexon-solidity-55e67e41f9356e4953a57d8a15808e1c7d391686.zip |
Update bug list and add regular expression to bug list and add test.
Diffstat (limited to 'docs/bugs.rst')
-rw-r--r-- | docs/bugs.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/bugs.rst b/docs/bugs.rst index 7629830d..6f315a65 100644 --- a/docs/bugs.rst +++ b/docs/bugs.rst @@ -56,6 +56,14 @@ conditions is an object that can contain a boolean value ``optimizer``, which means that the optimizer has to be switched on to enable the bug. If no conditions are given, assume that the bug is present. +check + This field contains JavaScript regular expressions that are to be matched + against the source code ("source-regex") to find out if the + smart contract contains the bug or not. If there is no match, + then the bug is very likely not present. If there is a match, + the bug might be present. For improved accuracy, the regular + expression should be applied to the source code after stripping + comments. .. literalinclude:: bugs.json :language: js |