cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
23,713 Commits 348 Branches 121 Tags 100 MiB
0fa594e501
Commit Graph

108 Commits

Author SHA1 Message Date
Nuno Santos
02a07fdf46
Changed references to money 2023-05-22 12:54:43 +01:00
Nuno Santos
49cf49184a
Update security-considerations.rst (#14079) 
* Update security-considerations.rst

Spell checking mostly

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* fixup! Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update security-considerations.rst

* Update security-considerations.rst

* Update docs/security-considerations.rst

Co-authored-by: r0qs <deepmarolaest@gmail.com>

---------

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
Co-authored-by: r0qs <deepmarolaest@gmail.com>
 2023-05-02 17:05:23 +01:00
Nuno Santos
7974a3cf7c
Consolidated term to reentrancy 2023-03-28 12:28:31 +01:00
Nicolás Acosta
1edfd73b37 style(security-considerations): fix mapping style 2023-02-01 15:51:56 -03:00
Mike Leach
211d1e733f
Remove "miners" with "block builders" 2022-11-08 21:03:00 -06:00
Luke Hutchison
b676944c3f Update security-considerations.rst 
Explained Checks-Effects-Interactions and added info on Checks-Effects-Events-Interactions
 2022-08-30 14:35:31 +02:00
Richie
beb51068bb
fix: corrects _ prefixes 2022-03-14 08:03:10 -07:00
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