019ba928-f765-7391-812b-7c5227d42faa
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 |
|---|---|---|---|---|
| 35193 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 35194 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 35195 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 35196 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 35197 | capability.graph | complete | 1 / 3 | 3 months ago |
| 35198 | detector.run | complete | 1 / 3 | 3 months ago |
| 35199 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0111 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x06fdde03 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0132 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x18160ddd 00000046: EQ 00000047: PUSH2 0x01bc 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x313ce567 00000051: EQ 00000052: PUSH2 0x01e1 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x39ffe67c 0000005c: EQ 0000005d: PUSH2 0x020a 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x3ccfd60b 00000067: EQ 00000068: PUSH2 0x0229 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x4b750334 00000072: EQ 00000073: PUSH2 0x023c 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x62dbf261 0000007d: EQ 0000007e: PUSH2 0x024f 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x65bcfbe7 00000088: EQ 00000089: PUSH2 0x0265 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x68306e43 00000093: EQ 00000094: PUSH2 0x0284 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x70a08231 0000009e: EQ 0000009f: PUSH2 0x02a3 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x8620410b 000000a9: EQ 000000aa: PUSH2 0x02c2 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8b7afe2e 000000b4: EQ 000000b5: PUSH2 0x02d5 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x957b2e56 000000bf: EQ 000000c0: PUSH2 0x02e8 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x95d89b41 000000ca: EQ 000000cb: PUSH2 0x02fb 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xb1e35242 000000d5: EQ 000000d6: PUSH2 0x030e 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xb60d4288 000000e0: EQ 000000e1: PUSH2 0x0321 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xb9f308f2 000000eb: EQ 000000ec: PUSH2 0x0329 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xbda5c450 000000f6: EQ 000000f7: PUSH2 0x033f 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xe555c1a3 00000101: EQ 00000102: PUSH2 0x0358 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xeedc966a 0000010c: EQ 0000010d: PUSH2 0x036b 00000110: JUMPI 00000111: JUMPDEST 00000112: PUSH1 0x00 00000114: CALLVALUE 00000115: GT 00000116: ISZERO 00000117: PUSH2 0x0127 0000011a: JUMPI 0000011b: PUSH2 0x0122 0000011e: PUSH2 0x038a 00000121: JUMP 00000122: JUMPDEST 00000123: PUSH2 0x0130 00000126: JUMP 00000127: JUMPDEST 00000128: PUSH2 0x0130 0000012b: CALLER 0000012c: PUSH2 0x03ba 0000012f: JUMP 00000130: JUMPDEST 00000131: STOP 00000132: JUMPDEST 00000133: CALLVALUE 00000134: ISZERO 00000135: PUSH2 0x013d 00000138: JUMPI 00000139: PUSH1 0x00 0000013b: DUP1 0000013c: REVERT 0000013d: JUMPDEST 0000013e: PUSH2 0x0145 00000141: PUSH2 0x043d 00000144: JUMP 00000145: JUMPDEST 00000146: PUSH1 0x40 00000148: MLOAD 00000149: PUSH1 0x20 0000014b: DUP1 0000014c: DUP3 0000014d: MSTORE 0000014e: DUP2 0000014f: SWAP1 00000150: DUP2 00000151: ADD 00000152: DUP4 00000153: DUP2 00000154: DUP2 00000155: MLOAD 00000156: DUP2 00000157: MSTORE 00000158: PUSH1 0x20 0000015a: ADD 0000015b: SWAP2 0000015c: POP 0000015d: DUP1 0000015e: MLOAD 0000015f: SWAP1 00000160: PUSH1 0x20 00000162: ADD 00000163: SWAP1 00000164: DUP1 00000165: DUP4 00000166: DUP4 00000167: PUSH1 0x00 00000169: JUMPDEST 0000016a: DUP4 0000016b: DUP2 0000016c: LT 0000016d: ISZERO 0000016e: PUSH2 0x0181 00000171: JUMPI 00000172: DUP1 00000173: DUP3 00000174: ADD 00000175: MLOAD 00000176: DUP4 00000177: DUP3 00000178: ADD 00000179: MSTORE 0000017a: PUSH1 0x20 0000017c: ADD 0000017d: PUSH2 0x0169 00000180: JUMP 00000181: JUMPDEST 00000182: POP 00000183: POP 00000184: POP 00000185: POP 00000186: SWAP1 00000187: POP 00000188: SWAP1 00000189: DUP2 0000018a: ADD 0000018b: SWAP1 0000018c: PUSH1 0x1f 0000018e: AND 0000018f: DUP1 00000190: ISZERO 00000191: PUSH2 0x01ae 00000194: JUMPI 00000195: DUP1 00000196: DUP3 00000197: SUB 00000198: DUP1 00000199: MLOAD 0000019a: PUSH1 0x01 0000019c: DUP4 0000019d: PUSH1 0x20 0000019f: SUB 000001a0: PUSH2 0x0100 000001a3: EXP 000001a4: SUB 000001a5: NOT 000001a6: AND 000001a7: DUP2 000001a8: MSTORE 000001a9: PUSH1 0x20 000001ab: ADD 000001ac: SWAP2 000001ad: POP 000001ae: JUMPDEST 000001af: POP 000001b0: SWAP3 000001b1: POP 000001b2: POP 000001b3: POP 000001b4: PUSH1 0x40 000001b6: MLOAD 000001b7: DUP1 000001b8: SWAP2 000001b9: SUB 000001ba: SWAP1 000001bb: RETURN 000001bc: JUMPDEST 000001bd: CALLVALUE 000001be: ISZERO 000001bf: PUSH2 0x01c7 000001c2: JUMPI 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: PUSH2 0x01cf 000001cb: PUSH2 0x0474 000001ce: JUMP 000001cf: JUMPDEST 000001d0: PUSH1 0x40 000001d2: MLOAD 000001d3: SWAP1 000001d4: DUP2 000001d5: MSTORE 000001d6: PUSH1 0x20 000001d8: ADD 000001d9: PUSH1 0x40 000001db: MLOAD 000001dc: DUP1 000001dd: SWAP2 000001de: SUB 000001df: SWAP1 000001e0: RETURN 000001e1: JUMPDEST 000001e2: CALLVALUE 000001e3: ISZERO 000001e4: PUSH2 0x01ec 000001e7: JUMPI 000001e8: PUSH1 0x00 000001ea: DUP1 000001eb: REVERT 000001ec: JUMPDEST 000001ed: PUSH2 0x01f4 000001f0: PUSH2 0x047a 000001f3: JUMP 000001f4: JUMPDEST 000001f5: PUSH1 0x40 000001f7: MLOAD 000001f8: PUSH1 0xff 000001fa: SWAP1 000001fb: SWAP2 000001fc: AND 000001fd: DUP2 000001fe: MSTORE 000001ff: PUSH1 0x20 00000201: ADD 00000202: PUSH1 0x40 00000204: MLOAD 00000205: DUP1 00000206: SWAP2 00000207: SUB 00000208: SWAP1 00000209: RETURN 0000020a: JUMPDEST 0000020b: CALLVALUE 0000020c: ISZERO 0000020d: PUSH2 0x0215 00000210: JUMPI 00000211: PUSH1 0x00 00000213: DUP1 00000214: REVERT 00000215: JUMPDEST 00000216: PUSH2 0x0130 00000219: PUSH1 0x01 0000021b: PUSH1 0xa0 0000021d: PUSH1 0x02 0000021f: EXP 00000220: SUB 00000221: PUSH1 0x04 00000223: CALLDATALOAD 00000224: AND 00000225: PUSH2 0x03ba 00000228: JUMP 00000229: JUMPDEST 0000022a: CALLVALUE 0000022b: ISZERO 0000022c: PUSH2 0x0234 0000022f: JUMPI 00000230: PUSH1 0x00 00000232: DUP1 00000233: REVERT 00000234: JUMPDEST 00000235: PUSH2 0x0130 00000238: PUSH2 0x047f 0000023b: JUMP 0000023c: JUMPDEST 0000023d: CALLVALUE 0000023e: ISZERO 0000023f: PUSH2 0x0247 00000242: JUMPI 00000243: PUSH1 0x00 00000245: DUP1 00000246: REVERT 00000247: JUMPDEST 00000248: PUSH2 0x01cf 0000024b: PUSH2 0x0501 0000024e: JUMP 0000024f: JUMPDEST 00000250: CALLVALUE 00000251: ISZERO 00000252: PUSH2 0x025a 00000255: JUMPI 00000256: PUSH1 0x00 00000258: DUP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: PUSH2 0x01cf 0000025e: PUSH1 0x04 00000260: CALLDATALOAD 00000261: PUSH2 0x052c 00000264: JUMP 00000265: JUMPDEST 00000266: CALLVALUE 00000267: ISZERO 00000268: PUSH2 0x0270 0000026b: JUMPI 0000026c: PUSH1 0x00 0000026e: DUP1 0000026f: REVERT 00000270: JUMPDEST 00000271: PUSH2 0x01cf 00000274: PUSH1 0x01 00000276: PUSH1 0xa0 00000278: PUSH1 0x02 0000027a: EXP 0000027b: SUB 0000027c: PUSH1 0x04 0000027e: CALLDATALOAD 0000027f: AND 00000280: PUSH2 0x0574 00000283: JUMP 00000284: JUMPDEST 00000285: CALLVALUE 00000286: ISZERO 00000287: PUSH2 0x028f 0000028a: JUMPI 0000028b: PUSH1 0x00 0000028d: DUP1 0000028e: REVERT 0000028f: JUMPDEST 00000290: PUSH2 0x01cf 00000293: PUSH1 0x01 00000295: PUSH1 0xa0 00000297: PUSH1 0x02 00000299: EXP 0000029a: SUB 0000029b: PUSH1 0x04 0000029d: CALLDATALOAD 0000029e: AND 0000029f: PUSH2 0x0586 000002a2: JUMP 000002a3: JUMPDEST 000002a4: CALLVALUE 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: PUSH2 0x01cf 000002b2: PUSH1 0x01 000002b4: PUSH1 0xa0 000002b6: PUSH1 0x02 000002b8: EXP 000002b9: SUB 000002ba: PUSH1 0x04 000002bc: CALLDATALOAD 000002bd: AND 000002be: PUSH2 0x05bb 000002c1: JUMP 000002c2: JUMPDEST 000002c3: CALLVALUE 000002c4: ISZERO 000002c5: PUSH2 0x02cd 000002c8: JUMPI 000002c9: PUSH1 0x00 000002cb: DUP1 000002cc: REVERT 000002cd: JUMPDEST 000002ce: PUSH2 0x01cf 000002d1: PUSH2 0x05d6 000002d4: JUMP 000002d5: JUMPDEST 000002d6: CALLVALUE 000002d7: ISZERO 000002d8: PUSH2 0x02e0 000002db: JUMPI 000002dc: PUSH1 0x00 000002de: DUP1 000002df: REVERT 000002e0: JUMPDEST 000002e1: PUSH2 0x01cf 000002e4: PUSH2 0x05ed 000002e7: JUMP 000002e8: JUMPDEST 000002e9: CALLVALUE 000002ea: ISZERO 000002eb: PUSH2 0x02f3 000002ee: JUMPI 000002ef: PUSH1 0x00 000002f1: DUP1 000002f2: REVERT 000002f3: JUMPDEST 000002f4: PUSH2 0x0130 000002f7: PUSH2 0x05f3 000002fa: JUMP 000002fb: JUMPDEST 000002fc: CALLVALUE 000002fd: ISZERO 000002fe: PUSH2 0x0306 00000301: JUMPI 00000302: PUSH1 0x00 00000304: DUP1 00000305: REVERT 00000306: JUMPDEST 00000307: PUSH2 0x0145 0000030a: PUSH2 0x0790 0000030d: JUMP 0000030e: JUMPDEST 0000030f: CALLVALUE 00000310: ISZERO 00000311: PUSH2 0x0319 00000314: JUMPI 00000315: PUSH1 0x00 00000317: DUP1 00000318: REVERT 00000319: JUMPDEST 0000031a: PUSH2 0x0130 0000031d: PUSH2 0x07c7 00000320: JUMP 00000321: JUMPDEST 00000322: PUSH2 0x0130 00000325: PUSH2 0x038a 00000328: JUMP 00000329: JUMPDEST 0000032a: CALLVALUE 0000032b: ISZERO 0000032c: PUSH2 0x0334 0000032f: JUMPI 00000330: PUSH1 0x00 00000332: DUP1 00000333: REVERT 00000334: JUMPDEST 00000335: PUSH2 0x01cf 00000338: PUSH1 0x04 0000033a: CALLDATALOAD 0000033b: PUSH2 0x07d7 0000033e: JUMP 0000033f: JUMPDEST 00000340: CALLVALUE 00000341: ISZERO 00000342: PUSH2 0x034a 00000345: JUMPI 00000346: PUSH1 0x00 00000348: DUP1 00000349: REVERT 0000034a: JUMPDEST 0000034b: PUSH2 0x01cf 0000034e: PUSH1 0x04 00000350: CALLDATALOAD 00000351: PUSH1 0x24 00000353: CALLDATALOAD 00000354: PUSH2 0x0838 00000357: JUMP 00000358: JUMPDEST 00000359: CALLVALUE 0000035a: ISZERO 0000035b: PUSH2 0x0363 0000035e: JUMPI 0000035f: PUSH1 0x00 00000361: DUP1 00000362: REVERT 00000363: JUMPDEST 00000364: PUSH2 0x0130 00000367: PUSH2 0x086a 0000036a: JUMP 0000036b: JUMPDEST 0000036c: CALLVALUE 0000036d: ISZERO 0000036e: PUSH2 0x0376 00000371: JUMPI 00000372: PUSH1 0x00 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: PUSH2 0x01cf 0000037a: PUSH1 0x01 0000037c: PUSH1 0xa0 0000037e: PUSH1 0x02 00000380: EXP 00000381: SUB 00000382: PUSH1 0x04 00000384: CALLDATALOAD 00000385: AND 00000386: PUSH2 0x0880 00000389: JUMP 0000038a: JUMPDEST 0000038b: PUSH5 0xe8d4a51000 00000391: CALLVALUE 00000392: GT 00000393: ISZERO 00000394: PUSH2 0x03b3 00000397: JUMPI 00000398: PUSH2 0x03a3 0000039b: PUSH1 0x05 0000039d: SLOAD 0000039e: CALLVALUE 0000039f: PUSH2 0x0892 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH1 0x05 000003a6: SSTORE 000003a7: PUSH2 0x03ae 000003aa: PUSH2 0x08a1 000003ad: JUMP 000003ae: JUMPDEST 000003af: PUSH2 0x03b8 000003b2: JUMP 000003b3: JUMPDEST 000003b4: PUSH1 0x00 000003b6: DUP1 000003b7: REVERT 000003b8: JUMPDEST 000003b9: JUMP 000003ba: JUMPDEST 000003bb: PUSH1 0x00 000003bd: PUSH2 0x03c5 000003c0: CALLER 000003c1: PUSH2 0x0586 000003c4: JUMP 000003c5: JUMPDEST 000003c6: PUSH1 0x01 000003c8: PUSH1 0xa0 000003ca: PUSH1 0x02 000003cc: EXP 000003cd: SUB 000003ce: CALLER 000003cf: AND 000003d0: PUSH1 0x00 000003d2: SWAP1 000003d3: DUP2 000003d4: MSTORE 000003d5: PUSH1 0x01 000003d7: PUSH1 0x20 000003d9: MSTORE 000003da: PUSH1 0x40 000003dc: SWAP1 000003dd: KECCAK256 000003de: DUP1 000003df: SLOAD 000003e0: PUSH1 0x40 000003e2: PUSH1 0x02 000003e4: EXP 000003e5: DUP4 000003e6: MUL 000003e7: SWAP1 000003e8: DUP2 000003e9: ADD 000003ea: SWAP1 000003eb: SWAP2 000003ec: SSTORE 000003ed: PUSH1 0x03 000003ef: DUP1 000003f0: SLOAD 000003f1: SWAP1 000003f2: SWAP2 000003f3: ADD 000003f4: SWAP1 000003f5: SSTORE 000003f6: PUSH1 0x05 000003f8: SLOAD 000003f9: SWAP1 000003fa: SWAP2 000003fb: POP 000003fc: PUSH2 0x0405 000003ff: SWAP1 00000400: DUP3 00000401: PUSH2 0x09f3 00000404: JUMP 00000405: JUMPDEST 00000406: PUSH1 0x05 00000408: SSTORE 00000409: PUSH1 0x01 0000040b: PUSH1 0xa0 0000040d: PUSH1 0x02 0000040f: EXP 00000410: SUB 00000411: DUP3 00000412: AND 00000413: DUP2 00000414: ISZERO 00000415: PUSH2 0x08fc 00000418: MUL 00000419: DUP3 0000041a: PUSH1 0x40 0000041c: MLOAD 0000041d: PUSH1 0x00 0000041f: PUSH1 0x40 00000421: MLOAD 00000422: DUP1 00000423: DUP4 00000424: SUB 00000425: DUP2 00000426: DUP6 00000427: DUP9 00000428: DUP9 00000429: CALL 0000042a: SWAP4 0000042b: POP 0000042c: POP 0000042d: POP 0000042e: POP 0000042f: ISZERO 00000430: ISZERO 00000431: PUSH2 0x0439 00000434: JUMPI 00000435: PUSH1 0x00 00000437: DUP1 00000438: REVERT 00000439: JUMPDEST 0000043a: POP 0000043b: POP 0000043c: JUMP 0000043d: JUMPDEST 0000043e: PUSH1 0x40 00000440: DUP1 00000441: MLOAD 00000442: SWAP1 00000443: DUP2 00000444: ADD 00000445: PUSH1 0x40 00000447: MSTORE 00000448: PUSH1 0x0a 0000044a: DUP2 0000044b: MSTORE 0000044c: PUSH32 0x457468507972616d696400000000000000000000000000000000000000000000 0000046d: PUSH1 0x20 0000046f: DUP3 00000470: ADD 00000471: MSTORE 00000472: DUP2 00000473: JUMP 00000474: JUMPDEST 00000475: PUSH1 0x02 00000477: SLOAD 00000478: DUP2 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH1 0x12 0000047d: DUP2 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH1 0x00 00000482: PUSH2 0x048a 00000485: CALLER 00000486: PUSH2 0x0586 00000489: JUMP 0000048a: JUMPDEST 0000048b: PUSH1 0x01 0000048d: PUSH1 0xa0 0000048f: PUSH1 0x02 00000491: EXP 00000492: SUB 00000493: CALLER 00000494: AND 00000495: PUSH1 0x00 00000497: SWAP1 00000498: DUP2 00000499: MSTORE 0000049a: PUSH1 0x01 0000049c: PUSH1 0x20 0000049e: MSTORE 0000049f: PUSH1 0x40 000004a1: SWAP1 000004a2: KECCAK256 000004a3: DUP1 000004a4: SLOAD 000004a5: PUSH1 0x40 000004a7: PUSH1 0x02 000004a9: EXP 000004aa: DUP4 000004ab: MUL 000004ac: SWAP1 000004ad: DUP2 000004ae: ADD 000004af: SWAP1 000004b0: SWAP2 000004b1: SSTORE 000004b2: PUSH1 0x03 000004b4: DUP1 000004b5: SLOAD 000004b6: SWAP1 000004b7: SWAP2 000004b8: ADD 000004b9: SWAP1 000004ba: SSTORE 000004bb: PUSH1 0x05 000004bd: SLOAD 000004be: SWAP1 000004bf: SWAP2 000004c0: POP 000004c1: PUSH2 0x04ca 000004c4: SWAP1 000004c5: DUP3 000004c6: PUSH2 0x09f3 000004c9: JUMP 000004ca: JUMPDEST 000004cb: PUSH1 0x05 000004cd: SSTORE 000004ce: PUSH1 0x01 000004d0: PUSH1 0xa0 000004d2: PUSH1 0x02 000004d4: EXP 000004d5: SUB 000004d6: CALLER 000004d7: AND 000004d8: DUP2 000004d9: ISZERO 000004da: PUSH2 0x08fc 000004dd: MUL 000004de: DUP3 000004df: PUSH1 0x40 000004e1: MLOAD 000004e2: PUSH1 0x00 000004e4: PUSH1 0x40 000004e6: MLOAD 000004e7: DUP1 000004e8: DUP4 000004e9: SUB 000004ea: DUP2 000004eb: DUP6 000004ec: DUP9 000004ed: DUP9 000004ee: CALL 000004ef: SWAP4 000004f0: POP 000004f1: POP 000004f2: POP 000004f3: POP 000004f4: ISZERO 000004f5: ISZERO 000004f6: PUSH2 0x04fe 000004f9: JUMPI 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: REVERT 000004fe: JUMPDEST 000004ff: POP 00000500: JUMP 00000501: JUMPDEST 00000502: PUSH1 0x00 00000504: DUP1 00000505: PUSH1 0x00 00000507: PUSH2 0x0516 0000050a: PUSH7 0x038d7ea4c68000 00000512: PUSH2 0x07d7 00000515: JUMP 00000516: JUMPDEST 00000517: SWAP2 00000518: POP 00000519: PUSH2 0x0523 0000051c: DUP3 0000051d: PUSH1 0x0a 0000051f: PUSH2 0x0a05 00000522: JUMP 00000523: JUMPDEST 00000524: SWAP1 00000525: SWAP2 00000526: SUB 00000527: SWAP3 00000528: SWAP2 00000529: POP 0000052a: POP 0000052b: JUMP 0000052c: JUMPDEST 0000052d: PUSH1 0x00 0000052f: PUSH2 0x056e 00000532: PUSH2 0x0566 00000535: PUSH9 0x0296abf784a358468b 0000053f: NOT 00000540: PUSH1 0x02 00000542: PUSH1 0x01 00000544: PUSH2 0x0555 00000547: DUP8 00000548: PUSH2 0x054f 0000054b: PUSH2 0x0a1c 0000054e: JUMP 0000054f: JUMPDEST 00000550: ADD 00000551: PUSH2 0x0a41 00000554: JUMP 00000555: JUMPDEST 00000556: MUL 00000557: DUP2 00000558: ISZERO 00000559: ISZERO 0000055a: PUSH2 0x055f 0000055d: JUMPI 0000055e: INVALID 0000055f: JUMPDEST 00000560: SDIV 00000561: ADD 00000562: PUSH2 0x0b26 00000565: JUMP 00000566: JUMPDEST 00000567: PUSH1 0x02 00000569: SLOAD 0000056a: PUSH2 0x09f3 0000056d: JUMP 0000056e: JUMPDEST 0000056f: SWAP3 00000570: SWAP2 00000571: POP 00000572: POP 00000573: JUMP 00000574: JUMPDEST 00000575: PUSH1 0x01 00000577: PUSH1 0x20 00000579: MSTORE 0000057a: PUSH1 0x00 0000057c: SWAP1 0000057d: DUP2 0000057e: MSTORE 0000057f: PUSH1 0x40 00000581: SWAP1 00000582: KECCAK256 00000583: SLOAD 00000584: DUP2 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH1 0x01 00000589: PUSH1 0xa0 0000058b: PUSH1 0x02 0000058d: EXP 0000058e: SUB 0000058f: AND 00000590: PUSH1 0x00 00000592: SWAP1 00000593: DUP2 00000594: MSTORE 00000595: PUSH1 0x01 00000597: PUSH1 0x20 00000599: SWAP1 0000059a: DUP2 0000059b: MSTORE 0000059c: PUSH1 0x40 0000059e: DUP1 0000059f: DUP4 000005a0: KECCAK256 000005a1: SLOAD 000005a2: SWAP2 000005a3: DUP4 000005a4: SWAP1 000005a5: MSTORE 000005a6: SWAP1 000005a7: SWAP2 000005a8: KECCAK256 000005a9: SLOAD 000005aa: PUSH1 0x04 000005ac: SLOAD 000005ad: PUSH1 0x40 000005af: PUSH1 0x02 000005b1: EXP 000005b2: SWAP2 000005b3: MUL 000005b4: SWAP2 000005b5: SWAP1 000005b6: SWAP2 000005b7: SUB 000005b8: DIV 000005b9: SWAP1 000005ba: JUMP 000005bb: JUMPDEST 000005bc: PUSH1 0x01 000005be: PUSH1 0xa0 000005c0: PUSH1 0x02 000005c2: EXP 000005c3: SUB 000005c4: AND 000005c5: PUSH1 0x00 000005c7: SWAP1 000005c8: DUP2 000005c9: MSTORE 000005ca: PUSH1 0x20 000005cc: DUP2 000005cd: SWAP1 000005ce: MSTORE 000005cf: PUSH1 0x40 000005d1: SWAP1 000005d2: KECCAK256 000005d3: SLOAD 000005d4: SWAP1 000005d5: JUMP 000005d6: JUMPDEST 000005d7: PUSH1 0x00 000005d9: PUSH2 0x05e8 000005dc: PUSH7 0x038d7ea4c68000 000005e4: PUSH2 0x052c 000005e7: JUMP 000005e8: JUMPDEST 000005e9: SWAP1 000005ea: POP 000005eb: SWAP1 000005ec: JUMP 000005ed: JUMPDEST 000005ee: PUSH1 0x05 000005f0: SLOAD 000005f1: DUP2 000005f2: JUMP 000005f3: JUMPDEST 000005f4: PUSH1 0x00 000005f6: DUP1 000005f7: PUSH1 0x00 000005f9: DUP1 000005fa: PUSH1 0x00 000005fc: DUP1 000005fd: PUSH1 0x00 000005ff: DUP1 00000600: PUSH1 0x00 00000602: DUP1 00000603: PUSH1 0x00 00000605: DUP1 00000606: PUSH2 0x060e 00000609: CALLER 0000060a: PUSH2 0x0586 0000060d: JUMP 0000060e: JUMPDEST 0000060f: PUSH1 0x01 00000611: PUSH1 0xa0 00000613: PUSH1 0x02 00000615: EXP 00000616: SUB 00000617: CALLER 00000618: AND 00000619: PUSH1 0x00 0000061b: SWAP1 0000061c: DUP2 0000061d: MSTORE 0000061e: PUSH1 0x01 00000620: PUSH1 0x20 00000622: MSTORE 00000623: PUSH1 0x40 00000625: SWAP1 00000626: KECCAK256 00000627: DUP1 00000628: SLOAD 00000629: PUSH1 0x40 0000062b: PUSH1 0x02 0000062d: EXP 0000062e: DUP4 0000062f: MUL 00000630: SWAP1 00000631: DUP2 00000632: ADD 00000633: SWAP1 00000634: SWAP2 00000635: SSTORE 00000636: PUSH1 0x03 00000638: DUP1 00000639: SLOAD 0000063a: SWAP1 0000063b: SWAP2 0000063c: ADD 0000063d: SWAP1 0000063e: SSTORE 0000063f: SWAP12 00000640: POP 00000641: DUP12 00000642: SWAP11 00000643: POP 00000644: PUSH5 0xe8d4a51000 0000064a: DUP12 0000064b: LT 0000064c: DUP1 0000064d: PUSH2 0x065f 00000650: JUMPI 00000651: POP 00000652: PUSH10 0xd3c21bcecceda1000000 0000065d: DUP12 0000065e: GT 0000065f: JUMPDEST 00000660: ISZERO 00000661: PUSH2 0x0669 00000664: JUMPI 00000665: PUSH1 0x00 00000667: DUP1 00000668: REVERT 00000669: JUMPDEST 0000066a: CALLER 0000066b: SWAP10 0000066c: POP 0000066d: DUP12 0000066e: PUSH2 0x0675 00000671: PUSH2 0x0a1c 00000674: JUMP 00000675: JUMPDEST 00000676: SUB 00000677: SWAP9 00000678: POP 00000679: PUSH2 0x0683 0000067c: DUP12 0000067d: PUSH1 0x0a 0000067f: PUSH2 0x0a05 00000682: JUMP 00000683: JUMPDEST 00000684: SWAP8 00000685: POP 00000686: DUP8 00000687: DUP12 00000688: SUB 00000689: SWAP7 0000068a: POP 0000068b: PUSH2 0x0694 0000068e: DUP8 0000068f: DUP14 00000690: PUSH2 0x0838 00000693: JUMP 00000694: JUMPDEST 00000695: SWAP6 00000696: POP 00000697: PUSH1 0x40 00000699: PUSH1 0x02 0000069b: EXP 0000069c: DUP9 0000069d: MUL 0000069e: SWAP5 0000069f: POP 000006a0: PUSH1 0x00 000006a2: PUSH1 0x02 000006a4: SLOAD 000006a5: GT 000006a6: ISZERO 000006a7: PUSH2 0x0710 000006aa: JUMPI 000006ab: PUSH1 0x01 000006ad: PUSH1 0x02 000006af: SUB 000006b0: PUSH1 0x02 000006b2: DUP9 000006b3: DUP9 000006b4: PUSH1 0x02 000006b6: SLOAD 000006b7: ADD 000006b8: PUSH1 0x40 000006ba: PUSH1 0x02 000006bc: EXP 000006bd: DUP11 000006be: DUP13 000006bf: DUP16 000006c0: ADD 000006c1: MUL 000006c2: MUL 000006c3: DUP2 000006c4: ISZERO 000006c5: ISZERO 000006c6: PUSH2 0x06cb 000006c9: JUMPI 000006ca: INVALID 000006cb: JUMPDEST 000006cc: DIV 000006cd: DUP2 000006ce: ISZERO 000006cf: ISZERO 000006d0: PUSH2 0x06d5 000006d3: JUMPI 000006d4: INVALID 000006d5: JUMPDEST 000006d6: DIV 000006d7: PUSH1 0x40 000006d9: PUSH1 0x02 000006db: EXP 000006dc: SUB 000006dd: MUL 000006de: DUP2 000006df: ISZERO 000006e0: ISZERO 000006e1: PUSH2 0x06e6 000006e4: JUMPI 000006e5: INVALID 000006e6: JUMPDEST 000006e7: DIV 000006e8: SWAP4 000006e9: POP 000006ea: DUP4 000006eb: DUP9 000006ec: MUL 000006ed: SWAP3 000006ee: POP 000006ef: DUP3 000006f0: DUP6 000006f1: SUB 000006f2: SWAP5 000006f3: POP 000006f4: PUSH1 0x02 000006f6: SLOAD 000006f7: DUP4 000006f8: DUP2 000006f9: ISZERO 000006fa: ISZERO 000006fb: PUSH2 0x0700 000006fe: JUMPI 000006ff: INVALID 00000700: JUMPDEST 00000701: PUSH1 0x04 00000703: DUP1 00000704: SLOAD 00000705: SWAP3 00000706: SWAP1 00000707: SWAP2 00000708: DIV 00000709: SWAP2 0000070a: DUP3 0000070b: ADD 0000070c: SWAP1 0000070d: SSTORE 0000070e: SWAP2 0000070f: POP 00000710: JUMPDEST 00000711: PUSH2 0x071c 00000714: PUSH1 0x02 00000716: SLOAD 00000717: DUP8 00000718: PUSH2 0x0892 0000071b: JUMP 0000071c: JUMPDEST 0000071d: PUSH1 0x02 0000071f: SSTORE 00000720: PUSH1 0x01 00000722: PUSH1 0xa0 00000724: PUSH1 0x02 00000726: EXP 00000727: SUB 00000728: DUP11 00000729: AND 0000072a: PUSH1 0x00 0000072c: SWAP1 0000072d: DUP2 0000072e: MSTORE 0000072f: PUSH1 0x20 00000731: DUP2 00000732: SWAP1 00000733: MSTORE 00000734: PUSH1 0x40 00000736: SWAP1 00000737: KECCAK256 00000738: SLOAD 00000739: PUSH2 0x0742 0000073c: SWAP1 0000073d: DUP8 0000073e: PUSH2 0x0892 00000741: JUMP 00000742: JUMPDEST 00000743: PUSH1 0x01 00000745: PUSH1 0xa0 00000747: PUSH1 0x02 00000749: EXP 0000074a: SUB 0000074b: SWAP1 0000074c: SWAP11 0000074d: AND 0000074e: PUSH1 0x00 00000750: SWAP1 00000751: DUP2 00000752: MSTORE 00000753: PUSH1 0x20 00000755: DUP2 00000756: DUP2 00000757: MSTORE 00000758: PUSH1 0x40 0000075a: DUP1 0000075b: DUP4 0000075c: KECCAK256 0000075d: SWAP13 0000075e: SWAP1 0000075f: SWAP13 00000760: SSTORE 00000761: PUSH1 0x04 00000763: SLOAD 00000764: PUSH1 0x01 00000766: SWAP1 00000767: SWAP2 00000768: MSTORE 00000769: SWAP11 0000076a: SWAP1 0000076b: KECCAK256 0000076c: DUP1 0000076d: SLOAD 0000076e: SWAP11 0000076f: SWAP1 00000770: SWAP7 00000771: MUL 00000772: SWAP5 00000773: SWAP1 00000774: SWAP5 00000775: SUB 00000776: SWAP9 00000777: DUP10 00000778: ADD 00000779: SWAP1 0000077a: SWAP5 0000077b: SSTORE 0000077c: POP 0000077d: POP 0000077e: PUSH1 0x03 00000780: DUP1 00000781: SLOAD 00000782: SWAP1 00000783: SWAP7 00000784: ADD 00000785: SWAP1 00000786: SWAP6 00000787: SSTORE 00000788: POP 00000789: POP 0000078a: POP 0000078b: POP 0000078c: POP 0000078d: POP 0000078e: POP 0000078f: JUMP 00000790: JUMPDEST 00000791: PUSH1 0x40 00000793: DUP1 00000794: MLOAD 00000795: SWAP1 00000796: DUP2 00000797: ADD 00000798: PUSH1 0x40 0000079a: MSTORE 0000079b: PUSH1 0x03 0000079d: DUP2 0000079e: MSTORE 0000079f: PUSH32 0x4550590000000000000000000000000000000000000000000000000000000000 000007c0: PUSH1 0x20 000007c2: DUP3 000007c3: ADD 000007c4: MSTORE 000007c5: DUP2 000007c6: JUMP 000007c7: JUMPDEST 000007c8: PUSH2 0x07cf 000007cb: PUSH2 0x086a 000007ce: JUMP 000007cf: JUMPDEST 000007d0: PUSH2 0x03b8 000007d3: PUSH2 0x047f 000007d6: JUMP 000007d7: JUMPDEST 000007d8: PUSH1 0x00 000007da: DUP1 000007db: PUSH2 0x07e2 000007de: PUSH2 0x0a1c 000007e1: JUMP 000007e2: JUMPDEST 000007e3: SWAP1 000007e4: POP 000007e5: PUSH1 0x02 000007e7: SLOAD 000007e8: DUP4 000007e9: EQ 000007ea: ISZERO 000007eb: PUSH2 0x07f6 000007ee: JUMPI 000007ef: DUP1 000007f0: SWAP2 000007f1: POP 000007f2: PUSH2 0x0832 000007f5: JUMP 000007f6: JUMPDEST 000007f7: PUSH2 0x082f 000007fa: DUP2 000007fb: PUSH2 0x082a 000007fe: PUSH1 0x01 00000800: PUSH1 0x02 00000802: PUSH9 0x0296abf784a358468b 0000080c: NOT 0000080d: PUSH2 0x0819 00000810: DUP10 00000811: PUSH1 0x02 00000813: SLOAD 00000814: SUB 00000815: PUSH2 0x0a41 00000818: JUMP 00000819: JUMPDEST 0000081a: SUB 0000081b: MUL 0000081c: DUP2 0000081d: ISZERO 0000081e: ISZERO 0000081f: PUSH2 0x0824 00000822: JUMPI 00000823: INVALID 00000824: JUMPDEST 00000825: SDIV 00000826: PUSH2 0x0b26 00000829: JUMP 0000082a: JUMPDEST 0000082b: PUSH2 0x09f3 0000082e: JUMP 0000082f: JUMPDEST 00000830: SWAP2 00000831: POP 00000832: JUMPDEST 00000833: POP 00000834: SWAP2 00000835: SWAP1 00000836: POP 00000837: JUMP 00000838: JUMPDEST 00000839: PUSH1 0x00 0000083b: PUSH2 0x0863 0000083e: PUSH2 0x0566 00000841: PUSH9 0x0296abf784a358468b 0000084b: NOT 0000084c: PUSH1 0x02 0000084e: PUSH1 0x01 00000850: PUSH2 0x0555 00000853: DUP9 00000854: DUP9 00000855: PUSH2 0x085c 00000858: PUSH2 0x0a1c 0000085b: JUMP 0000085c: JUMPDEST 0000085d: SUB 0000085e: ADD 0000085f: PUSH2 0x0a41 00000862: JUMP 00000863: JUMPDEST 00000864: SWAP4 00000865: SWAP3 00000866: POP 00000867: POP 00000868: POP 00000869: JUMP 0000086a: JUMPDEST 0000086b: PUSH1 0x00 0000086d: PUSH2 0x0875 00000870: CALLER 00000871: PUSH2 0x05bb 00000874: JUMP 00000875: JUMPDEST 00000876: SWAP1 00000877: POP 00000878: PUSH2 0x04fe 0000087b: DUP2 0000087c: PUSH2 0x0c0a 0000087f: JUMP 00000880: JUMPDEST 00000881: PUSH1 0x00 00000883: PUSH1 0x20 00000885: DUP2 00000886: SWAP1 00000887: MSTORE 00000888: SWAP1 00000889: DUP2 0000088a: MSTORE 0000088b: PUSH1 0x40 0000088d: SWAP1 0000088e: KECCAK256 0000088f: SLOAD 00000890: DUP2 00000891: JUMP 00000892: JUMPDEST 00000893: PUSH1 0x00 00000895: DUP3 00000896: DUP3 00000897: ADD 00000898: DUP4 00000899: DUP2 0000089a: LT 0000089b: ISZERO 0000089c: PUSH2 0x0863 0000089f: JUMPI 000008a0: INVALID 000008a1: JUMPDEST 000008a2: PUSH1 0x00 000008a4: DUP1 000008a5: PUSH1 0x00 000008a7: DUP1 000008a8: PUSH1 0x00 000008aa: DUP1 000008ab: PUSH1 0x00 000008ad: DUP1 000008ae: PUSH1 0x00 000008b0: PUSH5 0xe8d4a51000 000008b6: CALLVALUE 000008b7: LT 000008b8: DUP1 000008b9: PUSH2 0x08cb 000008bc: JUMPI 000008bd: POP 000008be: PUSH10 0xd3c21bcecceda1000000 000008c9: CALLVALUE 000008ca: GT 000008cb: JUMPDEST 000008cc: ISZERO 000008cd: PUSH2 0x08d5 000008d0: JUMPI 000008d1: PUSH1 0x00 000008d3: DUP1 000008d4: REVERT 000008d5: JUMPDEST 000008d6: CALLER 000008d7: SWAP9 000008d8: POP 000008d9: PUSH2 0x08e3 000008dc: CALLVALUE 000008dd: PUSH1 0x0a 000008df: PUSH2 0x0a05 000008e2: JUMP 000008e3: JUMPDEST 000008e4: SWAP8 000008e5: POP 000008e6: DUP8 000008e7: CALLVALUE 000008e8: SUB 000008e9: SWAP7 000008ea: POP 000008eb: PUSH2 0x08f3 000008ee: DUP8 000008ef: PUSH2 0x052c 000008f2: JUMP 000008f3: JUMPDEST 000008f4: SWAP6 000008f5: POP 000008f6: PUSH1 0x40 000008f8: PUSH1 0x02 000008fa: EXP 000008fb: DUP9 000008fc: MUL 000008fd: SWAP5 000008fe: POP 000008ff: PUSH1 0x00 00000901: PUSH1 0x02 00000903: SLOAD 00000904: GT 00000905: ISZERO 00000906: PUSH2 0x0976 00000909: JUMPI 0000090a: PUSH1 0x01 0000090c: PUSH1 0x02 0000090e: SUB 0000090f: PUSH1 0x02 00000911: DUP9 00000912: DUP9 00000913: PUSH1 0x02 00000915: SLOAD 00000916: ADD 00000917: PUSH1 0x40 00000919: PUSH1 0x02 0000091b: EXP 0000091c: DUP11 0000091d: DUP13 0000091e: PUSH2 0x0925 00000921: PUSH2 0x0a1c 00000924: JUMP 00000925: JUMPDEST 00000926: ADD 00000927: MUL 00000928: MUL 00000929: DUP2 0000092a: ISZERO 0000092b: ISZERO 0000092c: PUSH2 0x0931 0000092f: JUMPI 00000930: INVALID 00000931: JUMPDEST 00000932: DIV 00000933: DUP2 00000934: ISZERO 00000935: ISZERO 00000936: PUSH2 0x093b 00000939: JUMPI 0000093a: INVALID 0000093b: JUMPDEST 0000093c: DIV 0000093d: PUSH1 0x40 0000093f: PUSH1 0x02 00000941: EXP 00000942: SUB 00000943: MUL 00000944: DUP2 00000945: ISZERO 00000946: ISZERO 00000947: PUSH2 0x094c 0000094a: JUMPI 0000094b: INVALID 0000094c: JUMPDEST 0000094d: DIV 0000094e: SWAP4 0000094f: POP 00000950: DUP4 00000951: DUP9 00000952: MUL 00000953: SWAP3 00000954: POP 00000955: DUP3 00000956: DUP6 00000957: SUB 00000958: SWAP5 00000959: POP 0000095a: PUSH1 0x02 0000095c: SLOAD 0000095d: DUP4 0000095e: DUP2 0000095f: ISZERO 00000960: ISZERO 00000961: PUSH2 0x0966 00000964: JUMPI 00000965: INVALID 00000966: JUMPDEST 00000967: PUSH1 0x04 00000969: DUP1 0000096a: SLOAD 0000096b: SWAP3 0000096c: SWAP1 0000096d: SWAP2 0000096e: DIV 0000096f: SWAP2 00000970: DUP3 00000971: ADD 00000972: SWAP1 00000973: SSTORE 00000974: SWAP2 00000975: POP 00000976: JUMPDEST 00000977: PUSH2 0x0982 0000097a: PUSH1 0x02 0000097c: SLOAD 0000097d: DUP8 0000097e: PUSH2 0x0892 00000981: JUMP 00000982: JUMPDEST 00000983: PUSH1 0x02 00000985: SSTORE 00000986: PUSH1 0x01 00000988: PUSH1 0xa0 0000098a: PUSH1 0x02 0000098c: EXP 0000098d: SUB 0000098e: DUP10 0000098f: AND 00000990: PUSH1 0x00 00000992: SWAP1 00000993: DUP2 00000994: MSTORE 00000995: PUSH1 0x20 00000997: DUP2 00000998: SWAP1 00000999: MSTORE 0000099a: PUSH1 0x40 0000099c: SWAP1 0000099d: KECCAK256 0000099e: SLOAD 0000099f: PUSH2 0x09a8 000009a2: SWAP1 000009a3: DUP8 000009a4: PUSH2 0x0892 000009a7: JUMP 000009a8: JUMPDEST 000009a9: PUSH1 0x01 000009ab: PUSH1 0xa0 000009ad: PUSH1 0x02 000009af: EXP 000009b0: SUB 000009b1: SWAP1 000009b2: SWAP10 000009b3: AND 000009b4: PUSH1 0x00 000009b6: SWAP1 000009b7: DUP2 000009b8: MSTORE 000009b9: PUSH1 0x20 000009bb: DUP2 000009bc: DUP2 000009bd: MSTORE 000009be: PUSH1 0x40 000009c0: DUP1 000009c1: DUP4 000009c2: KECCAK256 000009c3: SWAP12 000009c4: SWAP1 000009c5: SWAP12 000009c6: SSTORE 000009c7: PUSH1 0x04 000009c9: SLOAD 000009ca: PUSH1 0x01 000009cc: SWAP1 000009cd: SWAP2 000009ce: MSTORE 000009cf: SWAP10 000009d0: SWAP1 000009d1: KECCAK256 000009d2: DUP1 000009d3: SLOAD 000009d4: SWAP10 000009d5: SWAP1 000009d6: SWAP7 000009d7: MUL 000009d8: SWAP5 000009d9: SWAP1 000009da: SWAP5 000009db: SUB 000009dc: SWAP8 000009dd: DUP9 000009de: ADD 000009df: SWAP1 000009e0: SWAP5 000009e1: SSTORE 000009e2: POP 000009e3: POP 000009e4: PUSH1 0x03 000009e6: DUP1 000009e7: SLOAD 000009e8: SWAP1 000009e9: SWAP6 000009ea: ADD 000009eb: SWAP1 000009ec: SWAP5 000009ed: SSTORE 000009ee: POP 000009ef: POP 000009f0: POP 000009f1: POP 000009f2: JUMP 000009f3: JUMPDEST 000009f4: PUSH1 0x00 000009f6: DUP3 000009f7: DUP3 000009f8: GT 000009f9: ISZERO 000009fa: PUSH2 0x09ff 000009fd: JUMPI 000009fe: INVALID 000009ff: JUMPDEST 00000a00: POP 00000a01: SWAP1 00000a02: SUB 00000a03: SWAP1 00000a04: JUMP 00000a05: JUMPDEST 00000a06: PUSH1 0x00 00000a08: DUP1 00000a09: DUP3 00000a0a: DUP5 00000a0b: DUP2 00000a0c: ISZERO 00000a0d: ISZERO 00000a0e: PUSH2 0x0a13 00000a11: JUMPI 00000a12: INVALID 00000a13: JUMPDEST 00000a14: DIV 00000a15: SWAP5 00000a16: SWAP4 00000a17: POP 00000a18: POP 00000a19: POP 00000a1a: POP 00000a1b: JUMP 00000a1c: JUMPDEST 00000a1d: PUSH1 0x00 00000a1f: PUSH2 0x05e8 00000a22: PUSH2 0x0a29 00000a25: PUSH2 0x0ce5 00000a28: JUMP 00000a29: JUMPDEST 00000a2a: PUSH1 0x03 00000a2c: SLOAD 00000a2d: PUSH1 0x02 00000a2f: SLOAD 00000a30: PUSH1 0x04 00000a32: SLOAD 00000a33: PUSH1 0x40 00000a35: PUSH1 0x02 00000a37: EXP 00000a38: SWAP3 00000a39: SWAP2 00000a3a: MUL 00000a3b: SUB 00000a3c: DIV 00000a3d: PUSH2 0x09f3 00000a40: JUMP 00000a41: JUMPDEST 00000a42: PUSH1 0x00 00000a44: DUP1 00000a45: DUP1 00000a46: DUP1 00000a47: JUMPDEST 00000a48: PUSH9 0x016a09e667f3bcc908 00000a52: DUP6 00000a53: GT 00000a54: ISZERO 00000a55: PUSH2 0x0a69 00000a58: JUMPI 00000a59: PUSH1 0x02 00000a5b: DUP6 00000a5c: DIV 00000a5d: SWAP5 00000a5e: POP 00000a5f: PUSH1 0x01 00000a61: SWAP1 00000a62: SWAP3 00000a63: ADD 00000a64: SWAP2 00000a65: PUSH2 0x0a47 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: JUMPDEST 00000a6b: PUSH8 0xb504f333f9de6484 00000a74: DUP6 00000a75: GT 00000a76: PUSH2 0x0a8c 00000a79: JUMPI 00000a7a: PUSH1 0x02 00000a7c: SWAP5 00000a7d: SWAP1 00000a7e: SWAP5 00000a7f: MUL 00000a80: SWAP4 00000a81: PUSH1 0x00 00000a83: NOT 00000a84: SWAP1 00000a85: SWAP3 00000a86: ADD 00000a87: SWAP2 00000a88: PUSH2 0x0a6a 00000a8b: JUMP 00000a8c: JUMPDEST 00000a8d: PUSH1 0x40 00000a8f: PUSH1 0x02 00000a91: EXP 00000a92: DUP6 00000a93: ADD 00000a94: PUSH1 0x40 00000a96: PUSH1 0x02 00000a98: EXP 00000a99: DUP1 00000a9a: DUP8 00000a9b: SUB 00000a9c: MUL 00000a9d: DUP2 00000a9e: ISZERO 00000a9f: ISZERO 00000aa0: PUSH2 0x0aa5 00000aa3: JUMPI 00000aa4: INVALID 00000aa5: JUMPDEST 00000aa6: SDIV 00000aa7: SWAP2 00000aa8: POP 00000aa9: POP 00000aaa: PUSH1 0x40 00000aac: PUSH1 0x02 00000aae: EXP 00000aaf: DUP2 00000ab0: DUP1 00000ab1: MUL 00000ab2: DUP2 00000ab3: SWAP1 00000ab4: SDIV 00000ab5: SWAP1 00000ab6: PUSH9 0x01ffffffffff9dac9b 00000ac0: PUSH8 0x666664e5e9fa0c99 00000ac9: PUSH8 0x38bd75ed37753d68 00000ad2: PUSH8 0x3284a0c14610924f 00000adb: DUP6 00000adc: MUL 00000add: DUP5 00000ade: SWAP1 00000adf: SDIV 00000ae0: ADD 00000ae1: DUP5 00000ae2: MUL 00000ae3: DUP4 00000ae4: SWAP1 00000ae5: SDIV 00000ae6: PUSH8 0x49254026a7630acf 00000aef: ADD 00000af0: DUP5 00000af1: MUL 00000af2: DUP4 00000af3: SWAP1 00000af4: SDIV 00000af5: ADD 00000af6: DUP4 00000af7: MUL 00000af8: DUP3 00000af9: SWAP1 00000afa: SDIV 00000afb: PUSH8 0xaaaaaaac16877908 00000b04: ADD 00000b05: DUP4 00000b06: MUL 00000b07: DUP3 00000b08: SWAP1 00000b09: SDIV 00000b0a: ADD 00000b0b: DUP4 00000b0c: MUL 00000b0d: SDIV 00000b0e: PUSH8 0xb17217f7d1cf79ac 00000b17: DUP5 00000b18: PUSH1 0x03 00000b1a: SIGNEXTEND 00000b1b: MUL 00000b1c: ADD 00000b1d: SWAP4 00000b1e: POP 00000b1f: POP 00000b20: POP 00000b21: POP 00000b22: SWAP2 00000b23: SWAP1 00000b24: POP 00000b25: JUMP 00000b26: JUMPDEST 00000b27: PUSH1 0x00 00000b29: DUP1 00000b2a: DUP1 00000b2b: DUP1 00000b2c: PUSH1 0x40 00000b2e: PUSH8 0xb17217f7d1cf79ac 00000b37: PUSH9 0x2cb53f09f05cc627c8 00000b41: DUP8 00000b42: ADD 00000b43: SDIV 00000b44: SUB 00000b45: SWAP3 00000b46: POP 00000b47: PUSH8 0xb17217f7d1cf79ac 00000b50: DUP4 00000b51: MUL 00000b52: DUP6 00000b53: SUB 00000b54: SWAP5 00000b55: POP 00000b56: PUSH1 0x40 00000b58: PUSH1 0x02 00000b5a: EXP 00000b5b: DUP6 00000b5c: DUP7 00000b5d: MUL 00000b5e: DUP2 00000b5f: ISZERO 00000b60: ISZERO 00000b61: PUSH2 0x0b66 00000b64: JUMPI 00000b65: INVALID 00000b66: JUMPDEST 00000b67: SDIV 00000b68: SWAP2 00000b69: POP 00000b6a: PUSH1 0x40 00000b6c: PUSH1 0x02 00000b6e: EXP 00000b6f: PUSH8 0x2aaaaaaaaa015db0 00000b78: PUSH7 0x0455956bccdd06 00000b80: PUSH6 0x1b893ad04b39 00000b87: NOT 00000b88: DUP6 00000b89: MUL 00000b8a: DUP4 00000b8b: SWAP1 00000b8c: SDIV 00000b8d: ADD 00000b8e: DUP5 00000b8f: MUL 00000b90: DUP3 00000b91: SWAP1 00000b92: SDIV 00000b93: PUSH7 0xb60b60808399d0 00000b9b: NOT 00000b9c: ADD 00000b9d: DUP5 00000b9e: MUL 00000b9f: DUP3 00000ba0: SWAP1 00000ba1: SDIV 00000ba2: ADD 00000ba3: DUP4 00000ba4: MUL 00000ba5: SDIV 00000ba6: PUSH1 0x40 00000ba8: PUSH1 0x02 00000baa: EXP 00000bab: PUSH1 0x02 00000bad: MUL 00000bae: ADD 00000baf: SWAP1 00000bb0: POP 00000bb1: DUP5 00000bb2: DUP2 00000bb3: SUB 00000bb4: PUSH1 0x40 00000bb6: PUSH1 0x02 00000bb8: EXP 00000bb9: DUP7 00000bba: DUP4 00000bbb: ADD 00000bbc: MUL 00000bbd: DUP2 00000bbe: ISZERO 00000bbf: ISZERO 00000bc0: PUSH2 0x0bc5 00000bc3: JUMPI 00000bc4: INVALID 00000bc5: JUMPDEST 00000bc6: SDIV 00000bc7: SWAP4 00000bc8: POP 00000bc9: PUSH1 0x00 00000bcb: DUP4 00000bcc: SLT 00000bcd: PUSH2 0x0be9 00000bd0: JUMPI 00000bd1: DUP3 00000bd2: DUP5 00000bd3: PUSH1 0x00 00000bd5: DUP3 00000bd6: SLT 00000bd7: ISZERO 00000bd8: PUSH2 0x0bdd 00000bdb: JUMPI 00000bdc: INVALID 00000bdd: JUMPDEST 00000bde: SWAP1 00000bdf: PUSH1 0x02 00000be1: EXP 00000be2: MUL 00000be3: SWAP4 00000be4: POP 00000be5: PUSH2 0x0c02 00000be8: JUMP 00000be9: JUMPDEST 00000bea: DUP3 00000beb: PUSH1 0x00 00000bed: SUB 00000bee: DUP5 00000bef: PUSH1 0x00 00000bf1: DUP3 00000bf2: SLT 00000bf3: ISZERO 00000bf4: PUSH2 0x0bf9 00000bf7: JUMPI 00000bf8: INVALID 00000bf9: JUMPDEST 00000bfa: SWAP1 00000bfb: PUSH1 0x02 00000bfd: EXP 00000bfe: SWAP1 00000bff: DIV 00000c00: SWAP4 00000c01: POP 00000c02: JUMPDEST 00000c03: POP 00000c04: POP 00000c05: POP 00000c06: SWAP2 00000c07: SWAP1 00000c08: POP 00000c09: JUMP 00000c0a: JUMPDEST 00000c0b: PUSH1 0x00 00000c0d: DUP1 00000c0e: PUSH1 0x00 00000c10: DUP1 00000c11: PUSH1 0x00 00000c13: DUP1 00000c14: PUSH2 0x0c1c 00000c17: DUP8 00000c18: PUSH2 0x07d7 00000c1b: JUMP 00000c1c: JUMPDEST 00000c1d: SWAP6 00000c1e: POP 00000c1f: PUSH2 0x0c29 00000c22: DUP7 00000c23: PUSH1 0x0a 00000c25: PUSH2 0x0a05 00000c28: JUMP 00000c29: JUMPDEST 00000c2a: SWAP5 00000c2b: POP 00000c2c: DUP5 00000c2d: DUP7 00000c2e: SUB 00000c2f: SWAP4 00000c30: POP 00000c31: PUSH2 0x0c3c 00000c34: PUSH1 0x02 00000c36: SLOAD 00000c37: DUP9 00000c38: PUSH2 0x09f3 00000c3b: JUMP 00000c3c: JUMPDEST 00000c3d: PUSH1 0x02 00000c3f: SSTORE 00000c40: PUSH1 0x01 00000c42: PUSH1 0xa0 00000c44: PUSH1 0x02 00000c46: EXP 00000c47: SUB 00000c48: CALLER 00000c49: AND 00000c4a: PUSH1 0x00 00000c4c: SWAP1 00000c4d: DUP2 00000c4e: MSTORE 00000c4f: PUSH1 0x20 00000c51: DUP2 00000c52: SWAP1 00000c53: MSTORE 00000c54: PUSH1 0x40 00000c56: SWAP1 00000c57: KECCAK256 00000c58: SLOAD 00000c59: PUSH2 0x0c62 00000c5c: SWAP1 00000c5d: DUP9 00000c5e: PUSH2 0x09f3 00000c61: JUMP 00000c62: JUMPDEST 00000c63: PUSH1 0x01 00000c65: PUSH1 0xa0 00000c67: PUSH1 0x02 00000c69: EXP 00000c6a: SUB 00000c6b: CALLER 00000c6c: AND 00000c6d: PUSH1 0x00 00000c6f: SWAP1 00000c70: DUP2 00000c71: MSTORE 00000c72: PUSH1 0x20 00000c74: DUP2 00000c75: DUP2 00000c76: MSTORE 00000c77: PUSH1 0x40 00000c79: DUP1 00000c7a: DUP4 00000c7b: KECCAK256 00000c7c: SWAP4 00000c7d: SWAP1 00000c7e: SWAP4 00000c7f: SSTORE 00000c80: PUSH1 0x04 00000c82: SLOAD 00000c83: PUSH1 0x01 00000c85: SWAP1 00000c86: SWAP2 00000c87: MSTORE 00000c88: SWAP2 00000c89: DUP2 00000c8a: KECCAK256 00000c8b: DUP1 00000c8c: SLOAD 00000c8d: SWAP3 00000c8e: DUP11 00000c8f: MUL 00000c90: PUSH1 0x40 00000c92: PUSH1 0x02 00000c94: EXP 00000c95: DUP9 00000c96: MUL 00000c97: ADD 00000c98: SWAP3 00000c99: DUP4 00000c9a: SWAP1 00000c9b: SUB 00000c9c: SWAP1 00000c9d: SSTORE 00000c9e: PUSH1 0x03 00000ca0: DUP1 00000ca1: SLOAD 00000ca2: DUP4 00000ca3: SWAP1 00000ca4: SUB 00000ca5: SWAP1 00000ca6: SSTORE 00000ca7: PUSH1 0x02 00000ca9: SLOAD 00000caa: SWAP2 00000cab: SWAP5 00000cac: POP 00000cad: SWAP1 00000cae: GT 00000caf: ISZERO 00000cb0: PUSH2 0x0cdc 00000cb3: JUMPI 00000cb4: PUSH1 0x40 00000cb6: PUSH1 0x02 00000cb8: EXP 00000cb9: DUP6 00000cba: MUL 00000cbb: SWAP2 00000cbc: POP 00000cbd: PUSH1 0x02 00000cbf: SLOAD 00000cc0: DUP3 00000cc1: DUP2 00000cc2: ISZERO 00000cc3: ISZERO 00000cc4: PUSH2 0x0cc9 00000cc7: JUMPI 00000cc8: INVALID 00000cc9: JUMPDEST 00000cca: DIV 00000ccb: SWAP1 00000ccc: POP 00000ccd: PUSH2 0x0cd8 00000cd0: PUSH1 0x04 00000cd2: SLOAD 00000cd3: DUP3 00000cd4: PUSH2 0x0892 00000cd7: JUMP 00000cd8: JUMPDEST 00000cd9: PUSH1 0x04 00000cdb: SSTORE 00000cdc: JUMPDEST 00000cdd: POP 00000cde: POP 00000cdf: POP 00000ce0: POP 00000ce1: POP 00000ce2: POP 00000ce3: POP 00000ce4: JUMP 00000ce5: JUMPDEST 00000ce6: PUSH1 0x05 00000ce8: SLOAD 00000ce9: CALLVALUE 00000cea: SWAP1 00000ceb: SUB 00000cec: SWAP1 00000ced: JUMP 00000cee: STOP 00000cef: LOG1 00000cf0: PUSH6 0x627a7a723058 00000cf7: KECCAK256 00000cf8: PUSH13 0x7d107dcbe6f00e6ccb3d36b76f 00000d06: CLZ 00000d07: SHR 00000d08: PUSH1 0xde 00000d0a: UNKNOWN(0x2A) 00000d0b: EXTCODECOPY 00000d0c: ADD 00000d0d: MSTORE 00000d0e: STOP 00000d0f: STATICCALL 00000d10: UNKNOWN(0xD5) 00000d11: UNKNOWN(0x0D) 00000d12: NUMBER 00000d13: UNKNOWN(0x2F) 00000d14: UNKNOWN(0x2F) 00000d15: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf13382debc9f10924ffd7907db25b7b20b6b350afd63647fc704d83a6b095d00
call_targets:
0x2fa0ac498d01632f959d3c18e38f4390b005e200
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf13382debc9f10924ffd7907db25b7b20b6b350afd63647fc704d83a6b095d00",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2fa0ac498d01632f959d3c18e38f4390b005e200"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39ffe67c",
"selector": "0x39ffe67c",
"calldata_variants": [
"0x39ffe67c",
"0x39ffe67c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62dbf261",
"selector": "0x62dbf261",
"calldata_variants": [
"0x62dbf261",
"0x62dbf2610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x65bcfbe7",
"selector": "0x65bcfbe7",
"calldata_variants": [
"0x65bcfbe7",
"0x65bcfbe70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1065,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1262,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf13382debc9f10924ffd7907db25b7b20b6b350afd63647fc704d83a6b095d00
call_targets:
0x2fa0ac498d01632f959d3c18e38f4390b005e200
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf13382debc9f10924ffd7907db25b7b20b6b350afd63647fc704d83a6b095d00",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2fa0ac498d01632f959d3c18e38f4390b005e200"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39ffe67c",
"selector": "0x39ffe67c",
"calldata_variants": [
"0x39ffe67c",
"0x39ffe67c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62dbf261",
"selector": "0x62dbf261",
"calldata_variants": [
"0x62dbf261",
"0x62dbf2610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x65bcfbe7",
"selector": "0x65bcfbe7",
"calldata_variants": [
"0x65bcfbe7",
"0x65bcfbe70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1065,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1262,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|