diff --git a/tests/testdata/outputs_expected/calls.sol.o.graph.html b/tests/testdata/outputs_expected/calls.sol.o.graph.html index c4e8eba9..665a8a65 100644 --- a/tests/testdata/outputs_expected/calls.sol.o.graph.html +++ b/tests/testdata/outputs_expected/calls.sol.o.graph.html @@ -1,202 +1,56 @@ - - - - - - - - - + + + + + + + -

Mythril / LASER Symbolic VM

+

Mythril / Ethereum LASER Symbolic VM


- + \ No newline at end of file diff --git a/tests/testdata/outputs_expected/ether_send.sol.o.graph.html b/tests/testdata/outputs_expected/ether_send.sol.o.graph.html index ee8ebaee..37fe41e9 100644 --- a/tests/testdata/outputs_expected/ether_send.sol.o.graph.html +++ b/tests/testdata/outputs_expected/ether_send.sol.o.graph.html @@ -1,244 +1,56 @@ - - - - - - - - - + + + + + + + -

Mythril / LASER Symbolic VM

+

Mythril / Ethereum LASER Symbolic VM


- + \ No newline at end of file diff --git a/tests/testdata/outputs_expected/ether_send.sol.o.json b/tests/testdata/outputs_expected/ether_send.sol.o.json index 70a3daf8..4bc4f6c0 100644 --- a/tests/testdata/outputs_expected/ether_send.sol.o.json +++ b/tests/testdata/outputs_expected/ether_send.sol.o.json @@ -9,14 +9,6 @@ "type": "Warning", "address": 816, "debug": "" - }, - { - "title": "Integer Overflow ", - "description": "A possible integer overflow exists in the function `invest()`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.", - "function": "invest()", - "type": "Warning", - "address": 483, - "debug": "" } ] } \ No newline at end of file diff --git a/tests/testdata/outputs_expected/ether_send.sol.o.markdown b/tests/testdata/outputs_expected/ether_send.sol.o.markdown index ea1bd54c..69129500 100644 --- a/tests/testdata/outputs_expected/ether_send.sol.o.markdown +++ b/tests/testdata/outputs_expected/ether_send.sol.o.markdown @@ -11,16 +11,4 @@ In the function `withdrawfunds()` a non-zero amount of Ether is sent to msg.sender. -There is a check on storage index 1. This storage slot can be written to by calling the function `crowdfunding()`. - -## Integer Overflow - -- Type: Warning -- Contract: Unknown -- Function name: `invest()` -- PC address: 483 - -### Description - -A possible integer overflow exists in the function `invest()`. -The addition or multiplication may result in a value higher than the maximum representable integer. \ No newline at end of file +There is a check on storage index 1. This storage slot can be written to by calling the function `crowdfunding()`. \ No newline at end of file diff --git a/tests/testdata/outputs_expected/ether_send.sol.o.text b/tests/testdata/outputs_expected/ether_send.sol.o.text index d41db8b1..f800de7b 100644 --- a/tests/testdata/outputs_expected/ether_send.sol.o.text +++ b/tests/testdata/outputs_expected/ether_send.sol.o.text @@ -8,12 +8,3 @@ In the function `withdrawfunds()` a non-zero amount of Ether is sent to msg.send There is a check on storage index 1. This storage slot can be written to by calling the function `crowdfunding()`. -------------------- -==== Integer Overflow ==== -Type: Warning -Contract: Unknown -Function name: invest() -PC address: 483 -A possible integer overflow exists in the function `invest()`. -The addition or multiplication may result in a value higher than the maximum representable integer. --------------------- - diff --git a/tests/testdata/outputs_expected/exceptions.sol.o.graph.html b/tests/testdata/outputs_expected/exceptions.sol.o.graph.html index 402e2791..2ac1b798 100644 --- a/tests/testdata/outputs_expected/exceptions.sol.o.graph.html +++ b/tests/testdata/outputs_expected/exceptions.sol.o.graph.html @@ -1,252 +1,56 @@ - - - - - - - - - + + + + + + + -

Mythril / LASER Symbolic VM

+

Mythril / Ethereum LASER Symbolic VM


