TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update test files

Browse Source
pull/135/head
Bernhard Mueller 7 years ago
parent 33a93db2e1
commit e84c12fdd2
15 changed files with 0 additions and 276 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 11
      tests/testdata/outputs_expected/calls.sol.json
  2. 21
      tests/testdata/outputs_expected/calls.sol.markdown
  3. 14
      tests/testdata/outputs_expected/calls.sol.text
  4. 11
      tests/testdata/outputs_expected/ether_send.sol.json
  5. 21
      tests/testdata/outputs_expected/ether_send.sol.markdown
  6. 14
      tests/testdata/outputs_expected/ether_send.sol.text
  7. 11
      tests/testdata/outputs_expected/origin.sol.json
  8. 21
      tests/testdata/outputs_expected/origin.sol.markdown
  9. 14
      tests/testdata/outputs_expected/origin.sol.text
  10. 22
      tests/testdata/outputs_expected/rubixi.sol.json
  11. 42
      tests/testdata/outputs_expected/rubixi.sol.markdown
  12. 28
      tests/testdata/outputs_expected/rubixi.sol.text
  13. 11
      tests/testdata/outputs_expected/weak_random.sol.json
  14. 21
      tests/testdata/outputs_expected/weak_random.sol.markdown
  15. 14
      tests/testdata/outputs_expected/weak_random.sol.text

11
tests/testdata/outputs_expected/calls.sol.json vendored
Unescape View File

@ -57,17 +57,6 @@
"lineno": 25, "lineno": 25,
"code": "addr.call()" "code": "addr.call()"
}, },
{
"title": "Integer Overflow ",
"description": "A possible integer overflow exists in the function `_function_0x2776b163`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.",
"function": "_function_0x2776b163",
"type": "Warning",
"address": 517,
"debug": "<DEBUG-DATA>",
"filename": "<TESTDATA>/inputs/calls.sol",
"lineno": 33,
"code": "stored_address = addr"
},
{ {
"title": "Unchecked CALL return value", "title": "Unchecked CALL return value",
"description": "The return value of an external call is not checked. Note that execution continue even if the called contract throws.", "description": "The return value of an external call is not checked. Note that execution continue even if the called contract throws.",

21
tests/testdata/outputs_expected/calls.sol.markdown vendored
Unescape View File

@ -100,27 +100,6 @@ addr.call()
``` ```
## Integer Overflow
- Type: Warning
- Contract: Caller
- Function name: `_function_0x2776b163`
- PC address: 517
### Description
A possible integer overflow exists in the function `_function_0x2776b163`.
The addition or multiplication may result in a value higher than the maximum representable integer.
In *<TESTDATA>/inputs/calls.sol:33*
```
stored_address = addr
```
## Unchecked CALL return value ## Unchecked CALL return value
- Type: Informational - Type: Informational

14
tests/testdata/outputs_expected/calls.sol.text vendored
Unescape View File

@ -63,20 +63,6 @@ addr.call()
-------------------- --------------------
==== Integer Overflow ====
Type: Warning
Contract: Caller
Function name: _function_0x2776b163
PC address: 517
A possible integer overflow exists in the function `_function_0x2776b163`.
The addition or multiplication may result in a value higher than the maximum representable integer.
--------------------
In file: <TESTDATA>/inputs/calls.sol:33
stored_address = addr
--------------------
==== Unchecked CALL return value ==== ==== Unchecked CALL return value ====
Type: Informational Type: Informational
Contract: Caller Contract: Caller

11
tests/testdata/outputs_expected/ether_send.sol.json vendored
Unescape View File

@ -23,17 +23,6 @@
"filename": "<TESTDATA>/inputs/ether_send.sol", "filename": "<TESTDATA>/inputs/ether_send.sol",
"lineno": 24, "lineno": 24,
"code": "balances[msg.sender] += msg.value" "code": "balances[msg.sender] += msg.value"
},
{
"title": "Integer Overflow ",
"description": "A possible integer overflow exists in the function `crowdfunding()`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.",
"function": "crowdfunding()",
"type": "Warning",
"address": 620,
"debug": "<DEBUG-DATA>",
"filename": "<TESTDATA>/inputs/ether_send.sol",
"lineno": 14,
"code": "owner = msg.sender"
} }
] ]
} }

21
tests/testdata/outputs_expected/ether_send.sol.markdown vendored
Unescape View File

