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

Re-add and fix metacoin sample

Browse Source
pull/757/head
Bernhard Mueller 6 years ago
parent 4b9421863a
commit 9a5479266c
3 changed files with 5 additions and 3 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. 5
      tests/testdata/input_contracts/calls.sol
  2. 1
      tests/testdata/inputs/metacoin.sol.o
  3. 2
      tests/testdata/outputs_expected/metacoin.sol.o.json

5
tests/testdata/input_contracts/calls.sol vendored
Unescape View File

@ -9,7 +9,7 @@ contract Caller {
uint256 statevar;
constructor(address addr) public {
fixed_address = addr;
fixed_address = "0x552254cbaaf32613c6c0450cf19524594ef84044";
}
function thisisfine() public {
@ -27,10 +27,11 @@ contract Caller {
function callstoredaddress() public {
stored_address.call("");
statevar = 0;
}
function setstoredaddress(address addr) public {
stored_address = addr;
}
}
}

1
tests/testdata/inputs/metacoin.sol.o vendored
Unescape View File

@ -0,0 +1 @@
60606040526004361061004c576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806327e235e314610051578063412664ae1461009e575b600080fd5b341561005c57600080fd5b610088600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506100f8565b6040518082815260200191505060405180910390f35b34156100a957600080fd5b6100de600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610110565b604051808215151515815260200191505060405180910390f35b60006020528060005260406000206000915090505481565b6000816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561016157600090506101fe565b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550600090505b929150505600a165627a7a72305820c860d60246e215343f02c5025aeef4ad1f207b0a7d2dec05e43f6ecaaebe9cec0029

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

@ -1,6 +1,6 @@
{
"error": null,
"issues": [
"issues": []
{
"address": 498,
"contract": "Unknown",

Write Preview
Loading…
Cancel
Save