- + \ No newline at end of file diff --git a/tests/testdata/outputs_expected/kinds_of_calls.sol.o.graph.html b/tests/testdata/outputs_expected/kinds_of_calls.sol.o.graph.html index f3d4b677..ae421675 100644 --- a/tests/testdata/outputs_expected/kinds_of_calls.sol.o.graph.html +++ b/tests/testdata/outputs_expected/kinds_of_calls.sol.o.graph.html @@ -1,178 +1,56 @@ - - - - - - - - - + + + + + + + -

Mythril / LASER Symbolic VM

+

Mythril / Ethereum LASER Symbolic VM


- + \ No newline at end of file diff --git a/tests/testdata/outputs_expected/metacoin.sol.o.graph.html b/tests/testdata/outputs_expected/metacoin.sol.o.graph.html index 5f7166dc..c6b8ae71 100644 --- a/tests/testdata/outputs_expected/metacoin.sol.o.graph.html +++ b/tests/testdata/outputs_expected/metacoin.sol.o.graph.html @@ -1,150 +1,56 @@ - - - - - - - - - + + + + + + + -

Mythril / LASER Symbolic VM

+

Mythril / Ethereum LASER Symbolic VM


- + \ No newline at end of file diff --git a/tests/testdata/outputs_expected/metacoin.sol.o.json b/tests/testdata/outputs_expected/metacoin.sol.o.json index 1977ed30..130378fc 100644 --- a/tests/testdata/outputs_expected/metacoin.sol.o.json +++ b/tests/testdata/outputs_expected/metacoin.sol.o.json @@ -1,14 +1,5 @@ { "success": true, "error": null, - "issues": [ - { - "title": "Integer Overflow ", - "description": "A possible integer overflow exists in the function `sendToken(address,uint256)`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.", - "function": "sendToken(address,uint256)", - "type": "Warning", - "address": 498, - "debug": "" - } - ] + "issues": [] } \ No newline at end of file diff --git a/tests/testdata/outputs_expected/metacoin.sol.o.markdown b/tests/testdata/outputs_expected/metacoin.sol.o.markdown index aaf85b5d..e69de29b 100644 --- a/tests/testdata/outputs_expected/metacoin.sol.o.markdown +++ b/tests/testdata/outputs_expected/metacoin.sol.o.markdown @@ -1,13 +0,0 @@ -# Analysis results for test-filename.sol - -## Integer Overflow - -- Type: Warning -- Contract: Unknown -- Function name: `sendToken(address,uint256)` -- PC address: 498 - -### Description - -A possible integer overflow exists in the function `sendToken(address,uint256)`. -The addition or multiplication may result in a value higher than the maximum representable integer. \ No newline at end of file diff --git a/tests/testdata/outputs_expected/metacoin.sol.o.text b/tests/testdata/outputs_expected/metacoin.sol.o.text index 9cb0bc12..e69de29b 100644 --- a/tests/testdata/outputs_expected/metacoin.sol.o.text +++ b/tests/testdata/outputs_expected/metacoin.sol.o.text @@ -1,9 +0,0 @@ -==== Integer Overflow ==== -Type: Warning -Contract: Unknown -Function name: sendToken(address,uint256) -PC address: 498 -A possible integer overflow exists in the function `sendToken(address,uint256)`. -The addition or multiplication may result in a value higher than the maximum representable integer. --------------------- - diff --git a/tests/testdata/outputs_expected/multi_contracts.sol.o.graph.html b/tests/testdata/outputs_expected/multi_contracts.sol.o.graph.html index dd93d395..94a77a08 100644 --- a/tests/testdata/outputs_expected/multi_contracts.sol.o.graph.html +++ b/tests/testdata/outputs_expected/multi_contracts.sol.o.graph.html @@ -1,134 +1,56 @@ - - - - - - - - - + + + + + + + -

Mythril / LASER Symbolic VM

+

Mythril / Ethereum LASER Symbolic VM


- + \ No newline at end of file diff --git a/tests/testdata/outputs_expected/origin.sol.o.graph.html b/tests/testdata/outputs_expected/origin.sol.o.graph.html index 07c62e28..181ceb02 100644 --- a/tests/testdata/outputs_expected/origin.sol.o.graph.html +++ b/tests/testdata/outputs_expected/origin.sol.o.graph.html @@ -1,152 +1,56 @@ - - - - - - - - - + + + + + + + -

Mythril / LASER Symbolic VM

+

