019b3836-4cc5-7238-b863-570812fc8b3c
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 |
|---|---|---|---|---|
| 7109 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 7110 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 50472 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 50473 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 50474 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 50475 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x0106 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x173825d9 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0191 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x2f54bf6e 00000025: EQ 00000026: PUSH2 0x01e5 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x4123cb6b 00000030: EQ 00000031: PUSH2 0x020d 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x4534e5f6 0000003b: EQ 0000003c: PUSH2 0x0216 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x458e8a0a 00000046: EQ 00000047: PUSH2 0x0223 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x5c52c2f5 00000051: EQ 00000052: PUSH2 0x022d 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x632a9a52 0000005c: EQ 0000005d: PUSH2 0x0257 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x7065cb48 00000067: EQ 00000068: PUSH2 0x02cd 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x746c9171 00000072: EQ 00000073: PUSH2 0x02fa 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x797af627 0000007d: EQ 0000007e: PUSH2 0x0303 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xa89a9ffb 00000088: EQ 00000089: PUSH2 0x0316 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xb20d30a9 00000093: EQ 00000094: PUSH2 0x0345 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xb61d27f6 0000009e: EQ 0000009f: PUSH2 0x0372 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xb75c7dc6 000000a9: EQ 000000aa: PUSH2 0x0393 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xba51a6df 000000b4: EQ 000000b5: PUSH2 0x03c2 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xc2cf7326 000000bf: EQ 000000c0: PUSH2 0x03ef 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xcadbb5af 000000ca: EQ 000000cb: PUSH2 0x042d 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xcbf0b0c0 000000d5: EQ 000000d6: PUSH2 0x04ab 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xdd287692 000000e0: EQ 000000e1: PUSH2 0x04d8 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xf00d4b5d 000000eb: EQ 000000ec: PUSH2 0x04eb 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xf1736d86 000000f6: EQ 000000f7: PUSH2 0x051d 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xf3fef3a3 00000101: EQ 00000102: PUSH2 0x0527 00000105: JUMPI 00000106: JUMPDEST 00000107: PUSH2 0x0108 0000010a: SLOAD 0000010b: PUSH2 0x0109 0000010e: SLOAD 0000010f: PUSH2 0x055b 00000112: SWAP2 00000113: PUSH1 0x01 00000115: PUSH1 0xa0 00000117: PUSH1 0x02 00000119: EXP 0000011a: SUB 0000011b: AND 0000011c: SWAP1 0000011d: PUSH1 0x28 0000011f: SWAP1 00000120: GT 00000121: PUSH2 0x055d 00000124: JUMPI 00000125: PUSH2 0x0109 00000128: DUP1 00000129: SLOAD 0000012a: PUSH1 0x01 0000012c: ADD 0000012d: SWAP1 0000012e: SSTORE 0000012f: PUSH1 0x40 00000131: DUP1 00000132: MLOAD 00000133: PUSH1 0xe2 00000135: PUSH1 0x02 00000137: EXP 00000138: PUSH4 0x20998771 0000013d: MUL 0000013e: DUP2 0000013f: MSTORE 00000140: PUSH1 0x65 00000142: PUSH1 0x04 00000144: DUP3 00000145: ADD 00000146: MSTORE 00000147: PUSH20 0x5fbea6b04d5824c73a89cb8348d66492e0e4b7bf 0000015c: PUSH1 0x24 0000015e: DUP3 0000015f: ADD 00000160: MSTORE 00000161: SWAP1 00000162: MLOAD 00000163: DUP3 00000164: SWAP2 00000165: PUSH4 0x82661dc4 0000016a: SWAP2 0000016b: PUSH1 0x44 0000016d: DUP3 0000016e: DUP2 0000016f: ADD 00000170: SWAP3 00000171: PUSH1 0x20 00000173: SWAP3 00000174: SWAP2 00000175: SWAP1 00000176: DUP3 00000177: SWAP1 00000178: SUB 00000179: ADD 0000017a: DUP2 0000017b: PUSH1 0x00 0000017d: DUP8 0000017e: PUSH2 0x61da 00000181: GAS 00000182: SUB 00000183: CALL 00000184: ISZERO 00000185: PUSH2 0x0002 00000188: JUMPI 00000189: POP 0000018a: PUSH2 0x061d 0000018d: SWAP2 0000018e: POP 0000018f: POP 00000190: JUMP 00000191: JUMPDEST 00000192: PUSH2 0x055b 00000195: PUSH1 0x04 00000197: CALLDATALOAD 00000198: PUSH1 0x00 0000019a: PUSH1 0x00 0000019c: CALLDATASIZE 0000019d: PUSH1 0x40 0000019f: MLOAD 000001a0: DUP1 000001a1: DUP4 000001a2: DUP4 000001a3: DUP1 000001a4: DUP3 000001a5: DUP5 000001a6: CALLDATACOPY 000001a7: DUP3 000001a8: ADD 000001a9: SWAP2 000001aa: POP 000001ab: POP 000001ac: SWAP3 000001ad: POP 000001ae: POP 000001af: POP 000001b0: PUSH1 0x40 000001b2: MLOAD 000001b3: DUP1 000001b4: SWAP2 000001b5: SUB 000001b6: SWAP1 000001b7: KECCAK256 000001b8: PUSH2 0x0930 000001bb: DUP2 000001bc: JUMPDEST 000001bd: CALLER 000001be: PUSH1 0x01 000001c0: PUSH1 0xa0 000001c2: PUSH1 0x02 000001c4: EXP 000001c5: SUB 000001c6: AND 000001c7: PUSH1 0x00 000001c9: SWAP1 000001ca: DUP2 000001cb: MSTORE 000001cc: PUSH2 0x0102 000001cf: PUSH1 0x20 000001d1: MSTORE 000001d2: PUSH1 0x40 000001d4: DUP2 000001d5: KECCAK256 000001d6: SLOAD 000001d7: DUP2 000001d8: DUP1 000001d9: DUP3 000001da: DUP2 000001db: EQ 000001dc: ISZERO 000001dd: PUSH2 0x0fd5 000001e0: JUMPI 000001e1: PUSH2 0x112e 000001e4: JUMP 000001e5: JUMPDEST 000001e6: PUSH2 0x0620 000001e9: PUSH1 0x04 000001eb: CALLDATALOAD 000001ec: JUMPDEST 000001ed: PUSH1 0x01 000001ef: PUSH1 0xa0 000001f1: PUSH1 0x02 000001f3: EXP 000001f4: SUB 000001f5: DUP2 000001f6: AND 000001f7: PUSH1 0x00 000001f9: SWAP1 000001fa: DUP2 000001fb: MSTORE 000001fc: PUSH2 0x0102 000001ff: PUSH1 0x20 00000201: MSTORE 00000202: PUSH1 0x40 00000204: DUP2 00000205: KECCAK256 00000206: SLOAD 00000207: GT 00000208: JUMPDEST 00000209: SWAP2 0000020a: SWAP1 0000020b: POP 0000020c: JUMP 0000020d: JUMPDEST 0000020e: PUSH2 0x0620 00000211: PUSH1 0x01 00000213: SLOAD 00000214: DUP2 00000215: JUMP 00000216: JUMPDEST 00000217: PUSH2 0x0620 0000021a: PUSH2 0x010a 0000021d: SLOAD 0000021e: PUSH1 0xff 00000220: AND 00000221: DUP2 00000222: JUMP 00000223: JUMPDEST 00000224: PUSH2 0x0620 00000227: PUSH2 0x0109 0000022a: SLOAD 0000022b: DUP2 0000022c: JUMP 0000022d: JUMPDEST 0000022e: PUSH2 0x055b 00000231: PUSH1 0x00 00000233: CALLDATASIZE 00000234: PUSH1 0x40 00000236: MLOAD 00000237: DUP1 00000238: DUP4 00000239: DUP4 0000023a: DUP1 0000023b: DUP3 0000023c: DUP5 0000023d: CALLDATACOPY 0000023e: DUP3 0000023f: ADD 00000240: SWAP2 00000241: POP 00000242: POP 00000243: SWAP3 00000244: POP 00000245: POP 00000246: POP 00000247: PUSH1 0x40 00000249: MLOAD 0000024a: DUP1 0000024b: SWAP2 0000024c: SUB 0000024d: SWAP1 0000024e: KECCAK256 0000024f: PUSH2 0x0a71 00000252: DUP2 00000253: PUSH2 0x01bc 00000256: JUMP 00000257: JUMPDEST 00000258: PUSH1 0x40 0000025a: DUP1 0000025b: MLOAD 0000025c: PUSH2 0x0108 0000025f: SLOAD 00000260: PUSH32 0xc9d27afe00000000000000000000000000000000000000000000000000000000 00000281: DUP3 00000282: MSTORE 00000283: PUSH1 0x65 00000285: PUSH1 0x04 00000287: DUP4 00000288: ADD 00000289: MSTORE 0000028a: PUSH1 0x01 0000028c: PUSH1 0x24 0000028e: DUP4 0000028f: ADD 00000290: MSTORE 00000291: SWAP2 00000292: MLOAD 00000293: PUSH2 0x055b 00000296: SWAP3 00000297: PUSH1 0x01 00000299: PUSH1 0xa0 0000029b: PUSH1 0x02 0000029d: EXP 0000029e: SUB 0000029f: AND 000002a0: SWAP2 000002a1: DUP3 000002a2: SWAP2 000002a3: PUSH4 0xc9d27afe 000002a8: SWAP2 000002a9: PUSH1 0x44 000002ab: DUP2 000002ac: DUP2 000002ad: ADD 000002ae: SWAP3 000002af: PUSH1 0x20 000002b1: SWAP3 000002b2: SWAP1 000002b3: SWAP2 000002b4: SWAP1 000002b5: DUP3 000002b6: SWAP1 000002b7: SUB 000002b8: ADD 000002b9: DUP2 000002ba: PUSH1 0x00 000002bc: DUP8 000002bd: PUSH2 0x61da 000002c0: GAS 000002c1: SUB 000002c2: CALL 000002c3: ISZERO 000002c4: PUSH2 0x0002 000002c7: JUMPI 000002c8: POP 000002c9: POP 000002ca: POP 000002cb: POP 000002cc: JUMP 000002cd: JUMPDEST 000002ce: PUSH2 0x055b 000002d1: PUSH1 0x04 000002d3: CALLDATALOAD 000002d4: PUSH1 0x00 000002d6: CALLDATASIZE 000002d7: PUSH1 0x40 000002d9: MLOAD 000002da: DUP1 000002db: DUP4 000002dc: DUP4 000002dd: DUP1 000002de: DUP3 000002df: DUP5 000002e0: CALLDATACOPY 000002e1: DUP3 000002e2: ADD 000002e3: SWAP2 000002e4: POP 000002e5: POP 000002e6: SWAP3 000002e7: POP 000002e8: POP 000002e9: POP 000002ea: PUSH1 0x40 000002ec: MLOAD 000002ed: DUP1 000002ee: SWAP2 000002ef: SUB 000002f0: SWAP1 000002f1: KECCAK256 000002f2: PUSH2 0x0829 000002f5: DUP2 000002f6: PUSH2 0x01bc 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH2 0x0620 000002fe: PUSH1 0x00 00000300: SLOAD 00000301: DUP2 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH2 0x0620 00000307: PUSH1 0x04 00000309: CALLDATALOAD 0000030a: JUMPDEST 0000030b: PUSH1 0x00 0000030d: DUP2 0000030e: PUSH2 0x0d96 00000311: DUP2 00000312: PUSH2 0x01bc 00000315: JUMP 00000316: JUMPDEST 00000317: PUSH2 0x055b 0000031a: PUSH1 0x04 0000031c: CALLDATALOAD 0000031d: PUSH20 0x06b671106bf4de59243111c0fece9f43da91595f 00000332: CALLER 00000333: PUSH1 0x01 00000335: PUSH1 0xa0 00000337: PUSH1 0x02 00000339: EXP 0000033a: SUB 0000033b: AND 0000033c: EQ 0000033d: PUSH2 0x0ae2 00000340: JUMPI 00000341: PUSH2 0x0002 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH2 0x055b 00000349: PUSH1 0x04 0000034b: CALLDATALOAD 0000034c: PUSH1 0x00 0000034e: CALLDATASIZE 0000034f: PUSH1 0x40 00000351: MLOAD 00000352: DUP1 00000353: DUP4 00000354: DUP4 00000355: DUP1 00000356: DUP3 00000357: DUP5 00000358: CALLDATACOPY 00000359: DUP3 0000035a: ADD 0000035b: SWAP2 0000035c: POP 0000035d: POP 0000035e: SWAP3 0000035f: POP 00000360: POP 00000361: POP 00000362: PUSH1 0x40 00000364: MLOAD 00000365: DUP1 00000366: SWAP2 00000367: SUB 00000368: SWAP1 00000369: KECCAK256 0000036a: PUSH2 0x0a65 0000036d: DUP2 0000036e: PUSH2 0x01bc 00000371: JUMP 00000372: JUMPDEST 00000373: PUSH2 0x0620 00000376: PUSH1 0x04 00000378: DUP1 00000379: CALLDATALOAD 0000037a: SWAP1 0000037b: PUSH1 0x24 0000037d: DUP1 0000037e: CALLDATALOAD 0000037f: SWAP2 00000380: PUSH1 0x44 00000382: CALLDATALOAD 00000383: SWAP2 00000384: DUP3 00000385: ADD 00000386: SWAP2 00000387: ADD 00000388: CALLDATALOAD 00000389: PUSH1 0x00 0000038b: PUSH2 0x0b19 0000038e: CALLER 0000038f: PUSH2 0x01ec 00000392: JUMP 00000393: JUMPDEST 00000394: PUSH2 0x055b 00000397: PUSH1 0x04 00000399: CALLDATALOAD 0000039a: CALLER 0000039b: PUSH1 0x01 0000039d: PUSH1 0xa0 0000039f: PUSH1 0x02 000003a1: EXP 000003a2: SUB 000003a3: AND 000003a4: PUSH1 0x00 000003a6: SWAP1 000003a7: DUP2 000003a8: MSTORE 000003a9: PUSH2 0x0102 000003ac: PUSH1 0x20 000003ae: MSTORE 000003af: PUSH1 0x40 000003b1: DUP2 000003b2: KECCAK256 000003b3: SLOAD 000003b4: SWAP1 000003b5: DUP1 000003b6: DUP3 000003b7: DUP2 000003b8: EQ 000003b9: ISZERO 000003ba: PUSH2 0x064f 000003bd: JUMPI 000003be: PUSH2 0x06ce 000003c1: JUMP 000003c2: JUMPDEST 000003c3: PUSH2 0x055b 000003c6: PUSH1 0x04 000003c8: CALLDATALOAD 000003c9: PUSH1 0x00 000003cb: CALLDATASIZE 000003cc: PUSH1 0x40 000003ce: MLOAD 000003cf: DUP1 000003d0: DUP4 000003d1: DUP4 000003d2: DUP1 000003d3: DUP3 000003d4: DUP5 000003d5: CALLDATACOPY 000003d6: DUP3 000003d7: ADD 000003d8: SWAP2 000003d9: POP 000003da: POP 000003db: SWAP3 000003dc: POP 000003dd: POP 000003de: POP 000003df: PUSH1 0x40 000003e1: MLOAD 000003e2: DUP1 000003e3: SWAP2 000003e4: SUB 000003e5: SWAP1 000003e6: KECCAK256 000003e7: PUSH2 0x09ee 000003ea: DUP2 000003eb: PUSH2 0x01bc 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH2 0x0620 000003f3: PUSH1 0x04 000003f5: CALLDATALOAD 000003f6: PUSH1 0x24 000003f8: CALLDATALOAD 000003f9: PUSH1 0x00 000003fb: DUP3 000003fc: DUP2 000003fd: MSTORE 000003fe: PUSH2 0x0103 00000401: PUSH1 0x20 00000403: SWAP1 00000404: DUP2 00000405: MSTORE 00000406: PUSH1 0x40 00000408: DUP1 00000409: DUP4 0000040a: KECCAK256 0000040b: PUSH1 0x01 0000040d: PUSH1 0xa0 0000040f: PUSH1 0x02 00000411: EXP 00000412: SUB 00000413: DUP6 00000414: AND 00000415: DUP5 00000416: MSTORE 00000417: PUSH2 0x0102 0000041a: SWAP1 0000041b: SWAP3 0000041c: MSTORE 0000041d: DUP3 0000041e: KECCAK256 0000041f: SLOAD 00000420: DUP3 00000421: DUP2 00000422: DUP2 00000423: EQ 00000424: ISZERO 00000425: PUSH2 0x0a47 00000428: JUMPI 00000429: PUSH2 0x0a5c 0000042c: JUMP 0000042d: JUMPDEST 0000042e: PUSH2 0x055b 00000431: PUSH1 0x04 00000433: CALLDATALOAD 00000434: PUSH2 0x0108 00000437: SLOAD 00000438: PUSH2 0x0109 0000043b: DUP3 0000043c: SWAP1 0000043d: SSTORE 0000043e: PUSH1 0x40 00000440: DUP1 00000441: MLOAD 00000442: PUSH1 0xe2 00000444: PUSH1 0x02 00000446: EXP 00000447: PUSH4 0x20998771 0000044c: MUL 0000044d: DUP2 0000044e: MSTORE 0000044f: PUSH1 0x65 00000451: PUSH1 0x04 00000453: DUP3 00000454: ADD 00000455: MSTORE 00000456: PUSH20 0x5fbea6b04d5824c73a89cb8348d66492e0e4b7bf 0000046b: PUSH1 0x24 0000046d: DUP3 0000046e: ADD 0000046f: MSTORE 00000470: SWAP1 00000471: MLOAD 00000472: PUSH1 0x01 00000474: PUSH1 0xa0 00000476: PUSH1 0x02 00000478: EXP 00000479: SUB 0000047a: SWAP3 0000047b: SWAP1 0000047c: SWAP3 0000047d: AND 0000047e: SWAP2 0000047f: DUP3 00000480: SWAP2 00000481: PUSH4 0x82661dc4 00000486: SWAP2 00000487: PUSH1 0x44 00000489: DUP3 0000048a: DUP2 0000048b: ADD 0000048c: SWAP3 0000048d: PUSH1 0x20 0000048f: SWAP3 00000490: SWAP2 00000491: SWAP1 00000492: DUP3 00000493: SWAP1 00000494: SUB 00000495: ADD 00000496: DUP2 00000497: PUSH1 0x00 00000499: DUP8 0000049a: PUSH2 0x61da 0000049d: GAS 0000049e: SUB 0000049f: CALL 000004a0: ISZERO 000004a1: PUSH2 0x0002 000004a4: JUMPI 000004a5: POP 000004a6: POP 000004a7: POP 000004a8: POP 000004a9: POP 000004aa: JUMP 000004ab: JUMPDEST 000004ac: PUSH2 0x055b 000004af: PUSH1 0x04 000004b1: CALLDATALOAD 000004b2: PUSH1 0x00 000004b4: CALLDATASIZE 000004b5: PUSH1 0x40 000004b7: MLOAD 000004b8: DUP1 000004b9: DUP4 000004ba: DUP4 000004bb: DUP1 000004bc: DUP3 000004bd: DUP5 000004be: CALLDATACOPY 000004bf: DUP3 000004c0: ADD 000004c1: SWAP2 000004c2: POP 000004c3: POP 000004c4: SWAP3 000004c5: POP 000004c6: POP 000004c7: POP 000004c8: PUSH1 0x40 000004ca: MLOAD 000004cb: DUP1 000004cc: SWAP2 000004cd: SUB 000004ce: SWAP1 000004cf: KECCAK256 000004d0: PUSH2 0x0b08 000004d3: DUP2 000004d4: PUSH2 0x01bc 000004d7: JUMP 000004d8: JUMPDEST 000004d9: PUSH2 0x0632 000004dc: PUSH2 0x0108 000004df: SLOAD 000004e0: PUSH1 0x01 000004e2: PUSH1 0xa0 000004e4: PUSH1 0x02 000004e6: EXP 000004e7: SUB 000004e8: AND 000004e9: DUP2 000004ea: JUMP 000004eb: JUMPDEST 000004ec: PUSH2 0x055b 000004ef: PUSH1 0x04 000004f1: CALLDATALOAD 000004f2: PUSH1 0x24 000004f4: CALLDATALOAD 000004f5: PUSH1 0x00 000004f7: PUSH1 0x00 000004f9: CALLDATASIZE 000004fa: PUSH1 0x40 000004fc: MLOAD 000004fd: DUP1 000004fe: DUP4 000004ff: DUP4 00000500: DUP1 00000501: DUP3 00000502: DUP5 00000503: CALLDATACOPY 00000504: DUP3 00000505: ADD 00000506: SWAP2 00000507: POP 00000508: POP 00000509: SWAP3 0000050a: POP 0000050b: POP 0000050c: POP 0000050d: PUSH1 0x40 0000050f: MLOAD 00000510: DUP1 00000511: SWAP2 00000512: SUB 00000513: SWAP1 00000514: KECCAK256 00000515: PUSH2 0x0759 00000518: DUP2 00000519: PUSH2 0x01bc 0000051c: JUMP 0000051d: JUMPDEST 0000051e: PUSH2 0x0620 00000521: PUSH2 0x0105 00000524: SLOAD 00000525: DUP2 00000526: JUMP 00000527: JUMPDEST 00000528: PUSH2 0x055b 0000052b: PUSH1 0x04 0000052d: CALLDATALOAD 0000052e: PUSH1 0x24 00000530: CALLDATALOAD 00000531: PUSH1 0x00 00000533: PUSH20 0x06b671106bf4de59243111c0fece9f43da91595f 00000548: CALLER 00000549: PUSH1 0x01 0000054b: PUSH1 0xa0 0000054d: PUSH1 0x02 0000054f: EXP 00000550: SUB 00000551: AND 00000552: EQ 00000553: PUSH2 0x0a7f 00000556: JUMPI 00000557: PUSH2 0x0002 0000055a: JUMP 0000055b: JUMPDEST 0000055c: STOP 0000055d: JUMPDEST 0000055e: PUSH1 0x00 00000560: PUSH2 0x0109 00000563: PUSH1 0x00 00000565: POP 00000566: DUP2 00000567: SWAP1 00000568: SSTORE 00000569: POP 0000056a: DUP1 0000056b: PUSH1 0x01 0000056d: PUSH1 0xa0 0000056f: PUSH1 0x02 00000571: EXP 00000572: SUB 00000573: AND 00000574: PUSH4 0xa9059cbb 00000579: PUSH20 0xabeebb597cd3fec57b6ebd6220beed584b423059 0000058e: DUP4 0000058f: PUSH1 0x01 00000591: PUSH1 0xa0 00000593: PUSH1 0x02 00000595: EXP 00000596: SUB 00000597: AND 00000598: PUSH4 0x70a08231 0000059d: ADDRESS 0000059e: PUSH1 0x40 000005a0: MLOAD 000005a1: DUP3 000005a2: PUSH1 0xe0 000005a4: PUSH1 0x02 000005a6: EXP 000005a7: MUL 000005a8: DUP2 000005a9: MSTORE 000005aa: PUSH1 0x04 000005ac: ADD 000005ad: DUP1 000005ae: DUP3 000005af: PUSH1 0x01 000005b1: PUSH1 0xa0 000005b3: PUSH1 0x02 000005b5: EXP 000005b6: SUB 000005b7: AND 000005b8: DUP2 000005b9: MSTORE 000005ba: PUSH1 0x20 000005bc: ADD 000005bd: SWAP2 000005be: POP 000005bf: POP 000005c0: PUSH1 0x20 000005c2: PUSH1 0x40 000005c4: MLOAD 000005c5: DUP1 000005c6: DUP4 000005c7: SUB 000005c8: DUP2 000005c9: PUSH1 0x00 000005cb: DUP8 000005cc: PUSH2 0x61da 000005cf: GAS 000005d0: SUB 000005d1: CALL 000005d2: ISZERO 000005d3: PUSH2 0x0002 000005d6: JUMPI 000005d7: POP 000005d8: POP 000005d9: PUSH1 0x40 000005db: DUP1 000005dc: MLOAD 000005dd: DUP1 000005de: MLOAD 000005df: PUSH1 0xe0 000005e1: PUSH1 0x02 000005e3: EXP 000005e4: PUSH4 0xa9059cbb 000005e9: MUL 000005ea: DUP3 000005eb: MSTORE 000005ec: PUSH1 0x04 000005ee: DUP3 000005ef: ADD 000005f0: SWAP5 000005f1: SWAP1 000005f2: SWAP5 000005f3: MSTORE 000005f4: PUSH1 0x24 000005f6: DUP2 000005f7: ADD 000005f8: SWAP4 000005f9: SWAP1 000005fa: SWAP4 000005fb: MSTORE 000005fc: MLOAD 000005fd: PUSH1 0x44 000005ff: DUP4 00000600: DUP2 00000601: ADD 00000602: SWAP4 00000603: PUSH1 0x20 00000605: SWAP4 00000606: POP 00000607: DUP3 00000608: SWAP1 00000609: SUB 0000060a: ADD 0000060b: DUP2 0000060c: PUSH1 0x00 0000060e: DUP8 0000060f: PUSH2 0x61da 00000612: GAS 00000613: SUB 00000614: CALL 00000615: ISZERO 00000616: PUSH2 0x0002 00000619: JUMPI 0000061a: POP 0000061b: POP 0000061c: POP 0000061d: JUMPDEST 0000061e: POP 0000061f: JUMP 00000620: JUMPDEST 00000621: PUSH1 0x40 00000623: DUP1 00000624: MLOAD 00000625: SWAP2 00000626: DUP3 00000627: MSTORE 00000628: MLOAD 00000629: SWAP1 0000062a: DUP2 0000062b: SWAP1 0000062c: SUB 0000062d: PUSH1 0x20 0000062f: ADD 00000630: SWAP1 00000631: RETURN 00000632: JUMPDEST 00000633: PUSH1 0x40 00000635: DUP1 00000636: MLOAD 00000637: PUSH1 0x01 00000639: PUSH1 0xa0 0000063b: PUSH1 0x02 0000063d: EXP 0000063e: SUB 0000063f: SWAP3 00000640: SWAP1 00000641: SWAP3 00000642: AND 00000643: DUP3 00000644: MSTORE 00000645: MLOAD 00000646: SWAP1 00000647: DUP2 00000648: SWAP1 00000649: SUB 0000064a: PUSH1 0x20 0000064c: ADD 0000064d: SWAP1 0000064e: RETURN 0000064f: JUMPDEST 00000650: POP 00000651: POP 00000652: PUSH1 0x00 00000654: DUP3 00000655: DUP2 00000656: MSTORE 00000657: PUSH2 0x0103 0000065a: PUSH1 0x20 0000065c: MSTORE 0000065d: PUSH1 0x40 0000065f: DUP2 00000660: KECCAK256 00000661: PUSH1 0x01 00000663: DUP2 00000664: ADD 00000665: SLOAD 00000666: PUSH1 0x02 00000668: DUP5 00000669: SWAP1 0000066a: EXP 0000066b: SWAP3 0000066c: SWAP1 0000066d: DUP4 0000066e: AND 0000066f: GT 00000670: ISZERO 00000671: PUSH2 0x06ce 00000674: JUMPI 00000675: DUP1 00000676: SLOAD 00000677: PUSH1 0x01 00000679: DUP3 0000067a: DUP2 0000067b: ADD 0000067c: DUP1 0000067d: SLOAD 0000067e: SWAP3 0000067f: SWAP1 00000680: SWAP2 00000681: ADD 00000682: DUP4 00000683: SSTORE 00000684: SWAP1 00000685: DUP4 00000686: SWAP1 00000687: SUB 00000688: SWAP1 00000689: SSTORE 0000068a: PUSH1 0x40 0000068c: DUP1 0000068d: MLOAD 0000068e: CALLER 0000068f: PUSH1 0x01 00000691: PUSH1 0xa0 00000693: PUSH1 0x02 00000695: EXP 00000696: SUB 00000697: AND 00000698: DUP2 00000699: MSTORE 0000069a: PUSH1 0x20 0000069c: DUP2 0000069d: ADD 0000069e: DUP7 0000069f: SWAP1 000006a0: MSTORE 000006a1: DUP2 000006a2: MLOAD 000006a3: PUSH32 0xc7fb647e59b18047309aa15aad418e5d7ca96d173ad704f1031a2c3d7591734b 000006c4: SWAP3 000006c5: SWAP2 000006c6: DUP2 000006c7: SWAP1 000006c8: SUB 000006c9: SWAP1 000006ca: SWAP2 000006cb: ADD 000006cc: SWAP1 000006cd: LOG1 000006ce: JUMPDEST 000006cf: POP 000006d0: POP 000006d1: POP 000006d2: POP 000006d3: JUMP 000006d4: JUMPDEST 000006d5: PUSH1 0x01 000006d7: PUSH1 0xa0 000006d9: PUSH1 0x02 000006db: EXP 000006dc: SUB 000006dd: DUP4 000006de: AND 000006df: PUSH1 0x02 000006e1: DUP4 000006e2: PUSH2 0x0100 000006e5: DUP2 000006e6: LT 000006e7: ISZERO 000006e8: PUSH2 0x0002 000006eb: JUMPI 000006ec: POP 000006ed: DUP4 000006ee: ADD 000006ef: DUP2 000006f0: SWAP1 000006f1: SSTORE 000006f2: PUSH1 0x01 000006f4: PUSH1 0xa0 000006f6: PUSH1 0x02 000006f8: EXP 000006f9: SUB 000006fa: DUP6 000006fb: AND 000006fc: PUSH1 0x00 000006fe: DUP2 000006ff: DUP2 00000700: MSTORE 00000701: PUSH2 0x0102 00000704: PUSH1 0x20 00000706: SWAP1 00000707: DUP2 00000708: MSTORE 00000709: PUSH1 0x40 0000070b: DUP1 0000070c: DUP4 0000070d: KECCAK256 0000070e: DUP4 0000070f: SWAP1 00000710: SSTORE 00000711: DUP5 00000712: DUP4 00000713: MSTORE 00000714: SWAP2 00000715: DUP3 00000716: SWAP1 00000717: KECCAK256 00000718: DUP7 00000719: SWAP1 0000071a: SSTORE 0000071b: DUP2 0000071c: MLOAD 0000071d: SWAP3 0000071e: DUP4 0000071f: MSTORE 00000720: DUP3 00000721: ADD 00000722: SWAP3 00000723: SWAP1 00000724: SWAP3 00000725: MSTORE 00000726: DUP2 00000727: MLOAD 00000728: PUSH32 0xb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c 00000749: SWAP3 0000074a: SWAP2 0000074b: DUP2 0000074c: SWAP1 0000074d: SUB 0000074e: SWAP1 0000074f: SWAP2 00000750: ADD 00000751: SWAP1 00000752: LOG1 00000753: POP 00000754: JUMPDEST 00000755: POP 00000756: POP 00000757: POP 00000758: JUMP 00000759: JUMPDEST 0000075a: ISZERO 0000075b: PUSH2 0x06ce 0000075e: JUMPI 0000075f: PUSH2 0x0767 00000762: DUP4 00000763: PUSH2 0x01ec 00000766: JUMP 00000767: JUMPDEST 00000768: ISZERO 00000769: PUSH2 0x0772 0000076c: JUMPI 0000076d: POP 0000076e: PUSH2 0x0754 00000771: JUMP 00000772: JUMPDEST 00000773: PUSH1 0x01 00000775: PUSH1 0xa0 00000777: PUSH1 0x02 00000779: EXP 0000077a: SUB 0000077b: DUP5 0000077c: AND 0000077d: PUSH1 0x00 0000077f: SWAP1 00000780: DUP2 00000781: MSTORE 00000782: PUSH2 0x0102 00000785: PUSH1 0x20 00000787: MSTORE 00000788: PUSH1 0x40 0000078a: DUP2 0000078b: KECCAK256 0000078c: SLOAD 0000078d: SWAP3 0000078e: POP 0000078f: DUP3 00000790: EQ 00000791: ISZERO 00000792: PUSH2 0x079b 00000795: JUMPI 00000796: POP 00000797: PUSH2 0x0754 0000079a: JUMP 0000079b: JUMPDEST 0000079c: PUSH2 0x06d4 0000079f: JUMPDEST 000007a0: PUSH2 0x0104 000007a3: SLOAD 000007a4: PUSH1 0x00 000007a6: JUMPDEST 000007a7: DUP2 000007a8: DUP2 000007a9: LT 000007aa: ISZERO 000007ab: PUSH2 0x127a 000007ae: JUMPI 000007af: PUSH2 0x0104 000007b2: DUP1 000007b3: SLOAD 000007b4: PUSH2 0x010b 000007b7: SWAP2 000007b8: PUSH1 0x00 000007ba: SWAP2 000007bb: DUP5 000007bc: SWAP1 000007bd: DUP2 000007be: LT 000007bf: ISZERO 000007c0: PUSH2 0x0002 000007c3: JUMPI 000007c4: PUSH1 0x00 000007c6: DUP1 000007c7: MLOAD 000007c8: PUSH1 0x20 000007ca: PUSH2 0x1347 000007cd: DUP4 000007ce: CODECOPY 000007cf: DUP2 000007d0: MLOAD 000007d1: SWAP2 000007d2: MSTORE 000007d3: ADD 000007d4: SLOAD 000007d5: DUP3 000007d6: MSTORE 000007d7: POP 000007d8: PUSH1 0x20 000007da: SWAP2 000007db: SWAP1 000007dc: SWAP2 000007dd: MSTORE 000007de: PUSH1 0x40 000007e0: DUP2 000007e1: KECCAK256 000007e2: DUP1 000007e3: SLOAD 000007e4: PUSH1 0x01 000007e6: PUSH1 0xa0 000007e8: PUSH1 0x02 000007ea: EXP 000007eb: SUB 000007ec: NOT 000007ed: AND 000007ee: DUP2 000007ef: SSTORE 000007f0: PUSH1 0x01 000007f2: DUP2 000007f3: DUP2 000007f4: ADD 000007f5: DUP4 000007f6: SWAP1 000007f7: SSTORE 000007f8: PUSH1 0x02 000007fa: DUP3 000007fb: DUP2 000007fc: ADD 000007fd: DUP1 000007fe: SLOAD 000007ff: DUP6 00000800: DUP3 00000801: SSTORE 00000802: SWAP4 00000803: SWAP5 00000804: SWAP4 00000805: SWAP1 00000806: SWAP3 00000807: DUP2 00000808: AND 00000809: ISZERO 0000080a: PUSH2 0x0100 0000080d: MUL 0000080e: PUSH1 0x00 00000810: NOT 00000811: ADD 00000812: AND 00000813: DIV 00000814: PUSH1 0x1f 00000816: DUP2 00000817: SWAP1 00000818: LT 00000819: PUSH2 0x12ff 0000081c: JUMPI 0000081d: POP 0000081e: JUMPDEST 0000081f: POP 00000820: POP 00000821: POP 00000822: PUSH1 0x01 00000824: ADD 00000825: PUSH2 0x07a6 00000828: JUMP 00000829: JUMPDEST 0000082a: ISZERO 0000082b: PUSH2 0x08b6 0000082e: JUMPI 0000082f: PUSH2 0x08ba 00000832: DUP3 00000833: PUSH2 0x01ec 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH1 0x01 0000083a: DUP1 0000083b: SLOAD 0000083c: DUP2 0000083d: ADD 0000083e: SWAP1 0000083f: DUP2 00000840: SWAP1 00000841: SSTORE 00000842: PUSH1 0x01 00000844: PUSH1 0xa0 00000846: PUSH1 0x02 00000848: EXP 00000849: SUB 0000084a: DUP4 0000084b: AND 0000084c: SWAP1 0000084d: PUSH1 0x02 0000084f: SWAP1 00000850: PUSH2 0x0100 00000853: DUP2 00000854: LT 00000855: ISZERO 00000856: PUSH2 0x0002 00000859: JUMPI 0000085a: SWAP1 0000085b: SWAP1 0000085c: ADD 0000085d: PUSH1 0x00 0000085f: POP 00000860: SSTORE 00000861: PUSH1 0x01 00000863: SLOAD 00000864: PUSH1 0x01 00000866: PUSH1 0xa0 00000868: PUSH1 0x02 0000086a: EXP 0000086b: SUB 0000086c: DUP4 0000086d: AND 0000086e: PUSH1 0x00 00000870: DUP2 00000871: DUP2 00000872: MSTORE 00000873: PUSH2 0x0102 00000876: PUSH1 0x20 00000878: SWAP1 00000879: DUP2 0000087a: MSTORE 0000087b: PUSH1 0x40 0000087d: SWAP2 0000087e: DUP3 0000087f: SWAP1 00000880: KECCAK256 00000881: SWAP4 00000882: SWAP1 00000883: SWAP4 00000884: SSTORE 00000885: DUP1 00000886: MLOAD 00000887: SWAP2 00000888: DUP3 00000889: MSTORE 0000088a: MLOAD 0000088b: PUSH32 0x994a936646fe87ffe4f1e469d3d6aa417d6b855598397f323de5b449f765f0c3 000008ac: SWAP3 000008ad: SWAP2 000008ae: DUP2 000008af: SWAP1 000008b0: SUB 000008b1: SWAP1 000008b2: SWAP2 000008b3: ADD 000008b4: SWAP1 000008b5: LOG1 000008b6: JUMPDEST 000008b7: POP 000008b8: POP 000008b9: JUMP 000008ba: JUMPDEST 000008bb: ISZERO 000008bc: PUSH2 0x08c5 000008bf: JUMPI 000008c0: POP 000008c1: PUSH2 0x061d 000008c4: JUMP 000008c5: JUMPDEST 000008c6: PUSH2 0x08cd 000008c9: PUSH2 0x079f 000008cc: JUMP 000008cd: JUMPDEST 000008ce: PUSH1 0x01 000008d0: SLOAD 000008d1: PUSH1 0xfa 000008d3: SWAP1 000008d4: LT 000008d5: PUSH2 0x08e0 000008d8: JUMPI 000008d9: PUSH2 0x08e0 000008dc: PUSH2 0x08f5 000008df: JUMP 000008e0: JUMPDEST 000008e1: PUSH1 0x01 000008e3: SLOAD 000008e4: PUSH1 0xfa 000008e6: SWAP1 000008e7: LT 000008e8: PUSH2 0x0837 000008eb: JUMPI 000008ec: POP 000008ed: PUSH2 0x061d 000008f0: JUMP 000008f1: JUMPDEST 000008f2: PUSH2 0x09ad 000008f5: JUMPDEST 000008f6: PUSH1 0x01 000008f8: JUMPDEST 000008f9: PUSH1 0x01 000008fb: SLOAD 000008fc: DUP2 000008fd: LT 000008fe: ISZERO 000008ff: PUSH2 0x061d 00000902: JUMPI 00000903: JUMPDEST 00000904: PUSH1 0x01 00000906: SLOAD 00000907: DUP2 00000908: LT 00000909: DUP1 0000090a: ISZERO 0000090b: PUSH2 0x0923 0000090e: JUMPI 0000090f: POP 00000910: PUSH1 0x02 00000912: DUP2 00000913: PUSH2 0x0100 00000916: DUP2 00000917: LT 00000918: ISZERO 00000919: PUSH2 0x0002 0000091c: JUMPI 0000091d: ADD 0000091e: SLOAD 0000091f: PUSH1 0x00 00000921: EQ 00000922: ISZERO 00000923: JUMPDEST 00000924: ISZERO 00000925: PUSH2 0x1136 00000928: JUMPI 00000929: PUSH1 0x01 0000092b: ADD 0000092c: PUSH2 0x0903 0000092f: JUMP 00000930: JUMPDEST 00000931: ISZERO 00000932: PUSH2 0x0754 00000935: JUMPI 00000936: PUSH1 0x01 00000938: PUSH1 0xa0 0000093a: PUSH1 0x02 0000093c: EXP 0000093d: SUB 0000093e: DUP4 0000093f: AND 00000940: PUSH1 0x00 00000942: SWAP1 00000943: DUP2 00000944: MSTORE 00000945: PUSH2 0x0102 00000948: PUSH1 0x20 0000094a: MSTORE 0000094b: PUSH1 0x40 0000094d: DUP2 0000094e: KECCAK256 0000094f: SLOAD 00000950: SWAP3 00000951: POP 00000952: DUP3 00000953: EQ 00000954: ISZERO 00000955: PUSH2 0x095e 00000958: JUMPI 00000959: POP 0000095a: PUSH2 0x08b6 0000095d: JUMP 0000095e: JUMPDEST 0000095f: PUSH1 0x01 00000961: PUSH1 0x01 00000963: PUSH1 0x00 00000965: POP 00000966: SLOAD 00000967: SUB 00000968: PUSH1 0x00 0000096a: PUSH1 0x00 0000096c: POP 0000096d: SLOAD 0000096e: GT 0000096f: ISZERO 00000970: PUSH2 0x0979 00000973: JUMPI 00000974: POP 00000975: PUSH2 0x08b6 00000978: JUMP 00000979: JUMPDEST 0000097a: PUSH1 0x00 0000097c: PUSH1 0x02 0000097e: DUP4 0000097f: PUSH2 0x0100 00000982: DUP2 00000983: LT 00000984: ISZERO 00000985: PUSH2 0x0002 00000988: JUMPI 00000989: POP 0000098a: DUP4 0000098b: ADD 0000098c: DUP2 0000098d: SWAP1 0000098e: SSTORE 0000098f: PUSH1 0x01 00000991: PUSH1 0xa0 00000993: PUSH1 0x02 00000995: EXP 00000996: SUB 00000997: DUP5 00000998: AND 00000999: DUP2 0000099a: MSTORE 0000099b: PUSH2 0x0102 0000099e: PUSH1 0x20 000009a0: MSTORE 000009a1: PUSH1 0x40 000009a3: DUP2 000009a4: KECCAK256 000009a5: SSTORE 000009a6: PUSH2 0x08f1 000009a9: PUSH2 0x079f 000009ac: JUMP 000009ad: JUMPDEST 000009ae: PUSH1 0x40 000009b0: DUP1 000009b1: MLOAD 000009b2: PUSH1 0x01 000009b4: PUSH1 0xa0 000009b6: PUSH1 0x02 000009b8: EXP 000009b9: SUB 000009ba: DUP6 000009bb: AND 000009bc: DUP2 000009bd: MSTORE 000009be: SWAP1 000009bf: MLOAD 000009c0: PUSH32 0x58619076adf5bb0943d100ef88d52d7c3fd691b19d3a9071b555b651fbf418da 000009e1: SWAP2 000009e2: DUP2 000009e3: SWAP1 000009e4: SUB 000009e5: PUSH1 0x20 000009e7: ADD 000009e8: SWAP1 000009e9: LOG1 000009ea: POP 000009eb: POP 000009ec: POP 000009ed: JUMP 000009ee: JUMPDEST 000009ef: ISZERO 000009f0: PUSH2 0x08b6 000009f3: JUMPI 000009f4: PUSH1 0x01 000009f6: SLOAD 000009f7: DUP3 000009f8: GT 000009f9: ISZERO 000009fa: PUSH2 0x0a03 000009fd: JUMPI 000009fe: POP 000009ff: PUSH2 0x061d 00000a02: JUMP 00000a03: JUMPDEST 00000a04: PUSH1 0x00 00000a06: DUP3 00000a07: SWAP1 00000a08: SSTORE 00000a09: PUSH2 0x0a10 00000a0c: PUSH2 0x079f 00000a0f: JUMP 00000a10: JUMPDEST 00000a11: PUSH1 0x40 00000a13: DUP1 00000a14: MLOAD 00000a15: DUP4 00000a16: DUP2 00000a17: MSTORE 00000a18: SWAP1 00000a19: MLOAD 00000a1a: PUSH32 0xacbdb084c721332ac59f9b8e392196c9eb0e4932862da8eb9beaf0dad4f550da 00000a3b: SWAP2 00000a3c: DUP2 00000a3d: SWAP1 00000a3e: SUB 00000a3f: PUSH1 0x20 00000a41: ADD 00000a42: SWAP1 00000a43: LOG1 00000a44: POP 00000a45: POP 00000a46: JUMP 00000a47: JUMPDEST 00000a48: POP 00000a49: PUSH1 0x01 00000a4b: DUP3 00000a4c: ADD 00000a4d: SLOAD 00000a4e: PUSH1 0x02 00000a50: DUP3 00000a51: SWAP1 00000a52: EXP 00000a53: SWAP1 00000a54: DUP2 00000a55: AND 00000a56: PUSH1 0x00 00000a58: EQ 00000a59: ISZERO 00000a5a: SWAP4 00000a5b: POP 00000a5c: JUMPDEST 00000a5d: POP 00000a5e: POP 00000a5f: POP 00000a60: SWAP3 00000a61: SWAP2 00000a62: POP 00000a63: POP 00000a64: JUMP 00000a65: JUMPDEST 00000a66: ISZERO 00000a67: PUSH2 0x08b6 00000a6a: JUMPI 00000a6b: POP 00000a6c: PUSH2 0x0105 00000a6f: SSTORE 00000a70: JUMP 00000a71: JUMPDEST 00000a72: ISZERO 00000a73: PUSH2 0x061d 00000a76: JUMPI 00000a77: PUSH1 0x00 00000a79: PUSH2 0x0106 00000a7c: SSTORE 00000a7d: POP 00000a7e: JUMP 00000a7f: JUMPDEST 00000a80: POP 00000a81: PUSH2 0x0108 00000a84: SLOAD 00000a85: PUSH1 0x40 00000a87: DUP1 00000a88: MLOAD 00000a89: PUSH1 0xe0 00000a8b: PUSH1 0x02 00000a8d: EXP 00000a8e: PUSH4 0xa9059cbb 00000a93: MUL 00000a94: DUP2 00000a95: MSTORE 00000a96: PUSH1 0x01 00000a98: PUSH1 0xa0 00000a9a: PUSH1 0x02 00000a9c: EXP 00000a9d: SUB 00000a9e: DUP6 00000a9f: DUP2 00000aa0: AND 00000aa1: PUSH1 0x04 00000aa3: DUP4 00000aa4: ADD 00000aa5: MSTORE 00000aa6: PUSH1 0x24 00000aa8: DUP3 00000aa9: ADD 00000aaa: DUP6 00000aab: SWAP1 00000aac: MSTORE 00000aad: SWAP2 00000aae: MLOAD 00000aaf: SWAP2 00000ab0: SWAP1 00000ab1: SWAP3 00000ab2: AND 00000ab3: SWAP2 00000ab4: DUP3 00000ab5: SWAP2 00000ab6: PUSH4 0xa9059cbb 00000abb: SWAP2 00000abc: PUSH1 0x44 00000abe: DUP2 00000abf: DUP2 00000ac0: ADD 00000ac1: SWAP3 00000ac2: PUSH1 0x20 00000ac4: SWAP3 00000ac5: SWAP1 00000ac6: SWAP2 00000ac7: SWAP1 00000ac8: DUP3 00000ac9: SWAP1 00000aca: SUB 00000acb: ADD 00000acc: DUP2 00000acd: PUSH1 0x00 00000acf: DUP8 00000ad0: PUSH2 0x61da 00000ad3: GAS 00000ad4: SUB 00000ad5: CALL 00000ad6: ISZERO 00000ad7: PUSH2 0x0002 00000ada: JUMPI 00000adb: POP 00000adc: POP 00000add: POP 00000ade: POP 00000adf: POP 00000ae0: POP 00000ae1: JUMP 00000ae2: JUMPDEST 00000ae3: PUSH1 0x40 00000ae5: MLOAD 00000ae6: PUSH1 0x01 00000ae8: PUSH1 0xa0 00000aea: PUSH1 0x02 00000aec: EXP 00000aed: SUB 00000aee: DUP3 00000aef: DUP2 00000af0: AND 00000af1: SWAP2 00000af2: PUSH1 0x00 00000af4: SWAP2 00000af5: ADDRESS 00000af6: AND 00000af7: BALANCE 00000af8: SWAP1 00000af9: DUP3 00000afa: DUP2 00000afb: DUP2 00000afc: DUP2 00000afd: DUP6 00000afe: DUP9 00000aff: DUP4 00000b00: CALL 00000b01: POP 00000b02: POP 00000b03: POP 00000b04: POP 00000b05: POP 00000b06: POP 00000b07: JUMP 00000b08: JUMPDEST 00000b09: ISZERO 00000b0a: PUSH2 0x08b6 00000b0d: JUMPI 00000b0e: DUP2 00000b0f: PUSH1 0x01 00000b11: PUSH1 0xa0 00000b13: PUSH1 0x02 00000b15: EXP 00000b16: SUB 00000b17: AND 00000b18: SELFDESTRUCT 00000b19: JUMPDEST 00000b1a: ISZERO 00000b1b: PUSH2 0x0d5a 00000b1e: JUMPI 00000b1f: PUSH2 0x0b2d 00000b22: DUP5 00000b23: PUSH1 0x00 00000b25: PUSH2 0x1210 00000b28: CALLER 00000b29: PUSH2 0x01ec 00000b2c: JUMP 00000b2d: JUMPDEST 00000b2e: ISZERO 00000b2f: PUSH2 0x0bec 00000b32: JUMPI 00000b33: PUSH32 0x92ca3a80853e6663fa31fa10b99225f18d4902939b4c53a9caae9043f6efd004 00000b54: CALLER 00000b55: DUP6 00000b56: DUP8 00000b57: DUP7 00000b58: DUP7 00000b59: PUSH1 0x40 00000b5b: MLOAD 00000b5c: DUP1 00000b5d: DUP7 00000b5e: PUSH1 0x01 00000b60: PUSH1 0xa0 00000b62: PUSH1 0x02 00000b64: EXP 00000b65: SUB 00000b66: AND 00000b67: DUP2 00000b68: MSTORE 00000b69: PUSH1 0x20 00000b6b: ADD 00000b6c: DUP6 00000b6d: DUP2 00000b6e: MSTORE 00000b6f: PUSH1 0x20 00000b71: ADD 00000b72: DUP5 00000b73: PUSH1 0x01 00000b75: PUSH1 0xa0 00000b77: PUSH1 0x02 00000b79: EXP 00000b7a: SUB 00000b7b: AND 00000b7c: DUP2 00000b7d: MSTORE 00000b7e: PUSH1 0x20 00000b80: ADD 00000b81: DUP1 00000b82: PUSH1 0x20 00000b84: ADD 00000b85: DUP3 00000b86: DUP2 00000b87: SUB 00000b88: DUP3 00000b89: MSTORE 00000b8a: DUP5 00000b8b: DUP5 00000b8c: DUP3 00000b8d: DUP2 00000b8e: DUP2 00000b8f: MSTORE 00000b90: PUSH1 0x20 00000b92: ADD 00000b93: SWAP3 00000b94: POP 00000b95: DUP1 00000b96: DUP3 00000b97: DUP5 00000b98: CALLDATACOPY 00000b99: DUP3 00000b9a: ADD 00000b9b: SWAP2 00000b9c: POP 00000b9d: POP 00000b9e: SWAP7 00000b9f: POP 00000ba0: POP 00000ba1: POP 00000ba2: POP 00000ba3: POP 00000ba4: POP 00000ba5: POP 00000ba6: PUSH1 0x40 00000ba8: MLOAD 00000ba9: DUP1 00000baa: SWAP2 00000bab: SUB 00000bac: SWAP1 00000bad: LOG1 00000bae: DUP5 00000baf: PUSH1 0x01 00000bb1: PUSH1 0xa0 00000bb3: PUSH1 0x02 00000bb5: EXP 00000bb6: SUB 00000bb7: AND 00000bb8: DUP5 00000bb9: DUP5 00000bba: DUP5 00000bbb: PUSH1 0x40 00000bbd: MLOAD 00000bbe: DUP1 00000bbf: DUP4 00000bc0: DUP4 00000bc1: DUP1 00000bc2: DUP3 00000bc3: DUP5 00000bc4: CALLDATACOPY 00000bc5: DUP3 00000bc6: ADD 00000bc7: SWAP2 00000bc8: POP 00000bc9: POP 00000bca: SWAP3 00000bcb: POP 00000bcc: POP 00000bcd: POP 00000bce: PUSH1 0x00 00000bd0: PUSH1 0x40 00000bd2: MLOAD 00000bd3: DUP1 00000bd4: DUP4 00000bd5: SUB 00000bd6: DUP2 00000bd7: DUP6 00000bd8: DUP8 00000bd9: PUSH2 0x8502 00000bdc: GAS 00000bdd: SUB 00000bde: CALL 00000bdf: POP 00000be0: PUSH1 0x00 00000be2: SWAP4 00000be3: POP 00000be4: PUSH2 0x0d5a 00000be7: SWAP3 00000be8: POP 00000be9: POP 00000bea: POP 00000beb: JUMP 00000bec: JUMPDEST 00000bed: PUSH1 0x00 00000bef: CALLDATASIZE 00000bf0: NUMBER 00000bf1: PUSH1 0x40 00000bf3: MLOAD 00000bf4: DUP1 00000bf5: DUP5 00000bf6: DUP5 00000bf7: DUP1 00000bf8: DUP3 00000bf9: DUP5 00000bfa: CALLDATACOPY 00000bfb: DUP3 00000bfc: ADD 00000bfd: SWAP2 00000bfe: POP 00000bff: POP 00000c00: DUP3 00000c01: DUP2 00000c02: MSTORE 00000c03: PUSH1 0x20 00000c05: ADD 00000c06: SWAP4 00000c07: POP 00000c08: POP 00000c09: POP 00000c0a: POP 00000c0b: PUSH1 0x40 00000c0d: MLOAD 00000c0e: DUP1 00000c0f: SWAP2 00000c10: SUB 00000c11: SWAP1 00000c12: KECCAK256 00000c13: SWAP1 00000c14: POP 00000c15: DUP1 00000c16: POP 00000c17: PUSH2 0x0c1f 00000c1a: DUP2 00000c1b: PUSH2 0x030a 00000c1e: JUMP 00000c1f: JUMPDEST 00000c20: ISZERO 00000c21: DUP1 00000c22: ISZERO 00000c23: PUSH2 0x0c42 00000c26: JUMPI 00000c27: POP 00000c28: PUSH1 0x00 00000c2a: DUP2 00000c2b: DUP2 00000c2c: MSTORE 00000c2d: PUSH2 0x010b 00000c30: PUSH1 0x20 00000c32: MSTORE 00000c33: PUSH1 0x40 00000c35: DUP2 00000c36: KECCAK256 00000c37: SLOAD 00000c38: PUSH1 0x01 00000c3a: PUSH1 0xa0 00000c3c: PUSH1 0x02 00000c3e: EXP 00000c3f: SUB 00000c40: AND 00000c41: EQ 00000c42: JUMPDEST 00000c43: ISZERO 00000c44: PUSH2 0x0d5a 00000c47: JUMPI 00000c48: PUSH1 0x00 00000c4a: DUP2 00000c4b: DUP2 00000c4c: MSTORE 00000c4d: PUSH2 0x010b 00000c50: PUSH1 0x20 00000c52: SWAP1 00000c53: DUP2 00000c54: MSTORE 00000c55: PUSH1 0x40 00000c57: DUP3 00000c58: KECCAK256 00000c59: DUP1 00000c5a: SLOAD 00000c5b: PUSH1 0x01 00000c5d: PUSH1 0xa0 00000c5f: PUSH1 0x02 00000c61: EXP 00000c62: SUB 00000c63: NOT 00000c64: AND 00000c65: DUP9 00000c66: OR 00000c67: DUP2 00000c68: SSTORE 00000c69: PUSH1 0x01 00000c6b: DUP2 00000c6c: DUP2 00000c6d: ADD 00000c6e: DUP9 00000c6f: SWAP1 00000c70: SSTORE 00000c71: PUSH1 0x02 00000c73: SWAP2 00000c74: DUP3 00000c75: ADD 00000c76: DUP1 00000c77: SLOAD 00000c78: DUP2 00000c79: DUP7 00000c7a: MSTORE 00000c7b: SWAP5 00000c7c: DUP5 00000c7d: SWAP1 00000c7e: KECCAK256 00000c7f: SWAP1 00000c80: SWAP5 00000c81: SWAP2 00000c82: DUP3 00000c83: AND 00000c84: ISZERO 00000c85: PUSH2 0x0100 00000c88: MUL 00000c89: PUSH1 0x00 00000c8b: NOT 00000c8c: ADD 00000c8d: SWAP1 00000c8e: SWAP2 00000c8f: AND 00000c90: SWAP2 00000c91: SWAP1 00000c92: SWAP2 00000c93: DIV 00000c94: PUSH1 0x1f 00000c96: SWAP1 00000c97: DUP2 00000c98: ADD 00000c99: SWAP3 00000c9a: SWAP1 00000c9b: SWAP3 00000c9c: DIV 00000c9d: DUP2 00000c9e: ADD 00000c9f: SWAP2 00000ca0: DUP6 00000ca1: SWAP2 00000ca2: SWAP1 00000ca3: DUP8 00000ca4: SWAP1 00000ca5: DUP4 00000ca6: SWAP1 00000ca7: LT 00000ca8: PUSH2 0x0d62 00000cab: JUMPI 00000cac: PUSH1 0xff 00000cae: NOT 00000caf: DUP2 00000cb0: CALLDATALOAD 00000cb1: AND 00000cb2: DUP4 00000cb3: DUP1 00000cb4: ADD 00000cb5: OR 00000cb6: DUP6 00000cb7: SSTORE 00000cb8: JUMPDEST 00000cb9: POP 00000cba: PUSH2 0x0cd4 00000cbd: SWAP3 00000cbe: SWAP2 00000cbf: POP 00000cc0: JUMPDEST 00000cc1: DUP1 00000cc2: DUP3 00000cc3: GT 00000cc4: ISZERO 00000cc5: PUSH2 0x0d92 00000cc8: JUMPI 00000cc9: PUSH1 0x00 00000ccb: DUP2 00000ccc: SSTORE 00000ccd: PUSH1 0x01 00000ccf: ADD 00000cd0: PUSH2 0x0cc0 00000cd3: JUMP 00000cd4: JUMPDEST 00000cd5: POP 00000cd6: POP 00000cd7: PUSH32 0x1733cbb53659d713b79580f79f3f9ff215f78a7c7aa45890f3b89fc5cddfbf32 00000cf8: DUP2 00000cf9: CALLER 00000cfa: DUP7 00000cfb: DUP9 00000cfc: DUP8 00000cfd: DUP8 00000cfe: PUSH1 0x40 00000d00: MLOAD 00000d01: DUP1 00000d02: DUP8 00000d03: DUP2 00000d04: MSTORE 00000d05: PUSH1 0x20 00000d07: ADD 00000d08: DUP7 00000d09: PUSH1 0x01 00000d0b: PUSH1 0xa0 00000d0d: PUSH1 0x02 00000d0f: EXP 00000d10: SUB 00000d11: AND 00000d12: DUP2 00000d13: MSTORE 00000d14: PUSH1 0x20 00000d16: ADD 00000d17: DUP6 00000d18: DUP2 00000d19: MSTORE 00000d1a: PUSH1 0x20 00000d1c: ADD 00000d1d: DUP5 00000d1e: PUSH1 0x01 00000d20: PUSH1 0xa0 00000d22: PUSH1 0x02 00000d24: EXP 00000d25: SUB 00000d26: AND 00000d27: DUP2 00000d28: MSTORE 00000d29: PUSH1 0x20 00000d2b: ADD 00000d2c: DUP1 00000d2d: PUSH1 0x20 00000d2f: ADD 00000d30: DUP3 00000d31: DUP2 00000d32: SUB 00000d33: DUP3 00000d34: MSTORE 00000d35: DUP5 00000d36: DUP5 00000d37: DUP3 00000d38: DUP2 00000d39: DUP2 00000d3a: MSTORE 00000d3b: PUSH1 0x20 00000d3d: ADD 00000d3e: SWAP3 00000d3f: POP 00000d40: DUP1 00000d41: DUP3 00000d42: DUP5 00000d43: CALLDATACOPY 00000d44: DUP3 00000d45: ADD 00000d46: SWAP2 00000d47: POP 00000d48: POP 00000d49: SWAP8 00000d4a: POP 00000d4b: POP 00000d4c: POP 00000d4d: POP 00000d4e: POP 00000d4f: POP 00000d50: POP 00000d51: POP 00000d52: PUSH1 0x40 00000d54: MLOAD 00000d55: DUP1 00000d56: SWAP2 00000d57: SUB 00000d58: SWAP1 00000d59: LOG1 00000d5a: JUMPDEST 00000d5b: SWAP5 00000d5c: SWAP4 00000d5d: POP 00000d5e: POP 00000d5f: POP 00000d60: POP 00000d61: JUMP 00000d62: JUMPDEST 00000d63: DUP3 00000d64: DUP1 00000d65: ADD 00000d66: PUSH1 0x01 00000d68: ADD 00000d69: DUP6 00000d6a: SSTORE 00000d6b: DUP3 00000d6c: ISZERO 00000d6d: PUSH2 0x0cb8 00000d70: JUMPI 00000d71: SWAP2 00000d72: DUP3 00000d73: ADD 00000d74: JUMPDEST 00000d75: DUP3 00000d76: DUP2 00000d77: GT 00000d78: ISZERO 00000d79: PUSH2 0x0cb8 00000d7c: JUMPI 00000d7d: DUP3 00000d7e: CALLDATALOAD 00000d7f: DUP3 00000d80: PUSH1 0x00 00000d82: POP 00000d83: SSTORE 00000d84: SWAP2 00000d85: PUSH1 0x20 00000d87: ADD 00000d88: SWAP2 00000d89: SWAP1 00000d8a: PUSH1 0x01 00000d8c: ADD 00000d8d: SWAP1 00000d8e: PUSH2 0x0d74 00000d91: JUMP 00000d92: JUMPDEST 00000d93: POP 00000d94: SWAP1 00000d95: JUMP 00000d96: JUMPDEST 00000d97: ISZERO 00000d98: PUSH2 0x0e19 00000d9b: JUMPI 00000d9c: PUSH1 0x00 00000d9e: DUP4 00000d9f: DUP2 00000da0: MSTORE 00000da1: PUSH2 0x010b 00000da4: PUSH1 0x20 00000da6: MSTORE 00000da7: PUSH1 0x40 00000da9: DUP2 00000daa: KECCAK256 00000dab: SLOAD 00000dac: PUSH1 0x01 00000dae: PUSH1 0xa0 00000db0: PUSH1 0x02 00000db2: EXP 00000db3: SUB 00000db4: AND 00000db5: EQ 00000db6: PUSH2 0x0e19 00000db9: JUMPI 00000dba: PUSH1 0x40 00000dbc: DUP1 00000dbd: MLOAD 00000dbe: PUSH1 0x00 00000dc0: SWAP2 00000dc1: SWAP1 00000dc2: SWAP2 00000dc3: KECCAK256 00000dc4: DUP1 00000dc5: SLOAD 00000dc6: PUSH1 0x01 00000dc8: DUP3 00000dc9: DUP2 00000dca: ADD 00000dcb: SLOAD 00000dcc: PUSH1 0x02 00000dce: SWAP4 00000dcf: DUP5 00000dd0: ADD 00000dd1: DUP1 00000dd2: SLOAD 00000dd3: PUSH1 0x01 00000dd5: PUSH1 0xa0 00000dd7: PUSH1 0x02 00000dd9: EXP 00000dda: SUB 00000ddb: SWAP5 00000ddc: SWAP1 00000ddd: SWAP5 00000dde: AND 00000ddf: SWAP6 00000de0: SWAP2 00000de1: SWAP5 00000de2: SWAP1 00000de3: SWAP4 00000de4: SWAP2 00000de5: SWAP3 00000de6: DUP4 00000de7: SWAP3 00000de8: DUP6 00000de9: SWAP3 00000dea: SWAP2 00000deb: DUP2 00000dec: AND 00000ded: ISZERO 00000dee: PUSH2 0x0100 00000df1: MUL 00000df2: PUSH1 0x00 00000df4: NOT 00000df5: ADD 00000df6: AND 00000df7: DIV 00000df8: DUP1 00000df9: ISZERO 00000dfa: PUSH2 0x0e4a 00000dfd: JUMPI 00000dfe: DUP1 00000dff: PUSH1 0x1f 00000e01: LT 00000e02: PUSH2 0x0e1f 00000e05: JUMPI 00000e06: PUSH2 0x0100 00000e09: DUP1 00000e0a: DUP4 00000e0b: SLOAD 00000e0c: DIV 00000e0d: MUL 00000e0e: DUP4 00000e0f: MSTORE 00000e10: SWAP2 00000e11: PUSH1 0x20 00000e13: ADD 00000e14: SWAP2 00000e15: PUSH2 0x0e4a 00000e18: JUMP 00000e19: JUMPDEST 00000e1a: POP 00000e1b: SWAP2 00000e1c: SWAP1 00000e1d: POP 00000e1e: JUMP 00000e1f: JUMPDEST 00000e20: DUP3 00000e21: ADD 00000e22: SWAP2 00000e23: SWAP1 00000e24: PUSH1 0x00 00000e26: MSTORE 00000e27: PUSH1 0x20 00000e29: PUSH1 0x00 00000e2b: KECCAK256 00000e2c: SWAP1 00000e2d: JUMPDEST 00000e2e: DUP2 00000e2f: SLOAD 00000e30: DUP2 00000e31: MSTORE 00000e32: SWAP1 00000e33: PUSH1 0x01 00000e35: ADD 00000e36: SWAP1 00000e37: PUSH1 0x20 00000e39: ADD 00000e3a: DUP1 00000e3b: DUP4 00000e3c: GT 00000e3d: PUSH2 0x0e2d 00000e40: JUMPI 00000e41: DUP3 00000e42: SWAP1 00000e43: SUB 00000e44: PUSH1 0x1f 00000e46: AND 00000e47: DUP3 00000e48: ADD 00000e49: SWAP2 00000e4a: JUMPDEST 00000e4b: POP 00000e4c: POP 00000e4d: SWAP2 00000e4e: POP 00000e4f: POP 00000e50: PUSH1 0x00 00000e52: PUSH1 0x40 00000e54: MLOAD 00000e55: DUP1 00000e56: DUP4 00000e57: SUB 00000e58: DUP2 00000e59: DUP6 00000e5a: DUP8 00000e5b: PUSH2 0x8502 00000e5e: GAS 00000e5f: SUB 00000e60: CALL 00000e61: POP 00000e62: POP 00000e63: POP 00000e64: PUSH1 0x00 00000e66: DUP5 00000e67: DUP2 00000e68: MSTORE 00000e69: PUSH2 0x010b 00000e6c: PUSH1 0x20 00000e6e: SWAP1 00000e6f: DUP2 00000e70: MSTORE 00000e71: PUSH1 0x40 00000e73: SWAP2 00000e74: DUP3 00000e75: SWAP1 00000e76: KECCAK256 00000e77: DUP1 00000e78: SLOAD 00000e79: PUSH1 0x01 00000e7b: DUP3 00000e7c: DUP2 00000e7d: ADD 00000e7e: SLOAD 00000e7f: DUP6 00000e80: MLOAD 00000e81: CALLER 00000e82: PUSH1 0x01 00000e84: PUSH1 0xa0 00000e86: PUSH1 0x02 00000e88: EXP 00000e89: SUB 00000e8a: DUP2 00000e8b: DUP2 00000e8c: AND 00000e8d: DUP4 00000e8e: MSTORE 00000e8f: SWAP7 00000e90: DUP3 00000e91: ADD 00000e92: DUP13 00000e93: SWAP1 00000e94: MSTORE 00000e95: SWAP7 00000e96: DUP2 00000e97: ADD 00000e98: DUP3 00000e99: SWAP1 00000e9a: MSTORE 00000e9b: SWAP3 00000e9c: SWAP1 00000e9d: SWAP5 00000e9e: AND 00000e9f: PUSH1 0x60 00000ea1: DUP4 00000ea2: ADD 00000ea3: DUP2 00000ea4: SWAP1 00000ea5: MSTORE 00000ea6: PUSH1 0xa0 00000ea8: PUSH1 0x80 00000eaa: DUP5 00000eab: ADD 00000eac: DUP2 00000ead: DUP2 00000eae: MSTORE 00000eaf: PUSH1 0x02 00000eb1: SWAP6 00000eb2: DUP7 00000eb3: ADD 00000eb4: DUP1 00000eb5: SLOAD 00000eb6: SWAP5 00000eb7: DUP6 00000eb8: AND 00000eb9: ISZERO 00000eba: PUSH2 0x0100 00000ebd: MUL 00000ebe: PUSH1 0x00 00000ec0: NOT 00000ec1: ADD 00000ec2: SWAP1 00000ec3: SWAP5 00000ec4: AND 00000ec5: SWAP6 00000ec6: SWAP1 00000ec7: SWAP6 00000ec8: DIV 00000ec9: SWAP1 00000eca: DUP5 00000ecb: ADD 00000ecc: DUP2 00000ecd: SWAP1 00000ece: MSTORE 00000ecf: PUSH32 0xe7c957c06e9a662c1a6c77366179f5b702b97651dc28eee7d5bf1dff6e40bb4a 00000ef0: SWAP8 00000ef1: POP 00000ef2: DUP11 00000ef3: SWAP6 00000ef4: SWAP5 00000ef5: SWAP2 00000ef6: SWAP4 00000ef7: SWAP2 00000ef8: SWAP1 00000ef9: PUSH1 0xc0 00000efb: DUP4 00000efc: ADD 00000efd: SWAP1 00000efe: DUP5 00000eff: SWAP1 00000f00: DUP1 00000f01: ISZERO 00000f02: PUSH2 0x0f4c 00000f05: JUMPI 00000f06: DUP1 00000f07: PUSH1 0x1f 00000f09: LT 00000f0a: PUSH2 0x0f21 00000f0d: JUMPI 00000f0e: PUSH2 0x0100 00000f11: DUP1 00000f12: DUP4 00000f13: SLOAD 00000f14: DIV 00000f15: MUL 00000f16: DUP4 00000f17: MSTORE 00000f18: SWAP2 00000f19: PUSH1 0x20 00000f1b: ADD 00000f1c: SWAP2 00000f1d: PUSH2 0x0f4c 00000f20: JUMP 00000f21: JUMPDEST 00000f22: DUP3 00000f23: ADD 00000f24: SWAP2 00000f25: SWAP1 00000f26: PUSH1 0x00 00000f28: MSTORE 00000f29: PUSH1 0x20 00000f2b: PUSH1 0x00 00000f2d: KECCAK256 00000f2e: SWAP1 00000f2f: JUMPDEST 00000f30: DUP2 00000f31: SLOAD 00000f32: DUP2 00000f33: MSTORE 00000f34: SWAP1 00000f35: PUSH1 0x01 00000f37: ADD 00000f38: SWAP1 00000f39: PUSH1 0x20 00000f3b: ADD 00000f3c: DUP1 00000f3d: DUP4 00000f3e: GT 00000f3f: PUSH2 0x0f2f 00000f42: JUMPI 00000f43: DUP3 00000f44: SWAP1 00000f45: SUB 00000f46: PUSH1 0x1f 00000f48: AND 00000f49: DUP3 00000f4a: ADD 00000f4b: SWAP2 00000f4c: JUMPDEST 00000f4d: POP 00000f4e: POP 00000f4f: SWAP7 00000f50: POP 00000f51: POP 00000f52: POP 00000f53: POP 00000f54: POP 00000f55: POP 00000f56: POP 00000f57: PUSH1 0x40 00000f59: MLOAD 00000f5a: DUP1 00000f5b: SWAP2 00000f5c: SUB 00000f5d: SWAP1 00000f5e: LOG1 00000f5f: PUSH1 0x00 00000f61: DUP4 00000f62: DUP2 00000f63: MSTORE 00000f64: PUSH2 0x010b 00000f67: PUSH1 0x20 00000f69: MSTORE 00000f6a: PUSH1 0x40 00000f6c: DUP2 00000f6d: KECCAK256 00000f6e: DUP1 00000f6f: SLOAD 00000f70: PUSH1 0x01 00000f72: PUSH1 0xa0 00000f74: PUSH1 0x02 00000f76: EXP 00000f77: SUB 00000f78: NOT 00000f79: AND 00000f7a: DUP2 00000f7b: SSTORE 00000f7c: PUSH1 0x01 00000f7e: DUP2 00000f7f: DUP2 00000f80: ADD 00000f81: DUP4 00000f82: SWAP1 00000f83: SSTORE 00000f84: PUSH1 0x02 00000f86: DUP3 00000f87: DUP2 00000f88: ADD 00000f89: DUP1 00000f8a: SLOAD 00000f8b: DUP6 00000f8c: DUP3 00000f8d: SSTORE 00000f8e: SWAP4 00000f8f: SWAP5 00000f90: SWAP4 00000f91: SWAP1 00000f92: SWAP3 00000f93: DUP2 00000f94: AND 00000f95: ISZERO 00000f96: PUSH2 0x0100 00000f99: MUL 00000f9a: PUSH1 0x00 00000f9c: NOT 00000f9d: ADD 00000f9e: AND 00000f9f: DIV 00000fa0: PUSH1 0x1f 00000fa2: DUP2 00000fa3: SWAP1 00000fa4: LT 00000fa5: PUSH2 0x0fb7 00000fa8: JUMPI 00000fa9: POP 00000faa: JUMPDEST 00000fab: POP 00000fac: POP 00000fad: POP 00000fae: PUSH1 0x01 00000fb0: SWAP2 00000fb1: POP 00000fb2: POP 00000fb3: PUSH2 0x0208 00000fb6: JUMP 00000fb7: JUMPDEST 00000fb8: PUSH1 0x1f 00000fba: ADD 00000fbb: PUSH1 0x20 00000fbd: SWAP1 00000fbe: DIV 00000fbf: SWAP1 00000fc0: PUSH1 0x00 00000fc2: MSTORE 00000fc3: PUSH1 0x20 00000fc5: PUSH1 0x00 00000fc7: KECCAK256 00000fc8: SWAP1 00000fc9: DUP2 00000fca: ADD 00000fcb: SWAP1 00000fcc: PUSH2 0x0faa 00000fcf: SWAP2 00000fd0: SWAP1 00000fd1: PUSH2 0x0cc0 00000fd4: JUMP 00000fd5: JUMPDEST 00000fd6: PUSH1 0x00 00000fd8: DUP6 00000fd9: DUP2 00000fda: MSTORE 00000fdb: PUSH2 0x0103 00000fde: PUSH1 0x20 00000fe0: MSTORE 00000fe1: PUSH1 0x40 00000fe3: DUP2 00000fe4: KECCAK256 00000fe5: DUP1 00000fe6: SLOAD 00000fe7: SWAP1 00000fe8: SWAP4 00000fe9: POP 00000fea: EQ 00000feb: ISZERO 00000fec: PUSH2 0x105d 00000fef: JUMPI 00000ff0: PUSH1 0x00 00000ff2: DUP1 00000ff3: SLOAD 00000ff4: DUP4 00000ff5: SSTORE 00000ff6: PUSH1 0x01 00000ff8: DUP4 00000ff9: DUP2 00000ffa: ADD 00000ffb: SWAP2 00000ffc: SWAP1 00000ffd: SWAP2 00000ffe: SSTORE 00000fff: PUSH2 0x0104 00001002: DUP1 00001003: SLOAD 00001004: SWAP2 00001005: DUP3 00001006: ADD 00001007: DUP1 00001008: DUP3 00001009: SSTORE 0000100a: DUP3 0000100b: DUP1 0000100c: ISZERO 0000100d: DUP3 0000100e: SWAP1 0000100f: GT 00001010: PUSH2 0x102c 00001013: JUMPI 00001014: DUP2 00001015: DUP4 00001016: PUSH1 0x00 00001018: MSTORE 00001019: PUSH1 0x20 0000101b: PUSH1 0x00 0000101d: KECCAK256 0000101e: SWAP2 0000101f: DUP3 00001020: ADD 00001021: SWAP2 00001022: ADD 00001023: PUSH2 0x102c 00001026: SWAP2 00001027: SWAP1 00001028: PUSH2 0x0cc0 0000102b: JUMP 0000102c: JUMPDEST 0000102d: POP 0000102e: POP 0000102f: POP 00001030: PUSH1 0x02 00001032: DUP4 00001033: ADD 00001034: DUP2 00001035: SWAP1 00001036: SSTORE 00001037: PUSH2 0x0104 0000103a: DUP1 0000103b: SLOAD 0000103c: DUP8 0000103d: SWAP3 0000103e: SWAP1 0000103f: DUP2 00001040: LT 00001041: ISZERO 00001042: PUSH2 0x0002 00001045: JUMPI 00001046: PUSH1 0x00 00001048: SWAP2 00001049: SWAP1 0000104a: SWAP2 0000104b: MSTORE 0000104c: PUSH1 0x00 0000104e: DUP1 0000104f: MLOAD 00001050: PUSH1 0x20 00001052: PUSH2 0x1347 00001055: DUP4 00001056: CODECOPY 00001057: DUP2 00001058: MLOAD 00001059: SWAP2 0000105a: MSTORE 0000105b: ADD 0000105c: SSTORE 0000105d: JUMPDEST 0000105e: POP 0000105f: PUSH1 0x01 00001061: DUP2 00001062: ADD 00001063: SLOAD 00001064: PUSH1 0x02 00001066: DUP4 00001067: SWAP1 00001068: EXP 00001069: SWAP1 0000106a: DUP2 0000106b: AND 0000106c: PUSH1 0x00 0000106e: EQ 0000106f: ISZERO 00001070: PUSH2 0x112e 00001073: JUMPI 00001074: PUSH1 0x40 00001076: DUP1 00001077: MLOAD 00001078: CALLER 00001079: PUSH1 0x01 0000107b: PUSH1 0xa0 0000107d: PUSH1 0x02 0000107f: EXP 00001080: SUB 00001081: AND 00001082: DUP2 00001083: MSTORE 00001084: PUSH1 0x20 00001086: DUP2 00001087: ADD 00001088: DUP8 00001089: SWAP1 0000108a: MSTORE 0000108b: DUP2 0000108c: MLOAD 0000108d: PUSH32 0xe1c52dc63b719ade82e8bea94cc41a0d5d28e4aaf536adb5e9cccc9ff8c1aeda 000010ae: SWAP3 000010af: SWAP2 000010b0: DUP2 000010b1: SWAP1 000010b2: SUB 000010b3: SWAP1 000010b4: SWAP2 000010b5: ADD 000010b6: SWAP1 000010b7: LOG1 000010b8: DUP2 000010b9: SLOAD 000010ba: PUSH1 0x01 000010bc: SWAP1 000010bd: GT 000010be: PUSH2 0x111b 000010c1: JUMPI 000010c2: PUSH1 0x00 000010c4: DUP6 000010c5: DUP2 000010c6: MSTORE 000010c7: PUSH2 0x0103 000010ca: PUSH1 0x20 000010cc: MSTORE 000010cd: PUSH1 0x40 000010cf: SWAP1 000010d0: KECCAK256 000010d1: PUSH1 0x02 000010d3: ADD 000010d4: SLOAD 000010d5: PUSH2 0x0104 000010d8: DUP1 000010d9: SLOAD 000010da: SWAP1 000010db: SWAP2 000010dc: SWAP1 000010dd: DUP2 000010de: LT 000010df: ISZERO 000010e0: PUSH2 0x0002 000010e3: JUMPI 000010e4: PUSH1 0x40 000010e6: PUSH1 0x00 000010e8: SWAP1 000010e9: DUP2 000010ea: KECCAK256 000010eb: PUSH1 0x00 000010ed: DUP1 000010ee: MLOAD 000010ef: PUSH1 0x20 000010f1: PUSH2 0x1347 000010f4: DUP4 000010f5: CODECOPY 000010f6: DUP2 000010f7: MLOAD 000010f8: SWAP2 000010f9: MSTORE 000010fa: SWAP3 000010fb: SWAP1 000010fc: SWAP3 000010fd: ADD 000010fe: DUP2 000010ff: SWAP1 00001100: SSTORE 00001101: DUP1 00001102: DUP3 00001103: SSTORE 00001104: PUSH1 0x01 00001106: DUP3 00001107: DUP2 00001108: ADD 00001109: DUP3 0000110a: SWAP1 0000110b: SSTORE 0000110c: PUSH1 0x02 0000110e: SWAP3 0000110f: SWAP1 00001110: SWAP3 00001111: ADD 00001112: SSTORE 00001113: SWAP5 00001114: POP 00001115: PUSH2 0x112e 00001118: SWAP1 00001119: POP 0000111a: JUMP 0000111b: JUMPDEST 0000111c: DUP2 0000111d: SLOAD 0000111e: PUSH1 0x00 00001120: NOT 00001121: ADD 00001122: DUP3 00001123: SSTORE 00001124: PUSH1 0x01 00001126: DUP3 00001127: ADD 00001128: DUP1 00001129: SLOAD 0000112a: DUP3 0000112b: OR 0000112c: SWAP1 0000112d: SSTORE 0000112e: JUMPDEST 0000112f: POP 00001130: POP 00001131: POP 00001132: SWAP2 00001133: SWAP1 00001134: POP 00001135: JUMP 00001136: JUMPDEST 00001137: JUMPDEST 00001138: PUSH1 0x01 0000113a: DUP1 0000113b: SLOAD 0000113c: GT 0000113d: DUP1 0000113e: ISZERO 0000113f: PUSH2 0x1159 00001142: JUMPI 00001143: POP 00001144: PUSH1 0x01 00001146: SLOAD 00001147: PUSH1 0x02 00001149: SWAP1 0000114a: PUSH2 0x0100 0000114d: DUP2 0000114e: LT 0000114f: ISZERO 00001150: PUSH2 0x0002 00001153: JUMPI 00001154: ADD 00001155: SLOAD 00001156: PUSH1 0x00 00001158: EQ 00001159: JUMPDEST 0000115a: ISZERO 0000115b: PUSH2 0x116d 0000115e: JUMPI 0000115f: PUSH1 0x01 00001161: DUP1 00001162: SLOAD 00001163: PUSH1 0x00 00001165: NOT 00001166: ADD 00001167: SWAP1 00001168: SSTORE 00001169: PUSH2 0x1137 0000116c: JUMP 0000116d: JUMPDEST 0000116e: PUSH1 0x01 00001170: SLOAD 00001171: DUP2 00001172: LT 00001173: DUP1 00001174: ISZERO 00001175: PUSH2 0x1190 00001178: JUMPI 00001179: POP 0000117a: PUSH1 0x01 0000117c: SLOAD 0000117d: PUSH1 0x02 0000117f: SWAP1 00001180: PUSH2 0x0100 00001183: DUP2 00001184: LT 00001185: ISZERO 00001186: PUSH2 0x0002 00001189: JUMPI 0000118a: ADD 0000118b: SLOAD 0000118c: PUSH1 0x00 0000118e: EQ 0000118f: ISZERO 00001190: JUMPDEST 00001191: DUP1 00001192: ISZERO 00001193: PUSH2 0x11aa 00001196: JUMPI 00001197: POP 00001198: PUSH1 0x02 0000119a: DUP2 0000119b: PUSH2 0x0100 0000119e: DUP2 0000119f: LT 000011a0: ISZERO 000011a1: PUSH2 0x0002 000011a4: JUMPI 000011a5: ADD 000011a6: SLOAD 000011a7: PUSH1 0x00 000011a9: EQ 000011aa: JUMPDEST 000011ab: ISZERO 000011ac: PUSH2 0x120b 000011af: JUMPI 000011b0: PUSH1 0x01 000011b2: SLOAD 000011b3: PUSH1 0x02 000011b5: SWAP1 000011b6: PUSH2 0x0100 000011b9: DUP2 000011ba: LT 000011bb: ISZERO 000011bc: PUSH2 0x0002 000011bf: JUMPI 000011c0: DUP2 000011c1: ADD 000011c2: SLOAD 000011c3: SWAP1 000011c4: DUP3 000011c5: PUSH2 0x0100 000011c8: DUP2 000011c9: LT 000011ca: ISZERO 000011cb: PUSH2 0x0002 000011ce: JUMPI 000011cf: SWAP1 000011d0: SWAP1 000011d1: ADD 000011d2: PUSH1 0x00 000011d4: POP 000011d5: SSTORE 000011d6: DUP1 000011d7: PUSH2 0x0102 000011da: PUSH1 0x00 000011dc: PUSH1 0x02 000011de: DUP4 000011df: PUSH2 0x0100 000011e2: DUP2 000011e3: LT 000011e4: ISZERO 000011e5: PUSH2 0x0002 000011e8: JUMPI 000011e9: DUP2 000011ea: ADD 000011eb: SLOAD 000011ec: DUP3 000011ed: MSTORE 000011ee: PUSH1 0x20 000011f0: SWAP3 000011f1: SWAP1 000011f2: SWAP3 000011f3: MSTORE 000011f4: PUSH1 0x40 000011f6: DUP2 000011f7: KECCAK256 000011f8: SWAP3 000011f9: SWAP1 000011fa: SWAP3 000011fb: SSTORE 000011fc: PUSH1 0x01 000011fe: SLOAD 000011ff: PUSH2 0x0100 00001202: DUP2 00001203: LT 00001204: ISZERO 00001205: PUSH2 0x0002 00001208: JUMPI 00001209: ADD 0000120a: SSTORE 0000120b: JUMPDEST 0000120c: PUSH2 0x08f8 0000120f: JUMP 00001210: JUMPDEST 00001211: ISZERO 00001212: PUSH2 0x0208 00001215: JUMPI 00001216: PUSH2 0x0107 00001219: SLOAD 0000121a: PUSH2 0x1226 0000121d: JUMPDEST 0000121e: PUSH3 0x015180 00001222: TIMESTAMP 00001223: DIV 00001224: SWAP1 00001225: JUMP 00001226: JUMPDEST 00001227: GT 00001228: ISZERO 00001229: PUSH2 0x123f 0000122c: JUMPI 0000122d: PUSH1 0x00 0000122f: PUSH2 0x0106 00001232: SSTORE 00001233: PUSH2 0x123a 00001236: PUSH2 0x121d 00001239: JUMP 0000123a: JUMPDEST 0000123b: PUSH2 0x0107 0000123e: SSTORE 0000123f: JUMPDEST 00001240: PUSH2 0x0106 00001243: SLOAD 00001244: DUP1 00001245: DUP4 00001246: ADD 00001247: LT 00001248: DUP1 00001249: ISZERO 0000124a: SWAP1 0000124b: PUSH2 0x125c 0000124e: JUMPI 0000124f: POP 00001250: PUSH2 0x0105 00001253: SLOAD 00001254: PUSH2 0x0106 00001257: SLOAD 00001258: DUP4 00001259: ADD 0000125a: GT 0000125b: ISZERO 0000125c: JUMPDEST 0000125d: ISZERO 0000125e: PUSH2 0x1272 00001261: JUMPI 00001262: POP 00001263: PUSH2 0x0106 00001266: DUP1 00001267: SLOAD 00001268: DUP3 00001269: ADD 0000126a: SWAP1 0000126b: SSTORE 0000126c: PUSH1 0x01 0000126e: PUSH2 0x0208 00001271: JUMP 00001272: JUMPDEST 00001273: POP 00001274: PUSH1 0x00 00001276: PUSH2 0x0208 00001279: JUMP 0000127a: JUMPDEST 0000127b: PUSH2 0x08b6 0000127e: PUSH2 0x0104 00001281: SLOAD 00001282: PUSH1 0x00 00001284: JUMPDEST 00001285: DUP2 00001286: DUP2 00001287: LT 00001288: ISZERO 00001289: PUSH2 0x131d 0000128c: JUMPI 0000128d: PUSH2 0x0104 00001290: DUP1 00001291: SLOAD 00001292: DUP3 00001293: SWAP1 00001294: DUP2 00001295: LT 00001296: ISZERO 00001297: PUSH2 0x0002 0000129a: JUMPI 0000129b: PUSH1 0x00 0000129d: SWAP2 0000129e: DUP3 0000129f: MSTORE 000012a0: PUSH1 0x00 000012a2: DUP1 000012a3: MLOAD 000012a4: PUSH1 0x20 000012a6: PUSH2 0x1347 000012a9: DUP4 000012aa: CODECOPY 000012ab: DUP2 000012ac: MLOAD 000012ad: SWAP2 000012ae: MSTORE 000012af: ADD 000012b0: SLOAD 000012b1: EQ 000012b2: PUSH2 0x12f7 000012b5: JUMPI 000012b6: PUSH2 0x0104 000012b9: DUP1 000012ba: SLOAD 000012bb: PUSH2 0x0103 000012be: SWAP2 000012bf: PUSH1 0x00 000012c1: SWAP2 000012c2: DUP5 000012c3: SWAP1 000012c4: DUP2 000012c5: LT 000012c6: ISZERO 000012c7: PUSH2 0x0002 000012ca: JUMPI 000012cb: PUSH1 0x00 000012cd: DUP1 000012ce: MLOAD 000012cf: PUSH1 0x20 000012d1: PUSH2 0x1347 000012d4: DUP4 000012d5: CODECOPY 000012d6: DUP2 000012d7: MLOAD 000012d8: SWAP2 000012d9: MSTORE 000012da: ADD 000012db: SLOAD 000012dc: DUP3 000012dd: MSTORE 000012de: POP 000012df: PUSH1 0x20 000012e1: SWAP2 000012e2: SWAP1 000012e3: SWAP2 000012e4: MSTORE 000012e5: PUSH1 0x40 000012e7: DUP2 000012e8: KECCAK256 000012e9: DUP2 000012ea: DUP2 000012eb: SSTORE 000012ec: PUSH1 0x01 000012ee: DUP2 000012ef: ADD 000012f0: DUP3 000012f1: SWAP1 000012f2: SSTORE 000012f3: PUSH1 0x02 000012f5: ADD 000012f6: SSTORE 000012f7: JUMPDEST 000012f8: PUSH1 0x01 000012fa: ADD 000012fb: PUSH2 0x1284 000012fe: JUMP 000012ff: JUMPDEST 00001300: PUSH1 0x1f 00001302: ADD 00001303: PUSH1 0x20 00001305: SWAP1 00001306: DIV 00001307: SWAP1 00001308: PUSH1 0x00 0000130a: MSTORE 0000130b: PUSH1 0x20 0000130d: PUSH1 0x00 0000130f: KECCAK256 00001310: SWAP1 00001311: DUP2 00001312: ADD 00001313: SWAP1 00001314: PUSH2 0x081e 00001317: SWAP2 00001318: SWAP1 00001319: PUSH2 0x0cc0 0000131c: JUMP 0000131d: JUMPDEST 0000131e: PUSH2 0x0104 00001321: DUP1 00001322: SLOAD 00001323: PUSH1 0x00 00001325: DUP1 00001326: DUP4 00001327: SSTORE 00001328: SWAP2 00001329: SWAP1 0000132a: SWAP2 0000132b: MSTORE 0000132c: PUSH2 0x0754 0000132f: SWAP1 00001330: PUSH1 0x00 00001332: DUP1 00001333: MLOAD 00001334: PUSH1 0x20 00001336: PUSH2 0x1347 00001339: DUP4 0000133a: CODECOPY 0000133b: DUP2 0000133c: MLOAD 0000133d: SWAP2 0000133e: MSTORE 0000133f: SWAP1 00001340: DUP2 00001341: ADD 00001342: SWAP1 00001343: PUSH2 0x0cc0 00001346: JUMP 00001347: UNKNOWN(0x4C) 00001348: SIGNEXTEND 00001349: UNKNOWN(0xE6) 0000134a: MUL 0000134b: STOP 0000134c: STATICCALL 0000134d: LOG2 0000134e: SDIV 0000134f: MSIZE 00001350: ADDRESS 00001351: DUP13 00001352: UNKNOWN(0xB7) 00001353: UNKNOWN(0xB5) 00001354: LOG1 00001355: UNKNOWN(0xBB) 00001356: ORIGIN 00001357: SSTORE 00001358: UNKNOWN(0xC1) 00001359: 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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4534e5f6",
"selector": "0x4534e5f6",
"calldata_variants": [
"0x4534e5f6",
"0x4534e5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x458e8a0a",
"selector": "0x458e8a0a",
"calldata_variants": [
"0x458e8a0a",
"0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x632a9a52",
"selector": "0x632a9a52",
"calldata_variants": [
"0x632a9a52",
"0x632a9a520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4950,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x466dcd2bb46815c3141af30fce725e9c08f8eed55242d3982fe391d76f2d3237
call_targets:
0xe306aac52823ba1d3938608381a2444d9d641cc1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x466dcd2bb46815c3141af30fce725e9c08f8eed55242d3982fe391d76f2d3237",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe306aac52823ba1d3938608381a2444d9d641cc1"
],
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4534e5f6",
"selector": "0x4534e5f6",
"calldata_variants": [
"0x4534e5f6",
"0x4534e5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x458e8a0a",
"selector": "0x458e8a0a",
"calldata_variants": [
"0x458e8a0a",
"0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x632a9a52",
"selector": "0x632a9a52",
"calldata_variants": [
"0x632a9a52",
"0x632a9a520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 387,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 706,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1183,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [
{
"pc": 4950,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 9
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x466dcd2bb46815c3141af30fce725e9c08f8eed55242d3982fe391d76f2d3237
call_targets:
0xe306aac52823ba1d3938608381a2444d9d641cc1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x466dcd2bb46815c3141af30fce725e9c08f8eed55242d3982fe391d76f2d3237",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe306aac52823ba1d3938608381a2444d9d641cc1"
],
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4534e5f6",
"selector": "0x4534e5f6",
"calldata_variants": [
"0x4534e5f6",
"0x4534e5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x458e8a0a",
"selector": "0x458e8a0a",
"calldata_variants": [
"0x458e8a0a",
"0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x632a9a52",
"selector": "0x632a9a52",
"calldata_variants": [
"0x632a9a52",
"0x632a9a520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 387,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 706,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1183,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": [
{
"pc": 4950,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x3c0d6e61ebd13bd1a22e4a4f68b8fa836f2848f64b9f70720db71d3cbd77a2c8
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x3c0d6e61ebd13bd1a22e4a4f68b8fa836f2848f64b9f70720db71d3cbd77a2c8",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4534e5f6",
"selector": "0x4534e5f6",
"calldata_variants": [
"0x4534e5f6",
"0x4534e5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x458e8a0a",
"selector": "0x458e8a0a",
"calldata_variants": [
"0x458e8a0a",
"0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x632a9a52",
"selector": "0x632a9a52",
"calldata_variants": [
"0x632a9a52",
"0x632a9a520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4950,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|