@ -41,24 +41,3 @@ In *<TESTDATA>/inputs/ether_send.sol:24*
``` ```
balances[msg.sender] += msg.value balances[msg.sender] += msg.value
``` ```
## Integer Overflow
- Type: Warning
- Contract: Crowdfunding
- Function name: `crowdfunding()`
- PC address: 620
### Description
A possible integer overflow exists in the function `crowdfunding()`.
The addition or multiplication may result in a value higher than the maximum representable integer.
In *<TESTDATA>/inputs/ether_send.sol:14*
```
owner = msg.sender
```

14
tests/testdata/outputs_expected/ether_send.sol.text vendored
Unescape View File

@ -27,17 +27,3 @@ balances[msg.sender] += msg.value
-------------------- --------------------
==== Integer Overflow ====
Type: Warning
Contract: Crowdfunding
Function name: crowdfunding()
PC address: 620
A possible integer overflow exists in the function `crowdfunding()`.
The addition or multiplication may result in a value higher than the maximum representable integer.
--------------------
In file: <TESTDATA>/inputs/ether_send.sol:14
owner = msg.sender
--------------------

11
tests/testdata/outputs_expected/origin.sol.json vendored
Unescape View File

@ -12,17 +12,6 @@
"filename": "<TESTDATA>/inputs/origin.sol", "filename": "<TESTDATA>/inputs/origin.sol",
"lineno": 18, "lineno": 18,
"code": "tx.origin" "code": "tx.origin"
},
{
"title": "Integer Overflow ",
"description": "A possible integer overflow exists in the function `transferOwnership(address)`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.",
"function": "transferOwnership(address)",
"type": "Warning",
"address": 438,
"debug": "<DEBUG-DATA>",
"filename": "<TESTDATA>/inputs/origin.sol",
"lineno": 31,
"code": "owner = newOwner"
} }
] ]
} }

21
tests/testdata/outputs_expected/origin.sol.markdown vendored
Unescape View File

@ -19,24 +19,3 @@ In *<TESTDATA>/inputs/origin.sol:18*
``` ```
tx.origin tx.origin
``` ```
## Integer Overflow
- Type: Warning
- Contract: Origin
- Function name: `transferOwnership(address)`
- PC address: 438
### Description
A possible integer overflow exists in the function `transferOwnership(address)`.
The addition or multiplication may result in a value higher than the maximum representable integer.
In *<TESTDATA>/inputs/origin.sol:31*
```
owner = newOwner
```

14
tests/testdata/outputs_expected/origin.sol.text vendored
Unescape View File

@ -12,17 +12,3 @@ tx.origin
-------------------- --------------------
==== Integer Overflow ====
Type: Warning
Contract: Origin
Function name: transferOwnership(address)
PC address: 438
A possible integer overflow exists in the function `transferOwnership(address)`.
The addition or multiplication may result in a value higher than the maximum representable integer.
--------------------
In file: <TESTDATA>/inputs/origin.sol:31
owner = newOwner
--------------------

22
tests/testdata/outputs_expected/rubixi.sol.json vendored
Unescape View File

