Skip to content

Instantly share code, notes, and snippets.

@muellerberndt

muellerberndt/gist:46b8b1405d85242b4cbe39cf03c4c00b

Created February 22, 2019 03:27
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save muellerberndt/46b8b1405d85242b4cbe39cf03c4c00b to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save muellerberndt/46b8b1405d85242b4cbe39cf03c4c00b to your computer and use it in GitHub Desktop.
Download ZIP
Truffle security Feb22
Raw
gistfile1.txt
$ truffle run verify
Caller |******************************************************************************************| 100% || Elapsed: 77.0s ✓ completed
ERC20 |******************************************************************************************| 100% || Elapsed: 54.5s ✓ completed
BasicToken |******************************************************************************************| 100% || Elapsed: 81.9s ✓ completed
BecToken |******************************************************************************************| 100% || Elapsed: 80.5s ✓ completed
ERC20Basic |******************************************************************************************| 100% || Elapsed: 51.5s ✓ completed
EtherStore |******************************************************************************************| 100% || Elapsed: 81.5s ✓ completed
Exceptions |******************************************************************************************| 100% || Elapsed: 74.7s ✓ completed
HashForEther |******************************************************************************************| 100% || Elapsed: 79.7s ✓ completed
Origin |******************************************************************************************| 100% || Elapsed: 84.5s ✓ completed
Ownable |******************************************************************************************| 100% || Elapsed: 76.3s ✓ completed
Pausable |******************************************************************************************| 100% || Elapsed: 78.9s ✓ completed
PausableToken |******************************************************************************************| 100% || Elapsed: 77.1s ✓ completed
ReturnValue |******************************************************************************************| 100% || Elapsed: 76.6s ✓ completed
Rubixi |******************************************************************************************| 100% || Elapsed: 75.8s ✓ completed
SafeMath |******************************************************************************************| 100% || Elapsed: 77.1s ✓ completed
SimpleDAO |******************************************************************************************| 100% || Elapsed: 77.1s ✓ completed
StandardToken |******************************************************************************************| 100% || Elapsed: 81.4s ✓ completed
Suicide |******************************************************************************************| 100% || Elapsed: 78.0s ✓ completed
Token |******************************************************************************************| 100% || Elapsed: 81.2s ✓ completed
TimeLock |******************************************************************************************| 100% || Elapsed: 79.8s ✓ completed
WeakRandom |******************************************************************************************| 100% || Elapsed: 84.3s ✓ completed
/Users/bernhardmueller/Projects/MythXTest/contracts/BECToken.sol
1:0 warning A floating pragma is set SWC-103
5:15 error The binary addition can overflow SWC-101
5:29 error The binary multiplication can overflow SWC-101
52:30 warning The state variable visibility is not set SWC-108
/Users/bernhardmueller/Projects/MythXTest/contracts/calls.sol
1:0 warning A floating pragma is set SWC-103
8:9 warning The state variable visibility is not set SWC-108
15:5 warning Unchecked return value from low level call SWC-104
15:5 warning The contract executes an external message call SWC-107
15:5 warning The return value of a message call is not checked SWC-104
19:5 warning Unchecked return value from low level call SWC-104
19:5 warning The contract executes an external message call SWC-107
19:5 warning The return value of a message call is not checked SWC-104
24:5 warning Unchecked return value from low level call SWC-104
24:5 warning A call to a user-supplied address is executed SWC-107
24:5 warning The return value of a message call is not checked SWC-104
28:5 warning Unchecked return value from low level call SWC-104
28:5 warning The contract executes an external message call SWC-107
28:5 warning The return value of a message call is not checked SWC-104
/Users/bernhardmueller/Projects/MythXTest/contracts/etherstore.sol
1:0 warning A floating pragma is set SWC-103
10:8 error The binary addition can overflow SWC-101
18:23 error The binary addition can overflow SWC-101
19:44 warning Sending of Ether depends on a predictable variable SWC-116
19:44 warning A call to a user-supplied address is executed SWC-107
21:8 error persistent state read after call SWC-107
22:8 error persistent state write after call SWC-107
/Users/bernhardmueller/Projects/MythXTest/contracts/exceptions.sol
1:0 warning No pragma is set SWC-103
5:15 warning The state variable visibility is not set SWC-108
9:8 warning A reachable exception has been detected SWC-110
18:8 warning A reachable exception has been detected SWC-110
26:20 warning A reachable exception has been detected SWC-110
36:20 warning A reachable exception has been detected SWC-110
/Users/bernhardmueller/Projects/MythXTest/contracts/hashforether.sol
1:0 warning A floating pragma is set SWC-103
13:9 error Anyone can withdraw ETH from the contract account SWC-105
/Users/bernhardmueller/Projects/MythXTest/contracts/origin.sol
1:0 warning A floating pragma is set SWC-103
21:12 warning Use of tx.origin is deprecated SWC-111
21:12 warning Use of "tx.origin" as a part of authorization control SWC-115
/Users/bernhardmueller/Projects/MythXTest/contracts/returnvalue.sol
1:0 warning A floating pragma is set SWC-103
9:4 warning The contract executes an external message call SWC-107
9:4 warning The return value of a message call is not checked SWC-104
9:4 warning Unchecked return value from low level call SWC-104
13:40 warning The contract executes an external message call SWC-107
/Users/bernhardmueller/Projects/MythXTest/contracts/rubixi.sol
1:0 warning A floating pragma is set SWC-103
39:8 error persistent state write after call SWC-107
46:16 error persistent state read after call SWC-107
48:8 error persistent state read after call SWC-107
48:8 error persistent state read after call SWC-107
57:8 error persistent state read after call SWC-107
92:24 warning assertion violation SWC-110
109:19 warning assertion violation SWC-110
132:51 warning integer overflow SWC-101
144:15 error persistent state read after call SWC-107
144:25 error persistent state read after call SWC-107
144:25 warning assertion violation SWC-110
144:25 error persistent state read after call SWC-107
144:38 error persistent state read after call SWC-107
148:12 error persistent state read after call SWC-107
148:23 error persistent state read after call SWC-107
148:23 error persistent state read after call SWC-107
148:36 error persistent state read after call SWC-107
149:12 error persistent state read after call SWC-107
/Users/bernhardmueller/Projects/MythXTest/contracts/simple_dao.sol
1:0 warning No pragma is set SWC-103
10:4 error The binary addition can overflow SWC-101
15:6 warning A call to a user-supplied address is executed SWC-107
15:6 warning The return value of a message call is not checked SWC-104
16:6 error persistent state read after call SWC-107
/Users/bernhardmueller/Projects/MythXTest/contracts/suicide.sol
9:6 error The contract can be killed by anyone SWC-106
/Users/bernhardmueller/Projects/MythXTest/contracts/timelock.sol
1:0 warning A floating pragma is set SWC-103
10:8 error The binary addition can overflow SWC-101
11:31 error The binary addition can overflow SWC-101
15:8 error The binary addition can overflow SWC-101
/Users/bernhardmueller/Projects/MythXTest/contracts/token.sol
1:0 warning A floating pragma is set SWC-103
5:27 warning The state variable visibility is not set SWC-108
13:12 error The binary subtraction can underflow SWC-101
14:4 error The binary subtraction can underflow SWC-101
15:4 error The binary addition can overflow SWC-101
/Users/bernhardmueller/Projects/MythXTest/contracts/weak_random.sol
1:0 warning A floating pragma is set SWC-103
✖ 76 problems (30 errors, 46 warnings)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment