019b477e-a82f-72fa-bc4e-f65fe3087edb
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 |
|---|---|---|---|---|
| 20387 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20388 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 88721 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 88722 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 88723 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 88724 | 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 0x00cf 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x13dce938 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00dc 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x14f47de4 00000025: EQ 00000026: PUSH2 0x00ea 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x1d8f310a 00000030: EQ 00000031: PUSH2 0x010a 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x29dcb0cf 0000003b: EQ 0000003c: PUSH2 0x011b 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x3e76aa06 00000046: EQ 00000047: PUSH2 0x0127 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x5c76ca2d 00000051: EQ 00000052: PUSH2 0x0163 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x63bd1d4a 0000005c: EQ 0000005d: PUSH2 0x016f 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x7cbbcca6 00000067: EQ 00000068: PUSH2 0x01c2 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x8261192e 00000072: EQ 00000073: PUSH2 0x01e9 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x8892b467 0000007d: EQ 0000007e: PUSH2 0x01fb 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x9ac99635 00000088: EQ 00000089: PUSH2 0x020f 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x9f47c36c 00000093: EQ 00000094: PUSH2 0x0223 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xaaaaea59 0000009e: EQ 0000009f: PUSH2 0x022f 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xbb2f7847 000000a9: EQ 000000aa: PUSH2 0x0238 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xc6aef98a 000000b4: EQ 000000b5: PUSH2 0x0264 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xd356ead2 000000bf: EQ 000000c0: PUSH2 0x0277 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xefcceaa5 000000ca: EQ 000000cb: PUSH2 0x02bb 000000ce: JUMPI 000000cf: JUMPDEST 000000d0: PUSH2 0x02cf 000000d3: PUSH1 0x00 000000d5: PUSH2 0x02d1 000000d8: PUSH2 0x023c 000000db: JUMP 000000dc: JUMPDEST 000000dd: PUSH2 0x02cf 000000e0: PUSH1 0x04 000000e2: DUP1 000000e3: SLOAD 000000e4: CALLVALUE 000000e5: ADD 000000e6: SWAP1 000000e7: SSTORE 000000e8: JUMPDEST 000000e9: JUMP 000000ea: JUMPDEST 000000eb: PUSH1 0x17 000000ed: SLOAD 000000ee: PUSH1 0x16 000000f0: SLOAD 000000f1: JUMPDEST 000000f2: PUSH1 0x40 000000f4: DUP1 000000f5: MLOAD 000000f6: SWAP3 000000f7: DUP4 000000f8: MSTORE 000000f9: PUSH1 0x20 000000fb: DUP4 000000fc: ADD 000000fd: SWAP2 000000fe: SWAP1 000000ff: SWAP2 00000100: MSTORE 00000101: DUP1 00000102: MLOAD 00000103: SWAP2 00000104: DUP3 00000105: SWAP1 00000106: SUB 00000107: ADD 00000108: SWAP1 00000109: RETURN 0000010a: JUMPDEST 0000010b: PUSH2 0x0322 0000010e: PUSH1 0x05 00000110: SLOAD 00000111: PUSH2 0x0100 00000114: SWAP1 00000115: DIV 00000116: PUSH1 0xff 00000118: AND 00000119: DUP2 0000011a: JUMP 0000011b: JUMPDEST 0000011c: PUSH2 0x0322 0000011f: PUSH3 0x03f480 00000123: TIMESTAMP 00000124: ADD 00000125: DUP2 00000126: JUMP 00000127: JUMPDEST 00000128: PUSH2 0x0322 0000012b: PUSH1 0x04 0000012d: CALLDATALOAD 0000012e: PUSH1 0x24 00000130: CALLDATALOAD 00000131: JUMPDEST 00000132: PUSH1 0x17 00000134: SLOAD 00000135: PUSH1 0x16 00000137: SLOAD 00000138: PUSH1 0x00 0000013a: SWAP2 0000013b: DUP5 0000013c: ADD 0000013d: SWAP1 0000013e: DUP4 0000013f: ADD 00000140: DUP2 00000141: DUP4 00000142: EQ 00000143: DUP1 00000144: ISZERO 00000145: PUSH2 0x014e 00000148: JUMPI 00000149: POP 0000014a: DUP1 0000014b: PUSH1 0x00 0000014d: EQ 0000014e: JUMPDEST 0000014f: ISZERO 00000150: PUSH2 0x0382 00000153: JUMPI 00000154: PUSH8 0x06f05b59d3b20000 0000015d: SWAP3 0000015e: POP 0000015f: PUSH2 0x0394 00000162: JUMP 00000163: JUMPDEST 00000164: PUSH2 0x0322 00000167: PUSH1 0x05 00000169: SLOAD 0000016a: PUSH1 0xff 0000016c: AND 0000016d: DUP2 0000016e: JUMP 0000016f: JUMPDEST 00000170: PUSH2 0x02cf 00000173: TIMESTAMP 00000174: PUSH3 0x015180 00000178: ADD 00000179: PUSH3 0x02a300 0000017d: ADD 0000017e: TIMESTAMP 0000017f: GT 00000180: DUP1 00000181: PUSH2 0x018c 00000184: JUMPI 00000185: POP 00000186: PUSH1 0x18 00000188: SLOAD 00000189: PUSH1 0xff 0000018b: AND 0000018c: JUMPDEST 0000018d: ISZERO 0000018e: PUSH2 0x00e8 00000191: JUMPI 00000192: PUSH1 0x03 00000194: SLOAD 00000195: PUSH1 0x01 00000197: SLOAD 00000198: PUSH1 0x01 0000019a: PUSH1 0xa0 0000019c: PUSH1 0x02 0000019e: EXP 0000019f: SUB 000001a0: AND 000001a1: BALANCE 000001a2: GT 000001a3: ISZERO 000001a4: PUSH2 0x039c 000001a7: JUMPI 000001a8: PUSH2 0x03b7 000001ab: PUSH1 0x05 000001ad: SLOAD 000001ae: PUSH1 0x00 000001b0: SWAP1 000001b1: DUP2 000001b2: SWAP1 000001b3: PUSH1 0xff 000001b5: AND 000001b6: PUSH1 0x01 000001b8: EQ 000001b9: ISZERO 000001ba: PUSH2 0x08ad 000001bd: JUMPI 000001be: JUMPDEST 000001bf: POP 000001c0: POP 000001c1: JUMP 000001c2: JUMPDEST 000001c3: PUSH2 0x02cf 000001c6: PUSH1 0x00 000001c8: SLOAD 000001c9: PUSH1 0x01 000001cb: PUSH1 0xa0 000001cd: PUSH1 0x02 000001cf: EXP 000001d0: SUB 000001d1: CALLER 000001d2: DUP2 000001d3: AND 000001d4: SWAP2 000001d5: AND 000001d6: EQ 000001d7: ISZERO 000001d8: PUSH2 0x00e8 000001db: JUMPI 000001dc: PUSH1 0x00 000001de: SLOAD 000001df: PUSH1 0x01 000001e1: PUSH1 0xa0 000001e3: PUSH1 0x02 000001e5: EXP 000001e6: SUB 000001e7: AND 000001e8: SELFDESTRUCT 000001e9: JUMPDEST 000001ea: PUSH2 0x02cf 000001ed: PUSH1 0x04 000001ef: CALLDATALOAD 000001f0: PUSH1 0x24 000001f2: CALLDATALOAD 000001f3: JUMPDEST 000001f4: PUSH2 0x042f 000001f7: PUSH2 0x023c 000001fa: JUMP 000001fb: JUMPDEST 000001fc: PUSH2 0x0322 000001ff: PUSH1 0x01 00000201: SLOAD 00000202: PUSH1 0x01 00000204: PUSH1 0xa0 00000206: PUSH1 0x02 00000208: EXP 00000209: SUB 0000020a: AND 0000020b: BALANCE 0000020c: JUMPDEST 0000020d: SWAP1 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH2 0x0322 00000213: PUSH1 0x04 00000215: CALLDATALOAD 00000216: JUMPDEST 00000217: PUSH1 0x00 00000219: PUSH2 0x034c 0000021c: PUSH1 0x00 0000021e: DUP4 0000021f: PUSH2 0x0131 00000222: JUMP 00000223: JUMPDEST 00000224: PUSH2 0x0322 00000227: TIMESTAMP 00000228: PUSH3 0x015180 0000022c: ADD 0000022d: DUP2 0000022e: JUMP 0000022f: JUMPDEST 00000230: PUSH2 0x0322 00000233: PUSH1 0x03 00000235: SLOAD 00000236: DUP2 00000237: JUMP 00000238: JUMPDEST 00000239: PUSH2 0x0322 0000023c: JUMPDEST 0000023d: PUSH1 0x05 0000023f: SLOAD 00000240: PUSH1 0x00 00000242: SWAP1 00000243: PUSH2 0x0100 00000246: SWAP1 00000247: DIV 00000248: PUSH1 0xff 0000024a: AND 0000024b: DUP1 0000024c: PUSH2 0x0257 0000024f: JUMPI 00000250: POP 00000251: PUSH1 0x05 00000253: SLOAD 00000254: PUSH1 0xff 00000256: AND 00000257: JUMPDEST 00000258: ISZERO 00000259: PUSH2 0x0464 0000025c: JUMPI 0000025d: POP 0000025e: PUSH1 0x00 00000260: PUSH2 0x020c 00000263: JUMP 00000264: JUMPDEST 00000265: PUSH2 0x00f1 00000268: PUSH1 0x04 0000026a: CALLDATALOAD 0000026b: PUSH1 0x00 0000026d: PUSH1 0x00 0000026f: PUSH2 0x0370 00000272: DUP4 00000273: PUSH2 0x0216 00000276: JUMP 00000277: JUMPDEST 00000278: PUSH2 0x00f1 0000027b: JUMPDEST 0000027c: PUSH1 0x00 0000027e: DUP1 0000027f: DUP1 00000280: DUP1 00000281: DUP1 00000282: JUMPDEST 00000283: PUSH1 0x0e 00000285: PUSH1 0xff 00000287: DUP3 00000288: AND 00000289: LT 0000028a: ISZERO 0000028b: PUSH2 0x03bc 0000028e: JUMPI 0000028f: PUSH1 0x06 00000291: PUSH1 0xff 00000293: DUP3 00000294: AND 00000295: PUSH1 0x0e 00000297: DUP2 00000298: LT 00000299: ISZERO 0000029a: PUSH2 0x0002 0000029d: JUMPI 0000029e: ADD 0000029f: PUSH1 0x00 000002a1: POP 000002a2: SLOAD 000002a3: PUSH2 0x03c6 000002a6: PUSH1 0x06 000002a8: PUSH1 0xff 000002aa: DUP5 000002ab: AND 000002ac: PUSH1 0x0e 000002ae: DUP2 000002af: LT 000002b0: ISZERO 000002b1: PUSH2 0x0002 000002b4: JUMPI 000002b5: ADD 000002b6: SLOAD 000002b7: PUSH2 0x02c2 000002ba: JUMP 000002bb: JUMPDEST 000002bc: PUSH2 0x0322 000002bf: PUSH1 0x04 000002c1: CALLDATALOAD 000002c2: JUMPDEST 000002c3: PUSH1 0x00 000002c5: PUSH2 0x0334 000002c8: DUP3 000002c9: PUSH1 0x00 000002cb: PUSH2 0x0131 000002ce: JUMP 000002cf: JUMPDEST 000002d0: STOP 000002d1: JUMPDEST 000002d2: ISZERO 000002d3: ISZERO 000002d4: PUSH2 0x02dc 000002d7: JUMPI 000002d8: PUSH2 0x0002 000002db: JUMP 000002dc: JUMPDEST 000002dd: POP 000002de: PUSH1 0x00 000002e0: PUSH2 0x02e8 000002e3: CALLVALUE 000002e4: PUSH2 0x0216 000002e7: JUMP 000002e8: JUMPDEST 000002e9: PUSH2 0x02f1 000002ec: CALLVALUE 000002ed: PUSH2 0x02c2 000002f0: JUMP 000002f1: JUMPDEST 000002f2: GT 000002f3: ISZERO 000002f4: PUSH2 0x02ff 000002f7: JUMPI 000002f8: POP 000002f9: PUSH1 0x01 000002fb: PUSH2 0x0303 000002fe: JUMP 000002ff: JUMPDEST 00000300: POP 00000301: PUSH1 0x00 00000303: JUMPDEST 00000304: DUP1 00000305: ISZERO 00000306: PUSH2 0x0314 00000309: JUMPI 0000030a: PUSH2 0x031f 0000030d: CALLER 0000030e: PUSH1 0x01 00000310: PUSH2 0x01f3 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH2 0x031f 00000318: CALLER 00000319: PUSH1 0x00 0000031b: PUSH2 0x01f3 0000031e: JUMP 0000031f: JUMPDEST 00000320: POP 00000321: JUMP 00000322: JUMPDEST 00000323: PUSH1 0x40 00000325: DUP1 00000326: MLOAD 00000327: SWAP2 00000328: DUP3 00000329: MSTORE 0000032a: MLOAD 0000032b: SWAP1 0000032c: DUP2 0000032d: SWAP1 0000032e: SUB 0000032f: PUSH1 0x20 00000331: ADD 00000332: SWAP1 00000333: RETURN 00000334: JUMPDEST 00000335: PUSH1 0x02 00000337: SLOAD 00000338: PUSH8 0x0de0b6b3a7640000 00000341: SUB 00000342: DUP4 00000343: MUL 00000344: DIV 00000345: SWAP1 00000346: POP 00000347: JUMPDEST 00000348: SWAP2 00000349: SWAP1 0000034a: POP 0000034b: JUMP 0000034c: JUMPDEST 0000034d: PUSH8 0x0de0b6b3a7640000 00000356: SUB 00000357: DUP3 00000358: PUSH1 0x02 0000035a: PUSH1 0x00 0000035c: POP 0000035d: SLOAD 0000035e: PUSH8 0x0de0b6b3a7640000 00000367: SUB 00000368: MUL 00000369: DIV 0000036a: SWAP1 0000036b: POP 0000036c: PUSH2 0x0347 0000036f: JUMP 00000370: JUMPDEST 00000371: PUSH2 0x0379 00000374: DUP5 00000375: PUSH2 0x02c2 00000378: JUMP 00000379: JUMPDEST 0000037a: SWAP2 0000037b: POP 0000037c: SWAP2 0000037d: POP 0000037e: SWAP2 0000037f: POP 00000380: SWAP2 00000381: JUMP 00000382: JUMPDEST 00000383: DUP1 00000384: DUP3 00000385: ADD 00000386: DUP3 00000387: PUSH8 0x0de0b6b3a7640000 00000390: MUL 00000391: DIV 00000392: SWAP3 00000393: POP 00000394: JUMPDEST 00000395: POP 00000396: POP 00000397: SWAP3 00000398: SWAP2 00000399: POP 0000039a: POP 0000039b: JUMP 0000039c: JUMPDEST 0000039d: PUSH2 0x00e8 000003a0: PUSH1 0x05 000003a2: SLOAD 000003a3: PUSH1 0x00 000003a5: SWAP1 000003a6: DUP2 000003a7: SWAP1 000003a8: PUSH1 0xff 000003aa: AND 000003ab: PUSH1 0x01 000003ad: EQ 000003ae: ISZERO 000003af: PUSH2 0x0acc 000003b2: JUMPI 000003b3: PUSH2 0x01be 000003b6: JUMP 000003b7: JUMPDEST 000003b8: PUSH2 0x00e8 000003bb: JUMP 000003bc: JUMPDEST 000003bd: POP 000003be: SWAP1 000003bf: SWAP4 000003c0: SWAP1 000003c1: SWAP3 000003c2: POP 000003c3: SWAP1 000003c4: POP 000003c5: JUMP 000003c6: JUMPDEST 000003c7: GT 000003c8: ISZERO 000003c9: PUSH2 0x03e0 000003cc: JUMPI 000003cd: PUSH1 0x06 000003cf: PUSH1 0xff 000003d1: DUP3 000003d2: AND 000003d3: PUSH1 0x0e 000003d5: DUP2 000003d6: LT 000003d7: ISZERO 000003d8: PUSH2 0x0002 000003db: JUMPI 000003dc: ADD 000003dd: SLOAD 000003de: SWAP3 000003df: POP 000003e0: JUMPDEST 000003e1: PUSH1 0x06 000003e3: PUSH1 0xff 000003e5: DUP3 000003e6: AND 000003e7: PUSH1 0x0e 000003e9: DUP2 000003ea: LT 000003eb: ISZERO 000003ec: PUSH2 0x0002 000003ef: JUMPI 000003f0: ADD 000003f1: PUSH1 0x00 000003f3: POP 000003f4: SLOAD 000003f5: PUSH2 0x040d 000003f8: PUSH1 0x06 000003fa: PUSH1 0xff 000003fc: DUP5 000003fd: AND 000003fe: PUSH1 0x0e 00000400: DUP2 00000401: LT 00000402: ISZERO 00000403: PUSH2 0x0002 00000406: JUMPI 00000407: ADD 00000408: SLOAD 00000409: PUSH2 0x0216 0000040c: JUMP 0000040d: JUMPDEST 0000040e: GT 0000040f: ISZERO 00000410: PUSH2 0x0427 00000413: JUMPI 00000414: PUSH1 0x06 00000416: PUSH1 0xff 00000418: DUP3 00000419: AND 0000041a: PUSH1 0x0e 0000041c: DUP2 0000041d: LT 0000041e: ISZERO 0000041f: PUSH2 0x0002 00000422: JUMPI 00000423: ADD 00000424: SLOAD 00000425: SWAP2 00000426: POP 00000427: JUMPDEST 00000428: PUSH1 0x01 0000042a: ADD 0000042b: PUSH2 0x0282 0000042e: JUMP 0000042f: JUMPDEST 00000430: ISZERO 00000431: ISZERO 00000432: PUSH2 0x043a 00000435: JUMPI 00000436: PUSH2 0x0002 00000439: JUMP 0000043a: JUMPDEST 0000043b: DUP1 0000043c: ISZERO 0000043d: PUSH2 0x0452 00000440: JUMPI 00000441: PUSH2 0x01be 00000444: DUP3 00000445: PUSH1 0x00 00000447: PUSH1 0x00 00000449: PUSH1 0x00 0000044b: PUSH2 0x0498 0000044e: PUSH2 0x027b 00000451: JUMP 00000452: JUMPDEST 00000453: PUSH2 0x01be 00000456: DUP3 00000457: PUSH1 0x00 00000459: PUSH1 0x00 0000045b: PUSH1 0x00 0000045d: PUSH2 0x06b8 00000460: PUSH2 0x027b 00000463: JUMP 00000464: JUMPDEST 00000465: TIMESTAMP 00000466: PUSH3 0x015180 0000046a: ADD 0000046b: TIMESTAMP 0000046c: GT 0000046d: ISZERO 0000046e: PUSH2 0x0479 00000471: JUMPI 00000472: POP 00000473: PUSH1 0x00 00000475: PUSH2 0x020c 00000478: JUMP 00000479: JUMPDEST 0000047a: PUSH7 0x2386f26fc10000 00000482: CALLVALUE 00000483: LT 00000484: ISZERO 00000485: PUSH2 0x0490 00000488: JUMPI 00000489: POP 0000048a: PUSH1 0x00 0000048c: PUSH2 0x020c 0000048f: JUMP 00000490: JUMPDEST 00000491: POP 00000492: PUSH1 0x01 00000494: PUSH2 0x020c 00000497: JUMP 00000498: JUMPDEST 00000499: POP 0000049a: SWAP3 0000049b: POP 0000049c: DUP3 0000049d: CALLVALUE 0000049e: GT 0000049f: ISZERO 000004a0: PUSH2 0x0538 000004a3: JUMPI 000004a4: PUSH1 0x40 000004a6: MLOAD 000004a7: DUP4 000004a8: SWAP3 000004a9: POP 000004aa: PUSH1 0x01 000004ac: PUSH1 0xa0 000004ae: PUSH1 0x02 000004b0: EXP 000004b1: SUB 000004b2: DUP6 000004b3: AND 000004b4: SWAP1 000004b5: PUSH1 0x00 000004b7: SWAP1 000004b8: CALLVALUE 000004b9: DUP6 000004ba: SWAP1 000004bb: SUB 000004bc: SWAP1 000004bd: DUP3 000004be: DUP2 000004bf: DUP2 000004c0: DUP2 000004c1: DUP6 000004c2: DUP9 000004c3: DUP4 000004c4: CALL 000004c5: SWAP4 000004c6: POP 000004c7: POP 000004c8: POP 000004c9: POP 000004ca: ISZERO 000004cb: ISZERO 000004cc: PUSH2 0x0533 000004cf: JUMPI 000004d0: PUSH1 0x40 000004d2: DUP1 000004d3: MLOAD 000004d4: CALLVALUE 000004d5: DUP5 000004d6: SWAP1 000004d7: SUB 000004d8: DUP2 000004d9: MSTORE 000004da: PUSH1 0x20 000004dc: DUP2 000004dd: ADD 000004de: DUP3 000004df: SWAP1 000004e0: MSTORE 000004e1: PUSH1 0x16 000004e3: DUP2 000004e4: DUP4 000004e5: ADD 000004e6: MSTORE 000004e7: PUSH32 0x436f756c646e277420726566756e642e20576861743f00000000000000000000 00000508: PUSH1 0x60 0000050a: DUP3 0000050b: ADD 0000050c: MSTORE 0000050d: SWAP1 0000050e: MLOAD 0000050f: PUSH1 0x01 00000511: PUSH1 0xa0 00000513: PUSH1 0x02 00000515: EXP 00000516: SUB 00000517: DUP7 00000518: AND 00000519: SWAP2 0000051a: PUSH1 0x00 0000051c: DUP1 0000051d: MLOAD 0000051e: PUSH1 0x20 00000520: PUSH2 0x0d11 00000523: DUP4 00000524: CODECOPY 00000525: DUP2 00000526: MLOAD 00000527: SWAP2 00000528: MSTORE 00000529: SWAP2 0000052a: SWAP1 0000052b: DUP2 0000052c: SWAP1 0000052d: SUB 0000052e: PUSH1 0x80 00000530: ADD 00000531: SWAP1 00000532: LOG2 00000533: JUMPDEST 00000534: PUSH2 0x053c 00000537: JUMP 00000538: JUMPDEST 00000539: CALLVALUE 0000053a: SWAP2 0000053b: POP 0000053c: JUMPDEST 0000053d: PUSH2 0x0545 00000540: DUP3 00000541: PUSH2 0x02c2 00000544: JUMP 00000545: JUMPDEST 00000546: PUSH1 0x19 00000548: DUP1 00000549: SLOAD 0000054a: PUSH1 0x01 0000054c: DUP2 0000054d: ADD 0000054e: DUP1 0000054f: DUP4 00000550: SSTORE 00000551: SWAP3 00000552: SWAP4 00000553: POP 00000554: DUP3 00000555: SWAP1 00000556: DUP1 00000557: ISZERO 00000558: DUP3 00000559: SWAP1 0000055a: GT 0000055b: PUSH2 0x05a4 0000055e: JUMPI 0000055f: PUSH1 0x03 00000561: MUL 00000562: DUP2 00000563: PUSH1 0x03 00000565: MUL 00000566: DUP4 00000567: PUSH1 0x00 00000569: MSTORE 0000056a: PUSH1 0x20 0000056c: PUSH1 0x00 0000056e: KECCAK256 0000056f: SWAP2 00000570: DUP3 00000571: ADD 00000572: SWAP2 00000573: ADD 00000574: PUSH2 0x05a4 00000577: SWAP2 00000578: SWAP1 00000579: JUMPDEST 0000057a: DUP1 0000057b: DUP3 0000057c: GT 0000057d: ISZERO 0000057e: PUSH2 0x06b4 00000581: JUMPI 00000582: DUP1 00000583: SLOAD 00000584: PUSH1 0x01 00000586: PUSH1 0xa0 00000588: PUSH1 0x02 0000058a: EXP 0000058b: SUB 0000058c: NOT 0000058d: AND 0000058e: DUP2 0000058f: SSTORE 00000590: PUSH1 0x00 00000592: PUSH1 0x01 00000594: DUP3 00000595: ADD 00000596: DUP2 00000597: DUP2 00000598: SSTORE 00000599: PUSH1 0x02 0000059b: SWAP3 0000059c: SWAP1 0000059d: SWAP3 0000059e: ADD 0000059f: SSTORE 000005a0: PUSH2 0x0579 000005a3: JUMP 000005a4: JUMPDEST 000005a5: POP 000005a6: POP 000005a7: PUSH1 0x14 000005a9: SLOAD 000005aa: PUSH1 0x19 000005ac: DUP1 000005ad: SLOAD 000005ae: DUP9 000005af: SWAP5 000005b0: POP 000005b1: SWAP1 000005b2: SWAP3 000005b3: POP 000005b4: DUP2 000005b5: LT 000005b6: ISZERO 000005b7: PUSH2 0x0002 000005ba: JUMPI 000005bb: PUSH1 0x00 000005bd: DUP3 000005be: SWAP1 000005bf: MSTORE 000005c0: PUSH1 0x03 000005c2: MUL 000005c3: PUSH1 0x00 000005c5: DUP1 000005c6: MLOAD 000005c7: PUSH1 0x20 000005c9: PUSH2 0x0d31 000005cc: DUP4 000005cd: CODECOPY 000005ce: DUP2 000005cf: MLOAD 000005d0: SWAP2 000005d1: MSTORE 000005d2: ADD 000005d3: DUP1 000005d4: SLOAD 000005d5: PUSH1 0x01 000005d7: PUSH1 0xa0 000005d9: PUSH1 0x02 000005db: EXP 000005dc: SUB 000005dd: NOT 000005de: AND 000005df: SWAP1 000005e0: SWAP3 000005e1: OR 000005e2: SWAP1 000005e3: SWAP2 000005e4: SSTORE 000005e5: PUSH1 0x14 000005e7: SLOAD 000005e8: DUP2 000005e9: SLOAD 000005ea: DUP5 000005eb: SWAP3 000005ec: SWAP2 000005ed: SWAP1 000005ee: DUP2 000005ef: LT 000005f0: ISZERO 000005f1: PUSH2 0x0002 000005f4: JUMPI 000005f5: PUSH32 0x944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9696 00000616: PUSH1 0x03 00000618: SWAP2 00000619: SWAP1 0000061a: SWAP2 0000061b: MUL 0000061c: ADD 0000061d: SWAP2 0000061e: SWAP1 0000061f: SWAP2 00000620: SSTORE 00000621: PUSH1 0x14 00000623: SLOAD 00000624: DUP2 00000625: SLOAD 00000626: DUP4 00000627: SWAP3 00000628: SWAP2 00000629: SWAP1 0000062a: DUP2 0000062b: LT 0000062c: ISZERO 0000062d: PUSH2 0x0002 00000630: JUMPI 00000631: PUSH1 0x03 00000633: MUL 00000634: PUSH32 0x944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9697 00000655: ADD 00000656: SWAP2 00000657: SWAP1 00000658: SWAP2 00000659: SSTORE 0000065a: POP 0000065b: PUSH1 0x14 0000065d: DUP1 0000065e: SLOAD 0000065f: PUSH1 0x01 00000661: ADD 00000662: SWAP1 00000663: SSTORE 00000664: PUSH1 0x17 00000666: DUP1 00000667: SLOAD 00000668: DUP3 00000669: ADD 0000066a: SWAP1 0000066b: SSTORE 0000066c: PUSH1 0x40 0000066e: DUP1 0000066f: MLOAD 00000670: DUP4 00000671: DUP2 00000672: MSTORE 00000673: PUSH1 0x20 00000675: DUP2 00000676: ADD 00000677: DUP4 00000678: SWAP1 00000679: MSTORE 0000067a: DUP2 0000067b: MLOAD 0000067c: PUSH1 0x01 0000067e: PUSH1 0xa0 00000680: PUSH1 0x02 00000682: EXP 00000683: SUB 00000684: DUP8 00000685: AND 00000686: SWAP3 00000687: PUSH32 0xa40378833b5b6201e37517b707cb6dec191cf3c1b97d201945f1133fc587e274 000006a8: SWAP3 000006a9: DUP3 000006aa: SWAP1 000006ab: SUB 000006ac: ADD 000006ad: SWAP1 000006ae: LOG2 000006af: POP 000006b0: POP 000006b1: POP 000006b2: POP 000006b3: JUMP 000006b4: JUMPDEST 000006b5: POP 000006b6: SWAP1 000006b7: JUMP 000006b8: JUMPDEST 000006b9: SWAP4 000006ba: POP 000006bb: POP 000006bc: DUP3 000006bd: CALLVALUE 000006be: GT 000006bf: ISZERO 000006c0: PUSH2 0x0758 000006c3: JUMPI 000006c4: PUSH1 0x40 000006c6: MLOAD 000006c7: DUP4 000006c8: SWAP3 000006c9: POP 000006ca: PUSH1 0x01 000006cc: PUSH1 0xa0 000006ce: PUSH1 0x02 000006d0: EXP 000006d1: SUB 000006d2: DUP6 000006d3: AND 000006d4: SWAP1 000006d5: PUSH1 0x00 000006d7: SWAP1 000006d8: CALLVALUE 000006d9: DUP6 000006da: SWAP1 000006db: SUB 000006dc: SWAP1 000006dd: DUP3 000006de: DUP2 000006df: DUP2 000006e0: DUP2 000006e1: DUP6 000006e2: DUP9 000006e3: DUP4 000006e4: CALL 000006e5: SWAP4 000006e6: POP 000006e7: POP 000006e8: POP 000006e9: POP 000006ea: ISZERO 000006eb: ISZERO 000006ec: PUSH2 0x0753 000006ef: JUMPI 000006f0: PUSH1 0x40 000006f2: DUP1 000006f3: MLOAD 000006f4: CALLVALUE 000006f5: DUP5 000006f6: SWAP1 000006f7: SUB 000006f8: DUP2 000006f9: MSTORE 000006fa: PUSH1 0x20 000006fc: DUP2 000006fd: ADD 000006fe: DUP3 000006ff: SWAP1 00000700: MSTORE 00000701: PUSH1 0x16 00000703: DUP2 00000704: DUP4 00000705: ADD 00000706: MSTORE 00000707: PUSH32 0x436f756c646e277420726566756e642e20576861743f00000000000000000000 00000728: PUSH1 0x60 0000072a: DUP3 0000072b: ADD 0000072c: MSTORE 0000072d: SWAP1 0000072e: MLOAD 0000072f: PUSH1 0x01 00000731: PUSH1 0xa0 00000733: PUSH1 0x02 00000735: EXP 00000736: SUB 00000737: DUP7 00000738: AND 00000739: SWAP2 0000073a: PUSH1 0x00 0000073c: DUP1 0000073d: MLOAD 0000073e: PUSH1 0x20 00000740: PUSH2 0x0d11 00000743: DUP4 00000744: CODECOPY 00000745: DUP2 00000746: MLOAD 00000747: SWAP2 00000748: MSTORE 00000749: SWAP2 0000074a: SWAP1 0000074b: DUP2 0000074c: SWAP1 0000074d: SUB 0000074e: PUSH1 0x80 00000750: ADD 00000751: SWAP1 00000752: LOG2 00000753: JUMPDEST 00000754: PUSH2 0x075c 00000757: JUMP 00000758: JUMPDEST 00000759: CALLVALUE 0000075a: SWAP2 0000075b: POP 0000075c: JUMPDEST 0000075d: PUSH2 0x0765 00000760: DUP3 00000761: PUSH2 0x0216 00000764: JUMP 00000765: JUMPDEST 00000766: PUSH1 0x1a 00000768: DUP1 00000769: SLOAD 0000076a: PUSH1 0x01 0000076c: DUP2 0000076d: ADD 0000076e: DUP1 0000076f: DUP4 00000770: SSTORE 00000771: SWAP3 00000772: SWAP4 00000773: POP 00000774: DUP3 00000775: SWAP1 00000776: DUP1 00000777: ISZERO 00000778: DUP3 00000779: SWAP1 0000077a: GT 0000077b: PUSH2 0x079d 0000077e: JUMPI 0000077f: PUSH1 0x03 00000781: MUL 00000782: DUP2 00000783: PUSH1 0x03 00000785: MUL 00000786: DUP4 00000787: PUSH1 0x00 00000789: MSTORE 0000078a: PUSH1 0x20 0000078c: PUSH1 0x00 0000078e: KECCAK256 0000078f: SWAP2 00000790: DUP3 00000791: ADD 00000792: SWAP2 00000793: ADD 00000794: PUSH2 0x079d 00000797: SWAP2 00000798: SWAP1 00000799: PUSH2 0x0579 0000079c: JUMP 0000079d: JUMPDEST 0000079e: POP 0000079f: POP 000007a0: PUSH1 0x15 000007a2: SLOAD 000007a3: PUSH1 0x1a 000007a5: DUP1 000007a6: SLOAD 000007a7: DUP9 000007a8: SWAP5 000007a9: POP 000007aa: SWAP1 000007ab: SWAP3 000007ac: POP 000007ad: DUP2 000007ae: LT 000007af: ISZERO 000007b0: PUSH2 0x0002 000007b3: JUMPI 000007b4: PUSH1 0x00 000007b6: DUP3 000007b7: SWAP1 000007b8: MSTORE 000007b9: PUSH1 0x03 000007bb: MUL 000007bc: PUSH1 0x00 000007be: DUP1 000007bf: MLOAD 000007c0: PUSH1 0x20 000007c2: PUSH2 0x0cf1 000007c5: DUP4 000007c6: CODECOPY 000007c7: DUP2 000007c8: MLOAD 000007c9: SWAP2 000007ca: MSTORE 000007cb: ADD 000007cc: DUP1 000007cd: SLOAD 000007ce: PUSH1 0x01 000007d0: PUSH1 0xa0 000007d2: PUSH1 0x02 000007d4: EXP 000007d5: SUB 000007d6: NOT 000007d7: AND 000007d8: SWAP1 000007d9: SWAP3 000007da: OR 000007db: SWAP1 000007dc: SWAP2 000007dd: SSTORE 000007de: PUSH1 0x15 000007e0: SLOAD 000007e1: DUP2 000007e2: SLOAD 000007e3: DUP5 000007e4: SWAP3 000007e5: SWAP2 000007e6: SWAP1 000007e7: DUP2 000007e8: LT 000007e9: ISZERO 000007ea: PUSH2 0x0002 000007ed: JUMPI 000007ee: PUSH32 0x057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63f 0000080f: PUSH1 0x03 00000811: SWAP2 00000812: SWAP1 00000813: SWAP2 00000814: MUL 00000815: ADD 00000816: SWAP2 00000817: SWAP1 00000818: SWAP2 00000819: SSTORE 0000081a: PUSH1 0x15 0000081c: SLOAD 0000081d: DUP2 0000081e: SLOAD 0000081f: DUP4 00000820: SWAP3 00000821: SWAP2 00000822: SWAP1 00000823: DUP2 00000824: LT 00000825: ISZERO 00000826: PUSH2 0x0002 00000829: JUMPI 0000082a: PUSH1 0x03 0000082c: MUL 0000082d: PUSH32 0x057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff640 0000084e: ADD 0000084f: SWAP2 00000850: SWAP1 00000851: SWAP2 00000852: SSTORE 00000853: POP 00000854: PUSH1 0x15 00000856: DUP1 00000857: SLOAD 00000858: PUSH1 0x01 0000085a: ADD 0000085b: SWAP1 0000085c: SSTORE 0000085d: PUSH1 0x16 0000085f: DUP1 00000860: SLOAD 00000861: DUP3 00000862: ADD 00000863: SWAP1 00000864: SSTORE 00000865: PUSH1 0x40 00000867: DUP1 00000868: MLOAD 00000869: DUP4 0000086a: DUP2 0000086b: MSTORE 0000086c: PUSH1 0x20 0000086e: DUP2 0000086f: ADD 00000870: DUP4 00000871: SWAP1 00000872: MSTORE 00000873: DUP2 00000874: MLOAD 00000875: PUSH1 0x01 00000877: PUSH1 0xa0 00000879: PUSH1 0x02 0000087b: EXP 0000087c: SUB 0000087d: DUP8 0000087e: AND 0000087f: SWAP3 00000880: PUSH32 0xdd21859f0a2451eabfe5b67cd4295e8b554d3a4b5f319bd5c0963d7ae0d41165 000008a1: SWAP3 000008a2: DUP3 000008a3: SWAP1 000008a4: SUB 000008a5: ADD 000008a6: SWAP1 000008a7: LOG2 000008a8: POP 000008a9: POP 000008aa: POP 000008ab: POP 000008ac: JUMP 000008ad: JUMPDEST 000008ae: POP 000008af: PUSH1 0x00 000008b1: JUMPDEST 000008b2: PUSH1 0x14 000008b4: SLOAD 000008b5: DUP2 000008b6: LT 000008b7: ISZERO 000008b8: PUSH2 0x08f6 000008bb: JUMPI 000008bc: PUSH1 0x14 000008be: SLOAD 000008bf: PUSH1 0x19 000008c1: DUP1 000008c2: SLOAD 000008c3: SWAP1 000008c4: SWAP2 000008c5: SWAP1 000008c6: DUP2 000008c7: LT 000008c8: ISZERO 000008c9: PUSH2 0x0002 000008cc: JUMPI 000008cd: PUSH1 0x00 000008cf: SWAP2 000008d0: DUP3 000008d1: MSTORE 000008d2: PUSH1 0x03 000008d4: MUL 000008d5: PUSH1 0x00 000008d7: DUP1 000008d8: MLOAD 000008d9: PUSH1 0x20 000008db: PUSH2 0x0d31 000008de: DUP4 000008df: CODECOPY 000008e0: DUP2 000008e1: MLOAD 000008e2: SWAP2 000008e3: MSTORE 000008e4: ADD 000008e5: SWAP1 000008e6: POP 000008e7: PUSH1 0x02 000008e9: ADD 000008ea: SLOAD 000008eb: SWAP1 000008ec: SWAP2 000008ed: ADD 000008ee: SWAP1 000008ef: PUSH1 0x01 000008f1: ADD 000008f2: PUSH2 0x08b1 000008f5: JUMP 000008f6: JUMPDEST 000008f7: ADDRESS 000008f8: PUSH1 0x01 000008fa: PUSH1 0xa0 000008fc: PUSH1 0x02 000008fe: EXP 000008ff: SUB 00000900: AND 00000901: BALANCE 00000902: DUP3 00000903: GT 00000904: ISZERO 00000905: PUSH2 0x0984 00000908: JUMPI 00000909: PUSH1 0x40 0000090b: DUP1 0000090c: MLOAD 0000090d: DUP4 0000090e: DUP2 0000090f: MSTORE 00000910: ADDRESS 00000911: PUSH1 0x01 00000913: PUSH1 0xa0 00000915: PUSH1 0x02 00000917: EXP 00000918: SUB 00000919: AND 0000091a: BALANCE 0000091b: PUSH1 0x20 0000091d: DUP3 0000091e: ADD 0000091f: MSTORE 00000920: PUSH1 0x60 00000922: DUP2 00000923: DUP4 00000924: ADD 00000925: DUP2 00000926: SWAP1 00000927: MSTORE 00000928: PUSH1 0x04 0000092a: SWAP1 0000092b: DUP3 0000092c: ADD 0000092d: MSTORE 0000092e: PUSH32 0x4f76657200000000000000000000000000000000000000000000000000000000 0000094f: PUSH1 0x80 00000951: DUP3 00000952: ADD 00000953: MSTORE 00000954: SWAP1 00000955: MLOAD 00000956: PUSH32 0x976b85ea68aad541fb70223dae5882f2c13727aa08aaa867a2c926badd30c01e 00000977: SWAP2 00000978: DUP2 00000979: SWAP1 0000097a: SUB 0000097b: PUSH1 0xa0 0000097d: ADD 0000097e: SWAP1 0000097f: LOG1 00000980: PUSH2 0x0002 00000983: JUMP 00000984: JUMPDEST 00000985: POP 00000986: PUSH1 0x00 00000988: JUMPDEST 00000989: PUSH1 0x14 0000098b: SLOAD 0000098c: DUP2 0000098d: LT 0000098e: ISZERO 0000098f: PUSH2 0x0abb 00000992: JUMPI 00000993: PUSH1 0x14 00000995: SLOAD 00000996: PUSH1 0x19 00000998: DUP1 00000999: SLOAD 0000099a: SWAP1 0000099b: SWAP2 0000099c: SWAP1 0000099d: DUP2 0000099e: LT 0000099f: ISZERO 000009a0: PUSH2 0x0002 000009a3: JUMPI 000009a4: DUP2 000009a5: SLOAD 000009a6: PUSH1 0x00 000009a8: DUP4 000009a9: DUP2 000009aa: MSTORE 000009ab: PUSH1 0x03 000009ad: DUP4 000009ae: MUL 000009af: PUSH1 0x00 000009b1: DUP1 000009b2: MLOAD 000009b3: PUSH1 0x20 000009b5: PUSH2 0x0d31 000009b8: DUP4 000009b9: CODECOPY 000009ba: DUP2 000009bb: MLOAD 000009bc: SWAP2 000009bd: MSTORE 000009be: ADD 000009bf: SLOAD 000009c0: PUSH1 0x01 000009c2: PUSH1 0xa0 000009c4: PUSH1 0x02 000009c6: EXP 000009c7: SUB 000009c8: AND 000009c9: SWAP4 000009ca: SWAP1 000009cb: SWAP3 000009cc: SWAP1 000009cd: SWAP2 000009ce: DUP2 000009cf: LT 000009d0: ISZERO 000009d1: PUSH2 0x0002 000009d4: JUMPI 000009d5: SWAP1 000009d6: DUP3 000009d7: MSTORE 000009d8: PUSH1 0x00 000009da: DUP1 000009db: MLOAD 000009dc: PUSH1 0x20 000009de: PUSH2 0x0d31 000009e1: DUP4 000009e2: CODECOPY 000009e3: DUP2 000009e4: MLOAD 000009e5: SWAP2 000009e6: MSTORE 000009e7: PUSH1 0x03 000009e9: SWAP1 000009ea: SWAP2 000009eb: MUL 000009ec: ADD 000009ed: DUP2 000009ee: POP 000009ef: PUSH1 0x02 000009f1: ADD 000009f2: SLOAD 000009f3: PUSH1 0x40 000009f5: MLOAD 000009f6: PUSH1 0x00 000009f8: DUP2 000009f9: DUP2 000009fa: DUP2 000009fb: DUP6 000009fc: DUP9 000009fd: DUP9 000009fe: CALL 000009ff: SWAP4 00000a00: POP 00000a01: POP 00000a02: POP 00000a03: POP 00000a04: ISZERO 00000a05: ISZERO 00000a06: PUSH2 0x0ab3 00000a09: JUMPI 00000a0a: PUSH1 0x14 00000a0c: SLOAD 00000a0d: PUSH1 0x19 00000a0f: DUP1 00000a10: SLOAD 00000a11: SWAP1 00000a12: SWAP2 00000a13: SWAP1 00000a14: DUP2 00000a15: LT 00000a16: ISZERO 00000a17: PUSH2 0x0002 00000a1a: JUMPI 00000a1b: DUP2 00000a1c: SLOAD 00000a1d: PUSH1 0x00 00000a1f: DUP4 00000a20: SWAP1 00000a21: MSTORE 00000a22: PUSH1 0x03 00000a24: DUP3 00000a25: MUL 00000a26: PUSH1 0x00 00000a28: DUP1 00000a29: MLOAD 00000a2a: PUSH1 0x20 00000a2c: PUSH2 0x0d31 00000a2f: DUP4 00000a30: CODECOPY 00000a31: DUP2 00000a32: MLOAD 00000a33: SWAP2 00000a34: MSTORE 00000a35: ADD 00000a36: SLOAD 00000a37: PUSH1 0x01 00000a39: PUSH1 0xa0 00000a3b: PUSH1 0x02 00000a3d: EXP 00000a3e: SUB 00000a3f: AND 00000a40: SWAP3 00000a41: PUSH1 0x00 00000a43: DUP1 00000a44: MLOAD 00000a45: PUSH1 0x20 00000a47: PUSH2 0x0d11 00000a4a: DUP4 00000a4b: CODECOPY 00000a4c: DUP2 00000a4d: MLOAD 00000a4e: SWAP2 00000a4f: MSTORE 00000a50: SWAP3 00000a51: SWAP1 00000a52: SWAP2 00000a53: DUP2 00000a54: LT 00000a55: ISZERO 00000a56: PUSH2 0x0002 00000a59: JUMPI 00000a5a: SWAP1 00000a5b: PUSH1 0x00 00000a5d: MSTORE 00000a5e: PUSH1 0x20 00000a60: PUSH1 0x00 00000a62: KECCAK256 00000a63: SWAP1 00000a64: PUSH1 0x03 00000a66: MUL 00000a67: ADD 00000a68: PUSH1 0x00 00000a6a: POP 00000a6b: PUSH1 0x02 00000a6d: ADD 00000a6e: SLOAD 00000a6f: PUSH1 0x40 00000a71: DUP1 00000a72: MLOAD 00000a73: SWAP2 00000a74: DUP3 00000a75: MSTORE 00000a76: PUSH1 0x20 00000a78: DUP3 00000a79: ADD 00000a7a: DUP2 00000a7b: SWAP1 00000a7c: MSTORE 00000a7d: PUSH1 0x04 00000a7f: DUP3 00000a80: DUP3 00000a81: ADD 00000a82: MSTORE 00000a83: PUSH32 0x6f76657200000000000000000000000000000000000000000000000000000000 00000aa4: PUSH1 0x60 00000aa6: DUP4 00000aa7: ADD 00000aa8: MSTORE 00000aa9: MLOAD 00000aaa: SWAP1 00000aab: DUP2 00000aac: SWAP1 00000aad: SUB 00000aae: PUSH1 0x80 00000ab0: ADD 00000ab1: SWAP1 00000ab2: LOG2 00000ab3: JUMPDEST 00000ab4: PUSH1 0x01 00000ab6: ADD 00000ab7: PUSH2 0x0988 00000aba: JUMP 00000abb: JUMPDEST 00000abc: PUSH1 0x05 00000abe: DUP1 00000abf: SLOAD 00000ac0: PUSH1 0xff 00000ac2: NOT 00000ac3: AND 00000ac4: PUSH1 0x01 00000ac6: OR 00000ac7: SWAP1 00000ac8: SSTORE 00000ac9: POP 00000aca: POP 00000acb: JUMP 00000acc: JUMPDEST 00000acd: POP 00000ace: PUSH1 0x00 00000ad0: JUMPDEST 00000ad1: PUSH1 0x15 00000ad3: SLOAD 00000ad4: DUP2 00000ad5: LT 00000ad6: ISZERO 00000ad7: PUSH2 0x0b25 00000ada: JUMPI 00000adb: PUSH1 0x15 00000add: SLOAD 00000ade: PUSH1 0x1a 00000ae0: DUP1 00000ae1: SLOAD 00000ae2: SWAP1 00000ae3: SWAP2 00000ae4: SWAP1 00000ae5: DUP2 00000ae6: LT 00000ae7: ISZERO 00000ae8: PUSH2 0x0002 00000aeb: JUMPI 00000aec: PUSH1 0x00 00000aee: SWAP2 00000aef: SWAP1 00000af0: SWAP2 00000af1: MSTORE 00000af2: PUSH32 0x057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff640 00000b13: PUSH1 0x03 00000b15: SWAP1 00000b16: SWAP2 00000b17: MUL 00000b18: ADD 00000b19: SLOAD 00000b1a: SWAP1 00000b1b: SWAP2 00000b1c: ADD 00000b1d: SWAP1 00000b1e: PUSH1 0x01 00000b20: ADD 00000b21: PUSH2 0x0ad0 00000b24: JUMP 00000b25: JUMPDEST 00000b26: ADDRESS 00000b27: PUSH1 0x01 00000b29: PUSH1 0xa0 00000b2b: PUSH1 0x02 00000b2d: EXP 00000b2e: SUB 00000b2f: AND 00000b30: BALANCE 00000b31: DUP3 00000b32: GT 00000b33: ISZERO 00000b34: PUSH2 0x0bb3 00000b37: JUMPI 00000b38: PUSH1 0x40 00000b3a: DUP1 00000b3b: MLOAD 00000b3c: DUP4 00000b3d: DUP2 00000b3e: MSTORE 00000b3f: ADDRESS 00000b40: PUSH1 0x01 00000b42: PUSH1 0xa0 00000b44: PUSH1 0x02 00000b46: EXP 00000b47: SUB 00000b48: AND 00000b49: BALANCE 00000b4a: PUSH1 0x20 00000b4c: DUP3 00000b4d: ADD 00000b4e: MSTORE 00000b4f: PUSH1 0x60 00000b51: DUP2 00000b52: DUP4 00000b53: ADD 00000b54: DUP2 00000b55: SWAP1 00000b56: MSTORE 00000b57: PUSH1 0x05 00000b59: SWAP1 00000b5a: DUP3 00000b5b: ADD 00000b5c: MSTORE 00000b5d: PUSH32 0x556e646572000000000000000000000000000000000000000000000000000000 00000b7e: PUSH1 0x80 00000b80: DUP3 00000b81: ADD 00000b82: MSTORE 00000b83: SWAP1 00000b84: MLOAD 00000b85: PUSH32 0x976b85ea68aad541fb70223dae5882f2c13727aa08aaa867a2c926badd30c01e 00000ba6: SWAP2 00000ba7: DUP2 00000ba8: SWAP1 00000ba9: SUB 00000baa: PUSH1 0xa0 00000bac: ADD 00000bad: SWAP1 00000bae: LOG1 00000baf: PUSH2 0x0002 00000bb2: JUMP 00000bb3: JUMPDEST 00000bb4: POP 00000bb5: PUSH1 0x00 00000bb7: JUMPDEST 00000bb8: PUSH1 0x15 00000bba: SLOAD 00000bbb: DUP2 00000bbc: LT 00000bbd: ISZERO 00000bbe: PUSH2 0x0abb 00000bc1: JUMPI 00000bc2: PUSH1 0x15 00000bc4: SLOAD 00000bc5: PUSH1 0x1a 00000bc7: DUP1 00000bc8: SLOAD 00000bc9: SWAP1 00000bca: SWAP2 00000bcb: SWAP1 00000bcc: DUP2 00000bcd: LT 00000bce: ISZERO 00000bcf: PUSH2 0x0002 00000bd2: JUMPI 00000bd3: DUP2 00000bd4: SLOAD 00000bd5: PUSH1 0x00 00000bd7: DUP4 00000bd8: DUP2 00000bd9: MSTORE 00000bda: PUSH1 0x00 00000bdc: DUP1 00000bdd: MLOAD 00000bde: PUSH1 0x20 00000be0: PUSH2 0x0cf1 00000be3: DUP4 00000be4: CODECOPY 00000be5: DUP2 00000be6: MLOAD 00000be7: SWAP2 00000be8: MSTORE 00000be9: PUSH1 0x03 00000beb: DUP5 00000bec: MUL 00000bed: ADD 00000bee: SLOAD 00000bef: PUSH1 0x01 00000bf1: PUSH1 0xa0 00000bf3: PUSH1 0x02 00000bf5: EXP 00000bf6: SUB 00000bf7: AND 00000bf8: SWAP4 00000bf9: SWAP1 00000bfa: SWAP3 00000bfb: SWAP1 00000bfc: SWAP2 00000bfd: DUP2 00000bfe: LT 00000bff: ISZERO 00000c00: PUSH2 0x0002 00000c03: JUMPI 00000c04: SWAP1 00000c05: DUP3 00000c06: MSTORE 00000c07: PUSH1 0x03 00000c09: MUL 00000c0a: PUSH1 0x00 00000c0c: DUP1 00000c0d: MLOAD 00000c0e: PUSH1 0x20 00000c10: PUSH2 0x0cf1 00000c13: DUP4 00000c14: CODECOPY 00000c15: DUP2 00000c16: MLOAD 00000c17: SWAP2 00000c18: MSTORE 00000c19: ADD 00000c1a: DUP2 00000c1b: POP 00000c1c: PUSH1 0x02 00000c1e: ADD 00000c1f: SLOAD 00000c20: PUSH1 0x40 00000c22: MLOAD 00000c23: PUSH1 0x00 00000c25: DUP2 00000c26: DUP2 00000c27: DUP2 00000c28: DUP6 00000c29: DUP9 00000c2a: DUP9 00000c2b: CALL 00000c2c: SWAP4 00000c2d: POP 00000c2e: POP 00000c2f: POP 00000c30: POP 00000c31: ISZERO 00000c32: ISZERO 00000c33: PUSH2 0x0ce9 00000c36: JUMPI 00000c37: PUSH1 0x15 00000c39: SLOAD 00000c3a: PUSH1 0x1a 00000c3c: DUP1 00000c3d: SLOAD 00000c3e: SWAP1 00000c3f: SWAP2 00000c40: SWAP1 00000c41: DUP2 00000c42: LT 00000c43: ISZERO 00000c44: PUSH2 0x0002 00000c47: JUMPI 00000c48: DUP2 00000c49: SLOAD 00000c4a: PUSH1 0x00 00000c4c: DUP4 00000c4d: SWAP1 00000c4e: MSTORE 00000c4f: PUSH1 0x03 00000c51: DUP3 00000c52: MUL 00000c53: PUSH1 0x00 00000c55: DUP1 00000c56: MLOAD 00000c57: PUSH1 0x20 00000c59: PUSH2 0x0cf1 00000c5c: DUP4 00000c5d: CODECOPY 00000c5e: DUP2 00000c5f: MLOAD 00000c60: SWAP2 00000c61: MSTORE 00000c62: ADD 00000c63: SLOAD 00000c64: PUSH1 0x01 00000c66: PUSH1 0xa0 00000c68: PUSH1 0x02 00000c6a: EXP 00000c6b: SUB 00000c6c: AND 00000c6d: SWAP3 00000c6e: PUSH1 0x00 00000c70: DUP1 00000c71: MLOAD 00000c72: PUSH1 0x20 00000c74: PUSH2 0x0d11 00000c77: DUP4 00000c78: CODECOPY 00000c79: DUP2 00000c7a: MLOAD 00000c7b: SWAP2 00000c7c: MSTORE 00000c7d: SWAP3 00000c7e: SWAP1 00000c7f: SWAP2 00000c80: DUP2 00000c81: LT 00000c82: ISZERO 00000c83: PUSH2 0x0002 00000c86: JUMPI 00000c87: PUSH1 0x00 00000c89: SWAP2 00000c8a: DUP3 00000c8b: MSTORE 00000c8c: PUSH1 0x03 00000c8e: MUL 00000c8f: PUSH1 0x00 00000c91: DUP1 00000c92: MLOAD 00000c93: PUSH1 0x20 00000c95: PUSH2 0x0cf1 00000c98: DUP4 00000c99: CODECOPY 00000c9a: DUP2 00000c9b: MLOAD 00000c9c: SWAP2 00000c9d: MSTORE 00000c9e: ADD 00000c9f: SWAP1 00000ca0: POP 00000ca1: PUSH1 0x02 00000ca3: ADD 00000ca4: SLOAD 00000ca5: PUSH1 0x40 00000ca7: DUP1 00000ca8: MLOAD 00000ca9: SWAP2 00000caa: DUP3 00000cab: MSTORE 00000cac: PUSH1 0x20 00000cae: DUP3 00000caf: ADD 00000cb0: DUP2 00000cb1: SWAP1 00000cb2: MSTORE 00000cb3: PUSH1 0x05 00000cb5: DUP3 00000cb6: DUP3 00000cb7: ADD 00000cb8: MSTORE 00000cb9: PUSH32 0x756e646572000000000000000000000000000000000000000000000000000000 00000cda: PUSH1 0x60 00000cdc: DUP4 00000cdd: ADD 00000cde: MSTORE 00000cdf: MLOAD 00000ce0: SWAP1 00000ce1: DUP2 00000ce2: SWAP1 00000ce3: SUB 00000ce4: PUSH1 0x80 00000ce6: ADD 00000ce7: SWAP1 00000ce8: LOG2 00000ce9: JUMPDEST 00000cea: PUSH1 0x01 00000cec: ADD 00000ced: PUSH2 0x0bb7 00000cf0: JUMP 00000cf1: SDIV 00000cf2: PUSH29 0x384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff6 00000d10: RETURNDATACOPY 00000d11: JUMP 00000d12: MSTORE8 00000d13: SWAP2 00000d14: PUSH19 0x7431f7339b27bc2806e461838e40e8ae1ad34c 00000d28: UNKNOWN(0xC4) 00000d29: UNKNOWN(0xAE) 00000d2a: BALANCE 00000d2b: UNKNOWN(0xCA) 00000d2c: DUP12 00000d2d: DIV 00000d2e: BLOBHASH 00000d2f: UNKNOWN(0xCF) 00000d30: DUP3 00000d31: SWAP5 00000d32: BLOBHASH 00000d33: SWAP9 00000d34: UNKNOWN(0x27) 00000d35: RETURNDATACOPY 00000d36: SELFBALANCE 00000d37: PUSH28
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x92bcebfc1d6a13661b54e1056b25ec9dbd3587a0f20d5a0d820f4d4eb74f44c3
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x92bcebfc1d6a13661b54e1056b25ec9dbd3587a0f20d5a0d820f4d4eb74f44c3",
"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": "0x13dce938",
"selector": "0x13dce938",
"calldata_variants": [
"0x13dce938",
"0x13dce9380000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14f47de4",
"selector": "0x14f47de4",
"calldata_variants": [
"0x14f47de4",
"0x14f47de40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d8f310a",
"selector": "0x1d8f310a",
"calldata_variants": [
"0x1d8f310a",
"0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e76aa06",
"selector": "0x3e76aa06",
"calldata_variants": [
"0x3e76aa06",
"0x3e76aa060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c76ca2d",
"selector": "0x5c76ca2d",
"calldata_variants": [
"0x5c76ca2d",
"0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63bd1d4a",
"selector": "0x63bd1d4a",
"calldata_variants": [
"0x63bd1d4a",
"0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cbbcca6",
"selector": "0x7cbbcca6",
"calldata_variants": [
"0x7cbbcca6",
"0x7cbbcca60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xe93226fe8d48521a66119a290c2a7c0952729b8ffe750db4e69243cd2e52284c
call_targets:
0x806138e7992873b7e3c9f5e980303332f80b0a7f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe93226fe8d48521a66119a290c2a7c0952729b8ffe750db4e69243cd2e52284c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x806138e7992873b7e3c9f5e980303332f80b0a7f"
],
"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": "0x13dce938",
"selector": "0x13dce938",
"calldata_variants": [
"0x13dce938",
"0x13dce9380000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14f47de4",
"selector": "0x14f47de4",
"calldata_variants": [
"0x14f47de4",
"0x14f47de40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d8f310a",
"selector": "0x1d8f310a",
"calldata_variants": [
"0x1d8f310a",
"0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e76aa06",
"selector": "0x3e76aa06",
"calldata_variants": [
"0x3e76aa06",
"0x3e76aa060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c76ca2d",
"selector": "0x5c76ca2d",
"calldata_variants": [
"0x5c76ca2d",
"0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63bd1d4a",
"selector": "0x63bd1d4a",
"calldata_variants": [
"0x63bd1d4a",
"0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cbbcca6",
"selector": "0x7cbbcca6",
"calldata_variants": [
"0x7cbbcca6",
"0x7cbbcca60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1220,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1764,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2558,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe93226fe8d48521a66119a290c2a7c0952729b8ffe750db4e69243cd2e52284c
call_targets:
0x806138e7992873b7e3c9f5e980303332f80b0a7f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe93226fe8d48521a66119a290c2a7c0952729b8ffe750db4e69243cd2e52284c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x806138e7992873b7e3c9f5e980303332f80b0a7f"
],
"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": "0x13dce938",
"selector": "0x13dce938",
"calldata_variants": [
"0x13dce938",
"0x13dce9380000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14f47de4",
"selector": "0x14f47de4",
"calldata_variants": [
"0x14f47de4",
"0x14f47de40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d8f310a",
"selector": "0x1d8f310a",
"calldata_variants": [
"0x1d8f310a",
"0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e76aa06",
"selector": "0x3e76aa06",
"calldata_variants": [
"0x3e76aa06",
"0x3e76aa060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c76ca2d",
"selector": "0x5c76ca2d",
"calldata_variants": [
"0x5c76ca2d",
"0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63bd1d4a",
"selector": "0x63bd1d4a",
"calldata_variants": [
"0x63bd1d4a",
"0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cbbcca6",
"selector": "0x7cbbcca6",
"calldata_variants": [
"0x7cbbcca6",
"0x7cbbcca60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1220,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1764,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2558,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|