Mythril / Ethereum LASER Symbolic VM


- + \ No newline at end of file diff --git a/tests/testdata/outputs_expected/overflow.sol.o.graph.html b/tests/testdata/outputs_expected/overflow.sol.o.graph.html index 0fc39e61..e16ddfbb 100644 --- a/tests/testdata/outputs_expected/overflow.sol.o.graph.html +++ b/tests/testdata/outputs_expected/overflow.sol.o.graph.html @@ -1,168 +1,56 @@ - - - - - - - - - + + + + + + + -

Mythril / LASER Symbolic VM

+

Mythril / Ethereum LASER Symbolic VM


- + \ No newline at end of file diff --git a/tests/testdata/outputs_expected/overflow.sol.o.json b/tests/testdata/outputs_expected/overflow.sol.o.json index d9e1b0b8..f64152e4 100644 --- a/tests/testdata/outputs_expected/overflow.sol.o.json +++ b/tests/testdata/outputs_expected/overflow.sol.o.json @@ -10,14 +10,6 @@ "address": 649, "debug": "" }, - { - "title": "Integer Overflow ", - "description": "A possible integer overflow exists in the function `sendeth(address,uint256)`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.", - "function": "sendeth(address,uint256)", - "type": "Warning", - "address": 725, - "debug": "" - }, { "title": "Integer Underflow", "description": "A possible integer underflow exists in the function `sendeth(address,uint256)`.\nThe subtraction may result in a value < 0.", diff --git a/tests/testdata/outputs_expected/overflow.sol.o.markdown b/tests/testdata/outputs_expected/overflow.sol.o.markdown index 172ff2fc..e3095a96 100644 --- a/tests/testdata/outputs_expected/overflow.sol.o.markdown +++ b/tests/testdata/outputs_expected/overflow.sol.o.markdown @@ -12,18 +12,6 @@ A possible integer underflow exists in the function `sendeth(address,uint256)`. The subtraction may result in a value < 0. -## Integer Overflow - -- Type: Warning -- Contract: Unknown -- Function name: `sendeth(address,uint256)` -- PC address: 725 - -### Description - -A possible integer overflow exists in the function `sendeth(address,uint256)`. -The addition or multiplication may result in a value higher than the maximum representable integer. - ## Integer Underflow - Type: Warning diff --git a/tests/testdata/outputs_expected/overflow.sol.o.text b/tests/testdata/outputs_expected/overflow.sol.o.text index a3ec68c4..8920d071 100644 --- a/tests/testdata/outputs_expected/overflow.sol.o.text +++ b/tests/testdata/outputs_expected/overflow.sol.o.text @@ -7,15 +7,6 @@ A possible integer underflow exists in the function `sendeth(address,uint256)`. The subtraction may result in a value < 0. -------------------- -==== Integer Overflow ==== -Type: Warning -Contract: Unknown -Function name: sendeth(address,uint256) -PC address: 725 -A possible integer overflow exists in the function `sendeth(address,uint256)`. -The addition or multiplication may result in a value higher than the maximum representable integer. --------------------- - ==== Integer Underflow ==== Type: Warning Contract: Unknown diff --git a/tests/testdata/outputs_expected/returnvalue.sol.o.graph.html b/tests/testdata/outputs_expected/returnvalue.sol.o.graph.html index 2a96018a..b58e1899 100644 --- a/tests/testdata/outputs_expected/returnvalue.sol.o.graph.html +++ b/tests/testdata/outputs_expected/returnvalue.sol.o.graph.html @@ -1,146 +1,56 @@ - - - - - - - - - + + + + + + + -

Mythril / LASER Symbolic VM

+

Mythril / Ethereum LASER Symbolic VM


- + \ No newline at end of file diff --git a/tests/testdata/outputs_expected/rubixi.sol.o.graph.html b/tests/testdata/outputs_expected/rubixi.sol.o.graph.html index 1a40691e..c99c86f7 100644 --- a/tests/testdata/outputs_expected/rubixi.sol.o.graph.html +++ b/tests/testdata/outputs_expected/rubixi.sol.o.graph.html @@ -1,848 +1,56 @@ - - - - - - - - - + + + + + + + -

Mythril / LASER Symbolic VM

+

Mythril / Ethereum LASER Symbolic VM


- + \ No newline at end of file diff --git a/tests/testdata/outputs_expected/rubixi.sol.o.json b/tests/testdata/outputs_expected/rubixi.sol.o.json index be5bae99..d291bc3b 100644 --- a/tests/testdata/outputs_expected/rubixi.sol.o.json +++ b/tests/testdata/outputs_expected/rubixi.sol.o.json @@ -34,14 +34,6 @@ "address": 2085, "debug": "" }, - { - "title": "Integer Overflow ", - "description": "A possible integer overflow exists in the function `_function_0xfae14192`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.", - "function": "_function_0xfae14192", - "type": "Warning", - "address": 1223, - "debug": "" - }, { "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.", diff --git a/tests/testdata/outputs_expected/rubixi.sol.o.markdown b/tests/testdata/outputs_expected/rubixi.sol.o.markdown index dd298fbb..68862834 100644 --- a/tests/testdata/outputs_expected/rubixi.sol.o.markdown +++ b/tests/testdata/outputs_expected/rubixi.sol.o.markdown @@ -52,18 +52,6 @@ A reachable exception (opcode 0xfe) has been detected. This can be caused by typ A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. -## Integer Overflow - -- Type: Warning -- Contract: Unknown -- Function name: `_function_0xfae14192` -- PC address: 1223 - -### Description - -A possible integer overflow exists in the function `_function_0xfae14192`. -The addition or multiplication may result in a value higher than the maximum representable integer. - ## Unchecked CALL return value - Type: Informational diff --git a/tests/testdata/outputs_expected/rubixi.sol.o.text b/tests/testdata/outputs_expected/rubixi.sol.o.text index 18e2ed6d..b26478dc 100644 --- a/tests/testdata/outputs_expected/rubixi.sol.o.text +++ b/tests/testdata/outputs_expected/rubixi.sol.o.text @@ -38,15 +38,6 @@ PC address: 2085 A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. -------------------- -==== Integer Overflow ==== -Type: Warning -Contract: Unknown -Function name: _function_0xfae14192 -PC address: 1223 -A possible integer overflow exists in the function `_function_0xfae14192`. -The addition or multiplication may result in a value higher than the maximum representable integer. --------------------- - ==== Unchecked CALL return value ==== Type: Informational Contract: Unknown diff --git a/tests/testdata/outputs_expected/suicide.sol.o.graph.html b/tests/testdata/outputs_expected/suicide.sol.o.graph.html index 602cc550..de3aacee 100644 --- a/tests/testdata/outputs_expected/suicide.sol.o.graph.html +++ b/tests/testdata/outputs_expected/suicide.sol.o.graph.html @@ -1,128 +1,56 @@ - - - - - - - - - + + + + + + + -

Mythril / LASER Symbolic VM

+

Mythril / Ethereum LASER Symbolic VM


- + \ No newline at end of file diff --git a/tests/testdata/outputs_expected/underflow.sol.o.graph.html b/tests/testdata/outputs_expected/underflow.sol.o.graph.html index ef748181..0c60f7e1 100644 --- a/tests/testdata/outputs_expected/underflow.sol.o.graph.html +++ b/tests/testdata/outputs_expected/underflow.sol.o.graph.html @@ -1,168 +1,56 @@ - - - - - - - - - + + + + + + + -

Mythril / LASER Symbolic VM

+

Mythril / Ethereum LASER Symbolic VM


- + \ No newline at end of file diff --git a/tests/testdata/outputs_expected/underflow.sol.o.json b/tests/testdata/outputs_expected/underflow.sol.o.json index d9e1b0b8..f64152e4 100644 --- a/tests/testdata/outputs_expected/underflow.sol.o.json +++ b/tests/testdata/outputs_expected/underflow.sol.o.json @@ -10,14 +10,6 @@ "address": 649, "debug": "" }, - { - "title": "Integer Overflow ", - "description": "A possible integer overflow exists in the function `sendeth(address,uint256)`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.", - "function": "sendeth(address,uint256)", - "type": "Warning", - "address": 725, - "debug": "" - }, { "title": "Integer Underflow", "description": "A possible integer underflow exists in the function `sendeth(address,uint256)`.\nThe subtraction may result in a value < 0.", diff --git a/tests/testdata/outputs_expected/underflow.sol.o.markdown b/tests/testdata/outputs_expected/underflow.sol.o.markdown index 172ff2fc..e3095a96 100644 --- a/tests/testdata/outputs_expected/underflow.sol.o.markdown +++ b/tests/testdata/outputs_expected/underflow.sol.o.markdown @@ -12,18 +12,6 @@ A possible integer underflow exists in the function `sendeth(address,uint256)`. The subtraction may result in a value < 0. -## Integer Overflow - -- Type: Warning -- Contract: Unknown -- Function name: `sendeth(address,uint256)` -- PC address: 725 - -### Description - -A possible integer overflow exists in the function `sendeth(address,uint256)`. -The addition or multiplication may result in a value higher than the maximum representable integer. - ## Integer Underflow - Type: Warning diff --git a/tests/testdata/outputs_expected/underflow.sol.o.text b/tests/testdata/outputs_expected/underflow.sol.o.text index a3ec68c4..8920d071 100644 --- a/tests/testdata/outputs_expected/underflow.sol.o.text +++ b/tests/testdata/outputs_expected/underflow.sol.o.text @@ -7,15 +7,6 @@ A possible integer underflow exists in the function `sendeth(address,uint256)`. The subtraction may result in a value < 0. -------------------- -==== Integer Overflow ==== -Type: Warning -Contract: Unknown -Function name: sendeth(address,uint256) -PC address: 725 -A possible integer overflow exists in the function `sendeth(address,uint256)`. -The addition or multiplication may result in a value higher than the maximum representable integer. --------------------- - ==== Integer Underflow ==== Type: Warning Contract: Unknown diff --git a/tests/testdata/outputs_expected/weak_random.sol.o.graph.html b/tests/testdata/outputs_expected/weak_random.sol.o.graph.html index e027fb92..cad41466 100644 --- a/tests/testdata/outputs_expected/weak_random.sol.o.graph.html +++ b/tests/testdata/outputs_expected/weak_random.sol.o.graph.html @@ -1,1136 +1,56 @@ - - - - - - - - - + + + + + + + -

Mythril / LASER Symbolic VM

+

Mythril / Ethereum LASER Symbolic VM


- + \ No newline at end of file diff --git a/tests/testdata/outputs_expected/weak_random.sol.o.json b/tests/testdata/outputs_expected/weak_random.sol.o.json index 510abea1..62158749 100644 --- a/tests/testdata/outputs_expected/weak_random.sol.o.json +++ b/tests/testdata/outputs_expected/weak_random.sol.o.json @@ -33,22 +33,6 @@ "type": "Informational", "address": 146, "debug": "" - }, - { - "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": 1216, - "debug": "" - }, - { - "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": 262, - "debug": "" } ] } \ No newline at end of file diff --git a/tests/testdata/outputs_expected/weak_random.sol.o.markdown b/tests/testdata/outputs_expected/weak_random.sol.o.markdown index 83edf60f..2f3319b5 100644 --- a/tests/testdata/outputs_expected/weak_random.sol.o.markdown +++ b/tests/testdata/outputs_expected/weak_random.sol.o.markdown @@ -48,28 +48,4 @@ A reachable exception (opcode 0xfe) has been detected. This can be caused by typ ### Description -A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. - -## Integer Overflow - -- Type: Warning -- Contract: Unknown -- Function name: `_function_0xe9874106` -- PC address: 1216 - -### 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. - -## Integer Overflow - -- Type: Warning -- Contract: Unknown -- Function name: `_function_0xe9874106` -- PC address: 262 - -### 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. \ No newline at end of file +A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. \ No newline at end of file diff --git a/tests/testdata/outputs_expected/weak_random.sol.o.text b/tests/testdata/outputs_expected/weak_random.sol.o.text index 7ab15307..1537e177 100644 --- a/tests/testdata/outputs_expected/weak_random.sol.o.text +++ b/tests/testdata/outputs_expected/weak_random.sol.o.text @@ -36,21 +36,3 @@ PC address: 146 A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. -------------------- -==== Integer Overflow ==== -Type: Warning -Contract: Unknown -Function name: _function_0xe9874106 -PC address: 1216 -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. --------------------- - -==== Integer Overflow ==== -Type: Warning -Contract: Unknown -Function name: _function_0xe9874106 -PC address: 262 -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. --------------------- -