diff --git a/tests/testdata/outputs_expected/calls.sol.json b/tests/testdata/outputs_expected/calls.sol.json index 6e9092d9..ebe52a90 100644 --- a/tests/testdata/outputs_expected/calls.sol.json +++ b/tests/testdata/outputs_expected/calls.sol.json @@ -57,17 +57,6 @@ "lineno": 25, "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": "", - "filename": "/inputs/calls.sol", - "lineno": 33, - "code": "stored_address = addr" - }, { "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/calls.sol.markdown b/tests/testdata/outputs_expected/calls.sol.markdown index 4868734a..d9bcc61b 100644 --- a/tests/testdata/outputs_expected/calls.sol.markdown +++ b/tests/testdata/outputs_expected/calls.sol.markdown @@ -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 */inputs/calls.sol:33* - -``` -stored_address = addr -``` - - ## Unchecked CALL return value - Type: Informational diff --git a/tests/testdata/outputs_expected/calls.sol.text b/tests/testdata/outputs_expected/calls.sol.text index b3000178..40b4ef78 100644 --- a/tests/testdata/outputs_expected/calls.sol.text +++ b/tests/testdata/outputs_expected/calls.sol.text @@ -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: /inputs/calls.sol:33 - -stored_address = addr - --------------------- - ==== Unchecked CALL return value ==== Type: Informational Contract: Caller diff --git a/tests/testdata/outputs_expected/ether_send.sol.json b/tests/testdata/outputs_expected/ether_send.sol.json index 1f34125e..b829804b 100644 --- a/tests/testdata/outputs_expected/ether_send.sol.json +++ b/tests/testdata/outputs_expected/ether_send.sol.json @@ -23,17 +23,6 @@ "filename": "/inputs/ether_send.sol", "lineno": 24, "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": "", - "filename": "/inputs/ether_send.sol", - "lineno": 14, - "code": "owner = msg.sender" } ] } \ No newline at end of file diff --git a/tests/testdata/outputs_expected/ether_send.sol.markdown b/tests/testdata/outputs_expected/ether_send.sol.markdown index 020622d9..f2e67b68 100644 --- a/tests/testdata/outputs_expected/ether_send.sol.markdown +++ b/tests/testdata/outputs_expected/ether_send.sol.markdown @@ -41,24 +41,3 @@ In */inputs/ether_send.sol:24* ``` 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 */inputs/ether_send.sol:14* - -``` -owner = msg.sender -``` diff --git a/tests/testdata/outputs_expected/ether_send.sol.text b/tests/testdata/outputs_expected/ether_send.sol.text index 81020a27..9c54ccbb 100644 --- a/tests/testdata/outputs_expected/ether_send.sol.text +++ b/tests/testdata/outputs_expected/ether_send.sol.text @@ -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: /inputs/ether_send.sol:14 - -owner = msg.sender - --------------------- - diff --git a/tests/testdata/outputs_expected/origin.sol.json b/tests/testdata/outputs_expected/origin.sol.json index 9bb96064..7ee77a00 100644 --- a/tests/testdata/outputs_expected/origin.sol.json +++ b/tests/testdata/outputs_expected/origin.sol.json @@ -12,17 +12,6 @@ "filename": "/inputs/origin.sol", "lineno": 18, "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": "", - "filename": "/inputs/origin.sol", - "lineno": 31, - "code": "owner = newOwner" } ] } \ No newline at end of file diff --git a/tests/testdata/outputs_expected/origin.sol.markdown b/tests/testdata/outputs_expected/origin.sol.markdown index 28827163..babcfe9a 100644 --- a/tests/testdata/outputs_expected/origin.sol.markdown +++ b/tests/testdata/outputs_expected/origin.sol.markdown @@ -19,24 +19,3 @@ In */inputs/origin.sol:18* ``` 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 */inputs/origin.sol:31* - -``` -owner = newOwner -``` diff --git a/tests/testdata/outputs_expected/origin.sol.text b/tests/testdata/outputs_expected/origin.sol.text index fcdfb823..42a7ecc3 100644 --- a/tests/testdata/outputs_expected/origin.sol.text +++ b/tests/testdata/outputs_expected/origin.sol.text @@ -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: /inputs/origin.sol:31 - -owner = newOwner - --------------------- - diff --git a/tests/testdata/outputs_expected/rubixi.sol.json b/tests/testdata/outputs_expected/rubixi.sol.json index 45964955..5ff57995 100644 --- a/tests/testdata/outputs_expected/rubixi.sol.json +++ b/tests/testdata/outputs_expected/rubixi.sol.json @@ -57,28 +57,6 @@ "lineno": 37, "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": "", - "filename": "/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": "", - "filename": "/inputs/rubixi.sol", - "lineno": 99, - "code": "creator = _owner" - }, { "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.markdown b/tests/testdata/outputs_expected/rubixi.sol.markdown index 5ea209a8..f4ba8f04 100644 --- a/tests/testdata/outputs_expected/rubixi.sol.markdown +++ b/tests/testdata/outputs_expected/rubixi.sol.markdown @@ -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 */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 */inputs/rubixi.sol:99* - -``` -creator = _owner -``` - - ## Unchecked CALL return value - Type: Informational diff --git a/tests/testdata/outputs_expected/rubixi.sol.text b/tests/testdata/outputs_expected/rubixi.sol.text index 580fafc5..c05efc2c 100644 --- a/tests/testdata/outputs_expected/rubixi.sol.text +++ b/tests/testdata/outputs_expected/rubixi.sol.text @@ -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: /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: /inputs/rubixi.sol:99 - -creator = _owner - --------------------- - ==== Unchecked CALL return value ==== Type: Informational Contract: Rubixi diff --git a/tests/testdata/outputs_expected/weak_random.sol.json b/tests/testdata/outputs_expected/weak_random.sol.json index 1563bb23..5b86f7f3 100644 --- a/tests/testdata/outputs_expected/weak_random.sol.json +++ b/tests/testdata/outputs_expected/weak_random.sol.json @@ -67,17 +67,6 @@ "filename": "/inputs/weak_random.sol", "lineno": 22, "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": "", - "filename": "/inputs/weak_random.sol", - "lineno": 22, - "code": "contestants[currTicket] = Contestant(msg.sender, gameId)" } ] } \ No newline at end of file diff --git a/tests/testdata/outputs_expected/weak_random.sol.markdown b/tests/testdata/outputs_expected/weak_random.sol.markdown index 5ebd36ac..9d8c3a58 100644 --- a/tests/testdata/outputs_expected/weak_random.sol.markdown +++ b/tests/testdata/outputs_expected/weak_random.sol.markdown @@ -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 */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 A possible integer overflow exists in the function `_function_0xe9874106`. diff --git a/tests/testdata/outputs_expected/weak_random.sol.text b/tests/testdata/outputs_expected/weak_random.sol.text index e54ccbea..82fe6a0a 100644 --- a/tests/testdata/outputs_expected/weak_random.sol.text +++ b/tests/testdata/outputs_expected/weak_random.sol.text @@ -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: /inputs/weak_random.sol:22 - -contestants[currTicket] = Contestant(msg.sender, gameId) - --------------------- -