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

Bow to the CI god

Browse Source
pull/669/head
rocky 6 years ago
parent 680ec039b9
commit 275cf95e17
10 changed files with 10 additions and 10 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. 2
      signatures.json
  2. 2
      tests/testdata/outputs_expected/ether_send.sol.o.json
  3. 2
      tests/testdata/outputs_expected/ether_send.sol.o.markdown
  4. 2
      tests/testdata/outputs_expected/ether_send.sol.o.text
  5. 2
      tests/testdata/outputs_expected/overflow.sol.o.json
  6. 2
      tests/testdata/outputs_expected/overflow.sol.o.markdown
  7. 2
      tests/testdata/outputs_expected/overflow.sol.o.text
  8. 2
      tests/testdata/outputs_expected/underflow.sol.o.json
  9. 2
      tests/testdata/outputs_expected/underflow.sol.o.markdown
  10. 2
      tests/testdata/outputs_expected/underflow.sol.o.text

2
signatures.json
Unescape View File

@ -1 +1 @@
{"0x07f9f7ba": "StandardBounties(address)", "0x8c590917": "contribute(uint256,uint256)", "0x626a413a": "activateBounty(uint256,uint256)", "0x1e688c14": "fulfillBounty(uint256,string)", "0x41ac5dd0": "updateFulfillment(uint256,uint256,string)", "0xd9583497": "acceptFulfillment(uint256,uint256)", "0x16b57509": "killBounty(uint256)", "0x2d1fdef6": "extendDeadline(uint256,uint256)", "0x5d19606e": "transferIssuer(uint256,address)", "0xd6c0ceab": "changeBountyDeadline(uint256,uint256)", "0xf3d3402a": "changeBountyData(uint256,string)", "0x452ccadb": "changeBountyFulfillmentAmount(uint256,uint256)", "0xcdad6576": "changeBountyArbiter(uint256,address)", "0x992a3e75": "changeBountyPaysTokens(uint256,bool,address)", "0x422d4cd6": "increasePayout(uint256,uint256,uint256)", "0xb94b0a3a": "getFulfillment(uint256,uint256)", "0xee8c4bbf": "getBounty(uint256)", "0x86647bac": "getBountyArbiter(uint256)", "0xa60745aa": "getBountyData(uint256)", "0x19dba3d2": "getBountyToken(uint256)", "0x3278ba2f": "getNumBounties()", "0xfbe334f8": "getNumFulfillments(uint256)", "0xdb3b6263": "transitionToState(uint256,BountyStages)", "0x4e3b52fe": "metaCoin()", "0x412664ae": "sendToken(address,uint256)", "0x56885cd8": "crowdfunding()", "0x6c343ffe": "withdrawfunds()", "0xe8b5e51f": "invest()", "0xaa3288f4": "getBalance())", "0xc11a4b47": "Origin()", "0xf2fde38b": "transferOwnership(address)", "0x00362a95": "donate(address)", "0x70a08231": "balanceOf(address)", "0x2e1a7d4d": "withdraw(uint256)", "0x6241bfd1": "Token(uint256)", "0xa3210e87": "sendeth(address,uint256)", "0xcd38aa87": "chooseWinner()", "0xd6d22fa4": "MetaCoin()", "0x90b98a11": "sendCoin(address,uint256)", "0x7bd703e8": "getBalanceInEth(address)", "0xf8b2cb4f": "getBalance(address)", "0xa360b26f": "Migrations()", "0xfdacd576": "setCompleted(uint256)", "0x0900f010": "upgrade(address)", "0xcae9ca51": "approveAndCall(address,uint256,bytes)", "0xa9059cbb": "transfer(address,uint256)", "0x23b872dd": "transferFrom(address,address,uint256)", "0x095ea7b3": "approve(address,uint256)", "0xdd62ed3e": "allowance(address,address)", "0x525f8a5c": "setSaleStartTime(uint256)", "0xd132391a": "setSaleEndTime(uint256)", "0x0a0cd8c8": "setupDone()", "0xd7bb99ba": "contribute()", "0xf0349d5f": "setupStages()", "0x2a4f6533": "createTokenContract())", "0x42a6b21a": "getContributionLimit(address)", "0x1a787915": "startConditions(bytes32)", "0xf3fde261": "onTransition(bytes32)", "0x27816235": "onSaleEnded()", "0x091cde0b": "DisbursementHandler(address)", "0xf3fef3a3": "withdraw(address,uint256)", "0x4bc9fdc2": "calcMaxWithdraw()", "0xc9e61599": "createTarget())", "0x200094e0": "deployContract())", "0x5a048d78": "claim(Target)", "0x16ae6b67": "checkInvariant())", "0x2aa5ed61": "DayLimit(uint256)", "0xe7dde9a3": "_setDailyLimit(uint256)", "0x4a4c82c6": "_resetSpentToday()", "0x180aadb7": "underLimit(uint256)", "0x9d4468ff": "today())", "0x19045a25": "recover(bytes32,bytes)", "0xe92dfb23": "LimitBalance(uint256)", "0xd73dd623": "increaseApproval(address,uint256)", "0x66188463": "decreaseApproval(address,uint256)", "0xabaf5880": "Crowdsale(uint256,uint256,uint256,address)", "0xec8ac4d8": "buyTokens(address)", "0x9d735286": "forwardFunds()", "0x605120cf": "validPurchase())", "0x6e42787f": "hasEnded())", "0xe5c46944": "MultiSigWallet(address[],uint256)", "0x7065cb48": "addOwner(address)", "0x173825d9": "removeOwner(address)", "0xe20056e6": "replaceOwner(address,address)", "0xba51a6df": "changeRequirement(uint256)", "0xc6427474": "submitTransaction(address,uint256,bytes)", "0xc01a8c84": "confirmTransaction(uint256)", "0x20ea8d86": "revokeConfirmation(uint256)", "0xee22610b": "executeTransaction(uint256)", "0x784547a7": "isConfirmed(uint256)", "0xec096f8d": "addTransaction(address,uint256,bytes)", "0x8b51d13f": "getConfirmationCount(uint256)", "0x54741525": "getTransactionCount(bool,bool)", "0xa0e67e2b": "getOwners()", "0xb5dc40c3": "getConfirmations(uint256)", "0xa8abe69a": "getTransactionIds(uint256,uint256,bool,bool)"}
{"0x07f9f7ba": ["StandardBounties(address)"], "0x8c590917": ["contribute(uint256,uint256)"], "0x626a413a": ["activateBounty(uint256,uint256)"], "0x1e688c14": ["fulfillBounty(uint256,string)"], "0x41ac5dd0": ["updateFulfillment(uint256,uint256,string)"], "0xd9583497": ["acceptFulfillment(uint256,uint256)"], "0x16b57509": ["killBounty(uint256)"], "0x2d1fdef6": ["extendDeadline(uint256,uint256)"], "0x5d19606e": ["transferIssuer(uint256,address)"], "0xd6c0ceab": ["changeBountyDeadline(uint256,uint256)"], "0xf3d3402a": ["changeBountyData(uint256,string)"], "0x452ccadb": ["changeBountyFulfillmentAmount(uint256,uint256)"], "0xcdad6576": ["changeBountyArbiter(uint256,address)"], "0x992a3e75": ["changeBountyPaysTokens(uint256,bool,address)"], "0x422d4cd6": ["increasePayout(uint256,uint256,uint256)"], "0xb94b0a3a": ["getFulfillment(uint256,uint256)"], "0xee8c4bbf": ["getBounty(uint256)"], "0x86647bac": ["getBountyArbiter(uint256)"], "0xa60745aa": ["getBountyData(uint256)"], "0x19dba3d2": ["getBountyToken(uint256)"], "0x3278ba2f": ["getNumBounties()"], "0xfbe334f8": ["getNumFulfillments(uint256)"], "0xdb3b6263": ["transitionToState(uint256,BountyStages)"], "0x4e3b52fe": ["metaCoin()"], "0x412664ae": ["sendToken(address,uint256)"], "0x56885cd8": ["crowdfunding()"], "0x6c343ffe": ["withdrawfunds()"], "0xe8b5e51f": ["invest()"], "0xaa3288f4": ["getBalance())"], "0xc11a4b47": ["Origin()"], "0xf2fde38b": ["transferOwnership(address)"], "0x00362a95": ["donate(address)"], "0x70a08231": ["balanceOf(address)"], "0x2e1a7d4d": ["withdraw(uint256)"], "0x6241bfd1": ["Token(uint256)"], "0xa3210e87": ["sendeth(address,uint256)"], "0xcd38aa87": ["chooseWinner()"], "0xd6d22fa4": ["MetaCoin()"], "0x90b98a11": ["sendCoin(address,uint256)"], "0x7bd703e8": ["getBalanceInEth(address)"], "0xf8b2cb4f": ["getBalance(address)"], "0xa360b26f": ["Migrations()"], "0xfdacd576": ["setCompleted(uint256)"], "0x0900f010": ["upgrade(address)"], "0xcae9ca51": ["approveAndCall(address,uint256,bytes)"], "0xa9059cbb": ["transfer(address,uint256)"], "0x23b872dd": ["transferFrom(address,address,uint256)"], "0x095ea7b3": ["approve(address,uint256)"], "0xdd62ed3e": ["allowance(address,address)"], "0x525f8a5c": ["setSaleStartTime(uint256)"], "0xd132391a": ["setSaleEndTime(uint256)"], "0x0a0cd8c8": ["setupDone()"], "0xd7bb99ba": ["contribute()"], "0xf0349d5f": ["setupStages()"], "0x2a4f6533": ["createTokenContract())"], "0x42a6b21a": ["getContributionLimit(address)"], "0x1a787915": ["startConditions(bytes32)"], "0xf3fde261": ["onTransition(bytes32)"], "0x27816235": ["onSaleEnded()"], "0x091cde0b": ["DisbursementHandler(address)"], "0xf3fef3a3": ["withdraw(address,uint256)"], "0x4bc9fdc2": ["calcMaxWithdraw()"], "0xc9e61599": ["createTarget())"], "0x200094e0": ["deployContract())"], "0x5a048d78": ["claim(Target)"], "0x16ae6b67": ["checkInvariant())"], "0x2aa5ed61": ["DayLimit(uint256)"], "0xe7dde9a3": ["_setDailyLimit(uint256)"], "0x4a4c82c6": ["_resetSpentToday()"], "0x180aadb7": ["underLimit(uint256)"], "0x9d4468ff": ["today())"], "0x19045a25": ["recover(bytes32,bytes)"], "0xe92dfb23": ["LimitBalance(uint256)"], "0xd73dd623": ["increaseApproval(address,uint256)"], "0x66188463": ["decreaseApproval(address,uint256)"], "0xabaf5880": ["Crowdsale(uint256,uint256,uint256,address)"], "0xec8ac4d8": ["buyTokens(address)"], "0x9d735286": ["forwardFunds()"], "0x605120cf": ["validPurchase())"], "0x6e42787f": ["hasEnded())"], "0xe5c46944": ["MultiSigWallet(address[],uint256)"], "0x7065cb48": ["addOwner(address)"], "0x173825d9": ["removeOwner(address)"], "0xe20056e6": ["replaceOwner(address,address)"], "0xba51a6df": ["changeRequirement(uint256)"], "0xc6427474": ["submitTransaction(address,uint256,bytes)"], "0xc01a8c84": ["confirmTransaction(uint256)"], "0x20ea8d86": ["revokeConfirmation(uint256)"], "0xee22610b": ["executeTransaction(uint256)"], "0x784547a7": ["isConfirmed(uint256)"], "0xec096f8d": ["addTransaction(address,uint256,bytes)"], "0x8b51d13f": ["getConfirmationCount(uint256)"], "0x54741525": ["getTransactionCount(bool,bool)"], "0xa0e67e2b": ["getOwners()"], "0xb5dc40c3": ["getConfirmations(uint256)"], "0xa8abe69a": ["getTransactionIds(uint256,uint256,bool,bool)"]}

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

