Revert "Update expected test outputs"

This reverts commit 2f98e96

The changed report output files still contain integer overflows

tests/testdata/outputs_expected/ether_send.sol.o.json

@@ -9,6 +9,14 @@
             "type": "Warning",
             "address": 816,
             "debug": "<DEBUG-DATA>"
+        },
+        {
+            "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": "<DEBUG-DATA>"
         }
     ]
 }

tests/testdata/outputs_expected/ether_send.sol.o.markdown

@@ -11,4 +11,16 @@
 
 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()`.
+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.

tests/testdata/outputs_expected/ether_send.sol.o.text

@@ -8,3 +8,12 @@ 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.
+--------------------
+

tests/testdata/outputs_expected/metacoin.sol.o.json

@@ -1,5 +1,14 @@
 {
     "success": true,
     "error": null,
-    "issues": []
+    "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": "<DEBUG-DATA>"
+        }
+    ]
 }

tests/testdata/outputs_expected/metacoin.sol.o.markdown

@@ -0,0 +1,13 @@
+# 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.

tests/testdata/outputs_expected/metacoin.sol.o.text

@@ -0,0 +1,9 @@
+==== 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.
+--------------------
+

tests/testdata/outputs_expected/overflow.sol.o.json

@@ -10,6 +10,14 @@
             "address": 649,
             "debug": "<DEBUG-DATA>"
         },
+        {
+            "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": "<DEBUG-DATA>"
+        },
         {
             "title": "Integer Underflow",
             "description": "A possible integer underflow exists in the function `sendeth(address,uint256)`.\nThe subtraction may result in a value < 0.",

tests/testdata/outputs_expected/overflow.sol.o.markdown

@@ -12,6 +12,18 @@
 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

tests/testdata/outputs_expected/overflow.sol.o.text

@@ -7,6 +7,15 @@ 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

tests/testdata/outputs_expected/rubixi.sol.o.json

@@ -34,6 +34,14 @@
             "address": 2085,
             "debug": "<DEBUG-DATA>"
         },
+        {
+            "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": "<DEBUG-DATA>"
+        },
         {
             "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.",

tests/testdata/outputs_expected/rubixi.sol.o.markdown

@@ -52,6 +52,18 @@ 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

tests/testdata/outputs_expected/rubixi.sol.o.text

@@ -38,6 +38,15 @@ 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

tests/testdata/outputs_expected/underflow.sol.o.json

@@ -10,6 +10,14 @@
             "address": 649,
             "debug": "<DEBUG-DATA>"
         },
+        {
+            "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": "<DEBUG-DATA>"
+        },
         {
             "title": "Integer Underflow",
             "description": "A possible integer underflow exists in the function `sendeth(address,uint256)`.\nThe subtraction may result in a value < 0.",

tests/testdata/outputs_expected/underflow.sol.o.markdown

@@ -12,6 +12,18 @@
 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

tests/testdata/outputs_expected/underflow.sol.o.text

@@ -7,6 +7,15 @@ 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

tests/testdata/outputs_expected/weak_random.sol.o.json

@@ -33,6 +33,22 @@
             "type": "Informational",
             "address": 146,
             "debug": "<DEBUG-DATA>"
+        },
+        {
+            "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": "<DEBUG-DATA>"
+        },
+        {
+            "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": "<DEBUG-DATA>"
         }
     ]
 }

tests/testdata/outputs_expected/weak_random.sol.o.markdown

@@ -48,4 +48,28 @@ 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. 
+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.

tests/testdata/outputs_expected/weak_random.sol.o.text

@@ -36,3 +36,21 @@ 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.
+--------------------
+