{ "contractName": "MaliciousERC20", "abi": [ { "constant": true, "inputs": [], "name": "employee", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "inputs": [ { "name": "_employee", "type": "address" }, { "name": "initialBalance", "type": "uint256" } ], "payable": false, "stateMutability": "nonpayable", "type": "constructor" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "owner", "type": "address" }, { "indexed": true, "name": "spender", "type": "address" }, { "indexed": false, "name": "value", "type": "uint256" } ], "name": "Approval", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "from", "type": "address" }, { "indexed": true, "name": "to", "type": "address" }, { "indexed": false, "name": "value", "type": "uint256" } ], "name": "Transfer", "type": "event" }, { "constant": true, "inputs": [], "name": "totalSupply", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "_owner", "type": "address" } ], "name": "balanceOf", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "_owner", "type": "address" }, { "name": "_spender", "type": "address" } ], "name": "allowance", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "name": "_spender", "type": "address" }, { "name": "_value", "type": "uint256" } ], "name": "approve", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_to", "type": "address" }, { "name": "_value", "type": "uint256" } ], "name": "transfer", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_from", "type": "address" }, { "name": "_to", "type": "address" }, { "name": "_value", "type": "uint256" } ], "name": "transferFrom", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" } ], "bytecode": "0x608060405234801561001057600080fd5b506040516040806108af833981016040908152815160209283015160008054600160a060020a03909316600160a060020a03199093169290921782556001819055338252600290935220556108458061006a6000396000f3006080604052600436106100825763ffffffff7c0100000000000000000000000000000000000000000000000000000000600035041663095ea7b3811461008757806318160ddd146100cc57806323b872dd146100f357806370a082311461012a578063a0a1a7d714610158578063a9059cbb14610196578063dd62ed3e146101c7575b600080fd5b34801561009357600080fd5b506100b873ffffffffffffffffffffffffffffffffffffffff600435166024356101fb565b604080519115158252519081900360200190f35b3480156100d857600080fd5b506100e16102aa565b60408051918252519081900360200190f35b3480156100ff57600080fd5b506100b873ffffffffffffffffffffffffffffffffffffffff600435811690602435166044356102b0565b34801561013657600080fd5b506100e173ffffffffffffffffffffffffffffffffffffffff60043516610482565b34801561016457600080fd5b5061016d6104aa565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b3480156101a257600080fd5b506100b873ffffffffffffffffffffffffffffffffffffffff600435166024356104c6565b3480156101d357600080fd5b506100e173ffffffffffffffffffffffffffffffffffffffff6004358116906024351661064d565b33600090815260036020908152604080832073ffffffffffffffffffffffffffffffffffffffff861684529091528120541561023657600080fd5b33600081815260036020908152604080832073ffffffffffffffffffffffffffffffffffffffff881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60015490565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600260205260408120548211156102e257600080fd5b73ffffffffffffffffffffffffffffffffffffffff8416600090815260036020908152604080832033845290915290205482111561031f57600080fd5b73ffffffffffffffffffffffffffffffffffffffff8316151561034157600080fd5b73ffffffffffffffffffffffffffffffffffffffff8416600090815260026020526040902054610377908363ffffffff61068516565b73ffffffffffffffffffffffffffffffffffffffff80861660009081526002602052604080822093909355908516815220546103b9908363ffffffff61076c16565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260026020908152604080832094909455918716815260038252828120338252909152205461040a908363ffffffff61068516565b73ffffffffffffffffffffffffffffffffffffffff808616600081815260036020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b73ffffffffffffffffffffffffffffffffffffffff1660009081526002602052604090205490565b60005473ffffffffffffffffffffffffffffffffffffffff1681565b336000908152600260205260408120548211156104e257600080fd5b73ffffffffffffffffffffffffffffffffffffffff8316151561050457600080fd5b33600090815260026020526040902054610524908363ffffffff61068516565b336000908152600260205260408082209290925573ffffffffffffffffffffffffffffffffffffffff851681522054610563908363ffffffff61076c16565b73ffffffffffffffffffffffffffffffffffffffff84166000818152600260209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a360008054604080517fa0fe97e3000000000000000000000000000000000000000000000000000000008152905173ffffffffffffffffffffffffffffffffffffffff9092169263a0fe97e39260048084019382900301818387803b15801561062c57600080fd5b505af1158015610640573d6000803e3d6000fd5b5060019695505050505050565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260036020908152604080832093909416825291909152205490565b60408051808201909152601281527f4d4154485f5355425f554e444552464c4f5700000000000000000000000000006020820152600090819084841115610764576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015610729578181015183820152602001610711565b50505050905090810190601f1680156107565780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b60408051808201909152601181527f4d4154485f4144445f4f564552464c4f5700000000000000000000000000000060208201526000908383019084821015610811576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252838181518152602001915080519060200190808383600083811015610729578181015183820152602001610711565b5093925050505600a165627a7a723058207c5dda85bfaef36a816a3e6ac1340606a47545fe96a3b3ebe5ebe32a90ee614b0029", "deployedBytecode": "0x6080604052600436106100825763ffffffff7c0100000000000000000000000000000000000000000000000000000000600035041663095ea7b3811461008757806318160ddd146100cc57806323b872dd146100f357806370a082311461012a578063a0a1a7d714610158578063a9059cbb14610196578063dd62ed3e146101c7575b600080fd5b34801561009357600080fd5b506100b873ffffffffffffffffffffffffffffffffffffffff600435166024356101fb565b604080519115158252519081900360200190f35b3480156100d857600080fd5b506100e16102aa565b60408051918252519081900360200190f35b3480156100ff57600080fd5b506100b873ffffffffffffffffffffffffffffffffffffffff600435811690602435166044356102b0565b34801561013657600080fd5b506100e173ffffffffffffffffffffffffffffffffffffffff60043516610482565b34801561016457600080fd5b5061016d6104aa565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b3480156101a257600080fd5b506100b873ffffffffffffffffffffffffffffffffffffffff600435166024356104c6565b3480156101d357600080fd5b506100e173ffffffffffffffffffffffffffffffffffffffff6004358116906024351661064d565b33600090815260036020908152604080832073ffffffffffffffffffffffffffffffffffffffff861684529091528120541561023657600080fd5b33600081815260036020908152604080832073ffffffffffffffffffffffffffffffffffffffff881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60015490565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600260205260408120548211156102e257600080fd5b73ffffffffffffffffffffffffffffffffffffffff8416600090815260036020908152604080832033845290915290205482111561031f57600080fd5b73ffffffffffffffffffffffffffffffffffffffff8316151561034157600080fd5b73ffffffffffffffffffffffffffffffffffffffff8416600090815260026020526040902054610377908363ffffffff61068516565b73ffffffffffffffffffffffffffffffffffffffff80861660009081526002602052604080822093909355908516815220546103b9908363ffffffff61076c16565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260026020908152604080832094909455918716815260038252828120338252909152205461040a908363ffffffff61068516565b73ffffffffffffffffffffffffffffffffffffffff808616600081815260036020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b73ffffffffffffffffffffffffffffffffffffffff1660009081526002602052604090205490565b60005473ffffffffffffffffffffffffffffffffffffffff1681565b336000908152600260205260408120548211156104e257600080fd5b73ffffffffffffffffffffffffffffffffffffffff8316151561050457600080fd5b33600090815260026020526040902054610524908363ffffffff61068516565b336000908152600260205260408082209290925573ffffffffffffffffffffffffffffffffffffffff851681522054610563908363ffffffff61076c16565b73ffffffffffffffffffffffffffffffffffffffff84166000818152600260209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a360008054604080517fa0fe97e3000000000000000000000000000000000000000000000000000000008152905173ffffffffffffffffffffffffffffffffffffffff9092169263a0fe97e39260048084019382900301818387803b15801561062c57600080fd5b505af1158015610640573d6000803e3d6000fd5b5060019695505050505050565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260036020908152604080832093909416825291909152205490565b60408051808201909152601281527f4d4154485f5355425f554e444552464c4f5700000000000000000000000000006020820152600090819084841115610764576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015610729578181015183820152602001610711565b50505050905090810190601f1680156107565780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b60408051808201909152601181527f4d4154485f4144445f4f564552464c4f5700000000000000000000000000000060208201526000908383019084821015610811576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252838181518152602001915080519060200190808383600083811015610729578181015183820152602001610711565b5093925050505600a165627a7a723058207c5dda85bfaef36a816a3e6ac1340606a47545fe96a3b3ebe5ebe32a90ee614b0029", "sourceMap": "1514:2063:4:-;;;1943:196;8:9:-1;5:2;;;30:1;27;20:12;5:2;1943:196:4;;;;;;;;;;;;;;;;;;;;;2026:8;:20;;-1:-1:-1;;;;;2026:20:4;;;-1:-1:-1;;;;;;2026:20:4;;;;;;;;;;2056:29;;;2104:10;2095:20;;:8;:20;;;;:37;1514:2063;;;;;;", "deployedSourceMap": "1514:2063:4:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2453:255;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2453:255:4;;;;;;;;;;;;;;;;;;;;;;;;;;;2145:77;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2145:77:4;;;;;;;;;;;;;;;;;;;;3096:479;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3096:479:4;;;;;;;;;;;;;;2228:93;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2228:93:4;;;;;;;1586:33;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1586:33:4;;;;;;;;;;;;;;;;;;;;;;;2714:376;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2714:376:4;;;;;;;;;2327:120;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2327:120:4;;;;;;;;;;;;2453:255;2552:10;2520:4;2544:19;;;:7;:19;;;;;;;;;:29;;;;;;;;;;:34;2536:43;;;;;;2597:10;2589:19;;;;:7;:19;;;;;;;;;:29;;;;;;;;;;;;:38;;;2642;;;;;;;2589:29;;2597:10;2642:38;;;;;;;;;;;-1:-1:-1;2697:4:4;2453:255;;;;:::o;2145:77::-;2207:12;;2145:77;:::o;3096:479::-;3212:15;;;3178:4;3212:15;;;:8;:15;;;;;;3202:25;;;3194:34;;;;;;3256:14;;;;;;;:7;:14;;;;;;;;3271:10;3256:26;;;;;;;;3246:36;;;3238:45;;;;;;3301:17;;;;;3293:26;;;;;;3348:15;;;;;;;:8;:15;;;;;;:27;;3368:6;3348:27;:19;:27;:::i;:::-;3330:15;;;;;;;;:8;:15;;;;;;:45;;;;3401:13;;;;;;;:25;;3419:6;3401:25;:17;:25;:::i;:::-;3385:13;;;;;;;;:8;:13;;;;;;;;:41;;;;3465:14;;;;;:7;:14;;;;;3480:10;3465:26;;;;;;;:38;;3496:6;3465:38;:30;:38;:::i;:::-;3436:14;;;;;;;;:7;:14;;;;;;;;3451:10;3436:26;;;;;;;;:67;;;;3518:28;;;;;;;;;;;3436:14;;3518:28;;;;;;;;;;;-1:-1:-1;3564:4:4;3096:479;;;;;:::o;2228:93::-;2302:16;;2284:7;2302:16;;;:8;:16;;;;;;;2228:93::o;1586:33::-;;;;;;:::o;2714:376::-;2820:10;2777:4;2811:20;;;:8;:20;;;;;;2801:30;;;2793:39;;;;;;2850:17;;;;;2842:26;;;;;;2911:10;2902:20;;;;:8;:20;;;;;;:32;;2927:6;2902:32;:24;:32;:::i;:::-;2888:10;2879:20;;;;:8;:20;;;;;;:55;;;;:20;2960:13;;;;;;:25;;2978:6;2960:25;:17;:25;:::i;:::-;2944:13;;;;;;;:8;:13;;;;;;;;;:41;;;;3000:33;;;;;;;2944:13;;3009:10;;3000:33;;;;;;;;;;3044:8;;;:18;;;;;;;;:8;;;;;:16;;:18;;;;;;;;;;:8;;:18;;;5:2:-1;;;;30:1;27;20:12;5:2;3044:18:4;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;3079:4:4;;2714:376;-1:-1:-1;;;;;;2714:376:4:o;2327:120::-;2419:15;;;;2401:7;2419:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;2327:120::o;1685:172:59:-;1782:19;;;;;;;;;;;;;;;;;1745:7;;;;1772:8;;;;1764:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;1764:38:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1824:7:59;;;1685:172::o;1928:170::-;2053:18;;;;;;;;;;;;;;;;;1988:7;;2019;;;;2044;;;;2036:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;2036:36:59;-1:-1:-1;2090:1:59;1928:170;-1:-1:-1;;;1928:170:59:o", "source": "pragma solidity 0.4.24;\n\nimport \"../../Payroll.sol\";\nimport \"@aragon/os/contracts/lib/token/ERC20.sol\";\nimport \"@aragon/os/contracts/lib/math/SafeMath.sol\";\n\n\ncontract MaliciousEmployee {\n Action public action;\n Payroll public payroll;\n uint256 public counter;\n\n enum Action { Payday, ChangeAddress, SetAllocation }\n\n function setPayroll(Payroll _payroll) public {\n payroll = _payroll;\n }\n\n function setAction(Action _action) public {\n action = _action;\n }\n\n function payday() public {\n payroll.payday(Payroll.PaymentType.Payroll, 0, new uint256[](0));\n }\n\n function determineAllocation(address[] _tokens, uint256[] _distribution) public {\n payroll.determineAllocation(_tokens, _distribution);\n }\n\n function reenter() public {\n if (counter > 0) {\n return;\n }\n\n counter++;\n\n if (action == Action.Payday) {\n payroll.payday(Payroll.PaymentType.Payroll, 0, new uint256[](0));\n } else if (action == Action.ChangeAddress) {\n payroll.changeAddressByEmployee(msg.sender);\n } else if (action == Action.SetAllocation) {\n address[] memory tokens = new address[](1);\n tokens[0] = address(0);\n uint256[] memory distribution = new uint256[](1);\n distribution[0] = 100;\n uint256[] memory minRates = new uint256[](1);\n minRates[0] = 1e18;\n payroll.determineAllocation(tokens, distribution);\n }\n }\n}\n\n\ncontract MaliciousERC20 is ERC20 {\n using SafeMath for uint256;\n\n MaliciousEmployee public employee;\n uint256 private totalSupply_;\n mapping (address => uint256) private balances;\n mapping (address => mapping (address => uint256)) private allowed;\n\n event Approval(address indexed owner, address indexed spender, uint256 value);\n event Transfer(address indexed from, address indexed to, uint256 value);\n\n constructor (MaliciousEmployee _employee, uint256 initialBalance) public {\n employee = _employee;\n totalSupply_ = initialBalance;\n balances[msg.sender] = initialBalance;\n }\n\n function totalSupply() public view returns (uint256) { return totalSupply_; }\n\n function balanceOf(address _owner) public view returns (uint256) { return balances[_owner]; }\n\n function allowance(address _owner, address _spender) public view returns (uint256) { return allowed[_owner][_spender]; }\n\n function approve(address _spender, uint256 _value) public returns (bool) {\n require(allowed[msg.sender][_spender] == 0);\n allowed[msg.sender][_spender] = _value;\n emit Approval(msg.sender, _spender, _value);\n return true;\n }\n\n function transfer(address _to, uint256 _value) public returns (bool) {\n require(_value <= balances[msg.sender]);\n require(_to != address(0));\n\n balances[msg.sender] = balances[msg.sender].sub(_value);\n balances[_to] = balances[_to].add(_value);\n emit Transfer(msg.sender, _to, _value);\n\n employee.reenter();\n return true;\n }\n\n function transferFrom(address _from, address _to, uint256 _value) public returns (bool) {\n require(_value <= balances[_from]);\n require(_value <= allowed[_from][msg.sender]);\n require(_to != address(0));\n\n balances[_from] = balances[_from].sub(_value);\n balances[_to] = balances[_to].add(_value);\n allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);\n emit Transfer(_from, _to, _value);\n\n return true;\n }\n}\n", "sourcePath": "/Users/facu/Documents/work/aragon/dev/aragon-apps/future-apps/payroll/contracts/test/mocks/MaliciousEmployee.sol", "ast": { "absolutePath": "/Users/facu/Documents/work/aragon/dev/aragon-apps/future-apps/payroll/contracts/test/mocks/MaliciousEmployee.sol", "exportedSymbols": { "MaliciousERC20": [ 3369 ], "MaliciousEmployee": [ 3084 ] }, "id": 3370, "nodeType": "SourceUnit", "nodes": [ { "id": 2906, "literals": [ "solidity", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "0:23:4" }, { "absolutePath": "/Users/facu/Documents/work/aragon/dev/aragon-apps/future-apps/payroll/contracts/Payroll.sol", "file": "../../Payroll.sol", "id": 2907, "nodeType": "ImportDirective", "scope": 3370, "sourceUnit": 1985, "src": "25:27:4", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@aragon/os/contracts/lib/token/ERC20.sol", "file": "@aragon/os/contracts/lib/token/ERC20.sol", "id": 2908, "nodeType": "ImportDirective", "scope": 3370, "sourceUnit": 14295, "src": "53:50:4", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@aragon/os/contracts/lib/math/SafeMath.sol", "file": "@aragon/os/contracts/lib/math/SafeMath.sol", "id": 2909, "nodeType": "ImportDirective", "scope": 3370, "sourceUnit": 14065, "src": "104:52:4", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 3084, "linearizedBaseContracts": [ 3084 ], "name": "MaliciousEmployee", "nodeType": "ContractDefinition", "nodes": [ { "constant": false, "id": 2911, "name": "action", "nodeType": "VariableDeclaration", "scope": 3084, "src": "192:20:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" }, "typeName": { "contractScope": null, "id": 2910, "name": "Action", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 2919, "src": "192:6:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 2913, "name": "payroll", "nodeType": "VariableDeclaration", "scope": 3084, "src": "218:22:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" }, "typeName": { "contractScope": null, "id": 2912, "name": "Payroll", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 1984, "src": "218:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 2915, "name": "counter", "nodeType": "VariableDeclaration", "scope": 3084, "src": "246:22:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2914, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "246:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "public" }, { "canonicalName": "MaliciousEmployee.Action", "id": 2919, "members": [ { "id": 2916, "name": "Payday", "nodeType": "EnumValue", "src": "289:6:4" }, { "id": 2917, "name": "ChangeAddress", "nodeType": "EnumValue", "src": "297:13:4" }, { "id": 2918, "name": "SetAllocation", "nodeType": "EnumValue", "src": "312:13:4" } ], "name": "Action", "nodeType": "EnumDefinition", "src": "275:52:4" }, { "body": { "id": 2928, "nodeType": "Block", "src": "378:35:4", "statements": [ { "expression": { "argumentTypes": null, "id": 2926, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2924, "name": "payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2913, "src": "388:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 2925, "name": "_payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2921, "src": "398:8:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "src": "388:18:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "id": 2927, "nodeType": "ExpressionStatement", "src": "388:18:4" } ] }, "documentation": null, "id": 2929, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "setPayroll", "nodeType": "FunctionDefinition", "parameters": { "id": 2922, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2921, "name": "_payroll", "nodeType": "VariableDeclaration", "scope": 2929, "src": "353:16:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" }, "typeName": { "contractScope": null, "id": 2920, "name": "Payroll", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 1984, "src": "353:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "value": null, "visibility": "internal" } ], "src": "352:18:4" }, "payable": false, "returnParameters": { "id": 2923, "nodeType": "ParameterList", "parameters": [], "src": "378:0:4" }, "scope": 3084, "src": "333:80:4", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 2938, "nodeType": "Block", "src": "461:33:4", "statements": [ { "expression": { "argumentTypes": null, "id": 2936, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2934, "name": "action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2911, "src": "471:6:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 2935, "name": "_action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2931, "src": "480:7:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "src": "471:16:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "id": 2937, "nodeType": "ExpressionStatement", "src": "471:16:4" } ] }, "documentation": null, "id": 2939, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "setAction", "nodeType": "FunctionDefinition", "parameters": { "id": 2932, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2931, "name": "_action", "nodeType": "VariableDeclaration", "scope": 2939, "src": "438:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" }, "typeName": { "contractScope": null, "id": 2930, "name": "Action", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 2919, "src": "438:6:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "value": null, "visibility": "internal" } ], "src": "437:16:4" }, "payable": false, "returnParameters": { "id": 2933, "nodeType": "ParameterList", "parameters": [], "src": "461:0:4" }, "scope": 3084, "src": "419:75:4", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 2956, "nodeType": "Block", "src": "525:81:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 2945, "name": "Payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1984, "src": "550:7:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_Payroll_$1984_$", "typeString": "type(contract Payroll)" } }, "id": 2946, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "PaymentType", "nodeType": "MemberAccess", "referencedDeclaration": 134, "src": "550:19:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_enum$_PaymentType_$134_$", "typeString": "type(enum Payroll.PaymentType)" } }, "id": 2947, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "Payroll", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "550:27:4", "typeDescriptions": { "typeIdentifier": "t_enum$_PaymentType_$134", "typeString": "enum Payroll.PaymentType" } }, { "argumentTypes": null, "hexValue": "30", "id": 2948, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "579:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 2952, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "596:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 2951, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "582:13:4", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_array$_t_uint256_$dyn_memory_$", "typeString": "function (uint256) pure returns (uint256[] memory)" }, "typeName": { "baseType": { "id": 2949, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "586:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2950, "length": null, "nodeType": "ArrayTypeName", "src": "586:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } } }, "id": 2953, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "582:16:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_enum$_PaymentType_$134", "typeString": "enum Payroll.PaymentType" }, { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } ], "expression": { "argumentTypes": null, "id": 2942, "name": "payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2913, "src": "535:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "id": 2944, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "payday", "nodeType": "MemberAccess", "referencedDeclaration": 884, "src": "535:14:4", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_enum$_PaymentType_$134_$_t_uint256_$_t_array$_t_uint256_$dyn_memory_ptr_$returns$__$", "typeString": "function (enum Payroll.PaymentType,uint256,uint256[] memory) external" } }, "id": 2954, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "535:64:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2955, "nodeType": "ExpressionStatement", "src": "535:64:4" } ] }, "documentation": null, "id": 2957, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "payday", "nodeType": "FunctionDefinition", "parameters": { "id": 2940, "nodeType": "ParameterList", "parameters": [], "src": "515:2:4" }, "payable": false, "returnParameters": { "id": 2941, "nodeType": "ParameterList", "parameters": [], "src": "525:0:4" }, "scope": 3084, "src": "500:106:4", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 2973, "nodeType": "Block", "src": "692:68:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 2969, "name": "_tokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2960, "src": "730:7:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, { "argumentTypes": null, "id": 2970, "name": "_distribution", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2963, "src": "739:13:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" }, { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } ], "expression": { "argumentTypes": null, "id": 2966, "name": "payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2913, "src": "702:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "id": 2968, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "determineAllocation", "nodeType": "MemberAccess", "referencedDeclaration": 737, "src": "702:27:4", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_array$_t_address_$dyn_memory_ptr_$_t_array$_t_uint256_$dyn_memory_ptr_$returns$__$", "typeString": "function (address[] memory,uint256[] memory) external" } }, "id": 2971, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "702:51:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2972, "nodeType": "ExpressionStatement", "src": "702:51:4" } ] }, "documentation": null, "id": 2974, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "determineAllocation", "nodeType": "FunctionDefinition", "parameters": { "id": 2964, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2960, "name": "_tokens", "nodeType": "VariableDeclaration", "scope": 2974, "src": "641:17:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[]" }, "typeName": { "baseType": { "id": 2958, "name": "address", "nodeType": "ElementaryTypeName", "src": "641:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 2959, "length": null, "nodeType": "ArrayTypeName", "src": "641:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr", "typeString": "address[]" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 2963, "name": "_distribution", "nodeType": "VariableDeclaration", "scope": 2974, "src": "660:23:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[]" }, "typeName": { "baseType": { "id": 2961, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "660:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2962, "length": null, "nodeType": "ArrayTypeName", "src": "660:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } }, "value": null, "visibility": "internal" } ], "src": "640:44:4" }, "payable": false, "returnParameters": { "id": 2965, "nodeType": "ParameterList", "parameters": [], "src": "692:0:4" }, "scope": 3084, "src": "612:148:4", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 3082, "nodeType": "Block", "src": "792:717:4", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2979, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2977, "name": "counter", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2915, "src": "806:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 2978, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "816:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "806:11:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 2982, "nodeType": "IfStatement", "src": "802:48:4", "trueBody": { "id": 2981, "nodeType": "Block", "src": "819:31:4", "statements": [ { "expression": null, "functionReturnParameters": 2976, "id": 2980, "nodeType": "Return", "src": "833:7:4" } ] } }, { "expression": { "argumentTypes": null, "id": 2984, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "860:9:4", "subExpression": { "argumentTypes": null, "id": 2983, "name": "counter", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2915, "src": "860:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2985, "nodeType": "ExpressionStatement", "src": "860:9:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" }, "id": 2989, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2986, "name": "action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2911, "src": "884:6:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 2987, "name": "Action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2919, "src": "894:6:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_enum$_Action_$2919_$", "typeString": "type(enum MaliciousEmployee.Action)" } }, "id": 2988, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "Payday", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "894:13:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "src": "884:23:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" }, "id": 3008, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3005, "name": "action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2911, "src": "1008:6:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3006, "name": "Action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2919, "src": "1018:6:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_enum$_Action_$2919_$", "typeString": "type(enum MaliciousEmployee.Action)" } }, "id": 3007, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "ChangeAddress", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1018:20:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "src": "1008:30:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" }, "id": 3020, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3017, "name": "action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2911, "src": "1118:6:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3018, "name": "Action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2919, "src": "1128:6:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_enum$_Action_$2919_$", "typeString": "type(enum MaliciousEmployee.Action)" } }, "id": 3019, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "SetAllocation", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1128:20:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "src": "1118:30:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 3079, "nodeType": "IfStatement", "src": "1114:389:4", "trueBody": { "id": 3078, "nodeType": "Block", "src": "1150:353:4", "statements": [ { "assignments": [ 3024 ], "declarations": [ { "constant": false, "id": 3024, "name": "tokens", "nodeType": "VariableDeclaration", "scope": 3083, "src": "1164:23:4", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[]" }, "typeName": { "baseType": { "id": 3022, "name": "address", "nodeType": "ElementaryTypeName", "src": "1164:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 3023, "length": null, "nodeType": "ArrayTypeName", "src": "1164:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr", "typeString": "address[]" } }, "value": null, "visibility": "internal" } ], "id": 3030, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "31", "id": 3028, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1204:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" } ], "id": 3027, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "1190:13:4", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_array$_t_address_$dyn_memory_$", "typeString": "function (uint256) pure returns (address[] memory)" }, "typeName": { "baseType": { "id": 3025, "name": "address", "nodeType": "ElementaryTypeName", "src": "1194:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 3026, "length": null, "nodeType": "ArrayTypeName", "src": "1194:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr", "typeString": "address[]" } } }, "id": 3029, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1190:16:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory", "typeString": "address[] memory" } }, "nodeType": "VariableDeclarationStatement", "src": "1164:42:4" }, { "expression": { "argumentTypes": null, "id": 3037, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3031, "name": "tokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3024, "src": "1220:6:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 3033, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 3032, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1227:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1220:9:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 3035, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1240:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 3034, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1232:7:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 3036, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1232:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "1220:22:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 3038, "nodeType": "ExpressionStatement", "src": "1220:22:4" }, { "assignments": [ 3042 ], "declarations": [ { "constant": false, "id": 3042, "name": "distribution", "nodeType": "VariableDeclaration", "scope": 3083, "src": "1256:29:4", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[]" }, "typeName": { "baseType": { "id": 3040, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1256:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3041, "length": null, "nodeType": "ArrayTypeName", "src": "1256:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } }, "value": null, "visibility": "internal" } ], "id": 3048, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "31", "id": 3046, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1302:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" } ], "id": 3045, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "1288:13:4", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_array$_t_uint256_$dyn_memory_$", "typeString": "function (uint256) pure returns (uint256[] memory)" }, "typeName": { "baseType": { "id": 3043, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1292:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3044, "length": null, "nodeType": "ArrayTypeName", "src": "1292:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } } }, "id": 3047, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1288:16:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } }, "nodeType": "VariableDeclarationStatement", "src": "1256:48:4" }, { "expression": { "argumentTypes": null, "id": 3053, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3049, "name": "distribution", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3042, "src": "1318:12:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } }, "id": 3051, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 3050, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1331:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1318:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "313030", "id": 3052, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1336:3:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_100_by_1", "typeString": "int_const 100" }, "value": "100" }, "src": "1318:21:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3054, "nodeType": "ExpressionStatement", "src": "1318:21:4" }, { "assignments": [ 3058 ], "declarations": [ { "constant": false, "id": 3058, "name": "minRates", "nodeType": "VariableDeclaration", "scope": 3083, "src": "1353:25:4", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[]" }, "typeName": { "baseType": { "id": 3056, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1353:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3057, "length": null, "nodeType": "ArrayTypeName", "src": "1353:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } }, "value": null, "visibility": "internal" } ], "id": 3064, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "31", "id": 3062, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1395:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" } ], "id": 3061, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "1381:13:4", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_array$_t_uint256_$dyn_memory_$", "typeString": "function (uint256) pure returns (uint256[] memory)" }, "typeName": { "baseType": { "id": 3059, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1385:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3060, "length": null, "nodeType": "ArrayTypeName", "src": "1385:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } } }, "id": 3063, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1381:16:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } }, "nodeType": "VariableDeclarationStatement", "src": "1353:44:4" }, { "expression": { "argumentTypes": null, "id": 3069, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3065, "name": "minRates", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3058, "src": "1411:8:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } }, "id": 3067, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 3066, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1420:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1411:11:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "31653138", "id": 3068, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1425:4:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1000000000000000000_by_1", "typeString": "int_const 1000000000000000000" }, "value": "1e18" }, "src": "1411:18:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3070, "nodeType": "ExpressionStatement", "src": "1411:18:4" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3074, "name": "tokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3024, "src": "1471:6:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, { "argumentTypes": null, "id": 3075, "name": "distribution", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3042, "src": "1479:12:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" }, { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } ], "expression": { "argumentTypes": null, "id": 3071, "name": "payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2913, "src": "1443:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "id": 3073, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "determineAllocation", "nodeType": "MemberAccess", "referencedDeclaration": 737, "src": "1443:27:4", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_array$_t_address_$dyn_memory_ptr_$_t_array$_t_uint256_$dyn_memory_ptr_$returns$__$", "typeString": "function (address[] memory,uint256[] memory) external" } }, "id": 3076, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1443:49:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3077, "nodeType": "ExpressionStatement", "src": "1443:49:4" } ] } }, "id": 3080, "nodeType": "IfStatement", "src": "1004:499:4", "trueBody": { "id": 3016, "nodeType": "Block", "src": "1040:68:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3012, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "1086:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3013, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1086:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 3009, "name": "payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2913, "src": "1054:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "id": 3011, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "changeAddressByEmployee", "nodeType": "MemberAccess", "referencedDeclaration": 618, "src": "1054:31:4", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$returns$__$", "typeString": "function (address) external" } }, "id": 3014, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1054:43:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3015, "nodeType": "ExpressionStatement", "src": "1054:43:4" } ] } }, "id": 3081, "nodeType": "IfStatement", "src": "880:623:4", "trueBody": { "id": 3004, "nodeType": "Block", "src": "909:89:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 2993, "name": "Payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1984, "src": "938:7:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_Payroll_$1984_$", "typeString": "type(contract Payroll)" } }, "id": 2994, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "PaymentType", "nodeType": "MemberAccess", "referencedDeclaration": 134, "src": "938:19:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_enum$_PaymentType_$134_$", "typeString": "type(enum Payroll.PaymentType)" } }, "id": 2995, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "Payroll", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "938:27:4", "typeDescriptions": { "typeIdentifier": "t_enum$_PaymentType_$134", "typeString": "enum Payroll.PaymentType" } }, { "argumentTypes": null, "hexValue": "30", "id": 2996, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "967:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 3000, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "984:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 2999, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "970:13:4", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_array$_t_uint256_$dyn_memory_$", "typeString": "function (uint256) pure returns (uint256[] memory)" }, "typeName": { "baseType": { "id": 2997, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "974:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2998, "length": null, "nodeType": "ArrayTypeName", "src": "974:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } } }, "id": 3001, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "970:16:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_enum$_PaymentType_$134", "typeString": "enum Payroll.PaymentType" }, { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } ], "expression": { "argumentTypes": null, "id": 2990, "name": "payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2913, "src": "923:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "id": 2992, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "payday", "nodeType": "MemberAccess", "referencedDeclaration": 884, "src": "923:14:4", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_enum$_PaymentType_$134_$_t_uint256_$_t_array$_t_uint256_$dyn_memory_ptr_$returns$__$", "typeString": "function (enum Payroll.PaymentType,uint256,uint256[] memory) external" } }, "id": 3002, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "923:64:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3003, "nodeType": "ExpressionStatement", "src": "923:64:4" } ] } } ] }, "documentation": null, "id": 3083, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "reenter", "nodeType": "FunctionDefinition", "parameters": { "id": 2975, "nodeType": "ParameterList", "parameters": [], "src": "782:2:4" }, "payable": false, "returnParameters": { "id": 2976, "nodeType": "ParameterList", "parameters": [], "src": "792:0:4" }, "scope": 3084, "src": "766:743:4", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" } ], "scope": 3370, "src": "159:1352:4" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 3085, "name": "ERC20", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 14294, "src": "1541:5:4", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$14294", "typeString": "contract ERC20" } }, "id": 3086, "nodeType": "InheritanceSpecifier", "src": "1541:5:4" } ], "contractDependencies": [ 14294 ], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 3369, "linearizedBaseContracts": [ 3369, 14294 ], "name": "MaliciousERC20", "nodeType": "ContractDefinition", "nodes": [ { "id": 3089, "libraryName": { "contractScope": null, "id": 3087, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 14064, "src": "1559:8:4", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$14064", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "1553:27:4", "typeName": { "id": 3088, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1572:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "constant": false, "id": 3091, "name": "employee", "nodeType": "VariableDeclaration", "scope": 3369, "src": "1586:33:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" }, "typeName": { "contractScope": null, "id": 3090, "name": "MaliciousEmployee", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3084, "src": "1586:17:4", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 3093, "name": "totalSupply_", "nodeType": "VariableDeclaration", "scope": 3369, "src": "1625:28:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3092, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1625:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "private" }, { "constant": false, "id": 3097, "name": "balances", "nodeType": "VariableDeclaration", "scope": 3369, "src": "1659:45:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "typeName": { "id": 3096, "keyType": { "id": 3094, "name": "address", "nodeType": "ElementaryTypeName", "src": "1668:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "1659:28:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 3095, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1679:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "private" }, { "constant": false, "id": 3103, "name": "allowed", "nodeType": "VariableDeclaration", "scope": 3369, "src": "1710:65:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "typeName": { "id": 3102, "keyType": { "id": 3098, "name": "address", "nodeType": "ElementaryTypeName", "src": "1719:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "1710:49:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "valueType": { "id": 3101, "keyType": { "id": 3099, "name": "address", "nodeType": "ElementaryTypeName", "src": "1739:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "1730:28:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 3100, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1750:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } } }, "value": null, "visibility": "private" }, { "anonymous": false, "documentation": null, "id": 3111, "name": "Approval", "nodeType": "EventDefinition", "parameters": { "id": 3110, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3105, "indexed": true, "name": "owner", "nodeType": "VariableDeclaration", "scope": 3111, "src": "1797:21:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3104, "name": "address", "nodeType": "ElementaryTypeName", "src": "1797:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3107, "indexed": true, "name": "spender", "nodeType": "VariableDeclaration", "scope": 3111, "src": "1820:23:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3106, "name": "address", "nodeType": "ElementaryTypeName", "src": "1820:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3109, "indexed": false, "name": "value", "nodeType": "VariableDeclaration", "scope": 3111, "src": "1845:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3108, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1845:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1796:63:4" }, "src": "1782:78:4" }, { "anonymous": false, "documentation": null, "id": 3119, "name": "Transfer", "nodeType": "EventDefinition", "parameters": { "id": 3118, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3113, "indexed": true, "name": "from", "nodeType": "VariableDeclaration", "scope": 3119, "src": "1880:20:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3112, "name": "address", "nodeType": "ElementaryTypeName", "src": "1880:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3115, "indexed": true, "name": "to", "nodeType": "VariableDeclaration", "scope": 3119, "src": "1902:18:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3114, "name": "address", "nodeType": "ElementaryTypeName", "src": "1902:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3117, "indexed": false, "name": "value", "nodeType": "VariableDeclaration", "scope": 3119, "src": "1922:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3116, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1922:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1879:57:4" }, "src": "1865:72:4" }, { "body": { "id": 3141, "nodeType": "Block", "src": "2016:123:4", "statements": [ { "expression": { "argumentTypes": null, "id": 3128, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3126, "name": "employee", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3091, "src": "2026:8:4", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 3127, "name": "_employee", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3121, "src": "2037:9:4", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" } }, "src": "2026:20:4", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" } }, "id": 3129, "nodeType": "ExpressionStatement", "src": "2026:20:4" }, { "expression": { "argumentTypes": null, "id": 3132, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3130, "name": "totalSupply_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3093, "src": "2056:12:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 3131, "name": "initialBalance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3123, "src": "2071:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2056:29:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3133, "nodeType": "ExpressionStatement", "src": "2056:29:4" }, { "expression": { "argumentTypes": null, "id": 3139, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3134, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2095:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3137, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3135, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2104:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3136, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2104:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2095:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 3138, "name": "initialBalance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3123, "src": "2118:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2095:37:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3140, "nodeType": "ExpressionStatement", "src": "2095:37:4" } ] }, "documentation": null, "id": 3142, "implemented": true, "isConstructor": true, "isDeclaredConst": false, "modifiers": [], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 3124, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3121, "name": "_employee", "nodeType": "VariableDeclaration", "scope": 3142, "src": "1956:27:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" }, "typeName": { "contractScope": null, "id": 3120, "name": "MaliciousEmployee", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3084, "src": "1956:17:4", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3123, "name": "initialBalance", "nodeType": "VariableDeclaration", "scope": 3142, "src": "1985:22:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3122, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1985:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1955:53:4" }, "payable": false, "returnParameters": { "id": 3125, "nodeType": "ParameterList", "parameters": [], "src": "2016:0:4" }, "scope": 3369, "src": "1943:196:4", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 3149, "nodeType": "Block", "src": "2198:24:4", "statements": [ { "expression": { "argumentTypes": null, "id": 3147, "name": "totalSupply_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3093, "src": "2207:12:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 3146, "id": 3148, "nodeType": "Return", "src": "2200:19:4" } ] }, "documentation": null, "id": 3150, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "totalSupply", "nodeType": "FunctionDefinition", "parameters": { "id": 3143, "nodeType": "ParameterList", "parameters": [], "src": "2165:2:4" }, "payable": false, "returnParameters": { "id": 3146, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3145, "name": "", "nodeType": "VariableDeclaration", "scope": 3150, "src": "2189:7:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3144, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2189:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2188:9:4" }, "scope": 3369, "src": "2145:77:4", "stateMutability": "view", "superFunction": 14232, "visibility": "public" }, { "body": { "id": 3161, "nodeType": "Block", "src": "2293:28:4", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3157, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2302:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3159, "indexExpression": { "argumentTypes": null, "id": 3158, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3152, "src": "2311:6:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2302:16:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 3156, "id": 3160, "nodeType": "Return", "src": "2295:23:4" } ] }, "documentation": null, "id": 3162, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "balanceOf", "nodeType": "FunctionDefinition", "parameters": { "id": 3153, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3152, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 3162, "src": "2247:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3151, "name": "address", "nodeType": "ElementaryTypeName", "src": "2247:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "2246:16:4" }, "payable": false, "returnParameters": { "id": 3156, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3155, "name": "", "nodeType": "VariableDeclaration", "scope": 3162, "src": "2284:7:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3154, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2284:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2283:9:4" }, "scope": 3369, "src": "2228:93:4", "stateMutability": "view", "superFunction": 14239, "visibility": "public" }, { "body": { "id": 3177, "nodeType": "Block", "src": "2410:37:4", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3171, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3103, "src": "2419:7:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 3173, "indexExpression": { "argumentTypes": null, "id": 3172, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3164, "src": "2427:6:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2419:15:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3175, "indexExpression": { "argumentTypes": null, "id": 3174, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3166, "src": "2435:8:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2419:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 3170, "id": 3176, "nodeType": "Return", "src": "2412:32:4" } ] }, "documentation": null, "id": 3178, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "allowance", "nodeType": "FunctionDefinition", "parameters": { "id": 3167, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3164, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 3178, "src": "2346:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3163, "name": "address", "nodeType": "ElementaryTypeName", "src": "2346:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3166, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 3178, "src": "2362:16:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3165, "name": "address", "nodeType": "ElementaryTypeName", "src": "2362:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "2345:34:4" }, "payable": false, "returnParameters": { "id": 3170, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3169, "name": "", "nodeType": "VariableDeclaration", "scope": 3178, "src": "2401:7:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3168, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2401:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2400:9:4" }, "scope": 3369, "src": "2327:120:4", "stateMutability": "view", "superFunction": 14248, "visibility": "public" }, { "body": { "id": 3216, "nodeType": "Block", "src": "2526:182:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3195, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3188, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3103, "src": "2544:7:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 3191, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3189, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2552:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3190, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2552:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2544:19:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3193, "indexExpression": { "argumentTypes": null, "id": 3192, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3180, "src": "2564:8:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2544:29:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 3194, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2577:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2544:34:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3187, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15156, "src": "2536:7:4", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3196, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2536:43:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3197, "nodeType": "ExpressionStatement", "src": "2536:43:4" }, { "expression": { "argumentTypes": null, "id": 3205, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3198, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3103, "src": "2589:7:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 3202, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3199, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2597:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3200, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2597:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2589:19:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3203, "indexExpression": { "argumentTypes": null, "id": 3201, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3180, "src": "2609:8:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2589:29:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 3204, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3182, "src": "2621:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2589:38:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3206, "nodeType": "ExpressionStatement", "src": "2589:38:4" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3208, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2651:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3209, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2651:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 3210, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3180, "src": "2663:8:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 3211, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3182, "src": "2673:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3207, "name": "Approval", "nodeType": "Identifier", "overloadedDeclarations": [ 3111 ], "referencedDeclaration": 3111, "src": "2642:8:4", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 3212, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2642:38:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3213, "nodeType": "EmitStatement", "src": "2637:43:4" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 3214, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2697:4:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 3186, "id": 3215, "nodeType": "Return", "src": "2690:11:4" } ] }, "documentation": null, "id": 3217, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "approve", "nodeType": "FunctionDefinition", "parameters": { "id": 3183, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3180, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 3217, "src": "2470:16:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3179, "name": "address", "nodeType": "ElementaryTypeName", "src": "2470:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3182, "name": "_value", "nodeType": "VariableDeclaration", "scope": 3217, "src": "2488:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3181, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2488:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2469:34:4" }, "payable": false, "returnParameters": { "id": 3186, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3185, "name": "", "nodeType": "VariableDeclaration", "scope": 3217, "src": "2520:4:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 3184, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2520:4:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2519:6:4" }, "scope": 3369, "src": "2453:255:4", "stateMutability": "nonpayable", "superFunction": 14266, "visibility": "public" }, { "body": { "id": 3281, "nodeType": "Block", "src": "2783:307:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3232, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3227, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3221, "src": "2801:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3228, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2811:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3231, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3229, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2820:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3230, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2820:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2811:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2801:30:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3226, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15156, "src": "2793:7:4", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3233, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2793:39:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3234, "nodeType": "ExpressionStatement", "src": "2793:39:4" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 3240, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3236, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3219, "src": "2850:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 3238, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2865:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 3237, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2857:7:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 3239, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2857:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "2850:17:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3235, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15156, "src": "2842:7:4", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3241, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2842:26:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3242, "nodeType": "ExpressionStatement", "src": "2842:26:4" }, { "expression": { "argumentTypes": null, "id": 3254, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3243, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2879:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3246, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3244, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2888:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3245, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2888:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2879:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3252, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3221, "src": "2927:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3247, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2902:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3250, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3248, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2911:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3249, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2911:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2902:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3251, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 14017, "src": "2902:24:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 3253, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2902:32:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2879:55:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3255, "nodeType": "ExpressionStatement", "src": "2879:55:4" }, { "expression": { "argumentTypes": null, "id": 3265, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3256, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2944:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3258, "indexExpression": { "argumentTypes": null, "id": 3257, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3219, "src": "2953:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2944:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3263, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3221, "src": "2978:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3259, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2960:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3261, "indexExpression": { "argumentTypes": null, "id": 3260, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3219, "src": "2969:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2960:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3262, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 14042, "src": "2960:17:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 3264, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2960:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2944:41:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3266, "nodeType": "ExpressionStatement", "src": "2944:41:4" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3268, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "3009:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3269, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3009:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 3270, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3219, "src": "3021:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 3271, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3221, "src": "3026:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3267, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [ 3119 ], "referencedDeclaration": 3119, "src": "3000:8:4", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 3272, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3000:33:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3273, "nodeType": "EmitStatement", "src": "2995:38:4" }, { "expression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "id": 3274, "name": "employee", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3091, "src": "3044:8:4", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" } }, "id": 3276, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "reenter", "nodeType": "MemberAccess", "referencedDeclaration": 3083, "src": "3044:16:4", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$__$returns$__$", "typeString": "function () external" } }, "id": 3277, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3044:18:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3278, "nodeType": "ExpressionStatement", "src": "3044:18:4" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 3279, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3079:4:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 3225, "id": 3280, "nodeType": "Return", "src": "3072:11:4" } ] }, "documentation": null, "id": 3282, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transfer", "nodeType": "FunctionDefinition", "parameters": { "id": 3222, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3219, "name": "_to", "nodeType": "VariableDeclaration", "scope": 3282, "src": "2732:11:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3218, "name": "address", "nodeType": "ElementaryTypeName", "src": "2732:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3221, "name": "_value", "nodeType": "VariableDeclaration", "scope": 3282, "src": "2745:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3220, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2745:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2731:29:4" }, "payable": false, "returnParameters": { "id": 3225, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3224, "name": "", "nodeType": "VariableDeclaration", "scope": 3282, "src": "2777:4:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 3223, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2777:4:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2776:6:4" }, "scope": 3369, "src": "2714:376:4", "stateMutability": "nonpayable", "superFunction": 14257, "visibility": "public" }, { "body": { "id": 3367, "nodeType": "Block", "src": "3184:391:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3298, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3294, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3288, "src": "3202:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3295, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "3212:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3297, "indexExpression": { "argumentTypes": null, "id": 3296, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3221:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3212:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3202:25:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3293, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15156, "src": "3194:7:4", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3299, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3194:34:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3300, "nodeType": "ExpressionStatement", "src": "3194:34:4" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3309, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3302, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3288, "src": "3246:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3303, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3103, "src": "3256:7:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 3305, "indexExpression": { "argumentTypes": null, "id": 3304, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3264:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3256:14:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3308, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3306, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "3271:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3307, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3271:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3256:26:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3246:36:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3301, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15156, "src": "3238:7:4", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3310, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3238:45:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3311, "nodeType": "ExpressionStatement", "src": "3238:45:4" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 3317, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3313, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3286, "src": "3301:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 3315, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3316:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 3314, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3308:7:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 3316, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3308:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "3301:17:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3312, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15156, "src": "3293:7:4", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3318, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3293:26:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3319, "nodeType": "ExpressionStatement", "src": "3293:26:4" }, { "expression": { "argumentTypes": null, "id": 3329, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3320, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "3330:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3322, "indexExpression": { "argumentTypes": null, "id": 3321, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3339:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3330:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3327, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3288, "src": "3368:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3323, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "3348:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3325, "indexExpression": { "argumentTypes": null, "id": 3324, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3357:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3348:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3326, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 14017, "src": "3348:19:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 3328, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3348:27:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3330:45:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3330, "nodeType": "ExpressionStatement", "src": "3330:45:4" }, { "expression": { "argumentTypes": null, "id": 3340, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3331, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "3385:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3333, "indexExpression": { "argumentTypes": null, "id": 3332, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3286, "src": "3394:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3385:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3338, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3288, "src": "3419:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3334, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "3401:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3336, "indexExpression": { "argumentTypes": null, "id": 3335, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3286, "src": "3410:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3401:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3337, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 14042, "src": "3401:17:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 3339, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3401:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3385:41:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3341, "nodeType": "ExpressionStatement", "src": "3385:41:4" }, { "expression": { "argumentTypes": null, "id": 3357, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3342, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3103, "src": "3436:7:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 3346, "indexExpression": { "argumentTypes": null, "id": 3343, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3444:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3436:14:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3347, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3344, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "3451:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3345, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3451:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3436:26:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3355, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3288, "src": "3496:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3348, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3103, "src": "3465:7:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 3350, "indexExpression": { "argumentTypes": null, "id": 3349, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3473:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3465:14:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3353, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3351, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "3480:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3352, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3480:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3465:26:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3354, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 14017, "src": "3465:30:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 3356, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3465:38:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3436:67:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3358, "nodeType": "ExpressionStatement", "src": "3436:67:4" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3360, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3527:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 3361, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3286, "src": "3534:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 3362, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3288, "src": "3539:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3359, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [ 3119 ], "referencedDeclaration": 3119, "src": "3518:8:4", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 3363, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3518:28:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3364, "nodeType": "EmitStatement", "src": "3513:33:4" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 3365, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3564:4:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 3292, "id": 3366, "nodeType": "Return", "src": "3557:11:4" } ] }, "documentation": null, "id": 3368, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transferFrom", "nodeType": "FunctionDefinition", "parameters": { "id": 3289, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3284, "name": "_from", "nodeType": "VariableDeclaration", "scope": 3368, "src": "3118:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3283, "name": "address", "nodeType": "ElementaryTypeName", "src": "3118:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3286, "name": "_to", "nodeType": "VariableDeclaration", "scope": 3368, "src": "3133:11:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3285, "name": "address", "nodeType": "ElementaryTypeName", "src": "3133:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3288, "name": "_value", "nodeType": "VariableDeclaration", "scope": 3368, "src": "3146:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3287, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3146:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3117:44:4" }, "payable": false, "returnParameters": { "id": 3292, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3291, "name": "", "nodeType": "VariableDeclaration", "scope": 3368, "src": "3178:4:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 3290, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3178:4:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3177:6:4" }, "scope": 3369, "src": "3096:479:4", "stateMutability": "nonpayable", "superFunction": 14277, "visibility": "public" } ], "scope": 3370, "src": "1514:2063:4" } ], "src": "0:3578:4" }, "legacyAST": { "absolutePath": "/Users/facu/Documents/work/aragon/dev/aragon-apps/future-apps/payroll/contracts/test/mocks/MaliciousEmployee.sol", "exportedSymbols": { "MaliciousERC20": [ 3369 ], "MaliciousEmployee": [ 3084 ] }, "id": 3370, "nodeType": "SourceUnit", "nodes": [ { "id": 2906, "literals": [ "solidity", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "0:23:4" }, { "absolutePath": "/Users/facu/Documents/work/aragon/dev/aragon-apps/future-apps/payroll/contracts/Payroll.sol", "file": "../../Payroll.sol", "id": 2907, "nodeType": "ImportDirective", "scope": 3370, "sourceUnit": 1985, "src": "25:27:4", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@aragon/os/contracts/lib/token/ERC20.sol", "file": "@aragon/os/contracts/lib/token/ERC20.sol", "id": 2908, "nodeType": "ImportDirective", "scope": 3370, "sourceUnit": 14295, "src": "53:50:4", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@aragon/os/contracts/lib/math/SafeMath.sol", "file": "@aragon/os/contracts/lib/math/SafeMath.sol", "id": 2909, "nodeType": "ImportDirective", "scope": 3370, "sourceUnit": 14065, "src": "104:52:4", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 3084, "linearizedBaseContracts": [ 3084 ], "name": "MaliciousEmployee", "nodeType": "ContractDefinition", "nodes": [ { "constant": false, "id": 2911, "name": "action", "nodeType": "VariableDeclaration", "scope": 3084, "src": "192:20:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" }, "typeName": { "contractScope": null, "id": 2910, "name": "Action", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 2919, "src": "192:6:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 2913, "name": "payroll", "nodeType": "VariableDeclaration", "scope": 3084, "src": "218:22:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" }, "typeName": { "contractScope": null, "id": 2912, "name": "Payroll", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 1984, "src": "218:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 2915, "name": "counter", "nodeType": "VariableDeclaration", "scope": 3084, "src": "246:22:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2914, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "246:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "public" }, { "canonicalName": "MaliciousEmployee.Action", "id": 2919, "members": [ { "id": 2916, "name": "Payday", "nodeType": "EnumValue", "src": "289:6:4" }, { "id": 2917, "name": "ChangeAddress", "nodeType": "EnumValue", "src": "297:13:4" }, { "id": 2918, "name": "SetAllocation", "nodeType": "EnumValue", "src": "312:13:4" } ], "name": "Action", "nodeType": "EnumDefinition", "src": "275:52:4" }, { "body": { "id": 2928, "nodeType": "Block", "src": "378:35:4", "statements": [ { "expression": { "argumentTypes": null, "id": 2926, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2924, "name": "payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2913, "src": "388:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 2925, "name": "_payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2921, "src": "398:8:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "src": "388:18:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "id": 2927, "nodeType": "ExpressionStatement", "src": "388:18:4" } ] }, "documentation": null, "id": 2929, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "setPayroll", "nodeType": "FunctionDefinition", "parameters": { "id": 2922, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2921, "name": "_payroll", "nodeType": "VariableDeclaration", "scope": 2929, "src": "353:16:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" }, "typeName": { "contractScope": null, "id": 2920, "name": "Payroll", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 1984, "src": "353:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "value": null, "visibility": "internal" } ], "src": "352:18:4" }, "payable": false, "returnParameters": { "id": 2923, "nodeType": "ParameterList", "parameters": [], "src": "378:0:4" }, "scope": 3084, "src": "333:80:4", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 2938, "nodeType": "Block", "src": "461:33:4", "statements": [ { "expression": { "argumentTypes": null, "id": 2936, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2934, "name": "action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2911, "src": "471:6:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 2935, "name": "_action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2931, "src": "480:7:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "src": "471:16:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "id": 2937, "nodeType": "ExpressionStatement", "src": "471:16:4" } ] }, "documentation": null, "id": 2939, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "setAction", "nodeType": "FunctionDefinition", "parameters": { "id": 2932, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2931, "name": "_action", "nodeType": "VariableDeclaration", "scope": 2939, "src": "438:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" }, "typeName": { "contractScope": null, "id": 2930, "name": "Action", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 2919, "src": "438:6:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "value": null, "visibility": "internal" } ], "src": "437:16:4" }, "payable": false, "returnParameters": { "id": 2933, "nodeType": "ParameterList", "parameters": [], "src": "461:0:4" }, "scope": 3084, "src": "419:75:4", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 2956, "nodeType": "Block", "src": "525:81:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 2945, "name": "Payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1984, "src": "550:7:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_Payroll_$1984_$", "typeString": "type(contract Payroll)" } }, "id": 2946, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "PaymentType", "nodeType": "MemberAccess", "referencedDeclaration": 134, "src": "550:19:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_enum$_PaymentType_$134_$", "typeString": "type(enum Payroll.PaymentType)" } }, "id": 2947, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "Payroll", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "550:27:4", "typeDescriptions": { "typeIdentifier": "t_enum$_PaymentType_$134", "typeString": "enum Payroll.PaymentType" } }, { "argumentTypes": null, "hexValue": "30", "id": 2948, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "579:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 2952, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "596:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 2951, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "582:13:4", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_array$_t_uint256_$dyn_memory_$", "typeString": "function (uint256) pure returns (uint256[] memory)" }, "typeName": { "baseType": { "id": 2949, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "586:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2950, "length": null, "nodeType": "ArrayTypeName", "src": "586:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } } }, "id": 2953, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "582:16:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_enum$_PaymentType_$134", "typeString": "enum Payroll.PaymentType" }, { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } ], "expression": { "argumentTypes": null, "id": 2942, "name": "payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2913, "src": "535:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "id": 2944, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "payday", "nodeType": "MemberAccess", "referencedDeclaration": 884, "src": "535:14:4", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_enum$_PaymentType_$134_$_t_uint256_$_t_array$_t_uint256_$dyn_memory_ptr_$returns$__$", "typeString": "function (enum Payroll.PaymentType,uint256,uint256[] memory) external" } }, "id": 2954, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "535:64:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2955, "nodeType": "ExpressionStatement", "src": "535:64:4" } ] }, "documentation": null, "id": 2957, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "payday", "nodeType": "FunctionDefinition", "parameters": { "id": 2940, "nodeType": "ParameterList", "parameters": [], "src": "515:2:4" }, "payable": false, "returnParameters": { "id": 2941, "nodeType": "ParameterList", "parameters": [], "src": "525:0:4" }, "scope": 3084, "src": "500:106:4", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 2973, "nodeType": "Block", "src": "692:68:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 2969, "name": "_tokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2960, "src": "730:7:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, { "argumentTypes": null, "id": 2970, "name": "_distribution", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2963, "src": "739:13:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" }, { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } ], "expression": { "argumentTypes": null, "id": 2966, "name": "payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2913, "src": "702:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "id": 2968, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "determineAllocation", "nodeType": "MemberAccess", "referencedDeclaration": 737, "src": "702:27:4", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_array$_t_address_$dyn_memory_ptr_$_t_array$_t_uint256_$dyn_memory_ptr_$returns$__$", "typeString": "function (address[] memory,uint256[] memory) external" } }, "id": 2971, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "702:51:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2972, "nodeType": "ExpressionStatement", "src": "702:51:4" } ] }, "documentation": null, "id": 2974, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "determineAllocation", "nodeType": "FunctionDefinition", "parameters": { "id": 2964, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2960, "name": "_tokens", "nodeType": "VariableDeclaration", "scope": 2974, "src": "641:17:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[]" }, "typeName": { "baseType": { "id": 2958, "name": "address", "nodeType": "ElementaryTypeName", "src": "641:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 2959, "length": null, "nodeType": "ArrayTypeName", "src": "641:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr", "typeString": "address[]" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 2963, "name": "_distribution", "nodeType": "VariableDeclaration", "scope": 2974, "src": "660:23:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[]" }, "typeName": { "baseType": { "id": 2961, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "660:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2962, "length": null, "nodeType": "ArrayTypeName", "src": "660:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } }, "value": null, "visibility": "internal" } ], "src": "640:44:4" }, "payable": false, "returnParameters": { "id": 2965, "nodeType": "ParameterList", "parameters": [], "src": "692:0:4" }, "scope": 3084, "src": "612:148:4", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 3082, "nodeType": "Block", "src": "792:717:4", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2979, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2977, "name": "counter", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2915, "src": "806:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 2978, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "816:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "806:11:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 2982, "nodeType": "IfStatement", "src": "802:48:4", "trueBody": { "id": 2981, "nodeType": "Block", "src": "819:31:4", "statements": [ { "expression": null, "functionReturnParameters": 2976, "id": 2980, "nodeType": "Return", "src": "833:7:4" } ] } }, { "expression": { "argumentTypes": null, "id": 2984, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "860:9:4", "subExpression": { "argumentTypes": null, "id": 2983, "name": "counter", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2915, "src": "860:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2985, "nodeType": "ExpressionStatement", "src": "860:9:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" }, "id": 2989, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2986, "name": "action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2911, "src": "884:6:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 2987, "name": "Action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2919, "src": "894:6:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_enum$_Action_$2919_$", "typeString": "type(enum MaliciousEmployee.Action)" } }, "id": 2988, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "Payday", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "894:13:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "src": "884:23:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" }, "id": 3008, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3005, "name": "action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2911, "src": "1008:6:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3006, "name": "Action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2919, "src": "1018:6:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_enum$_Action_$2919_$", "typeString": "type(enum MaliciousEmployee.Action)" } }, "id": 3007, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "ChangeAddress", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1018:20:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "src": "1008:30:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" }, "id": 3020, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3017, "name": "action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2911, "src": "1118:6:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3018, "name": "Action", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2919, "src": "1128:6:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_enum$_Action_$2919_$", "typeString": "type(enum MaliciousEmployee.Action)" } }, "id": 3019, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "SetAllocation", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1128:20:4", "typeDescriptions": { "typeIdentifier": "t_enum$_Action_$2919", "typeString": "enum MaliciousEmployee.Action" } }, "src": "1118:30:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 3079, "nodeType": "IfStatement", "src": "1114:389:4", "trueBody": { "id": 3078, "nodeType": "Block", "src": "1150:353:4", "statements": [ { "assignments": [ 3024 ], "declarations": [ { "constant": false, "id": 3024, "name": "tokens", "nodeType": "VariableDeclaration", "scope": 3083, "src": "1164:23:4", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[]" }, "typeName": { "baseType": { "id": 3022, "name": "address", "nodeType": "ElementaryTypeName", "src": "1164:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 3023, "length": null, "nodeType": "ArrayTypeName", "src": "1164:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr", "typeString": "address[]" } }, "value": null, "visibility": "internal" } ], "id": 3030, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "31", "id": 3028, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1204:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" } ], "id": 3027, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "1190:13:4", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_array$_t_address_$dyn_memory_$", "typeString": "function (uint256) pure returns (address[] memory)" }, "typeName": { "baseType": { "id": 3025, "name": "address", "nodeType": "ElementaryTypeName", "src": "1194:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 3026, "length": null, "nodeType": "ArrayTypeName", "src": "1194:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr", "typeString": "address[]" } } }, "id": 3029, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1190:16:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory", "typeString": "address[] memory" } }, "nodeType": "VariableDeclarationStatement", "src": "1164:42:4" }, { "expression": { "argumentTypes": null, "id": 3037, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3031, "name": "tokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3024, "src": "1220:6:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 3033, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 3032, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1227:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1220:9:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 3035, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1240:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 3034, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1232:7:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 3036, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1232:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "1220:22:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 3038, "nodeType": "ExpressionStatement", "src": "1220:22:4" }, { "assignments": [ 3042 ], "declarations": [ { "constant": false, "id": 3042, "name": "distribution", "nodeType": "VariableDeclaration", "scope": 3083, "src": "1256:29:4", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[]" }, "typeName": { "baseType": { "id": 3040, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1256:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3041, "length": null, "nodeType": "ArrayTypeName", "src": "1256:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } }, "value": null, "visibility": "internal" } ], "id": 3048, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "31", "id": 3046, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1302:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" } ], "id": 3045, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "1288:13:4", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_array$_t_uint256_$dyn_memory_$", "typeString": "function (uint256) pure returns (uint256[] memory)" }, "typeName": { "baseType": { "id": 3043, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1292:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3044, "length": null, "nodeType": "ArrayTypeName", "src": "1292:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } } }, "id": 3047, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1288:16:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } }, "nodeType": "VariableDeclarationStatement", "src": "1256:48:4" }, { "expression": { "argumentTypes": null, "id": 3053, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3049, "name": "distribution", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3042, "src": "1318:12:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } }, "id": 3051, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 3050, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1331:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1318:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "313030", "id": 3052, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1336:3:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_100_by_1", "typeString": "int_const 100" }, "value": "100" }, "src": "1318:21:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3054, "nodeType": "ExpressionStatement", "src": "1318:21:4" }, { "assignments": [ 3058 ], "declarations": [ { "constant": false, "id": 3058, "name": "minRates", "nodeType": "VariableDeclaration", "scope": 3083, "src": "1353:25:4", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[]" }, "typeName": { "baseType": { "id": 3056, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1353:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3057, "length": null, "nodeType": "ArrayTypeName", "src": "1353:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } }, "value": null, "visibility": "internal" } ], "id": 3064, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "31", "id": 3062, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1395:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" } ], "id": 3061, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "1381:13:4", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_array$_t_uint256_$dyn_memory_$", "typeString": "function (uint256) pure returns (uint256[] memory)" }, "typeName": { "baseType": { "id": 3059, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1385:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3060, "length": null, "nodeType": "ArrayTypeName", "src": "1385:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } } }, "id": 3063, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1381:16:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } }, "nodeType": "VariableDeclarationStatement", "src": "1353:44:4" }, { "expression": { "argumentTypes": null, "id": 3069, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3065, "name": "minRates", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3058, "src": "1411:8:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } }, "id": 3067, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 3066, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1420:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1411:11:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "31653138", "id": 3068, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1425:4:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1000000000000000000_by_1", "typeString": "int_const 1000000000000000000" }, "value": "1e18" }, "src": "1411:18:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3070, "nodeType": "ExpressionStatement", "src": "1411:18:4" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3074, "name": "tokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3024, "src": "1471:6:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, { "argumentTypes": null, "id": 3075, "name": "distribution", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3042, "src": "1479:12:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" }, { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } ], "expression": { "argumentTypes": null, "id": 3071, "name": "payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2913, "src": "1443:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "id": 3073, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "determineAllocation", "nodeType": "MemberAccess", "referencedDeclaration": 737, "src": "1443:27:4", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_array$_t_address_$dyn_memory_ptr_$_t_array$_t_uint256_$dyn_memory_ptr_$returns$__$", "typeString": "function (address[] memory,uint256[] memory) external" } }, "id": 3076, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1443:49:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3077, "nodeType": "ExpressionStatement", "src": "1443:49:4" } ] } }, "id": 3080, "nodeType": "IfStatement", "src": "1004:499:4", "trueBody": { "id": 3016, "nodeType": "Block", "src": "1040:68:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3012, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "1086:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3013, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1086:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 3009, "name": "payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2913, "src": "1054:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "id": 3011, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "changeAddressByEmployee", "nodeType": "MemberAccess", "referencedDeclaration": 618, "src": "1054:31:4", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$returns$__$", "typeString": "function (address) external" } }, "id": 3014, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1054:43:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3015, "nodeType": "ExpressionStatement", "src": "1054:43:4" } ] } }, "id": 3081, "nodeType": "IfStatement", "src": "880:623:4", "trueBody": { "id": 3004, "nodeType": "Block", "src": "909:89:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 2993, "name": "Payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1984, "src": "938:7:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_Payroll_$1984_$", "typeString": "type(contract Payroll)" } }, "id": 2994, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "PaymentType", "nodeType": "MemberAccess", "referencedDeclaration": 134, "src": "938:19:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_enum$_PaymentType_$134_$", "typeString": "type(enum Payroll.PaymentType)" } }, "id": 2995, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "Payroll", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "938:27:4", "typeDescriptions": { "typeIdentifier": "t_enum$_PaymentType_$134", "typeString": "enum Payroll.PaymentType" } }, { "argumentTypes": null, "hexValue": "30", "id": 2996, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "967:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 3000, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "984:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 2999, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "970:13:4", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_array$_t_uint256_$dyn_memory_$", "typeString": "function (uint256) pure returns (uint256[] memory)" }, "typeName": { "baseType": { "id": 2997, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "974:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2998, "length": null, "nodeType": "ArrayTypeName", "src": "974:9:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } } }, "id": 3001, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "970:16:4", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_enum$_PaymentType_$134", "typeString": "enum Payroll.PaymentType" }, { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } ], "expression": { "argumentTypes": null, "id": 2990, "name": "payroll", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2913, "src": "923:7:4", "typeDescriptions": { "typeIdentifier": "t_contract$_Payroll_$1984", "typeString": "contract Payroll" } }, "id": 2992, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "payday", "nodeType": "MemberAccess", "referencedDeclaration": 884, "src": "923:14:4", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_enum$_PaymentType_$134_$_t_uint256_$_t_array$_t_uint256_$dyn_memory_ptr_$returns$__$", "typeString": "function (enum Payroll.PaymentType,uint256,uint256[] memory) external" } }, "id": 3002, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "923:64:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3003, "nodeType": "ExpressionStatement", "src": "923:64:4" } ] } } ] }, "documentation": null, "id": 3083, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "reenter", "nodeType": "FunctionDefinition", "parameters": { "id": 2975, "nodeType": "ParameterList", "parameters": [], "src": "782:2:4" }, "payable": false, "returnParameters": { "id": 2976, "nodeType": "ParameterList", "parameters": [], "src": "792:0:4" }, "scope": 3084, "src": "766:743:4", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" } ], "scope": 3370, "src": "159:1352:4" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 3085, "name": "ERC20", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 14294, "src": "1541:5:4", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$14294", "typeString": "contract ERC20" } }, "id": 3086, "nodeType": "InheritanceSpecifier", "src": "1541:5:4" } ], "contractDependencies": [ 14294 ], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 3369, "linearizedBaseContracts": [ 3369, 14294 ], "name": "MaliciousERC20", "nodeType": "ContractDefinition", "nodes": [ { "id": 3089, "libraryName": { "contractScope": null, "id": 3087, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 14064, "src": "1559:8:4", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$14064", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "1553:27:4", "typeName": { "id": 3088, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1572:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "constant": false, "id": 3091, "name": "employee", "nodeType": "VariableDeclaration", "scope": 3369, "src": "1586:33:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" }, "typeName": { "contractScope": null, "id": 3090, "name": "MaliciousEmployee", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3084, "src": "1586:17:4", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 3093, "name": "totalSupply_", "nodeType": "VariableDeclaration", "scope": 3369, "src": "1625:28:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3092, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1625:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "private" }, { "constant": false, "id": 3097, "name": "balances", "nodeType": "VariableDeclaration", "scope": 3369, "src": "1659:45:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "typeName": { "id": 3096, "keyType": { "id": 3094, "name": "address", "nodeType": "ElementaryTypeName", "src": "1668:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "1659:28:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 3095, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1679:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "private" }, { "constant": false, "id": 3103, "name": "allowed", "nodeType": "VariableDeclaration", "scope": 3369, "src": "1710:65:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "typeName": { "id": 3102, "keyType": { "id": 3098, "name": "address", "nodeType": "ElementaryTypeName", "src": "1719:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "1710:49:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "valueType": { "id": 3101, "keyType": { "id": 3099, "name": "address", "nodeType": "ElementaryTypeName", "src": "1739:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "1730:28:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 3100, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1750:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } } }, "value": null, "visibility": "private" }, { "anonymous": false, "documentation": null, "id": 3111, "name": "Approval", "nodeType": "EventDefinition", "parameters": { "id": 3110, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3105, "indexed": true, "name": "owner", "nodeType": "VariableDeclaration", "scope": 3111, "src": "1797:21:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3104, "name": "address", "nodeType": "ElementaryTypeName", "src": "1797:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3107, "indexed": true, "name": "spender", "nodeType": "VariableDeclaration", "scope": 3111, "src": "1820:23:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3106, "name": "address", "nodeType": "ElementaryTypeName", "src": "1820:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3109, "indexed": false, "name": "value", "nodeType": "VariableDeclaration", "scope": 3111, "src": "1845:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3108, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1845:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1796:63:4" }, "src": "1782:78:4" }, { "anonymous": false, "documentation": null, "id": 3119, "name": "Transfer", "nodeType": "EventDefinition", "parameters": { "id": 3118, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3113, "indexed": true, "name": "from", "nodeType": "VariableDeclaration", "scope": 3119, "src": "1880:20:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3112, "name": "address", "nodeType": "ElementaryTypeName", "src": "1880:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3115, "indexed": true, "name": "to", "nodeType": "VariableDeclaration", "scope": 3119, "src": "1902:18:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3114, "name": "address", "nodeType": "ElementaryTypeName", "src": "1902:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3117, "indexed": false, "name": "value", "nodeType": "VariableDeclaration", "scope": 3119, "src": "1922:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3116, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1922:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1879:57:4" }, "src": "1865:72:4" }, { "body": { "id": 3141, "nodeType": "Block", "src": "2016:123:4", "statements": [ { "expression": { "argumentTypes": null, "id": 3128, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3126, "name": "employee", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3091, "src": "2026:8:4", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 3127, "name": "_employee", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3121, "src": "2037:9:4", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" } }, "src": "2026:20:4", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" } }, "id": 3129, "nodeType": "ExpressionStatement", "src": "2026:20:4" }, { "expression": { "argumentTypes": null, "id": 3132, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3130, "name": "totalSupply_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3093, "src": "2056:12:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 3131, "name": "initialBalance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3123, "src": "2071:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2056:29:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3133, "nodeType": "ExpressionStatement", "src": "2056:29:4" }, { "expression": { "argumentTypes": null, "id": 3139, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3134, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2095:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3137, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3135, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2104:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3136, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2104:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2095:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 3138, "name": "initialBalance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3123, "src": "2118:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2095:37:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3140, "nodeType": "ExpressionStatement", "src": "2095:37:4" } ] }, "documentation": null, "id": 3142, "implemented": true, "isConstructor": true, "isDeclaredConst": false, "modifiers": [], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 3124, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3121, "name": "_employee", "nodeType": "VariableDeclaration", "scope": 3142, "src": "1956:27:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" }, "typeName": { "contractScope": null, "id": 3120, "name": "MaliciousEmployee", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3084, "src": "1956:17:4", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3123, "name": "initialBalance", "nodeType": "VariableDeclaration", "scope": 3142, "src": "1985:22:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3122, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1985:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1955:53:4" }, "payable": false, "returnParameters": { "id": 3125, "nodeType": "ParameterList", "parameters": [], "src": "2016:0:4" }, "scope": 3369, "src": "1943:196:4", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 3149, "nodeType": "Block", "src": "2198:24:4", "statements": [ { "expression": { "argumentTypes": null, "id": 3147, "name": "totalSupply_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3093, "src": "2207:12:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 3146, "id": 3148, "nodeType": "Return", "src": "2200:19:4" } ] }, "documentation": null, "id": 3150, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "totalSupply", "nodeType": "FunctionDefinition", "parameters": { "id": 3143, "nodeType": "ParameterList", "parameters": [], "src": "2165:2:4" }, "payable": false, "returnParameters": { "id": 3146, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3145, "name": "", "nodeType": "VariableDeclaration", "scope": 3150, "src": "2189:7:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3144, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2189:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2188:9:4" }, "scope": 3369, "src": "2145:77:4", "stateMutability": "view", "superFunction": 14232, "visibility": "public" }, { "body": { "id": 3161, "nodeType": "Block", "src": "2293:28:4", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3157, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2302:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3159, "indexExpression": { "argumentTypes": null, "id": 3158, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3152, "src": "2311:6:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2302:16:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 3156, "id": 3160, "nodeType": "Return", "src": "2295:23:4" } ] }, "documentation": null, "id": 3162, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "balanceOf", "nodeType": "FunctionDefinition", "parameters": { "id": 3153, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3152, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 3162, "src": "2247:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3151, "name": "address", "nodeType": "ElementaryTypeName", "src": "2247:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "2246:16:4" }, "payable": false, "returnParameters": { "id": 3156, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3155, "name": "", "nodeType": "VariableDeclaration", "scope": 3162, "src": "2284:7:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3154, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2284:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2283:9:4" }, "scope": 3369, "src": "2228:93:4", "stateMutability": "view", "superFunction": 14239, "visibility": "public" }, { "body": { "id": 3177, "nodeType": "Block", "src": "2410:37:4", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3171, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3103, "src": "2419:7:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 3173, "indexExpression": { "argumentTypes": null, "id": 3172, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3164, "src": "2427:6:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2419:15:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3175, "indexExpression": { "argumentTypes": null, "id": 3174, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3166, "src": "2435:8:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2419:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 3170, "id": 3176, "nodeType": "Return", "src": "2412:32:4" } ] }, "documentation": null, "id": 3178, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "allowance", "nodeType": "FunctionDefinition", "parameters": { "id": 3167, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3164, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 3178, "src": "2346:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3163, "name": "address", "nodeType": "ElementaryTypeName", "src": "2346:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3166, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 3178, "src": "2362:16:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3165, "name": "address", "nodeType": "ElementaryTypeName", "src": "2362:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "2345:34:4" }, "payable": false, "returnParameters": { "id": 3170, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3169, "name": "", "nodeType": "VariableDeclaration", "scope": 3178, "src": "2401:7:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3168, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2401:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2400:9:4" }, "scope": 3369, "src": "2327:120:4", "stateMutability": "view", "superFunction": 14248, "visibility": "public" }, { "body": { "id": 3216, "nodeType": "Block", "src": "2526:182:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3195, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3188, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3103, "src": "2544:7:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 3191, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3189, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2552:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3190, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2552:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2544:19:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3193, "indexExpression": { "argumentTypes": null, "id": 3192, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3180, "src": "2564:8:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2544:29:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 3194, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2577:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2544:34:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3187, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15156, "src": "2536:7:4", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3196, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2536:43:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3197, "nodeType": "ExpressionStatement", "src": "2536:43:4" }, { "expression": { "argumentTypes": null, "id": 3205, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3198, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3103, "src": "2589:7:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 3202, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3199, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2597:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3200, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2597:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2589:19:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3203, "indexExpression": { "argumentTypes": null, "id": 3201, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3180, "src": "2609:8:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2589:29:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 3204, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3182, "src": "2621:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2589:38:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3206, "nodeType": "ExpressionStatement", "src": "2589:38:4" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3208, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2651:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3209, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2651:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 3210, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3180, "src": "2663:8:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 3211, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3182, "src": "2673:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3207, "name": "Approval", "nodeType": "Identifier", "overloadedDeclarations": [ 3111 ], "referencedDeclaration": 3111, "src": "2642:8:4", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 3212, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2642:38:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3213, "nodeType": "EmitStatement", "src": "2637:43:4" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 3214, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2697:4:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 3186, "id": 3215, "nodeType": "Return", "src": "2690:11:4" } ] }, "documentation": null, "id": 3217, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "approve", "nodeType": "FunctionDefinition", "parameters": { "id": 3183, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3180, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 3217, "src": "2470:16:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3179, "name": "address", "nodeType": "ElementaryTypeName", "src": "2470:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3182, "name": "_value", "nodeType": "VariableDeclaration", "scope": 3217, "src": "2488:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3181, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2488:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2469:34:4" }, "payable": false, "returnParameters": { "id": 3186, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3185, "name": "", "nodeType": "VariableDeclaration", "scope": 3217, "src": "2520:4:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 3184, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2520:4:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2519:6:4" }, "scope": 3369, "src": "2453:255:4", "stateMutability": "nonpayable", "superFunction": 14266, "visibility": "public" }, { "body": { "id": 3281, "nodeType": "Block", "src": "2783:307:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3232, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3227, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3221, "src": "2801:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3228, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2811:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3231, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3229, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2820:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3230, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2820:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2811:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2801:30:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3226, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15156, "src": "2793:7:4", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3233, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2793:39:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3234, "nodeType": "ExpressionStatement", "src": "2793:39:4" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 3240, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3236, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3219, "src": "2850:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 3238, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2865:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 3237, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2857:7:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 3239, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2857:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "2850:17:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3235, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15156, "src": "2842:7:4", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3241, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2842:26:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3242, "nodeType": "ExpressionStatement", "src": "2842:26:4" }, { "expression": { "argumentTypes": null, "id": 3254, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3243, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2879:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3246, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3244, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2888:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3245, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2888:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2879:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3252, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3221, "src": "2927:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3247, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2902:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3250, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3248, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "2911:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3249, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2911:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2902:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3251, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 14017, "src": "2902:24:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 3253, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2902:32:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2879:55:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3255, "nodeType": "ExpressionStatement", "src": "2879:55:4" }, { "expression": { "argumentTypes": null, "id": 3265, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3256, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2944:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3258, "indexExpression": { "argumentTypes": null, "id": 3257, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3219, "src": "2953:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2944:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3263, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3221, "src": "2978:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3259, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "2960:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3261, "indexExpression": { "argumentTypes": null, "id": 3260, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3219, "src": "2969:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2960:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3262, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 14042, "src": "2960:17:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 3264, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2960:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2944:41:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3266, "nodeType": "ExpressionStatement", "src": "2944:41:4" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3268, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "3009:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3269, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3009:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 3270, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3219, "src": "3021:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 3271, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3221, "src": "3026:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3267, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [ 3119 ], "referencedDeclaration": 3119, "src": "3000:8:4", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 3272, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3000:33:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3273, "nodeType": "EmitStatement", "src": "2995:38:4" }, { "expression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "id": 3274, "name": "employee", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3091, "src": "3044:8:4", "typeDescriptions": { "typeIdentifier": "t_contract$_MaliciousEmployee_$3084", "typeString": "contract MaliciousEmployee" } }, "id": 3276, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "reenter", "nodeType": "MemberAccess", "referencedDeclaration": 3083, "src": "3044:16:4", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$__$returns$__$", "typeString": "function () external" } }, "id": 3277, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3044:18:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3278, "nodeType": "ExpressionStatement", "src": "3044:18:4" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 3279, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3079:4:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 3225, "id": 3280, "nodeType": "Return", "src": "3072:11:4" } ] }, "documentation": null, "id": 3282, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transfer", "nodeType": "FunctionDefinition", "parameters": { "id": 3222, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3219, "name": "_to", "nodeType": "VariableDeclaration", "scope": 3282, "src": "2732:11:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3218, "name": "address", "nodeType": "ElementaryTypeName", "src": "2732:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3221, "name": "_value", "nodeType": "VariableDeclaration", "scope": 3282, "src": "2745:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3220, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2745:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2731:29:4" }, "payable": false, "returnParameters": { "id": 3225, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3224, "name": "", "nodeType": "VariableDeclaration", "scope": 3282, "src": "2777:4:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 3223, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2777:4:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2776:6:4" }, "scope": 3369, "src": "2714:376:4", "stateMutability": "nonpayable", "superFunction": 14257, "visibility": "public" }, { "body": { "id": 3367, "nodeType": "Block", "src": "3184:391:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3298, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3294, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3288, "src": "3202:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3295, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "3212:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3297, "indexExpression": { "argumentTypes": null, "id": 3296, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3221:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3212:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3202:25:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3293, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15156, "src": "3194:7:4", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3299, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3194:34:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3300, "nodeType": "ExpressionStatement", "src": "3194:34:4" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3309, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3302, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3288, "src": "3246:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3303, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3103, "src": "3256:7:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 3305, "indexExpression": { "argumentTypes": null, "id": 3304, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3264:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3256:14:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3308, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3306, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "3271:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3307, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3271:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3256:26:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3246:36:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3301, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15156, "src": "3238:7:4", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3310, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3238:45:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3311, "nodeType": "ExpressionStatement", "src": "3238:45:4" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 3317, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3313, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3286, "src": "3301:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 3315, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3316:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 3314, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3308:7:4", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 3316, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3308:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "3301:17:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3312, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15156, "src": "3293:7:4", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3318, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3293:26:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3319, "nodeType": "ExpressionStatement", "src": "3293:26:4" }, { "expression": { "argumentTypes": null, "id": 3329, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3320, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "3330:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3322, "indexExpression": { "argumentTypes": null, "id": 3321, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3339:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3330:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3327, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3288, "src": "3368:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3323, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "3348:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3325, "indexExpression": { "argumentTypes": null, "id": 3324, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3357:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3348:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3326, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 14017, "src": "3348:19:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 3328, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3348:27:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3330:45:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3330, "nodeType": "ExpressionStatement", "src": "3330:45:4" }, { "expression": { "argumentTypes": null, "id": 3340, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3331, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "3385:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3333, "indexExpression": { "argumentTypes": null, "id": 3332, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3286, "src": "3394:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3385:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3338, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3288, "src": "3419:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3334, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3097, "src": "3401:8:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3336, "indexExpression": { "argumentTypes": null, "id": 3335, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3286, "src": "3410:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3401:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3337, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 14042, "src": "3401:17:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 3339, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3401:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3385:41:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3341, "nodeType": "ExpressionStatement", "src": "3385:41:4" }, { "expression": { "argumentTypes": null, "id": 3357, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3342, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3103, "src": "3436:7:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 3346, "indexExpression": { "argumentTypes": null, "id": 3343, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3444:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3436:14:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3347, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3344, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "3451:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3345, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3451:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3436:26:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3355, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3288, "src": "3496:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 3348, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3103, "src": "3465:7:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 3350, "indexExpression": { "argumentTypes": null, "id": 3349, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3473:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3465:14:4", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 3353, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3351, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15153, "src": "3480:3:4", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 3352, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3480:10:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3465:26:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3354, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 14017, "src": "3465:30:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 3356, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3465:38:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3436:67:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3358, "nodeType": "ExpressionStatement", "src": "3436:67:4" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3360, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3284, "src": "3527:5:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 3361, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3286, "src": "3534:3:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 3362, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3288, "src": "3539:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3359, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [ 3119 ], "referencedDeclaration": 3119, "src": "3518:8:4", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 3363, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3518:28:4", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3364, "nodeType": "EmitStatement", "src": "3513:33:4" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 3365, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3564:4:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 3292, "id": 3366, "nodeType": "Return", "src": "3557:11:4" } ] }, "documentation": null, "id": 3368, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transferFrom", "nodeType": "FunctionDefinition", "parameters": { "id": 3289, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3284, "name": "_from", "nodeType": "VariableDeclaration", "scope": 3368, "src": "3118:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3283, "name": "address", "nodeType": "ElementaryTypeName", "src": "3118:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3286, "name": "_to", "nodeType": "VariableDeclaration", "scope": 3368, "src": "3133:11:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 3285, "name": "address", "nodeType": "ElementaryTypeName", "src": "3133:7:4", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3288, "name": "_value", "nodeType": "VariableDeclaration", "scope": 3368, "src": "3146:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3287, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3146:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3117:44:4" }, "payable": false, "returnParameters": { "id": 3292, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3291, "name": "", "nodeType": "VariableDeclaration", "scope": 3368, "src": "3178:4:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 3290, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3178:4:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3177:6:4" }, "scope": 3369, "src": "3096:479:4", "stateMutability": "nonpayable", "superFunction": 14277, "visibility": "public" } ], "scope": 3370, "src": "1514:2063:4" } ], "src": "0:3578:4" }, "compiler": { "name": "solc", "version": "0.4.24+commit.e67f0147.Emscripten.clang" }, "networks": {}, "schemaVersion": "2.0.1", "updatedAt": "2019-09-04T11:02:55.595Z" }