@ -1 +1 @@
{"error": null, "issues": [{"address": 722, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "It seems that an attacker is able to execute an call instruction, this can mean that the attacker is able to extract funds out of the contract.", "function": "withdrawfunds()", "swc_id": "105", "title": "Ether send", "type": "Warning"}, {"address": 883, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "The arithmetic operation can result in integer overflow.\n", "function": "invest()", "swc_id": "101", "title": "Integer Overflow", "type": "Warning"}], "success": true}
{"error": null, "issues": [{"address": 722, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "It seems that an attacker is able to execute an call instruction, this can mean that the attacker is able to extract funds out of the contract.", "function": "withdrawfunds()", "swc_id": "105", "title": "Ether send", "type": "Warning"}, {"address": 883, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "This binary add operation can result in integer overflow.\n", "function": "invest()", "swc_id": "101", "title": "Integer Overflow", "type": "Warning"}], "success": true}

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

@ -20,4 +20,4 @@ It seems that an attacker is able to execute an call instruction, this can mean
### Description
The arithmetic operation can result in integer overflow.
This binary add operation can result in integer overflow.

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

@ -13,7 +13,7 @@ Type: Warning
Contract: Unknown
Function name: invest()
PC address: 883
The arithmetic operation can result in integer overflow.
This binary add operation can result in integer overflow.
--------------------

