{ "contractName": "MaliciousEmployee", "abi": [ { "constant": true, "inputs": [], "name": "action", "outputs": [ { "name": "", "type": "uint8" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "payroll", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "counter", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "name": "_payroll", "type": "address" } ], "name": "setPayroll", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_action", "type": "uint8" } ], "name": "setAction", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [], "name": "payday", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_tokens", "type": "address[]" }, { "name": "_distribution", "type": "uint256[]" } ], "name": "determineAllocation", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [], "name": "reenter", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" } ], "bytecode": "0x608060405234801561001057600080fd5b506108f6806100206000396000f30060806040526004361061008d5763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630a7a1c4d811461009257806313cb8a9b146100cb578063562a5d06146100e857806361bc221a146101265780636881385b1461014d5780638139d2ca14610162578063a0fe97e314610190578063fe2fdf0b146101a5575b600080fd5b34801561009e57600080fd5b506100a7610233565b604051808260028111156100b757fe5b60ff16815260200191505060405180910390f35b3480156100d757600080fd5b506100e660ff6004351661023c565b005b3480156100f457600080fd5b506100fd61027b565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b34801561013257600080fd5b5061013b61029c565b60408051918252519081900360200190f35b34801561015957600080fd5b506100e66102a2565b34801561016e57600080fd5b506100e673ffffffffffffffffffffffffffffffffffffffff60043516610385565b34801561019c57600080fd5b506100e66103d1565b3480156101b157600080fd5b50604080516020600480358082013583810280860185019096528085526100e695369593946024949385019291829185019084908082843750506040805187358901803560208181028481018201909552818452989b9a9989019892975090820195509350839250850190849080828437509497506107999650505050505050565b60005460ff1681565b600080548291907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016600183600281111561027357fe5b021790555050565b600054610100900473ffffffffffffffffffffffffffffffffffffffff1681565b60015481565b60008054604080518381526020808201928390527fdcb33f3e000000000000000000000000000000000000000000000000000000008352602482018581526044830186905260606064840190815283516084850181905261010090960473ffffffffffffffffffffffffffffffffffffffff169663dcb33f3e96909586959460a486019202808383895b8381101561034457818101518382015260200161032c565b50505050905001945050505050600060405180830381600087803b15801561036b57600080fd5b505af115801561037f573d6000803e3d6000fd5b50505050565b6000805473ffffffffffffffffffffffffffffffffffffffff909216610100027fffffffffffffffffffffff0000000000000000000000000000000000000000ff909216919091179055565b6060806060600060015411156103e657610794565b60018054810190556000805460ff16600281111561040057fe5b14156104ec5760008054604080518381526020808201928390527fdcb33f3e000000000000000000000000000000000000000000000000000000008352602482018581526044830186905260606064840190815283516084850181905261010090960473ffffffffffffffffffffffffffffffffffffffff169663dcb33f3e96909586959460a486019202808383895b838110156104a8578181015183820152602001610490565b50505050905001945050505050600060405180830381600087803b1580156104cf57600080fd5b505af11580156104e3573d6000803e3d6000fd5b50505050610794565b600160005460ff1660028111156104ff57fe5b14156105765760008054604080517f1216906b000000000000000000000000000000000000000000000000000000008152336004820152905161010090920473ffffffffffffffffffffffffffffffffffffffff1692631216906b9260248084019382900301818387803b1580156104cf57600080fd5b600260005460ff16600281111561058957fe5b141561079457604080516001808252818301909252906020808301908038833901905050925060008360008151811015156105c057fe5b73ffffffffffffffffffffffffffffffffffffffff92909216602092830291909101820152604080516001808252818301909252918281019080388339019050509150606482600081518110151561061457fe5b6020908102909101015260408051600180825281830190925290816020016020820280388339019050509050670de0b6b3a764000081600081518110151561065857fe5b9060200190602002018181525050600060019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663fe2fdf0b84846040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808060200180602001838103835285818151815260200191508051906020019060200280838360005b838110156107155781810151838201526020016106fd565b50505050905001838103825284818151815260200191508051906020019060200280838360005b8381101561075457818101518382015260200161073c565b50505050905001945050505050600060405180830381600087803b15801561077b57600080fd5b505af115801561078f573d6000803e3d6000fd5b505050505b505050565b600060019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663fe2fdf0b83836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808060200180602001838103835285818151815260200191508051906020019060200280838360005b83811015610848578181015183820152602001610830565b50505050905001838103825284818151815260200191508051906020019060200280838360005b8381101561088757818101518382015260200161086f565b50505050905001945050505050600060405180830381600087803b1580156108ae57600080fd5b505af11580156108c2573d6000803e3d6000fd5b5050505050505600a165627a7a7230582064435b11bf74fd88808051d09dc83ff0cd0246be3297064a9ee393b8841b37870029", "deployedBytecode": "0x60806040526004361061008d5763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630a7a1c4d811461009257806313cb8a9b146100cb578063562a5d06146100e857806361bc221a146101265780636881385b1461014d5780638139d2ca14610162578063a0fe97e314610190578063fe2fdf0b146101a5575b600080fd5b34801561009e57600080fd5b506100a7610233565b604051808260028111156100b757fe5b60ff16815260200191505060405180910390f35b3480156100d757600080fd5b506100e660ff6004351661023c565b005b3480156100f457600080fd5b506100fd61027b565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b34801561013257600080fd5b5061013b61029c565b60408051918252519081900360200190f35b34801561015957600080fd5b506100e66102a2565b34801561016e57600080fd5b506100e673ffffffffffffffffffffffffffffffffffffffff60043516610385565b34801561019c57600080fd5b506100e66103d1565b3480156101b157600080fd5b50604080516020600480358082013583810280860185019096528085526100e695369593946024949385019291829185019084908082843750506040805187358901803560208181028481018201909552818452989b9a9989019892975090820195509350839250850190849080828437509497506107999650505050505050565b60005460ff1681565b600080548291907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016600183600281111561027357fe5b021790555050565b600054610100900473ffffffffffffffffffffffffffffffffffffffff1681565b60015481565b60008054604080518381526020808201928390527fdcb33f3e000000000000000000000000000000000000000000000000000000008352602482018581526044830186905260606064840190815283516084850181905261010090960473ffffffffffffffffffffffffffffffffffffffff169663dcb33f3e96909586959460a486019202808383895b8381101561034457818101518382015260200161032c565b50505050905001945050505050600060405180830381600087803b15801561036b57600080fd5b505af115801561037f573d6000803e3d6000fd5b50505050565b6000805473ffffffffffffffffffffffffffffffffffffffff909216610100027fffffffffffffffffffffff0000000000000000000000000000000000000000ff909216919091179055565b6060806060600060015411156103e657610794565b60018054810190556000805460ff16600281111561040057fe5b14156104ec5760008054604080518381526020808201928390527fdcb33f3e000000000000000000000000000000000000000000000000000000008352602482018581526044830186905260606064840190815283516084850181905261010090960473ffffffffffffffffffffffffffffffffffffffff169663dcb33f3e96909586959460a486019202808383895b838110156104a8578181015183820152602001610490565b50505050905001945050505050600060405180830381600087803b1580156104cf57600080fd5b505af11580156104e3573d6000803e3d6000fd5b50505050610794565b600160005460ff1660028111156104ff57fe5b14156105765760008054604080517f1216906b000000000000000000000000000000000000000000000000000000008152336004820152905161010090920473ffffffffffffffffffffffffffffffffffffffff1692631216906b9260248084019382900301818387803b1580156104cf57600080fd5b600260005460ff16600281111561058957fe5b141561079457604080516001808252818301909252906020808301908038833901905050925060008360008151811015156105c057fe5b73ffffffffffffffffffffffffffffffffffffffff92909216602092830291909101820152604080516001808252818301909252918281019080388339019050509150606482600081518110151561061457fe5b6020908102909101015260408051600180825281830190925290816020016020820280388339019050509050670de0b6b3a764000081600081518110151561065857fe5b9060200190602002018181525050600060019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663fe2fdf0b84846040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808060200180602001838103835285818151815260200191508051906020019060200280838360005b838110156107155781810151838201526020016106fd565b50505050905001838103825284818151815260200191508051906020019060200280838360005b8381101561075457818101518382015260200161073c565b50505050905001945050505050600060405180830381600087803b15801561077b57600080fd5b505af115801561078f573d6000803e3d6000fd5b505050505b505050565b600060019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663fe2fdf0b83836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808060200180602001838103835285818151815260200191508051906020019060200280838360005b83811015610848578181015183820152602001610830565b50505050905001838103825284818151815260200191508051906020019060200280838360005b8381101561088757818101518382015260200161086f565b50505050905001945050505050600060405180830381600087803b1580156108ae57600080fd5b505af11580156108c2573d6000803e3d6000fd5b5050505050505600a165627a7a7230582064435b11bf74fd88808051d09dc83ff0cd0246be3297064a9ee393b8841b37870029", "sourceMap": "159:1352:4:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;159:1352:4;;;;;;;", "deployedSourceMap": "159:1352:4:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;192:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;192:20:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;419:75;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;419:75:4;;;;;;;;;218:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;218:22:4;;;;;;;;;;;;;;;;;;;;;;;246;;8:9:-1;5:2;;;30:1;27;20:12;5:2;246:22:4;;;;;;;;;;;;;;;;;;;;500:106;;8:9:-1;5:2;;;30:1;27;20:12;5:2;500:106:4;;;;333:80;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;333:80:4;;;;;;;766:743;;8:9:-1;5:2;;;30:1;27;20:12;5:2;766:743:4;;;;612:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;612:148:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;612:148:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;612:148:4;;;;-1:-1:-1;612:148:4;-1:-1:-1;612:148:4;;-1:-1:-1;612:148:4;;;;;;;;;-1:-1:-1;612:148:4;;-1:-1:-1;612:148:4;;-1:-1:-1;;;;;;;612:148:4;192:20;;;;;;:::o;419:75::-;471:6;:16;;480:7;;471:6;:16;;;480:7;471:16;;;;;;;;;;;;;419:75;:::o;218:22::-;;;;;;;;;:::o;246:::-;;;;:::o;500:106::-;535:7;;;582:16;;;;;;;;;;;;;;535:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:7;;;;;;;:14;;:7;;;;582:16;535:64;;;;;;;582:16;535:7;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;535:64:4;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;535:64:4;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;535:64:4;;;;500:106::o;333:80::-;388:7;:18;;;;;;;;;;;;;;;;;;333:80::o;766:743::-;1164:23;1256:29;1353:25;816:1;806:7;;:11;802:48;;;833:7;;802:48;860:7;:9;;;;;;:7;884:6;;;;:23;;;;;;;;;880:623;;;923:7;;;970:16;;;;;;;;;;;;;;923:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:7;;;;;;;:14;;:7;;;;970:16;923:64;;;;;;;970:16;923:7;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;923:64:4;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;923:64:4;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;923:64:4;;;;880:623;;;1018:20;1008:6;;;;:30;;;;;;;;;1004:499;;;1054:7;;;:43;;;;;;1086:10;1054:43;;;;;;:7;;;;;;;:31;;:43;;;;;;;;;;:7;;:43;;;5:2:-1;;;;30:1;27;20:12;1004:499:4;1128:20;1118:6;;;;:30;;;;;;;;;1114:389;;;1190:16;;;1204:1;1190:16;;;;;;;;;;;;;;;;105:10:-1;1190:16:4;88:34:-1;136:17;;-1:-1;1190:16:4;1164:42;;1240:1;1220:6;1227:1;1220:9;;;;;;;;;;:22;;;;;:9;;;;;;;;;;:22;1288:16;;;1302:1;1288:16;;;;;;;;;;;;;;1220:9;105:10:-1;1288:16:4;88:34:-1;136:17;;-1:-1;1288:16:4;1256:48;;1336:3;1318:12;1331:1;1318:15;;;;;;;;;;;;;;;;;;:21;1381:16;;;1395:1;1381:16;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;136:17;;-1:-1;1381:16:4;1353:44;;1425:4;1411:8;1420:1;1411:11;;;;;;;;;;;;;;;;;:18;;;;;1443:7;;;;;;;;;;;:27;;;1471:6;1479:12;1443:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;1443:49:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;1443:49:4;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1443:49:4;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;1443:49:4;;;;1114:389;766:743;;;:::o;612:148::-;702:7;;;;;;;;;;;:27;;;730:7;739:13;702:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;702:51:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;702:51:4;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;702:51:4;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;702:51:4;;;;612:148;;:::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.602Z" }