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

==== Integer Underflow ====
SWC ID: 101
Severity: High
Contract: Unknown
Function name: sendeth(address,uint256)
PC address: 567
Estimated Gas Usage: 11912 - 52858
The binary subtraction can underflow.
The operands of the subtraction operation are not sufficiently constrained. The subtraction could therefore result in an integer underflow. Prevent the underflow by checking inputs or ensure sure that the underflow is caught by an assertion.
--------------------

==== Integer Underflow ====
SWC ID: 101
Severity: High
Contract: Unknown
Function name: sendeth(address,uint256)
PC address: 649
Estimated Gas Usage: 11912 - 52858
The binary subtraction can underflow.
The operands of the subtraction operation are not sufficiently constrained. The subtraction could therefore result in an integer underflow. Prevent the underflow by checking inputs or ensure sure that the underflow is caught by an assertion.
--------------------
F2F: Fix tests and build Submission #253416 by walker_ to the challenge https://www.topcoder.com/challenges/30064535 7 years ago			`==== Integer Underflow ====`
Add swc id to mythril report 6 years ago			`SWC ID: 101`
Update tests 6 years ago			`Severity: High`
F2F: Fix tests and build Submission #253416 by walker_ to the challenge https://www.topcoder.com/challenges/30064535 7 years ago			`Contract: Unknown`
			`Function name: sendeth(address,uint256)`
Fixes issues with python 3.5 dict ordering 7 years ago			`PC address: 567`
adapt gasvalue for testcases 6 years ago			`Estimated Gas Usage: 11912 - 52858`
Improve integer module descriptions 6 years ago			`The binary subtraction can underflow.`
			`The operands of the subtraction operation are not sufficiently constrained. The subtraction could therefore result in an integer underflow. Prevent the underflow by checking inputs or ensure sure that the underflow is caught by an assertion.`
F2F: Fix tests and build Submission #253416 by walker_ to the challenge https://www.topcoder.com/challenges/30064535 7 years ago			`--------------------`

Fixes issues with python 3.5 dict ordering 7 years ago			`==== Integer Underflow ====`
Add swc id to mythril report 6 years ago			`SWC ID: 101`
Update tests 6 years ago			`Severity: High`
Revert "Update expected test outputs" This reverts commit 2f98e96 The changed report output files still contain integer overflows 7 years ago			`Contract: Unknown`
			`Function name: sendeth(address,uint256)`
Fixes issues with python 3.5 dict ordering 7 years ago			`PC address: 649`
adapt gasvalue for testcases 6 years ago			`Estimated Gas Usage: 11912 - 52858`
Improve integer module descriptions 6 years ago			`The binary subtraction can underflow.`
			`The operands of the subtraction operation are not sufficiently constrained. The subtraction could therefore result in an integer underflow. Prevent the underflow by checking inputs or ensure sure that the underflow is caught by an assertion.`
Revert "Update expected test outputs" This reverts commit 2f98e96 The changed report output files still contain integer overflows 7 years ago			`--------------------`