2
tests/testdata/outputs_expected/overflow.sol.o.json vendored
Unescape View File

@ -1 +1 @@
{"error": null, "issues": [{"address": 567, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "The subtraction can result in an integer underflow.\n", "function": "sendeth(address,uint256)", "swc_id": "101", "title": "Integer Underflow", "type": "Warning"}, {"address": 649, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "The subtraction can result in an integer underflow.\n", "function": "sendeth(address,uint256)", "swc_id": "101", "title": "Integer Underflow", "type": "Warning"}, {"address": 725, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "The arithmetic operation can result in integer overflow.\n", "function": "sendeth(address,uint256)", "swc_id": "101", "title": "Integer Overflow", "type": "Warning"}], "success": true}
{"error": null, "issues": [{"address": 567, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "The subtraction can result in an integer underflow.\n", "function": "sendeth(address,uint256)", "swc_id": "101", "title": "Integer Underflow", "type": "Warning"}, {"address": 649, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "The subtraction can result in an integer underflow.\n", "function": "sendeth(address,uint256)", "swc_id": "101", "title": "Integer Underflow", "type": "Warning"}, {"address": 725, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "This binary add operation can result in integer overflow.\n", "function": "sendeth(address,uint256)", "swc_id": "101", "title": "Integer Overflow", "type": "Warning"}], "success": true}

