Commit Graph

101 Commits

Author SHA1 Message Date
Leo Alt
e72fa7fc10 Add new info severity 2021-09-13 22:48:22 +02:00
chriseth
7977c8c7ce Authorized Proxies 2021-08-12 15:39:32 +02:00
Josué
71d6e8da2d tx.origin pointing where exactly is the bug
Clarification for preventing more bugs of this kind that have been shown recently.
2021-07-26 13:04:14 +02:00
iskanderandrews
a8e9d7a80d docs/
Enhancing all the .rst doc files by adding highlighting for the code snippets, including the following langs:
1. Solidity

2. bash

3. javascript

4. assembly
2021-06-25 12:33:55 +02:00
jgoodall628
a344fd43bf
Grammar update for security-considerations.rst 2021-06-15 19:51:07 -05:00
Leonardo Alt
569afe711a SMTChecker tutorial and docs cleanup 2021-03-18 11:09:26 +01:00
Harikrishnan Mulackal
9e58a568a9
Fixed links in Docs 2021-02-08 14:30:09 +01:00
Harikrishnan Mulackal
47d5939dbd
Improved wording in documentation 2021-02-08 14:21:37 +01:00
Harikrishnan Mulackal
9a5a4dfc6c
Added a note about 63/64 rule
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
2021-02-08 14:19:13 +01:00
Mikko Ohtamaa
f6b403581e
Small clean up on call stack section
Spelling, clarified what items go to the call stack and how any attack is executed
2021-02-08 12:17:53 +01:00
Leonardo Alt
3b23cadbdc Add CLI and JSON option to select SMTChecker targets 2021-01-20 17:35:37 +01:00
hrkrshnn
88c99a7538 Tests/Docs: changing type of msg.sender and tx.origin into address
And also making the type of address(literal) as non-payable address.
2020-12-14 16:55:48 +01:00
chriseth
5ffee049fa Merge remote-tracking branch 'origin/develop' into breaking 2020-11-03 14:05:14 +01:00
Martin Blicha
c1a57ffbfe [SMTChecker] More precise creation of verification targets. 2020-10-30 19:11:28 +01:00
chriseth
e93a84ccd4 Merge remote-tracking branch 'origin/develop' into HEAD 2020-10-28 18:19:31 +01:00
Leonardo Alt
7d9c080050 Update SMT types docs 2020-10-28 13:31:33 +00:00
chriseth
e262f47f21 Documentation. 2020-10-19 16:58:59 +02:00
chriseth
4bdec8107c Merge remote-tracking branch 'origin/develop' into HEAD 2020-09-29 09:53:50 +02:00
Harikrishnan Mulackal
8339765509 [DOCS] Change >=0.7.0 to ^0.7.0 2020-09-28 13:02:31 +02:00
Harikrishnan Mulackal
710231e2b1 Docs: change >0.6.99 <0.8.0 to >=0.7.0 2020-09-28 11:14:45 +02:00
Mathias Baumann
b72fb1333b Adjust docs example to work with v0.8.0 2020-09-08 13:36:16 +02:00
Kamil Śliwak
46524cf164 docs: Update external links to github repos that were moved 2020-08-31 12:46:45 +02:00
chriseth
479d7a059f Documentation. 2020-07-07 12:16:18 +02:00
chriseth
74b9b094c0 Merge remote-tracking branch 'origin/develop' into HEAD 2020-05-20 17:22:47 +02:00
chriseth
d422a406ba
Merge pull request #8983 from ethereum/develop
Merge develop into breaking.
2020-05-19 18:05:28 +02:00
Alexander Arlt
af8bb5fb60 Allow natspec comments on state variables. 2020-05-19 11:01:52 -05:00
Leonardo Alt
5d6dd68766 Update docs 2020-05-18 17:09:46 +02:00
Leonardo Alt
d4d26c02e4 Assume that push will not overflow 2020-05-18 16:35:56 +02:00
chriseth
257bc6a416 Merge remote-tracking branch 'origin/develop' into breaking 2020-05-14 13:04:46 +02:00
chriseth
d33b67b3c2 Add license tags to documentation snippets. 2020-05-13 22:16:34 +02:00
chriseth
1fe55370f4 Merge remote-tracking branch 'origin/develop' into HEAD 2020-04-28 13:02:06 +02:00
Leonardo Alt
1cb68b1be7 Add internal function calls to CHC docs 2020-04-22 20:15:01 +02:00
chriseth
7d68f9f6c3 Merge remote-tracking branch 'origin/develop' into breaking 2020-03-24 13:35:41 +01:00
Erik Kundt
50c22f0800 Adds script which compiles docs example with minimum compiler version. 2020-03-18 19:27:38 +01:00
chriseth
9d92c9fbf1 Merge remote-tracking branch 'origin/develop' into HEAD 2020-03-11 18:44:06 +01:00
Leonardo Alt
1b17815808 SMTChecker docs test may issue a warning 2020-03-10 15:41:49 +01:00
chriseth
06ad5b3200 Merge remote-tracking branch 'origin/develop' into HEAD 2020-02-27 15:06:36 +01:00
chriseth
981ed5f773 Documentation for function call options. 2020-01-23 21:20:01 +01:00
Erik Kundt
fe1676203d Updates documentation to 0.7.0. 2020-01-10 18:56:38 +01:00
chriseth
d6d953f829
Merge pull request #8027 from ethereum/v06-pragma
[DOCS] Update pragma versions for 0.6.0
2019-12-17 16:57:19 +01:00
Chris Chinchilla
f46218cad9 Update pragma versions for 0.6.0 2019-12-16 17:36:44 +01:00
Leonardo Alt
082f598e5e Docs security considerations 2019-12-16 17:15:38 +01:00
Leonardo Alt
27346318a2 [SMTChecker] Add model checking engines to docs 2019-12-10 18:02:48 +01:00
Erik Kundt
a69a344d70 Adjusts documentation to read-only array length. 2019-11-19 21:11:14 +01:00
Daniel Kirchner
3321fc56ea Split fallback function and introduce "fallback()" and "receive()" syntax. 2019-11-04 17:17:58 +01:00
Erik Kundt
ec53899a10 Fixes source extraction from docs. 2019-10-23 22:13:24 +02:00
Leonardo Alt
df0b54d7c7 [DOCS] Clearing mappings 2019-09-17 11:58:00 +02:00
Guy
2734eae6fb Added a reference to an extended list of security recommendations. 2019-05-22 10:56:25 +03:00
Chris Ward
dfeb1dec9e Add rounding warning
Move warning
2019-04-04 16:41:07 +02:00
Leonardo Alt
9a612d1250 [SMTChecker] Docs 2019-03-27 16:31:51 +01:00