improvements

Author: montyly

not-so-smart-contracts/cairo/README.md

@@ -30,4 +30,4 @@ Each _Not So Smart Contract_ consists of a standard set of information:
 
 These examples are developed and maintained by [Trail of Bits](https://www.trailofbits.com/).
 
-If you have any questions, issues, or wish to learn more, join the #ethereum channel on the [Empire Hacking Slack](https://empireslacking.herokuapp.com/) or [contact us](https://www.trailofbits.com/contact/) directly.
+If you have any questions, issues, or wish to learn more, join the #ethereum channel on the [Empire Hacking Slack](https://slack.empirehacking.nyc/) or [contact us](https://www.trailofbits.com/contact/) directly.

program-analysis/echidna/example/assert.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity ^0.5.0;
+pragma solidity ^0.8.0;
 
 contract Incrementor {
     uint256 private counter = 2 ** 200;

program-analysis/echidna/example/gas.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity ^0.5.0;
+pragma solidity ^0.8.0;
 
 contract C {
     uint256 state;

program-analysis/echidna/example/multi.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity ^0.5.0;
+pragma solidity ^0.8.0;
 
 contract C {
     bool state1 = false;

program-analysis/echidna/example/pushpop.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity ^0.5.0;
+pragma solidity ^0.8.0;
 
 contract C {
     address[] addrs;

program-analysis/echidna/example/testtoken.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity ^0.5.0;
+pragma solidity ^0.8.0;
 
 import "./token.sol";
 

program-analysis/echidna/example/token.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity ^0.5.0;
+pragma solidity ^0.8.0;
 
 contract Token {
     mapping(address => uint256) public balances;

program-analysis/echidna/exercises/exercise1/token.sol

@@ -36,7 +36,7 @@ contract Token is Ownable, Pausable {
 
     function transfer(address to, uint256 value) public whenNotPaused {
         // unchecked to save gas
-        unchecked{
+        unchecked {
             balances[msg.sender] -= value;
             balances[to] += value;
         }

program-analysis/echidna/exercises/exercise4/solution.sol

@@ -9,7 +9,7 @@ import "./token.sol";
 ///      echidna program-analysis/echidna/exercises/exercise4/solution.sol --contract TestToken --test-mode assertion
 ///      ```
 contract TestToken is Token {
-    function transfer(address to, uint256 value) public {
+    function transfer(address to, uint256 value) override public {
         uint256 oldBalanceFrom = balances[msg.sender];
         uint256 oldBalanceTo = balances[to];
 

program-analysis/echidna/exercises/exercise4/token.sol

@@ -38,9 +38,9 @@ contract Pausable is Ownable {
 contract Token is Ownable, Pausable {
     mapping(address => uint256) public balances;
 
-    function transfer(address to, uint256 value) public whenNotPaused {
+    function transfer(address to, uint256 value) public virtual whenNotPaused {
         // unchecked to save gas
-        unchecked{
+        unchecked {
             balances[msg.sender] -= value;
             balances[to] += value;
         }