@ -57,28 +57,6 @@
"lineno": 37, "lineno": 37,
"code": "collectedFees += msg.value" "code": "collectedFees += msg.value"
}, },
{
"title": "Integer Overflow ",
"description": "A possible integer overflow exists in the function `_function_0x67f809e9`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.",
"function": "_function_0x67f809e9",
"type": "Warning",
"address": 1721,
"debug": "<DEBUG-DATA>",
"filename": "<TESTDATA>/inputs/rubixi.sol",
"lineno": 14,
"code": "creator = msg.sender"
},
{
"title": "Integer Overflow ",
"description": "A possible integer overflow exists in the function `_function_0xa6f9dae1`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.",
"function": "_function_0xa6f9dae1",
"type": "Warning",
"address": 2331,
"debug": "<DEBUG-DATA>",
"filename": "<TESTDATA>/inputs/rubixi.sol",
"lineno": 99,
"code": "creator = _owner"
},
{ {
"title": "Unchecked CALL return value", "title": "Unchecked CALL return value",
"description": "The return value of an external call is not checked. Note that execution continue even if the called contract throws.", "description": "The return value of an external call is not checked. Note that execution continue even if the called contract throws.",

42
tests/testdata/outputs_expected/rubixi.sol.markdown vendored
Unescape View File

@ -109,48 +109,6 @@ collectedFees += msg.value
``` ```
## Integer Overflow
- Type: Warning
- Contract: Rubixi
- Function name: `_function_0x67f809e9`
- PC address: 1721
### Description
A possible integer overflow exists in the function `_function_0x67f809e9`.
The addition or multiplication may result in a value higher than the maximum representable integer.
In *<TESTDATA>/inputs/rubixi.sol:14*
```
creator = msg.sender
```
## Integer Overflow
- Type: Warning
- Contract: Rubixi
- Function name: `_function_0xa6f9dae1`
- PC address: 2331
### Description
A possible integer overflow exists in the function `_function_0xa6f9dae1`.
The addition or multiplication may result in a value higher than the maximum representable integer.
In *<TESTDATA>/inputs/rubixi.sol:99*
```
creator = _owner
```
## Unchecked CALL return value ## Unchecked CALL return value
- Type: Informational - Type: Informational

28
tests/testdata/outputs_expected/rubixi.sol.text vendored
Unescape View File

@ -72,34 +72,6 @@ collectedFees += msg.value
-------------------- --------------------
==== Integer Overflow ====
Type: Warning
Contract: Rubixi
Function name: _function_0x67f809e9
PC address: 1721
A possible integer overflow exists in the function `_function_0x67f809e9`.
The addition or multiplication may result in a value higher than the maximum representable integer.
--------------------
In file: <TESTDATA>/inputs/rubixi.sol:14
creator = msg.sender
--------------------
==== Integer Overflow ====
Type: Warning
Contract: Rubixi
Function name: _function_0xa6f9dae1
PC address: 2331
A possible integer overflow exists in the function `_function_0xa6f9dae1`.
The addition or multiplication may result in a value higher than the maximum representable integer.
--------------------
In file: <TESTDATA>/inputs/rubixi.sol:99
creator = _owner
--------------------
==== Unchecked CALL return value ==== ==== Unchecked CALL return value ====
Type: Informational Type: Informational
Contract: Rubixi Contract: Rubixi

11
tests/testdata/outputs_expected/weak_random.sol.json vendored
Unescape View File

@ -67,17 +67,6 @@
"filename": "<TESTDATA>/inputs/weak_random.sol", "filename": "<TESTDATA>/inputs/weak_random.sol",
"lineno": 22, "lineno": 22,
"code": "contestants[currTicket] = Contestant(msg.sender, gameId)" "code": "contestants[currTicket] = Contestant(msg.sender, gameId)"
},
{
"title": "Integer Overflow ",
"description": "A possible integer overflow exists in the function `_function_0xe9874106`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.",
"function": "_function_0xe9874106",
"type": "Warning",
"address": 293,
"debug": "<DEBUG-DATA>",
"filename": "<TESTDATA>/inputs/weak_random.sol",
"lineno": 22,
"code": "contestants[currTicket] = Contestant(msg.sender, gameId)"
} }
] ]
} }

21
tests/testdata/outputs_expected/weak_random.sol.markdown vendored
Unescape View File

@ -116,27 +116,6 @@ gameId++
### Description
A possible integer overflow exists in the function `_function_0xe9874106`.
The addition or multiplication may result in a value higher than the maximum representable integer.
In *<TESTDATA>/inputs/weak_random.sol:22*
```
contestants[currTicket] = Contestant(msg.sender, gameId)
```
## Integer Overflow
- Type: Warning
- Contract: WeakRandom
- Function name: `_function_0xe9874106`
- PC address: 293
### Description ### Description
A possible integer overflow exists in the function `_function_0xe9874106`. A possible integer overflow exists in the function `_function_0xe9874106`.

14
tests/testdata/outputs_expected/weak_random.sol.text vendored
Unescape View File

@ -84,17 +84,3 @@ contestants[currTicket] = Contestant(msg.sender, gameId)
-------------------- --------------------
==== Integer Overflow ====
Type: Warning
Contract: WeakRandom
Function name: _function_0xe9874106
PC address: 293
A possible integer overflow exists in the function `_function_0xe9874106`.
The addition or multiplication may result in a value higher than the maximum representable integer.
--------------------
In file: <TESTDATA>/inputs/weak_random.sol:22
contestants[currTicket] = Contestant(msg.sender, gameId)
--------------------

Write Preview
Loading…
Cancel
Save