019b3836-410f-70ea-9591-9d9b01b0282b
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 5329 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 5330 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 97714 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 97715 | capability.graph | complete | 1 / 3 | 1 week ago |
| 97716 | detector.run | complete | 1 / 3 | 1 week ago |
| 97717 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0153 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x06c3a2fc 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0155 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x0d4a4723 00000025: EQ 00000026: PUSH2 0x015d 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x173825d9 00000030: EQ 00000031: PUSH2 0x0165 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x205c2878 0000003b: EQ 0000003c: PUSH2 0x0209 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x2f54bf6e 00000046: EQ 00000047: PUSH2 0x0235 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x521eb273 00000051: EQ 00000052: PUSH2 0x02c4 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x6448f6e1 0000005c: EQ 0000005d: PUSH2 0x02d7 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x692a365d 00000067: EQ 00000068: PUSH2 0x02df 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x7065cb48 00000072: EQ 00000073: PUSH2 0x02e7 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x746c9171 0000007d: EQ 0000007e: PUSH2 0x0310 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x7f0d50f0 00000088: EQ 00000089: PUSH2 0x0319 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x95a19df5 00000093: EQ 00000094: PUSH2 0x032b 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x97b7b03d 0000009e: EQ 0000009f: PUSH2 0x0333 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xac5d4234 000000a9: EQ 000000aa: PUSH2 0x033b 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xb75c7dc6 000000b4: EQ 000000b5: PUSH2 0x0343 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xba51a6df 000000bf: EQ 000000c0: PUSH2 0x03c6 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xc2b4748c 000000ca: EQ 000000cb: PUSH2 0x03ef 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xc2cf7326 000000d5: EQ 000000d6: PUSH2 0x03f7 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xc75155fd 000000e0: EQ 000000e1: PUSH2 0x049f 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xd2d209d9 000000eb: EQ 000000ec: PUSH2 0x04a7 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xdeaa59df 000000f6: EQ 000000f7: PUSH2 0x04af 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xe2ee74b9 00000101: EQ 00000102: PUSH2 0x04d8 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xe40e6294 0000010c: EQ 0000010d: PUSH2 0x04e0 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xe4aedfe5 00000117: EQ 00000118: PUSH2 0x04e8 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xe546bb0c 00000122: EQ 00000123: PUSH2 0x04f0 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xeb5f9bb4 0000012d: EQ 0000012e: PUSH2 0x0503 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xf00d4b5d 00000138: EQ 00000139: PUSH2 0x050b 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xf5a5f771 00000143: EQ 00000144: PUSH2 0x0537 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xf5d2ad53 0000014e: EQ 0000014f: PUSH2 0x053f 00000152: JUMPI 00000153: JUMPDEST 00000154: STOP 00000155: JUMPDEST 00000156: PUSH2 0x0547 00000159: PUSH1 0x0b 0000015b: DUP2 0000015c: JUMP 0000015d: JUMPDEST 0000015e: PUSH2 0x0547 00000161: PUSH1 0x09 00000163: DUP2 00000164: JUMP 00000165: JUMPDEST 00000166: PUSH2 0x0153 00000169: PUSH1 0x04 0000016b: CALLDATALOAD 0000016c: PUSH1 0x00 0000016e: CALLDATASIZE 0000016f: PUSH1 0x40 00000171: MLOAD 00000172: DUP1 00000173: DUP4 00000174: DUP4 00000175: DUP1 00000176: DUP3 00000177: DUP5 00000178: CALLDATACOPY 00000179: POP 0000017a: POP 0000017b: POP 0000017c: SWAP1 0000017d: DUP2 0000017e: ADD 0000017f: DUP2 00000180: SWAP1 00000181: SUB 00000182: SWAP1 00000183: KECCAK256 00000184: SWAP1 00000185: POP 00000186: PUSH2 0x094f 00000189: DUP2 0000018a: JUMPDEST 0000018b: PUSH1 0x00 0000018d: PUSH1 0x00 0000018f: PUSH1 0x00 00000191: PUSH1 0x00 00000193: PUSH1 0x01 00000195: PUSH1 0x00 00000197: POP 00000198: PUSH20 0x8f57162ef4204e383cdd7ca55c11ab374e23634d 000001ad: PUSH4 0x93e52ae0 000001b2: SWAP1 000001b3: SWAP2 000001b4: CALLER 000001b5: PUSH1 0x40 000001b7: MLOAD 000001b8: DUP4 000001b9: PUSH1 0xe0 000001bb: PUSH1 0x02 000001bd: EXP 000001be: MUL 000001bf: DUP2 000001c0: MSTORE 000001c1: PUSH1 0x04 000001c3: ADD 000001c4: DUP1 000001c5: DUP4 000001c6: DUP2 000001c7: MSTORE 000001c8: PUSH1 0x20 000001ca: ADD 000001cb: DUP3 000001cc: PUSH1 0x01 000001ce: PUSH1 0xa0 000001d0: PUSH1 0x02 000001d2: EXP 000001d3: SUB 000001d4: AND 000001d5: DUP2 000001d6: MSTORE 000001d7: PUSH1 0x20 000001d9: ADD 000001da: SWAP3 000001db: POP 000001dc: POP 000001dd: POP 000001de: PUSH1 0x20 000001e0: PUSH1 0x40 000001e2: MLOAD 000001e3: DUP1 000001e4: DUP4 000001e5: SUB 000001e6: DUP2 000001e7: PUSH1 0x00 000001e9: DUP8 000001ea: PUSH1 0x32 000001ec: GAS 000001ed: SUB 000001ee: CALLCODE 000001ef: ISZERO 000001f0: PUSH2 0x0002 000001f3: JUMPI 000001f4: POP 000001f5: POP 000001f6: PUSH1 0x40 000001f8: MLOAD 000001f9: MLOAD 000001fa: SWAP4 000001fb: POP 000001fc: POP 000001fd: DUP3 000001fe: DUP2 000001ff: EQ 00000200: ISZERO 00000201: PUSH2 0x0a4c 00000204: JUMPI 00000205: PUSH2 0x0be3 00000208: JUMP 00000209: JUMPDEST 0000020a: PUSH2 0x0153 0000020d: PUSH1 0x04 0000020f: CALLDATALOAD 00000210: PUSH1 0x24 00000212: CALLDATALOAD 00000213: PUSH1 0x00 00000215: CALLDATASIZE 00000216: PUSH1 0x40 00000218: MLOAD 00000219: DUP1 0000021a: DUP4 0000021b: DUP4 0000021c: DUP1 0000021d: DUP3 0000021e: DUP5 0000021f: CALLDATACOPY 00000220: POP 00000221: POP 00000222: POP 00000223: SWAP1 00000224: DUP2 00000225: ADD 00000226: DUP2 00000227: SWAP1 00000228: SUB 00000229: SWAP1 0000022a: KECCAK256 0000022b: SWAP1 0000022c: POP 0000022d: PUSH2 0x0688 00000230: DUP2 00000231: PUSH2 0x018a 00000234: JUMP 00000235: JUMPDEST 00000236: PUSH2 0x055f 00000239: PUSH1 0x04 0000023b: CALLDATALOAD 0000023c: JUMPDEST 0000023d: PUSH1 0x40 0000023f: DUP1 00000240: MLOAD 00000241: PUSH32 0x5035db4a00000000000000000000000000000000000000000000000000000000 00000262: DUP2 00000263: MSTORE 00000264: PUSH1 0x01 00000266: PUSH1 0x04 00000268: DUP3 00000269: ADD 0000026a: MSTORE 0000026b: PUSH1 0x01 0000026d: PUSH1 0xa0 0000026f: PUSH1 0x02 00000271: EXP 00000272: SUB 00000273: DUP4 00000274: AND 00000275: PUSH1 0x24 00000277: DUP3 00000278: ADD 00000279: MSTORE 0000027a: SWAP1 0000027b: MLOAD 0000027c: PUSH1 0x00 0000027e: SWAP2 0000027f: PUSH20 0x8f57162ef4204e383cdd7ca55c11ab374e23634d 00000294: SWAP2 00000295: PUSH4 0x5035db4a 0000029a: SWAP2 0000029b: PUSH1 0x44 0000029d: DUP2 0000029e: DUP2 0000029f: ADD 000002a0: SWAP3 000002a1: PUSH1 0x20 000002a3: SWAP3 000002a4: SWAP1 000002a5: SWAP2 000002a6: SWAP1 000002a7: DUP3 000002a8: SWAP1 000002a9: SUB 000002aa: ADD 000002ab: DUP2 000002ac: DUP8 000002ad: DUP8 000002ae: PUSH1 0x32 000002b0: GAS 000002b1: SUB 000002b2: CALLCODE 000002b3: ISZERO 000002b4: PUSH2 0x0002 000002b7: JUMPI 000002b8: POP 000002b9: POP 000002ba: PUSH1 0x40 000002bc: MLOAD 000002bd: MLOAD 000002be: SWAP4 000002bf: SWAP3 000002c0: POP 000002c1: POP 000002c2: POP 000002c3: JUMP 000002c4: JUMPDEST 000002c5: PUSH2 0x0571 000002c8: PUSH2 0x0105 000002cb: SLOAD 000002cc: PUSH1 0x01 000002ce: PUSH1 0xa0 000002d0: PUSH1 0x02 000002d2: EXP 000002d3: SUB 000002d4: AND 000002d5: DUP2 000002d6: JUMP 000002d7: JUMPDEST 000002d8: PUSH2 0x0547 000002db: PUSH1 0x03 000002dd: DUP2 000002de: JUMP 000002df: JUMPDEST 000002e0: PUSH2 0x0547 000002e3: PUSH1 0x01 000002e5: DUP2 000002e6: JUMP 000002e7: JUMPDEST 000002e8: PUSH2 0x0153 000002eb: PUSH1 0x04 000002ed: CALLDATALOAD 000002ee: PUSH1 0x00 000002f0: CALLDATASIZE 000002f1: PUSH1 0x40 000002f3: MLOAD 000002f4: DUP1 000002f5: DUP4 000002f6: DUP4 000002f7: DUP1 000002f8: DUP3 000002f9: DUP5 000002fa: CALLDATACOPY 000002fb: POP 000002fc: POP 000002fd: POP 000002fe: SWAP1 000002ff: DUP2 00000300: ADD 00000301: DUP2 00000302: SWAP1 00000303: SUB 00000304: SWAP1 00000305: KECCAK256 00000306: SWAP1 00000307: POP 00000308: PUSH2 0x08bd 0000030b: DUP2 0000030c: PUSH2 0x018a 0000030f: JUMP 00000310: JUMPDEST 00000311: PUSH2 0x055f 00000314: PUSH1 0x00 00000316: SLOAD 00000317: DUP2 00000318: JUMP 00000319: JUMPDEST 0000031a: PUSH2 0x0153 0000031d: PUSH1 0x04 0000031f: CALLDATALOAD 00000320: PUSH1 0x24 00000322: CALLDATALOAD 00000323: PUSH2 0x05b9 00000326: CALLER 00000327: PUSH2 0x023c 0000032a: JUMP 0000032b: JUMPDEST 0000032c: PUSH2 0x0547 0000032f: PUSH1 0x0e 00000331: DUP2 00000332: JUMP 00000333: JUMPDEST 00000334: PUSH2 0x0547 00000337: PUSH1 0x05 00000339: DUP2 0000033a: JUMP 0000033b: JUMPDEST 0000033c: PUSH2 0x0547 0000033f: PUSH1 0x07 00000341: DUP2 00000342: JUMP 00000343: JUMPDEST 00000344: PUSH2 0x0153 00000347: PUSH1 0x04 00000349: CALLDATALOAD 0000034a: PUSH1 0x00 0000034c: PUSH1 0x00 0000034e: PUSH1 0x00 00000350: PUSH1 0x01 00000352: PUSH1 0x00 00000354: POP 00000355: PUSH20 0x8f57162ef4204e383cdd7ca55c11ab374e23634d 0000036a: PUSH4 0x93e52ae0 0000036f: SWAP1 00000370: SWAP2 00000371: CALLER 00000372: PUSH1 0x40 00000374: MLOAD 00000375: DUP4 00000376: PUSH1 0xe0 00000378: PUSH1 0x02 0000037a: EXP 0000037b: MUL 0000037c: DUP2 0000037d: MSTORE 0000037e: PUSH1 0x04 00000380: ADD 00000381: DUP1 00000382: DUP4 00000383: DUP2 00000384: MSTORE 00000385: PUSH1 0x20 00000387: ADD 00000388: DUP3 00000389: PUSH1 0x01 0000038b: PUSH1 0xa0 0000038d: PUSH1 0x02 0000038f: EXP 00000390: SUB 00000391: AND 00000392: DUP2 00000393: MSTORE 00000394: PUSH1 0x20 00000396: ADD 00000397: SWAP3 00000398: POP 00000399: POP 0000039a: POP 0000039b: PUSH1 0x20 0000039d: PUSH1 0x40 0000039f: MLOAD 000003a0: DUP1 000003a1: DUP4 000003a2: SUB 000003a3: DUP2 000003a4: PUSH1 0x00 000003a6: DUP8 000003a7: PUSH1 0x32 000003a9: GAS 000003aa: SUB 000003ab: CALLCODE 000003ac: ISZERO 000003ad: PUSH2 0x0002 000003b0: JUMPI 000003b1: POP 000003b2: POP 000003b3: PUSH1 0x40 000003b5: MLOAD 000003b6: MLOAD 000003b7: SWAP4 000003b8: POP 000003b9: POP 000003ba: DUP3 000003bb: DUP2 000003bc: EQ 000003bd: ISZERO 000003be: PUSH2 0x0713 000003c1: JUMPI 000003c2: PUSH2 0x0792 000003c5: JUMP 000003c6: JUMPDEST 000003c7: PUSH2 0x0153 000003ca: PUSH1 0x04 000003cc: CALLDATALOAD 000003cd: PUSH1 0x00 000003cf: CALLDATASIZE 000003d0: PUSH1 0x40 000003d2: MLOAD 000003d3: DUP1 000003d4: DUP4 000003d5: DUP4 000003d6: DUP1 000003d7: DUP3 000003d8: DUP5 000003d9: CALLDATACOPY 000003da: POP 000003db: POP 000003dc: POP 000003dd: SWAP1 000003de: DUP2 000003df: ADD 000003e0: DUP2 000003e1: SWAP1 000003e2: SUB 000003e3: SWAP1 000003e4: KECCAK256 000003e5: SWAP1 000003e6: POP 000003e7: PUSH2 0x09e1 000003ea: DUP2 000003eb: PUSH2 0x018a 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH2 0x0547 000003f3: PUSH1 0x08 000003f5: DUP2 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH2 0x055f 000003fb: PUSH1 0x04 000003fd: CALLDATALOAD 000003fe: PUSH1 0x24 00000400: CALLDATALOAD 00000401: PUSH1 0x00 00000403: DUP3 00000404: DUP2 00000405: MSTORE 00000406: PUSH2 0x0103 00000409: PUSH1 0x20 0000040b: SWAP1 0000040c: DUP2 0000040d: MSTORE 0000040e: PUSH1 0x40 00000410: DUP1 00000411: DUP4 00000412: KECCAK256 00000413: DUP2 00000414: MLOAD 00000415: PUSH32 0x93e52ae000000000000000000000000000000000000000000000000000000000 00000436: DUP2 00000437: MSTORE 00000438: PUSH1 0x01 0000043a: PUSH1 0x04 0000043c: DUP3 0000043d: ADD 0000043e: MSTORE 0000043f: PUSH1 0x01 00000441: PUSH1 0xa0 00000443: PUSH1 0x02 00000445: EXP 00000446: SUB 00000447: DUP7 00000448: AND 00000449: PUSH1 0x24 0000044b: DUP3 0000044c: ADD 0000044d: MSTORE 0000044e: SWAP2 0000044f: MLOAD 00000450: SWAP1 00000451: SWAP3 00000452: DUP5 00000453: SWAP3 00000454: DUP4 00000455: SWAP3 00000456: PUSH20 0x8f57162ef4204e383cdd7ca55c11ab374e23634d 0000046b: SWAP3 0000046c: PUSH4 0x93e52ae0 00000471: SWAP3 00000472: PUSH1 0x44 00000474: DUP2 00000475: DUP2 00000476: ADD 00000477: SWAP4 00000478: SWAP2 00000479: DUP3 0000047a: SWAP1 0000047b: SUB 0000047c: ADD 0000047d: DUP2 0000047e: DUP8 0000047f: DUP8 00000480: PUSH1 0x32 00000482: GAS 00000483: SUB 00000484: CALLCODE 00000485: ISZERO 00000486: PUSH2 0x0002 00000489: JUMPI 0000048a: POP 0000048b: POP 0000048c: PUSH1 0x40 0000048e: MLOAD 0000048f: MLOAD 00000490: SWAP3 00000491: POP 00000492: POP 00000493: DUP2 00000494: DUP2 00000495: EQ 00000496: ISZERO 00000497: PUSH2 0x0a2e 0000049a: JUMPI 0000049b: PUSH2 0x0a43 0000049e: JUMP 0000049f: JUMPDEST 000004a0: PUSH2 0x0547 000004a3: PUSH1 0x0c 000004a5: DUP2 000004a6: JUMP 000004a7: JUMPDEST 000004a8: PUSH2 0x0547 000004ab: PUSH1 0x02 000004ad: DUP2 000004ae: JUMP 000004af: JUMPDEST 000004b0: PUSH2 0x0153 000004b3: PUSH1 0x04 000004b5: CALLDATALOAD 000004b6: PUSH1 0x00 000004b8: CALLDATASIZE 000004b9: PUSH1 0x40 000004bb: MLOAD 000004bc: DUP1 000004bd: DUP4 000004be: DUP4 000004bf: DUP1 000004c0: DUP3 000004c1: DUP5 000004c2: CALLDATACOPY 000004c3: POP 000004c4: POP 000004c5: POP 000004c6: SWAP1 000004c7: DUP2 000004c8: ADD 000004c9: DUP2 000004ca: SWAP1 000004cb: SUB 000004cc: SWAP1 000004cd: KECCAK256 000004ce: SWAP1 000004cf: POP 000004d0: PUSH2 0x058e 000004d3: DUP2 000004d4: PUSH2 0x018a 000004d7: JUMP 000004d8: JUMPDEST 000004d9: PUSH2 0x0547 000004dc: PUSH1 0x0a 000004de: DUP2 000004df: JUMP 000004e0: JUMPDEST 000004e1: PUSH2 0x0547 000004e4: PUSH1 0x0d 000004e6: DUP2 000004e7: JUMP 000004e8: JUMPDEST 000004e9: PUSH2 0x0547 000004ec: PUSH1 0x0f 000004ee: DUP2 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH2 0x0571 000004f4: PUSH2 0x0106 000004f7: SLOAD 000004f8: PUSH1 0x01 000004fa: PUSH1 0xa0 000004fc: PUSH1 0x02 000004fe: EXP 000004ff: SUB 00000500: AND 00000501: DUP2 00000502: JUMP 00000503: JUMPDEST 00000504: PUSH2 0x0547 00000507: PUSH1 0x06 00000509: DUP2 0000050a: JUMP 0000050b: JUMPDEST 0000050c: PUSH2 0x0153 0000050f: PUSH1 0x04 00000511: CALLDATALOAD 00000512: PUSH1 0x24 00000514: CALLDATALOAD 00000515: PUSH1 0x00 00000517: CALLDATASIZE 00000518: PUSH1 0x40 0000051a: MLOAD 0000051b: DUP1 0000051c: DUP4 0000051d: DUP4 0000051e: DUP1 0000051f: DUP3 00000520: DUP5 00000521: CALLDATACOPY 00000522: POP 00000523: POP 00000524: POP 00000525: SWAP1 00000526: DUP2 00000527: ADD 00000528: DUP2 00000529: SWAP1 0000052a: SUB 0000052b: SWAP1 0000052c: KECCAK256 0000052d: SWAP1 0000052e: POP 0000052f: PUSH2 0x0798 00000532: DUP2 00000533: PUSH2 0x018a 00000536: JUMP 00000537: JUMPDEST 00000538: PUSH2 0x0547 0000053b: PUSH1 0x10 0000053d: DUP2 0000053e: JUMP 0000053f: JUMPDEST 00000540: PUSH2 0x0547 00000543: PUSH1 0x04 00000545: DUP2 00000546: JUMP 00000547: JUMPDEST 00000548: PUSH1 0x40 0000054a: DUP1 0000054b: MLOAD 0000054c: PUSH2 0xffff 0000054f: SWAP3 00000550: SWAP1 00000551: SWAP3 00000552: AND 00000553: DUP3 00000554: MSTORE 00000555: MLOAD 00000556: SWAP1 00000557: DUP2 00000558: SWAP1 00000559: SUB 0000055a: PUSH1 0x20 0000055c: ADD 0000055d: SWAP1 0000055e: RETURN 0000055f: JUMPDEST 00000560: PUSH1 0x40 00000562: DUP1 00000563: MLOAD 00000564: SWAP2 00000565: DUP3 00000566: MSTORE 00000567: MLOAD 00000568: SWAP1 00000569: DUP2 0000056a: SWAP1 0000056b: SUB 0000056c: PUSH1 0x20 0000056e: ADD 0000056f: SWAP1 00000570: RETURN 00000571: JUMPDEST 00000572: PUSH1 0x40 00000574: DUP1 00000575: MLOAD 00000576: PUSH1 0x01 00000578: PUSH1 0xa0 0000057a: PUSH1 0x02 0000057c: EXP 0000057d: SUB 0000057e: SWAP3 0000057f: SWAP1 00000580: SWAP3 00000581: AND 00000582: DUP3 00000583: MSTORE 00000584: MLOAD 00000585: SWAP1 00000586: DUP2 00000587: SWAP1 00000588: SUB 00000589: PUSH1 0x20 0000058b: ADD 0000058c: SWAP1 0000058d: RETURN 0000058e: JUMPDEST 0000058f: ISZERO 00000590: PUSH2 0x05b4 00000593: JUMPI 00000594: PUSH2 0x0105 00000597: DUP1 00000598: SLOAD 00000599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ae: NOT 000005af: AND 000005b0: DUP4 000005b1: OR 000005b2: SWAP1 000005b3: SSTORE 000005b4: JUMPDEST 000005b5: POP 000005b6: JUMPDEST 000005b7: POP 000005b8: JUMP 000005b9: JUMPDEST 000005ba: DUP1 000005bb: PUSH2 0x05d5 000005be: JUMPI 000005bf: POP 000005c0: PUSH2 0x0106 000005c3: SLOAD 000005c4: PUSH1 0x01 000005c6: PUSH1 0xa0 000005c8: PUSH1 0x02 000005ca: EXP 000005cb: SUB 000005cc: SWAP1 000005cd: DUP2 000005ce: AND 000005cf: CALLER 000005d0: SWAP2 000005d1: SWAP1 000005d2: SWAP2 000005d3: AND 000005d4: EQ 000005d5: JUMPDEST 000005d6: ISZERO 000005d7: PUSH2 0x05b4 000005da: JUMPI 000005db: PUSH1 0x40 000005dd: DUP1 000005de: MLOAD 000005df: PUSH2 0x0105 000005e2: SLOAD 000005e3: PUSH32 0xbd1a1f9c00000000000000000000000000000000000000000000000000000000 00000604: DUP3 00000605: MSTORE 00000606: PUSH1 0x04 00000608: DUP3 00000609: ADD 0000060a: DUP6 0000060b: SWAP1 0000060c: MSTORE 0000060d: SWAP2 0000060e: MLOAD 0000060f: PUSH1 0x01 00000611: PUSH1 0xa0 00000613: PUSH1 0x02 00000615: EXP 00000616: SUB 00000617: SWAP3 00000618: SWAP1 00000619: SWAP3 0000061a: AND 0000061b: SWAP2 0000061c: PUSH4 0xbd1a1f9c 00000621: SWAP2 00000622: DUP5 00000623: SWAP2 00000624: PUSH1 0x24 00000626: DUP3 00000627: DUP2 00000628: ADD 00000629: SWAP3 0000062a: PUSH1 0x20 0000062c: SWAP3 0000062d: SWAP2 0000062e: SWAP1 0000062f: DUP3 00000630: SWAP1 00000631: SUB 00000632: ADD 00000633: DUP2 00000634: DUP6 00000635: DUP9 00000636: PUSH2 0x8502 00000639: GAS 0000063a: SUB 0000063b: CALL 0000063c: ISZERO 0000063d: PUSH2 0x0002 00000640: JUMPI 00000641: POP 00000642: POP 00000643: PUSH1 0x40 00000645: MLOAD 00000646: MLOAD 00000647: ISZERO 00000648: ISZERO 00000649: SWAP2 0000064a: POP 0000064b: PUSH2 0x05b4 0000064e: SWAP1 0000064f: POP 00000650: JUMPI 00000651: PUSH1 0x40 00000653: DUP1 00000654: MLOAD 00000655: PUSH1 0x10 00000657: DUP2 00000658: MSTORE 00000659: SWAP1 0000065a: MLOAD 0000065b: PUSH32 0xc12d7b01858ac90aa4c778ac22b589adbc7116f25e27c1d9c35b3770d24e67e0 0000067c: SWAP2 0000067d: DUP2 0000067e: SWAP1 0000067f: SUB 00000680: PUSH1 0x20 00000682: ADD 00000683: SWAP1 00000684: LOG1 00000685: POP 00000686: POP 00000687: JUMP 00000688: JUMPDEST 00000689: ISZERO 0000068a: PUSH2 0x070e 0000068d: JUMPI 0000068e: ADDRESS 0000068f: PUSH1 0x01 00000691: PUSH1 0xa0 00000693: PUSH1 0x02 00000695: EXP 00000696: SUB 00000697: AND 00000698: BALANCE 00000699: DUP3 0000069a: GT 0000069b: ISZERO 0000069c: DUP1 0000069d: ISZERO 0000069e: PUSH2 0x06c4 000006a1: JUMPI 000006a2: POP 000006a3: PUSH1 0x40 000006a5: MLOAD 000006a6: PUSH1 0x01 000006a8: PUSH1 0xa0 000006aa: PUSH1 0x02 000006ac: EXP 000006ad: SUB 000006ae: DUP5 000006af: AND 000006b0: SWAP1 000006b1: DUP4 000006b2: SWAP1 000006b3: PUSH1 0x00 000006b5: DUP2 000006b6: DUP2 000006b7: DUP2 000006b8: DUP6 000006b9: DUP8 000006ba: PUSH2 0x8502 000006bd: GAS 000006be: SUB 000006bf: CALL 000006c0: SWAP3 000006c1: POP 000006c2: POP 000006c3: POP 000006c4: JUMPDEST 000006c5: ISZERO 000006c6: PUSH2 0x070e 000006c9: JUMPI 000006ca: PUSH1 0x40 000006cc: DUP1 000006cd: MLOAD 000006ce: PUSH1 0x01 000006d0: PUSH1 0xa0 000006d2: PUSH1 0x02 000006d4: EXP 000006d5: SUB 000006d6: DUP6 000006d7: AND 000006d8: DUP2 000006d9: MSTORE 000006da: PUSH1 0x20 000006dc: DUP2 000006dd: ADD 000006de: DUP5 000006df: SWAP1 000006e0: MSTORE 000006e1: DUP2 000006e2: MLOAD 000006e3: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 00000704: SWAP3 00000705: SWAP2 00000706: DUP2 00000707: SWAP1 00000708: SUB 00000709: SWAP1 0000070a: SWAP2 0000070b: ADD 0000070c: SWAP1 0000070d: LOG1 0000070e: JUMPDEST 0000070f: POP 00000710: POP 00000711: POP 00000712: JUMP 00000713: JUMPDEST 00000714: POP 00000715: POP 00000716: PUSH1 0x00 00000718: DUP3 00000719: DUP2 0000071a: MSTORE 0000071b: PUSH2 0x0103 0000071e: PUSH1 0x20 00000720: MSTORE 00000721: PUSH1 0x40 00000723: DUP2 00000724: KECCAK256 00000725: PUSH1 0x01 00000727: DUP2 00000728: ADD 00000729: SLOAD 0000072a: PUSH1 0x02 0000072c: DUP5 0000072d: SWAP1 0000072e: EXP 0000072f: SWAP3 00000730: SWAP1 00000731: DUP4 00000732: AND 00000733: GT 00000734: ISZERO 00000735: PUSH2 0x0792 00000738: JUMPI 00000739: DUP1 0000073a: SLOAD 0000073b: PUSH1 0x01 0000073d: DUP3 0000073e: DUP2 0000073f: ADD 00000740: DUP1 00000741: SLOAD 00000742: SWAP3 00000743: SWAP1 00000744: SWAP2 00000745: ADD 00000746: DUP4 00000747: SSTORE 00000748: SWAP1 00000749: DUP4 0000074a: SWAP1 0000074b: SUB 0000074c: SWAP1 0000074d: SSTORE 0000074e: PUSH1 0x40 00000750: DUP1 00000751: MLOAD 00000752: PUSH1 0x01 00000754: PUSH1 0xa0 00000756: PUSH1 0x02 00000758: EXP 00000759: SUB 0000075a: CALLER 0000075b: AND 0000075c: DUP2 0000075d: MSTORE 0000075e: PUSH1 0x20 00000760: DUP2 00000761: ADD 00000762: DUP7 00000763: SWAP1 00000764: MSTORE 00000765: DUP2 00000766: MLOAD 00000767: PUSH32 0xc7fb647e59b18047309aa15aad418e5d7ca96d173ad704f1031a2c3d7591734b 00000788: SWAP3 00000789: SWAP2 0000078a: DUP2 0000078b: SWAP1 0000078c: SUB 0000078d: SWAP1 0000078e: SWAP2 0000078f: ADD 00000790: SWAP1 00000791: LOG1 00000792: JUMPDEST 00000793: POP 00000794: POP 00000795: POP 00000796: POP 00000797: JUMP 00000798: JUMPDEST 00000799: ISZERO 0000079a: PUSH2 0x070e 0000079d: JUMPI 0000079e: PUSH1 0x40 000007a0: DUP1 000007a1: MLOAD 000007a2: PUSH32 0x2198ba6400000000000000000000000000000000000000000000000000000000 000007c3: DUP2 000007c4: MSTORE 000007c5: PUSH1 0x01 000007c7: PUSH1 0x04 000007c9: DUP3 000007ca: ADD 000007cb: MSTORE 000007cc: PUSH1 0x01 000007ce: PUSH1 0xa0 000007d0: PUSH1 0x02 000007d2: EXP 000007d3: SUB 000007d4: DUP6 000007d5: DUP2 000007d6: AND 000007d7: PUSH1 0x24 000007d9: DUP4 000007da: ADD 000007db: MSTORE 000007dc: DUP5 000007dd: AND 000007de: PUSH1 0x44 000007e0: DUP3 000007e1: ADD 000007e2: MSTORE 000007e3: SWAP1 000007e4: MLOAD 000007e5: PUSH20 0x8f57162ef4204e383cdd7ca55c11ab374e23634d 000007fa: SWAP2 000007fb: PUSH4 0x2198ba64 00000800: SWAP2 00000801: PUSH1 0x64 00000803: DUP1 00000804: DUP4 00000805: ADD 00000806: SWAP3 00000807: PUSH1 0x20 00000809: SWAP3 0000080a: SWAP2 0000080b: SWAP1 0000080c: DUP3 0000080d: SWAP1 0000080e: SUB 0000080f: ADD 00000810: DUP2 00000811: PUSH1 0x00 00000813: DUP8 00000814: PUSH1 0x32 00000816: GAS 00000817: SUB 00000818: CALLCODE 00000819: ISZERO 0000081a: PUSH2 0x0002 0000081d: JUMPI 0000081e: POP 0000081f: POP 00000820: PUSH1 0x40 00000822: MLOAD 00000823: MLOAD 00000824: ISZERO 00000825: SWAP1 00000826: POP 00000827: PUSH2 0x070e 0000082a: JUMPI 0000082b: PUSH2 0x070e 0000082e: PUSH2 0x083b 00000831: JUMP 00000832: JUMPDEST 00000833: PUSH1 0x00 00000835: DUP3 00000836: SWAP1 00000837: SSTORE 00000838: PUSH2 0x09f7 0000083b: JUMPDEST 0000083c: PUSH2 0x0104 0000083f: SLOAD 00000840: PUSH1 0x00 00000842: JUMPDEST 00000843: DUP2 00000844: DUP2 00000845: LT 00000846: ISZERO 00000847: PUSH2 0x0b92 0000084a: JUMPI 0000084b: PUSH2 0x0104 0000084e: DUP1 0000084f: SLOAD 00000850: DUP3 00000851: SWAP1 00000852: DUP2 00000853: LT 00000854: ISZERO 00000855: PUSH2 0x0002 00000858: JUMPI 00000859: PUSH1 0x00 0000085b: SWAP2 0000085c: DUP3 0000085d: MSTORE 0000085e: PUSH1 0x00 00000860: DUP1 00000861: MLOAD 00000862: PUSH1 0x20 00000864: PUSH2 0x0beb 00000867: DUP4 00000868: CODECOPY 00000869: DUP2 0000086a: MLOAD 0000086b: SWAP2 0000086c: MSTORE 0000086d: ADD 0000086e: SLOAD 0000086f: EQ 00000870: PUSH2 0x08b5 00000873: JUMPI 00000874: PUSH2 0x0104 00000877: DUP1 00000878: SLOAD 00000879: PUSH2 0x0103 0000087c: SWAP2 0000087d: PUSH1 0x00 0000087f: SWAP2 00000880: DUP5 00000881: SWAP1 00000882: DUP2 00000883: LT 00000884: ISZERO 00000885: PUSH2 0x0002 00000888: JUMPI 00000889: PUSH1 0x00 0000088b: DUP1 0000088c: MLOAD 0000088d: PUSH1 0x20 0000088f: PUSH2 0x0beb 00000892: DUP4 00000893: CODECOPY 00000894: DUP2 00000895: MLOAD 00000896: SWAP2 00000897: MSTORE 00000898: ADD 00000899: SLOAD 0000089a: DUP3 0000089b: MSTORE 0000089c: POP 0000089d: PUSH1 0x20 0000089f: SWAP2 000008a0: SWAP1 000008a1: SWAP2 000008a2: MSTORE 000008a3: PUSH1 0x40 000008a5: DUP2 000008a6: KECCAK256 000008a7: DUP2 000008a8: DUP2 000008a9: SSTORE 000008aa: PUSH1 0x01 000008ac: DUP2 000008ad: ADD 000008ae: DUP3 000008af: SWAP1 000008b0: SSTORE 000008b1: PUSH1 0x02 000008b3: ADD 000008b4: SSTORE 000008b5: JUMPDEST 000008b6: PUSH1 0x01 000008b8: ADD 000008b9: PUSH2 0x0842 000008bc: JUMP 000008bd: JUMPDEST 000008be: ISZERO 000008bf: PUSH2 0x05b4 000008c2: JUMPI 000008c3: PUSH1 0x40 000008c5: DUP1 000008c6: MLOAD 000008c7: PUSH32 0x61bc5e9300000000000000000000000000000000000000000000000000000000 000008e8: DUP2 000008e9: MSTORE 000008ea: PUSH1 0x01 000008ec: PUSH1 0x04 000008ee: DUP3 000008ef: ADD 000008f0: MSTORE 000008f1: PUSH1 0x01 000008f3: PUSH1 0xa0 000008f5: PUSH1 0x02 000008f7: EXP 000008f8: SUB 000008f9: DUP5 000008fa: AND 000008fb: PUSH1 0x24 000008fd: DUP3 000008fe: ADD 000008ff: MSTORE 00000900: SWAP1 00000901: MLOAD 00000902: PUSH20 0x8f57162ef4204e383cdd7ca55c11ab374e23634d 00000917: SWAP2 00000918: PUSH4 0x61bc5e93 0000091d: SWAP2 0000091e: PUSH1 0x44 00000920: DUP3 00000921: DUP2 00000922: ADD 00000923: SWAP3 00000924: PUSH1 0x20 00000926: SWAP3 00000927: SWAP2 00000928: SWAP1 00000929: DUP3 0000092a: SWAP1 0000092b: SUB 0000092c: ADD 0000092d: DUP2 0000092e: PUSH1 0x00 00000930: DUP8 00000931: PUSH1 0x32 00000933: GAS 00000934: SUB 00000935: CALLCODE 00000936: ISZERO 00000937: PUSH2 0x0002 0000093a: JUMPI 0000093b: POP 0000093c: POP 0000093d: PUSH1 0x40 0000093f: MLOAD 00000940: MLOAD 00000941: ISZERO 00000942: SWAP1 00000943: POP 00000944: PUSH2 0x05b4 00000947: JUMPI 00000948: PUSH2 0x05b4 0000094b: PUSH2 0x083b 0000094e: JUMP 0000094f: JUMPDEST 00000950: ISZERO 00000951: PUSH2 0x05b4 00000954: JUMPI 00000955: PUSH1 0x40 00000957: DUP1 00000958: MLOAD 00000959: PUSH32 0xe626e32200000000000000000000000000000000000000000000000000000000 0000097a: DUP2 0000097b: MSTORE 0000097c: PUSH1 0x01 0000097e: PUSH1 0x04 00000980: DUP3 00000981: ADD 00000982: MSTORE 00000983: PUSH1 0x01 00000985: PUSH1 0xa0 00000987: PUSH1 0x02 00000989: EXP 0000098a: SUB 0000098b: DUP5 0000098c: AND 0000098d: PUSH1 0x24 0000098f: DUP3 00000990: ADD 00000991: MSTORE 00000992: SWAP1 00000993: MLOAD 00000994: PUSH20 0x8f57162ef4204e383cdd7ca55c11ab374e23634d 000009a9: SWAP2 000009aa: PUSH4 0xe626e322 000009af: SWAP2 000009b0: PUSH1 0x44 000009b2: DUP3 000009b3: DUP2 000009b4: ADD 000009b5: SWAP3 000009b6: PUSH1 0x20 000009b8: SWAP3 000009b9: SWAP2 000009ba: SWAP1 000009bb: DUP3 000009bc: SWAP1 000009bd: SUB 000009be: ADD 000009bf: DUP2 000009c0: PUSH1 0x00 000009c2: DUP8 000009c3: PUSH1 0x32 000009c5: GAS 000009c6: SUB 000009c7: CALLCODE 000009c8: ISZERO 000009c9: PUSH2 0x0002 000009cc: JUMPI 000009cd: POP 000009ce: POP 000009cf: PUSH1 0x40 000009d1: MLOAD 000009d2: MLOAD 000009d3: ISZERO 000009d4: SWAP1 000009d5: POP 000009d6: PUSH2 0x05b4 000009d9: JUMPI 000009da: PUSH2 0x05b4 000009dd: PUSH2 0x083b 000009e0: JUMP 000009e1: JUMPDEST 000009e2: ISZERO 000009e3: PUSH2 0x05b4 000009e6: JUMPI 000009e7: PUSH2 0x0102 000009ea: SLOAD 000009eb: DUP3 000009ec: GT 000009ed: ISZERO 000009ee: PUSH2 0x0832 000009f1: JUMPI 000009f2: POP 000009f3: PUSH2 0x05b6 000009f6: JUMP 000009f7: JUMPDEST 000009f8: PUSH1 0x40 000009fa: DUP1 000009fb: MLOAD 000009fc: DUP4 000009fd: DUP2 000009fe: MSTORE 000009ff: SWAP1 00000a00: MLOAD 00000a01: PUSH32 0xacbdb084c721332ac59f9b8e392196c9eb0e4932862da8eb9beaf0dad4f550da 00000a22: SWAP2 00000a23: DUP2 00000a24: SWAP1 00000a25: SUB 00000a26: PUSH1 0x20 00000a28: ADD 00000a29: SWAP1 00000a2a: LOG1 00000a2b: POP 00000a2c: POP 00000a2d: JUMP 00000a2e: JUMPDEST 00000a2f: POP 00000a30: PUSH1 0x01 00000a32: DUP3 00000a33: ADD 00000a34: SLOAD 00000a35: PUSH1 0x02 00000a37: DUP3 00000a38: SWAP1 00000a39: EXP 00000a3a: SWAP1 00000a3b: DUP2 00000a3c: AND 00000a3d: PUSH1 0x00 00000a3f: EQ 00000a40: ISZERO 00000a41: SWAP4 00000a42: POP 00000a43: JUMPDEST 00000a44: POP 00000a45: POP 00000a46: POP 00000a47: SWAP3 00000a48: SWAP2 00000a49: POP 00000a4a: POP 00000a4b: JUMP 00000a4c: JUMPDEST 00000a4d: PUSH1 0x00 00000a4f: DUP6 00000a50: DUP2 00000a51: MSTORE 00000a52: PUSH2 0x0103 00000a55: PUSH1 0x20 00000a57: MSTORE 00000a58: PUSH1 0x40 00000a5a: DUP2 00000a5b: KECCAK256 00000a5c: DUP1 00000a5d: SLOAD 00000a5e: SWAP1 00000a5f: SWAP4 00000a60: POP 00000a61: EQ 00000a62: ISZERO 00000a63: PUSH2 0x0ad4 00000a66: JUMPI 00000a67: PUSH1 0x00 00000a69: DUP1 00000a6a: SLOAD 00000a6b: DUP4 00000a6c: SSTORE 00000a6d: PUSH1 0x01 00000a6f: DUP4 00000a70: DUP2 00000a71: ADD 00000a72: SWAP2 00000a73: SWAP1 00000a74: SWAP2 00000a75: SSTORE 00000a76: PUSH2 0x0104 00000a79: DUP1 00000a7a: SLOAD 00000a7b: SWAP2 00000a7c: DUP3 00000a7d: ADD 00000a7e: DUP1 00000a7f: DUP3 00000a80: SSTORE 00000a81: DUP3 00000a82: DUP1 00000a83: ISZERO 00000a84: DUP3 00000a85: SWAP1 00000a86: GT 00000a87: PUSH2 0x0aa3 00000a8a: JUMPI 00000a8b: DUP2 00000a8c: DUP4 00000a8d: PUSH1 0x00 00000a8f: MSTORE 00000a90: PUSH1 0x20 00000a92: PUSH1 0x00 00000a94: KECCAK256 00000a95: SWAP2 00000a96: DUP3 00000a97: ADD 00000a98: SWAP2 00000a99: ADD 00000a9a: PUSH2 0x0aa3 00000a9d: SWAP2 00000a9e: SWAP1 00000a9f: PUSH2 0x0bb8 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: POP 00000aa5: POP 00000aa6: POP 00000aa7: PUSH1 0x02 00000aa9: DUP4 00000aaa: ADD 00000aab: DUP2 00000aac: SWAP1 00000aad: SSTORE 00000aae: PUSH2 0x0104 00000ab1: DUP1 00000ab2: SLOAD 00000ab3: DUP8 00000ab4: SWAP3 00000ab5: SWAP1 00000ab6: DUP2 00000ab7: LT 00000ab8: ISZERO 00000ab9: PUSH2 0x0002 00000abc: JUMPI 00000abd: PUSH1 0x00 00000abf: SWAP2 00000ac0: SWAP1 00000ac1: SWAP2 00000ac2: MSTORE 00000ac3: PUSH1 0x00 00000ac5: DUP1 00000ac6: MLOAD 00000ac7: PUSH1 0x20 00000ac9: PUSH2 0x0beb 00000acc: DUP4 00000acd: CODECOPY 00000ace: DUP2 00000acf: MLOAD 00000ad0: SWAP2 00000ad1: MSTORE 00000ad2: ADD 00000ad3: SSTORE 00000ad4: JUMPDEST 00000ad5: POP 00000ad6: PUSH1 0x01 00000ad8: DUP2 00000ad9: ADD 00000ada: SLOAD 00000adb: PUSH1 0x02 00000add: DUP4 00000ade: SWAP1 00000adf: EXP 00000ae0: SWAP1 00000ae1: DUP2 00000ae2: AND 00000ae3: PUSH1 0x00 00000ae5: EQ 00000ae6: ISZERO 00000ae7: PUSH2 0x0be3 00000aea: JUMPI 00000aeb: PUSH1 0x40 00000aed: DUP1 00000aee: MLOAD 00000aef: PUSH1 0x01 00000af1: PUSH1 0xa0 00000af3: PUSH1 0x02 00000af5: EXP 00000af6: SUB 00000af7: CALLER 00000af8: AND 00000af9: DUP2 00000afa: MSTORE 00000afb: PUSH1 0x20 00000afd: DUP2 00000afe: ADD 00000aff: DUP8 00000b00: SWAP1 00000b01: MSTORE 00000b02: DUP2 00000b03: MLOAD 00000b04: PUSH32 0xe1c52dc63b719ade82e8bea94cc41a0d5d28e4aaf536adb5e9cccc9ff8c1aeda 00000b25: SWAP3 00000b26: SWAP2 00000b27: DUP2 00000b28: SWAP1 00000b29: SUB 00000b2a: SWAP1 00000b2b: SWAP2 00000b2c: ADD 00000b2d: SWAP1 00000b2e: LOG1 00000b2f: DUP2 00000b30: SLOAD 00000b31: PUSH1 0x01 00000b33: SWAP1 00000b34: GT 00000b35: PUSH2 0x0bd0 00000b38: JUMPI 00000b39: PUSH1 0x00 00000b3b: DUP6 00000b3c: DUP2 00000b3d: MSTORE 00000b3e: PUSH2 0x0103 00000b41: PUSH1 0x20 00000b43: MSTORE 00000b44: PUSH1 0x40 00000b46: SWAP1 00000b47: KECCAK256 00000b48: PUSH1 0x02 00000b4a: ADD 00000b4b: SLOAD 00000b4c: PUSH2 0x0104 00000b4f: DUP1 00000b50: SLOAD 00000b51: SWAP1 00000b52: SWAP2 00000b53: SWAP1 00000b54: DUP2 00000b55: LT 00000b56: ISZERO 00000b57: PUSH2 0x0002 00000b5a: JUMPI 00000b5b: PUSH1 0x40 00000b5d: PUSH1 0x00 00000b5f: SWAP1 00000b60: DUP2 00000b61: KECCAK256 00000b62: PUSH1 0x00 00000b64: DUP1 00000b65: MLOAD 00000b66: PUSH1 0x20 00000b68: PUSH2 0x0beb 00000b6b: DUP4 00000b6c: CODECOPY 00000b6d: DUP2 00000b6e: MLOAD 00000b6f: SWAP2 00000b70: MSTORE 00000b71: SWAP3 00000b72: SWAP1 00000b73: SWAP3 00000b74: ADD 00000b75: DUP2 00000b76: SWAP1 00000b77: SSTORE 00000b78: DUP1 00000b79: DUP3 00000b7a: SSTORE 00000b7b: PUSH1 0x01 00000b7d: DUP3 00000b7e: DUP2 00000b7f: ADD 00000b80: DUP3 00000b81: SWAP1 00000b82: SSTORE 00000b83: PUSH1 0x02 00000b85: SWAP3 00000b86: SWAP1 00000b87: SWAP3 00000b88: ADD 00000b89: SSTORE 00000b8a: SWAP5 00000b8b: POP 00000b8c: PUSH2 0x0be3 00000b8f: SWAP1 00000b90: POP 00000b91: JUMP 00000b92: JUMPDEST 00000b93: PUSH2 0x0104 00000b96: DUP1 00000b97: SLOAD 00000b98: PUSH1 0x00 00000b9a: DUP1 00000b9b: DUP4 00000b9c: SSTORE 00000b9d: SWAP2 00000b9e: SWAP1 00000b9f: SWAP2 00000ba0: MSTORE 00000ba1: PUSH2 0x070e 00000ba4: SWAP1 00000ba5: PUSH1 0x00 00000ba7: DUP1 00000ba8: MLOAD 00000ba9: PUSH1 0x20 00000bab: PUSH2 0x0beb 00000bae: DUP4 00000baf: CODECOPY 00000bb0: DUP2 00000bb1: MLOAD 00000bb2: SWAP2 00000bb3: MSTORE 00000bb4: SWAP1 00000bb5: DUP2 00000bb6: ADD 00000bb7: SWAP1 00000bb8: JUMPDEST 00000bb9: DUP1 00000bba: DUP3 00000bbb: GT 00000bbc: ISZERO 00000bbd: PUSH2 0x0bcc 00000bc0: JUMPI 00000bc1: PUSH1 0x00 00000bc3: DUP2 00000bc4: SSTORE 00000bc5: PUSH1 0x01 00000bc7: ADD 00000bc8: PUSH2 0x0bb8 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: POP 00000bce: SWAP1 00000bcf: JUMP 00000bd0: JUMPDEST 00000bd1: DUP2 00000bd2: SLOAD 00000bd3: PUSH1 0x00 00000bd5: NOT 00000bd6: ADD 00000bd7: DUP3 00000bd8: SSTORE 00000bd9: PUSH1 0x01 00000bdb: DUP3 00000bdc: ADD 00000bdd: DUP1 00000bde: SLOAD 00000bdf: DUP3 00000be0: OR 00000be1: SWAP1 00000be2: SSTORE 00000be3: JUMPDEST 00000be4: POP 00000be5: POP 00000be6: POP 00000be7: SWAP2 00000be8: SWAP1 00000be9: POP 00000bea: JUMP 00000beb: UNKNOWN(0x4C) 00000bec: SIGNEXTEND 00000bed: UNKNOWN(0xE6) 00000bee: MUL 00000bef: STOP 00000bf0: STATICCALL 00000bf1: LOG2 00000bf2: SDIV 00000bf3: MSIZE 00000bf4: ADDRESS 00000bf5: DUP13 00000bf6: UNKNOWN(0xB7) 00000bf7: UNKNOWN(0xB5) 00000bf8: LOG1 00000bf9: UNKNOWN(0xBB) 00000bfa: ORIGIN 00000bfb: SSTORE 00000bfc: UNKNOWN(0xC1) 00000bfd: PUSH13 0xb1cab91f525b5ae7a03d02fabe
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06c3a2fc",
"selector": "0x06c3a2fc",
"calldata_variants": [
"0x06c3a2fc",
"0x06c3a2fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d4a4723",
"selector": "0x0d4a4723",
"calldata_variants": [
"0x0d4a4723",
"0x0d4a47230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x205c2878",
"selector": "0x205c2878",
"calldata_variants": [
"0x205c2878",
"0x205c28780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6448f6e1",
"selector": "0x6448f6e1",
"calldata_variants": [
"0x6448f6e1",
"0x6448f6e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x692a365d",
"selector": "0x692a365d",
"calldata_variants": [
"0x692a365d",
"0x692a365d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3066,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x01ad1c600913b5d15398f4ca8de9a9222eff11cb28d761d59fe2b162cd12ae26
call_targets:
0x9e80340e1b0320d74bbb9b81eacb1823656f132c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x01ad1c600913b5d15398f4ca8de9a9222eff11cb28d761d59fe2b162cd12ae26",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9e80340e1b0320d74bbb9b81eacb1823656f132c"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06c3a2fc",
"selector": "0x06c3a2fc",
"calldata_variants": [
"0x06c3a2fc",
"0x06c3a2fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d4a4723",
"selector": "0x0d4a4723",
"calldata_variants": [
"0x0d4a4723",
"0x0d4a47230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x205c2878",
"selector": "0x205c2878",
"calldata_variants": [
"0x205c2878",
"0x205c28780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6448f6e1",
"selector": "0x6448f6e1",
"calldata_variants": [
"0x6448f6e1",
"0x6448f6e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x692a365d",
"selector": "0x692a365d",
"calldata_variants": [
"0x692a365d",
"0x692a365d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 494,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "constant_zero",
"target_expression_category": "computed"
},
{
"pc": 690,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 939,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "calldata-derived",
"target_expression_category": "constant"
}
],
"call_count": 9,
"guards_detected": [
{
"pc": 3066,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 9
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x01ad1c600913b5d15398f4ca8de9a9222eff11cb28d761d59fe2b162cd12ae26
call_targets:
0x9e80340e1b0320d74bbb9b81eacb1823656f132c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x01ad1c600913b5d15398f4ca8de9a9222eff11cb28d761d59fe2b162cd12ae26",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9e80340e1b0320d74bbb9b81eacb1823656f132c"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06c3a2fc",
"selector": "0x06c3a2fc",
"calldata_variants": [
"0x06c3a2fc",
"0x06c3a2fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d4a4723",
"selector": "0x0d4a4723",
"calldata_variants": [
"0x0d4a4723",
"0x0d4a47230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x205c2878",
"selector": "0x205c2878",
"calldata_variants": [
"0x205c2878",
"0x205c28780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6448f6e1",
"selector": "0x6448f6e1",
"calldata_variants": [
"0x6448f6e1",
"0x6448f6e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x692a365d",
"selector": "0x692a365d",
"calldata_variants": [
"0x692a365d",
"0x692a365d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 690,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 939,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "calldata-derived",
"target_expression_category": "constant"
},
{
"pc": 1156,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": [
{
"pc": 3066,
"type": "tx_origin_used"
}
]
}
|