2
tests/testdata/outputs_expected/overflow.sol.o.markdown vendored
Unescape View File

@ -31,4 +31,4 @@ The subtraction can result in an integer underflow.
### Description
The arithmetic operation can result in integer overflow.
This binary add operation can result in integer overflow.

2
tests/testdata/outputs_expected/overflow.sol.o.text vendored
Unescape View File

@ -24,7 +24,7 @@ Type: Warning
Contract: Unknown
Function name: sendeth(address,uint256)
PC address: 725
The arithmetic operation can result in integer overflow.
This binary add operation can result in integer overflow.
--------------------

2
tests/testdata/outputs_expected/underflow.sol.o.json vendored
Unescape View File

@ -1 +1 @@
{"error": null, "issues": [{"address": 567, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "The subtraction can result in an integer underflow.\n", "function": "sendeth(address,uint256)", "swc_id": "101", "title": "Integer Underflow", "type": "Warning"}, {"address": 649, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "The subtraction can result in an integer underflow.\n", "function": "sendeth(address,uint256)", "swc_id": "101", "title": "Integer Underflow", "type": "Warning"}, {"address": 725, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "The arithmetic operation can result in integer overflow.\n", "function": "sendeth(address,uint256)", "swc_id": "101", "title": "Integer Overflow", "type": "Warning"}], "success": true}
{"error": null, "issues": [{"address": 567, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "The subtraction can result in an integer underflow.\n", "function": "sendeth(address,uint256)", "swc_id": "101", "title": "Integer Underflow", "type": "Warning"}, {"address": 649, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "The subtraction can result in an integer underflow.\n", "function": "sendeth(address,uint256)", "swc_id": "101", "title": "Integer Underflow", "type": "Warning"}, {"address": 725, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "This binary add operation can result in integer overflow.\n", "function": "sendeth(address,uint256)", "swc_id": "101", "title": "Integer Overflow", "type": "Warning"}], "success": true}

2
tests/testdata/outputs_expected/underflow.sol.o.markdown vendored
Unescape View File

@ -31,4 +31,4 @@ The subtraction can result in an integer underflow.
### Description
The arithmetic operation can result in integer overflow.
This binary add operation can result in integer overflow.

2
tests/testdata/outputs_expected/underflow.sol.o.text vendored
Unescape View File

@ -24,7 +24,7 @@ Type: Warning
Contract: Unknown
Function name: sendeth(address,uint256)
PC address: 725
The arithmetic operation can result in integer overflow.
This binary add operation can result in integer overflow.
--------------------

Write Preview
Loading…
Cancel
Save