019b477e-b340-7096-82c9-443847d44233
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 |
|---|---|---|---|---|
| 22515 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 22516 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 65486 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65487 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65488 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65489 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00da 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 0x00e4 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x095ea7b3 00000046: EQ 00000047: PUSH2 0x016e 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x1249c58b 00000051: EQ 00000052: PUSH2 0x00da 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x18160ddd 0000005c: EQ 0000005d: PUSH2 0x01a6 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x23b872dd 00000067: EQ 00000068: PUSH2 0x01cd 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x2c4e722e 00000072: EQ 00000073: PUSH2 0x01f7 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x2e1a7d4d 0000007d: EQ 0000007e: PUSH2 0x020c 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x313ce567 00000088: EQ 00000089: PUSH2 0x0224 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x70a08231 00000093: EQ 00000094: PUSH2 0x024f 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x87e68264 0000009e: EQ 0000009f: PUSH2 0x0270 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x95d89b41 000000a9: EQ 000000aa: PUSH2 0x0307 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa9059cbb 000000b4: EQ 000000b5: PUSH2 0x031c 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xce606ee0 000000bf: EQ 000000c0: PUSH2 0x0340 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xdd62ed3e 000000ca: EQ 000000cb: PUSH2 0x0371 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xed2a2d64 000000d5: EQ 000000d6: PUSH2 0x0398 000000d9: JUMPI 000000da: JUMPDEST 000000db: PUSH2 0x00e2 000000de: PUSH2 0x03b9 000000e1: JUMP 000000e2: JUMPDEST 000000e3: STOP 000000e4: JUMPDEST 000000e5: CALLVALUE 000000e6: DUP1 000000e7: ISZERO 000000e8: PUSH2 0x00f0 000000eb: JUMPI 000000ec: PUSH1 0x00 000000ee: DUP1 000000ef: REVERT 000000f0: JUMPDEST 000000f1: POP 000000f2: PUSH2 0x00f9 000000f5: PUSH2 0x03f4 000000f8: JUMP 000000f9: JUMPDEST 000000fa: PUSH1 0x40 000000fc: DUP1 000000fd: MLOAD 000000fe: PUSH1 0x20 00000100: DUP1 00000101: DUP3 00000102: MSTORE 00000103: DUP4 00000104: MLOAD 00000105: DUP2 00000106: DUP4 00000107: ADD 00000108: MSTORE 00000109: DUP4 0000010a: MLOAD 0000010b: SWAP2 0000010c: SWAP3 0000010d: DUP4 0000010e: SWAP3 0000010f: SWAP1 00000110: DUP4 00000111: ADD 00000112: SWAP2 00000113: DUP6 00000114: ADD 00000115: SWAP1 00000116: DUP1 00000117: DUP4 00000118: DUP4 00000119: PUSH1 0x00 0000011b: JUMPDEST 0000011c: DUP4 0000011d: DUP2 0000011e: LT 0000011f: ISZERO 00000120: PUSH2 0x0133 00000123: JUMPI 00000124: DUP2 00000125: DUP2 00000126: ADD 00000127: MLOAD 00000128: DUP4 00000129: DUP3 0000012a: ADD 0000012b: MSTORE 0000012c: PUSH1 0x20 0000012e: ADD 0000012f: PUSH2 0x011b 00000132: JUMP 00000133: JUMPDEST 00000134: POP 00000135: POP 00000136: POP 00000137: POP 00000138: SWAP1 00000139: POP 0000013a: SWAP1 0000013b: DUP2 0000013c: ADD 0000013d: SWAP1 0000013e: PUSH1 0x1f 00000140: AND 00000141: DUP1 00000142: ISZERO 00000143: PUSH2 0x0160 00000146: JUMPI 00000147: DUP1 00000148: DUP3 00000149: SUB 0000014a: DUP1 0000014b: MLOAD 0000014c: PUSH1 0x01 0000014e: DUP4 0000014f: PUSH1 0x20 00000151: SUB 00000152: PUSH2 0x0100 00000155: EXP 00000156: SUB 00000157: NOT 00000158: AND 00000159: DUP2 0000015a: MSTORE 0000015b: PUSH1 0x20 0000015d: ADD 0000015e: SWAP2 0000015f: POP 00000160: JUMPDEST 00000161: POP 00000162: SWAP3 00000163: POP 00000164: POP 00000165: POP 00000166: PUSH1 0x40 00000168: MLOAD 00000169: DUP1 0000016a: SWAP2 0000016b: SUB 0000016c: SWAP1 0000016d: RETURN 0000016e: JUMPDEST 0000016f: CALLVALUE 00000170: DUP1 00000171: ISZERO 00000172: PUSH2 0x017a 00000175: JUMPI 00000176: PUSH1 0x00 00000178: DUP1 00000179: REVERT 0000017a: JUMPDEST 0000017b: POP 0000017c: PUSH2 0x0192 0000017f: PUSH1 0x01 00000181: PUSH1 0xa0 00000183: PUSH1 0x02 00000185: EXP 00000186: SUB 00000187: PUSH1 0x04 00000189: CALLDATALOAD 0000018a: AND 0000018b: PUSH1 0x24 0000018d: CALLDATALOAD 0000018e: PUSH2 0x048a 00000191: JUMP 00000192: JUMPDEST 00000193: PUSH1 0x40 00000195: DUP1 00000196: MLOAD 00000197: SWAP2 00000198: ISZERO 00000199: ISZERO 0000019a: DUP3 0000019b: MSTORE 0000019c: MLOAD 0000019d: SWAP1 0000019e: DUP2 0000019f: SWAP1 000001a0: SUB 000001a1: PUSH1 0x20 000001a3: ADD 000001a4: SWAP1 000001a5: RETURN 000001a6: JUMPDEST 000001a7: CALLVALUE 000001a8: DUP1 000001a9: ISZERO 000001aa: PUSH2 0x01b2 000001ad: JUMPI 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: REVERT 000001b2: JUMPDEST 000001b3: POP 000001b4: PUSH2 0x01bb 000001b7: PUSH2 0x0508 000001ba: JUMP 000001bb: JUMPDEST 000001bc: PUSH1 0x40 000001be: DUP1 000001bf: MLOAD 000001c0: SWAP2 000001c1: DUP3 000001c2: MSTORE 000001c3: MLOAD 000001c4: SWAP1 000001c5: DUP2 000001c6: SWAP1 000001c7: SUB 000001c8: PUSH1 0x20 000001ca: ADD 000001cb: SWAP1 000001cc: RETURN 000001cd: JUMPDEST 000001ce: CALLVALUE 000001cf: DUP1 000001d0: ISZERO 000001d1: PUSH2 0x01d9 000001d4: JUMPI 000001d5: PUSH1 0x00 000001d7: DUP1 000001d8: REVERT 000001d9: JUMPDEST 000001da: POP 000001db: PUSH2 0x0192 000001de: PUSH1 0x01 000001e0: PUSH1 0xa0 000001e2: PUSH1 0x02 000001e4: EXP 000001e5: SUB 000001e6: PUSH1 0x04 000001e8: CALLDATALOAD 000001e9: DUP2 000001ea: AND 000001eb: SWAP1 000001ec: PUSH1 0x24 000001ee: CALLDATALOAD 000001ef: AND 000001f0: PUSH1 0x44 000001f2: CALLDATALOAD 000001f3: PUSH2 0x050e 000001f6: JUMP 000001f7: JUMPDEST 000001f8: CALLVALUE 000001f9: DUP1 000001fa: ISZERO 000001fb: PUSH2 0x0203 000001fe: JUMPI 000001ff: PUSH1 0x00 00000201: DUP1 00000202: REVERT 00000203: JUMPDEST 00000204: POP 00000205: PUSH2 0x01bb 00000208: PUSH2 0x061a 0000020b: JUMP 0000020c: JUMPDEST 0000020d: CALLVALUE 0000020e: DUP1 0000020f: ISZERO 00000210: PUSH2 0x0218 00000213: JUMPI 00000214: PUSH1 0x00 00000216: DUP1 00000217: REVERT 00000218: JUMPDEST 00000219: POP 0000021a: PUSH2 0x00e2 0000021d: PUSH1 0x04 0000021f: CALLDATALOAD 00000220: PUSH2 0x0620 00000223: JUMP 00000224: JUMPDEST 00000225: CALLVALUE 00000226: DUP1 00000227: ISZERO 00000228: PUSH2 0x0230 0000022b: JUMPI 0000022c: PUSH1 0x00 0000022e: DUP1 0000022f: REVERT 00000230: JUMPDEST 00000231: POP 00000232: PUSH2 0x0239 00000235: PUSH2 0x0671 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH1 0x40 0000023c: DUP1 0000023d: MLOAD 0000023e: PUSH1 0xff 00000240: SWAP1 00000241: SWAP3 00000242: AND 00000243: DUP3 00000244: MSTORE 00000245: MLOAD 00000246: SWAP1 00000247: DUP2 00000248: SWAP1 00000249: SUB 0000024a: PUSH1 0x20 0000024c: ADD 0000024d: SWAP1 0000024e: RETURN 0000024f: JUMPDEST 00000250: CALLVALUE 00000251: DUP1 00000252: ISZERO 00000253: PUSH2 0x025b 00000256: JUMPI 00000257: PUSH1 0x00 00000259: DUP1 0000025a: REVERT 0000025b: JUMPDEST 0000025c: POP 0000025d: PUSH2 0x01bb 00000260: PUSH1 0x01 00000262: PUSH1 0xa0 00000264: PUSH1 0x02 00000266: EXP 00000267: SUB 00000268: PUSH1 0x04 0000026a: CALLDATALOAD 0000026b: AND 0000026c: PUSH2 0x067a 0000026f: JUMP 00000270: JUMPDEST 00000271: CALLVALUE 00000272: DUP1 00000273: ISZERO 00000274: PUSH2 0x027c 00000277: JUMPI 00000278: PUSH1 0x00 0000027a: DUP1 0000027b: REVERT 0000027c: JUMPDEST 0000027d: POP 0000027e: PUSH1 0x40 00000280: DUP1 00000281: MLOAD 00000282: PUSH1 0x20 00000284: PUSH1 0x04 00000286: DUP1 00000287: CALLDATALOAD 00000288: DUP1 00000289: DUP3 0000028a: ADD 0000028b: CALLDATALOAD 0000028c: PUSH1 0x1f 0000028e: DUP2 0000028f: ADD 00000290: DUP5 00000291: SWAP1 00000292: DIV 00000293: DUP5 00000294: MUL 00000295: DUP6 00000296: ADD 00000297: DUP5 00000298: ADD 00000299: SWAP1 0000029a: SWAP6 0000029b: MSTORE 0000029c: DUP5 0000029d: DUP5 0000029e: MSTORE 0000029f: PUSH2 0x0192 000002a2: SWAP5 000002a3: CALLDATASIZE 000002a4: SWAP5 000002a5: SWAP3 000002a6: SWAP4 000002a7: PUSH1 0x24 000002a9: SWAP4 000002aa: SWAP3 000002ab: DUP5 000002ac: ADD 000002ad: SWAP2 000002ae: SWAP1 000002af: DUP2 000002b0: SWAP1 000002b1: DUP5 000002b2: ADD 000002b3: DUP4 000002b4: DUP3 000002b5: DUP1 000002b6: DUP3 000002b7: DUP5 000002b8: CALLDATACOPY 000002b9: POP 000002ba: POP 000002bb: PUSH1 0x40 000002bd: DUP1 000002be: MLOAD 000002bf: PUSH1 0x20 000002c1: PUSH1 0x1f 000002c3: DUP10 000002c4: CALLDATALOAD 000002c5: DUP12 000002c6: ADD 000002c7: DUP1 000002c8: CALLDATALOAD 000002c9: SWAP2 000002ca: DUP3 000002cb: ADD 000002cc: DUP4 000002cd: SWAP1 000002ce: DIV 000002cf: DUP4 000002d0: MUL 000002d1: DUP5 000002d2: ADD 000002d3: DUP4 000002d4: ADD 000002d5: SWAP1 000002d6: SWAP5 000002d7: MSTORE 000002d8: DUP1 000002d9: DUP4 000002da: MSTORE 000002db: SWAP8 000002dc: SWAP11 000002dd: SWAP10 000002de: SWAP9 000002df: DUP2 000002e0: ADD 000002e1: SWAP8 000002e2: SWAP2 000002e3: SWAP7 000002e4: POP 000002e5: SWAP2 000002e6: DUP3 000002e7: ADD 000002e8: SWAP5 000002e9: POP 000002ea: SWAP3 000002eb: POP 000002ec: DUP3 000002ed: SWAP2 000002ee: POP 000002ef: DUP5 000002f0: ADD 000002f1: DUP4 000002f2: DUP3 000002f3: DUP1 000002f4: DUP3 000002f5: DUP5 000002f6: CALLDATACOPY 000002f7: POP 000002f8: SWAP5 000002f9: SWAP8 000002fa: POP 000002fb: PUSH2 0x0695 000002fe: SWAP7 000002ff: POP 00000300: POP 00000301: POP 00000302: POP 00000303: POP 00000304: POP 00000305: POP 00000306: JUMP 00000307: JUMPDEST 00000308: CALLVALUE 00000309: DUP1 0000030a: ISZERO 0000030b: PUSH2 0x0313 0000030e: JUMPI 0000030f: PUSH1 0x00 00000311: DUP1 00000312: REVERT 00000313: JUMPDEST 00000314: POP 00000315: PUSH2 0x00f9 00000318: PUSH2 0x0907 0000031b: JUMP 0000031c: JUMPDEST 0000031d: CALLVALUE 0000031e: DUP1 0000031f: ISZERO 00000320: PUSH2 0x0328 00000323: JUMPI 00000324: PUSH1 0x00 00000326: DUP1 00000327: REVERT 00000328: JUMPDEST 00000329: POP 0000032a: PUSH2 0x0192 0000032d: PUSH1 0x01 0000032f: PUSH1 0xa0 00000331: PUSH1 0x02 00000333: EXP 00000334: SUB 00000335: PUSH1 0x04 00000337: CALLDATALOAD 00000338: AND 00000339: PUSH1 0x24 0000033b: CALLDATALOAD 0000033c: PUSH2 0x0967 0000033f: JUMP 00000340: JUMPDEST 00000341: CALLVALUE 00000342: DUP1 00000343: ISZERO 00000344: PUSH2 0x034c 00000347: JUMPI 00000348: PUSH1 0x00 0000034a: DUP1 0000034b: REVERT 0000034c: JUMPDEST 0000034d: POP 0000034e: PUSH2 0x0355 00000351: PUSH2 0x0a17 00000354: JUMP 00000355: JUMPDEST 00000356: PUSH1 0x40 00000358: DUP1 00000359: MLOAD 0000035a: PUSH1 0x01 0000035c: PUSH1 0xa0 0000035e: PUSH1 0x02 00000360: EXP 00000361: SUB 00000362: SWAP1 00000363: SWAP3 00000364: AND 00000365: DUP3 00000366: MSTORE 00000367: MLOAD 00000368: SWAP1 00000369: DUP2 0000036a: SWAP1 0000036b: SUB 0000036c: PUSH1 0x20 0000036e: ADD 0000036f: SWAP1 00000370: RETURN 00000371: JUMPDEST 00000372: CALLVALUE 00000373: DUP1 00000374: ISZERO 00000375: PUSH2 0x037d 00000378: JUMPI 00000379: PUSH1 0x00 0000037b: DUP1 0000037c: REVERT 0000037d: JUMPDEST 0000037e: POP 0000037f: PUSH2 0x01bb 00000382: PUSH1 0x01 00000384: PUSH1 0xa0 00000386: PUSH1 0x02 00000388: EXP 00000389: SUB 0000038a: PUSH1 0x04 0000038c: CALLDATALOAD 0000038d: DUP2 0000038e: AND 0000038f: SWAP1 00000390: PUSH1 0x24 00000392: CALLDATALOAD 00000393: AND 00000394: PUSH2 0x0a2f 00000397: JUMP 00000398: JUMPDEST 00000399: CALLVALUE 0000039a: DUP1 0000039b: ISZERO 0000039c: PUSH2 0x03a4 0000039f: JUMPI 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: POP 000003a6: PUSH2 0x01bb 000003a9: PUSH1 0x01 000003ab: PUSH1 0xa0 000003ad: PUSH1 0x02 000003af: EXP 000003b0: SUB 000003b1: PUSH1 0x04 000003b3: CALLDATALOAD 000003b4: AND 000003b5: PUSH2 0x0a5a 000003b8: JUMP 000003b9: JUMPDEST 000003ba: PUSH1 0x00 000003bc: CALLVALUE 000003bd: DUP2 000003be: LT 000003bf: PUSH2 0x03c7 000003c2: JUMPI 000003c3: PUSH1 0x00 000003c5: DUP1 000003c6: REVERT 000003c7: JUMPDEST 000003c8: PUSH2 0x2710 000003cb: CALLVALUE 000003cc: MUL 000003cd: SWAP1 000003ce: POP 000003cf: PUSH2 0x2710 000003d2: CALLVALUE 000003d3: DUP3 000003d4: DUP2 000003d5: ISZERO 000003d6: ISZERO 000003d7: PUSH2 0x03dc 000003da: JUMPI 000003db: INVALID 000003dc: JUMPDEST 000003dd: DIV 000003de: EQ 000003df: PUSH2 0x03e7 000003e2: JUMPI 000003e3: PUSH1 0x00 000003e5: DUP1 000003e6: REVERT 000003e7: JUMPDEST 000003e8: PUSH2 0x03f1 000003eb: CALLER 000003ec: DUP3 000003ed: PUSH2 0x0a75 000003f0: JUMP 000003f1: JUMPDEST 000003f2: POP 000003f3: JUMP 000003f4: JUMPDEST 000003f5: PUSH1 0x00 000003f7: DUP1 000003f8: SLOAD 000003f9: PUSH1 0x40 000003fb: DUP1 000003fc: MLOAD 000003fd: PUSH1 0x20 000003ff: PUSH1 0x1f 00000401: PUSH1 0x02 00000403: PUSH1 0x00 00000405: NOT 00000406: PUSH2 0x0100 00000409: PUSH1 0x01 0000040b: DUP9 0000040c: AND 0000040d: ISZERO 0000040e: MUL 0000040f: ADD 00000410: SWAP1 00000411: SWAP6 00000412: AND 00000413: SWAP5 00000414: SWAP1 00000415: SWAP5 00000416: DIV 00000417: SWAP4 00000418: DUP5 00000419: ADD 0000041a: DUP2 0000041b: SWAP1 0000041c: DIV 0000041d: DUP2 0000041e: MUL 0000041f: DUP3 00000420: ADD 00000421: DUP2 00000422: ADD 00000423: SWAP1 00000424: SWAP3 00000425: MSTORE 00000426: DUP3 00000427: DUP2 00000428: MSTORE 00000429: PUSH1 0x60 0000042b: SWAP4 0000042c: SWAP1 0000042d: SWAP3 0000042e: SWAP1 0000042f: SWAP2 00000430: DUP4 00000431: ADD 00000432: DUP3 00000433: DUP3 00000434: DUP1 00000435: ISZERO 00000436: PUSH2 0x0480 00000439: JUMPI 0000043a: DUP1 0000043b: PUSH1 0x1f 0000043d: LT 0000043e: PUSH2 0x0455 00000441: JUMPI 00000442: PUSH2 0x0100 00000445: DUP1 00000446: DUP4 00000447: SLOAD 00000448: DIV 00000449: MUL 0000044a: DUP4 0000044b: MSTORE 0000044c: SWAP2 0000044d: PUSH1 0x20 0000044f: ADD 00000450: SWAP2 00000451: PUSH2 0x0480 00000454: JUMP 00000455: JUMPDEST 00000456: DUP3 00000457: ADD 00000458: SWAP2 00000459: SWAP1 0000045a: PUSH1 0x00 0000045c: MSTORE 0000045d: PUSH1 0x20 0000045f: PUSH1 0x00 00000461: KECCAK256 00000462: SWAP1 00000463: JUMPDEST 00000464: DUP2 00000465: SLOAD 00000466: DUP2 00000467: MSTORE 00000468: SWAP1 00000469: PUSH1 0x01 0000046b: ADD 0000046c: SWAP1 0000046d: PUSH1 0x20 0000046f: ADD 00000470: DUP1 00000471: DUP4 00000472: GT 00000473: PUSH2 0x0463 00000476: JUMPI 00000477: DUP3 00000478: SWAP1 00000479: SUB 0000047a: PUSH1 0x1f 0000047c: AND 0000047d: DUP3 0000047e: ADD 0000047f: SWAP2 00000480: JUMPDEST 00000481: POP 00000482: POP 00000483: POP 00000484: POP 00000485: POP 00000486: SWAP1 00000487: POP 00000488: SWAP1 00000489: JUMP 0000048a: JUMPDEST 0000048b: PUSH1 0x00 0000048d: PUSH1 0x01 0000048f: PUSH1 0xa0 00000491: PUSH1 0x02 00000493: EXP 00000494: SUB 00000495: DUP4 00000496: AND 00000497: ISZERO 00000498: ISZERO 00000499: PUSH2 0x04a1 0000049c: JUMPI 0000049d: PUSH1 0x00 0000049f: DUP1 000004a0: REVERT 000004a1: JUMPDEST 000004a2: CALLER 000004a3: PUSH1 0x00 000004a5: DUP2 000004a6: DUP2 000004a7: MSTORE 000004a8: PUSH1 0x06 000004aa: PUSH1 0x20 000004ac: SWAP1 000004ad: DUP2 000004ae: MSTORE 000004af: PUSH1 0x40 000004b1: DUP1 000004b2: DUP4 000004b3: KECCAK256 000004b4: PUSH1 0x01 000004b6: PUSH1 0xa0 000004b8: PUSH1 0x02 000004ba: EXP 000004bb: SUB 000004bc: DUP9 000004bd: AND 000004be: DUP1 000004bf: DUP6 000004c0: MSTORE 000004c1: SWAP1 000004c2: DUP4 000004c3: MSTORE 000004c4: SWAP3 000004c5: DUP2 000004c6: SWAP1 000004c7: KECCAK256 000004c8: DUP7 000004c9: SWAP1 000004ca: SSTORE 000004cb: DUP1 000004cc: MLOAD 000004cd: DUP7 000004ce: DUP2 000004cf: MSTORE 000004d0: SWAP1 000004d1: MLOAD 000004d2: SWAP3 000004d3: SWAP4 000004d4: SWAP3 000004d5: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000004f6: SWAP3 000004f7: SWAP2 000004f8: DUP2 000004f9: SWAP1 000004fa: SUB 000004fb: SWAP1 000004fc: SWAP2 000004fd: ADD 000004fe: SWAP1 000004ff: LOG3 00000500: POP 00000501: PUSH1 0x01 00000503: SWAP3 00000504: SWAP2 00000505: POP 00000506: POP 00000507: JUMP 00000508: JUMPDEST 00000509: PUSH1 0x03 0000050b: SLOAD 0000050c: SWAP1 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH1 0x01 00000511: PUSH1 0xa0 00000513: PUSH1 0x02 00000515: EXP 00000516: SUB 00000517: DUP4 00000518: AND 00000519: PUSH1 0x00 0000051b: SWAP1 0000051c: DUP2 0000051d: MSTORE 0000051e: PUSH1 0x04 00000520: PUSH1 0x20 00000522: MSTORE 00000523: PUSH1 0x40 00000525: DUP2 00000526: KECCAK256 00000527: SLOAD 00000528: DUP3 00000529: GT 0000052a: ISZERO 0000052b: PUSH2 0x0533 0000052e: JUMPI 0000052f: PUSH1 0x00 00000531: DUP1 00000532: REVERT 00000533: JUMPDEST 00000534: PUSH1 0x01 00000536: PUSH1 0xa0 00000538: PUSH1 0x02 0000053a: EXP 0000053b: SUB 0000053c: DUP5 0000053d: AND 0000053e: PUSH1 0x00 00000540: SWAP1 00000541: DUP2 00000542: MSTORE 00000543: PUSH1 0x06 00000545: PUSH1 0x20 00000547: SWAP1 00000548: DUP2 00000549: MSTORE 0000054a: PUSH1 0x40 0000054c: DUP1 0000054d: DUP4 0000054e: KECCAK256 0000054f: CALLER 00000550: DUP5 00000551: MSTORE 00000552: SWAP1 00000553: SWAP2 00000554: MSTORE 00000555: SWAP1 00000556: KECCAK256 00000557: SLOAD 00000558: DUP3 00000559: GT 0000055a: ISZERO 0000055b: PUSH2 0x0563 0000055e: JUMPI 0000055f: PUSH1 0x00 00000561: DUP1 00000562: REVERT 00000563: JUMPDEST 00000564: PUSH1 0x01 00000566: PUSH1 0xa0 00000568: PUSH1 0x02 0000056a: EXP 0000056b: SUB 0000056c: DUP4 0000056d: AND 0000056e: ISZERO 0000056f: ISZERO 00000570: PUSH2 0x0578 00000573: JUMPI 00000574: PUSH1 0x00 00000576: DUP1 00000577: REVERT 00000578: JUMPDEST 00000579: PUSH1 0x01 0000057b: PUSH1 0xa0 0000057d: PUSH1 0x02 0000057f: EXP 00000580: SUB 00000581: DUP1 00000582: DUP6 00000583: AND 00000584: PUSH1 0x00 00000586: SWAP1 00000587: DUP2 00000588: MSTORE 00000589: PUSH1 0x04 0000058b: PUSH1 0x20 0000058d: MSTORE 0000058e: PUSH1 0x40 00000590: DUP1 00000591: DUP3 00000592: KECCAK256 00000593: DUP1 00000594: SLOAD 00000595: DUP7 00000596: SWAP1 00000597: SUB 00000598: SWAP1 00000599: SSTORE 0000059a: SWAP2 0000059b: DUP6 0000059c: AND 0000059d: DUP2 0000059e: MSTORE 0000059f: KECCAK256 000005a0: SLOAD 000005a1: DUP1 000005a2: DUP4 000005a3: ADD 000005a4: LT 000005a5: ISZERO 000005a6: PUSH2 0x05ae 000005a9: JUMPI 000005aa: PUSH1 0x00 000005ac: DUP1 000005ad: REVERT 000005ae: JUMPDEST 000005af: PUSH1 0x01 000005b1: PUSH1 0xa0 000005b3: PUSH1 0x02 000005b5: EXP 000005b6: SUB 000005b7: DUP4 000005b8: DUP2 000005b9: AND 000005ba: PUSH1 0x00 000005bc: DUP2 000005bd: DUP2 000005be: MSTORE 000005bf: PUSH1 0x04 000005c1: PUSH1 0x20 000005c3: SWAP1 000005c4: DUP2 000005c5: MSTORE 000005c6: PUSH1 0x40 000005c8: DUP1 000005c9: DUP4 000005ca: KECCAK256 000005cb: DUP1 000005cc: SLOAD 000005cd: DUP9 000005ce: ADD 000005cf: SWAP1 000005d0: SSTORE 000005d1: SWAP4 000005d2: DUP9 000005d3: AND 000005d4: DUP1 000005d5: DUP4 000005d6: MSTORE 000005d7: PUSH1 0x06 000005d9: DUP3 000005da: MSTORE 000005db: DUP5 000005dc: DUP4 000005dd: KECCAK256 000005de: CALLER 000005df: DUP5 000005e0: MSTORE 000005e1: DUP3 000005e2: MSTORE 000005e3: SWAP2 000005e4: DUP5 000005e5: SWAP1 000005e6: KECCAK256 000005e7: DUP1 000005e8: SLOAD 000005e9: DUP8 000005ea: SWAP1 000005eb: SUB 000005ec: SWAP1 000005ed: SSTORE 000005ee: DUP4 000005ef: MLOAD 000005f0: DUP7 000005f1: DUP2 000005f2: MSTORE 000005f3: SWAP4 000005f4: MLOAD 000005f5: SWAP3 000005f6: SWAP4 000005f7: SWAP2 000005f8: SWAP3 000005f9: PUSH1 0x00 000005fb: DUP1 000005fc: MLOAD 000005fd: PUSH1 0x20 000005ff: PUSH2 0x0b10 00000602: DUP4 00000603: CODECOPY 00000604: DUP2 00000605: MLOAD 00000606: SWAP2 00000607: MSTORE 00000608: SWAP3 00000609: DUP2 0000060a: SWAP1 0000060b: SUB 0000060c: SWAP1 0000060d: SWAP2 0000060e: ADD 0000060f: SWAP1 00000610: LOG3 00000611: POP 00000612: PUSH1 0x01 00000614: SWAP4 00000615: SWAP3 00000616: POP 00000617: POP 00000618: POP 00000619: JUMP 0000061a: JUMPDEST 0000061b: PUSH2 0x2710 0000061e: DUP2 0000061f: JUMP 00000620: JUMPDEST 00000621: CALLER 00000622: PUSH20 0xa600bba7f5d7eabadecee8d95b1a830c59a42e43 00000637: EQ 00000638: PUSH2 0x0640 0000063b: JUMPI 0000063c: PUSH1 0x00 0000063e: DUP1 0000063f: REVERT 00000640: JUMPDEST 00000641: PUSH1 0x40 00000643: MLOAD 00000644: CALLER 00000645: SWAP1 00000646: DUP3 00000647: ISZERO 00000648: PUSH2 0x08fc 0000064b: MUL 0000064c: SWAP1 0000064d: DUP4 0000064e: SWAP1 0000064f: PUSH1 0x00 00000651: DUP2 00000652: DUP2 00000653: DUP2 00000654: DUP6 00000655: DUP9 00000656: DUP9 00000657: CALL 00000658: SWAP4 00000659: POP 0000065a: POP 0000065b: POP 0000065c: POP 0000065d: ISZERO 0000065e: DUP1 0000065f: ISZERO 00000660: PUSH2 0x066d 00000663: JUMPI 00000664: RETURNDATASIZE 00000665: PUSH1 0x00 00000667: DUP1 00000668: RETURNDATACOPY 00000669: RETURNDATASIZE 0000066a: PUSH1 0x00 0000066c: REVERT 0000066d: JUMPDEST 0000066e: POP 0000066f: POP 00000670: JUMP 00000671: JUMPDEST 00000672: PUSH1 0x02 00000674: SLOAD 00000675: PUSH1 0xff 00000677: AND 00000678: SWAP1 00000679: JUMP 0000067a: JUMPDEST 0000067b: PUSH1 0x01 0000067d: PUSH1 0xa0 0000067f: PUSH1 0x02 00000681: EXP 00000682: SUB 00000683: AND 00000684: PUSH1 0x00 00000686: SWAP1 00000687: DUP2 00000688: MSTORE 00000689: PUSH1 0x04 0000068b: PUSH1 0x20 0000068d: MSTORE 0000068e: PUSH1 0x40 00000690: SWAP1 00000691: KECCAK256 00000692: SLOAD 00000693: SWAP1 00000694: JUMP 00000695: JUMPDEST 00000696: PUSH1 0x00 00000698: DUP1 00000699: PUSH1 0x00 0000069b: DUP1 0000069c: PUSH1 0x00 0000069e: DUP1 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: PUSH1 0x00 000006a4: DUP1 000006a5: PUSH1 0x20 000006a7: DUP12 000006a8: ADD 000006a9: MLOAD 000006aa: SWAP9 000006ab: POP 000006ac: PUSH1 0x40 000006ae: DUP12 000006af: ADD 000006b0: MLOAD 000006b1: SWAP8 000006b2: POP 000006b3: PUSH1 0x60 000006b5: DUP12 000006b6: ADD 000006b7: MLOAD 000006b8: PUSH1 0x00 000006ba: BYTE 000006bb: SWAP7 000006bc: POP 000006bd: DUP12 000006be: PUSH1 0x40 000006c0: MLOAD 000006c1: DUP1 000006c2: DUP3 000006c3: DUP1 000006c4: MLOAD 000006c5: SWAP1 000006c6: PUSH1 0x20 000006c8: ADD 000006c9: SWAP1 000006ca: DUP1 000006cb: DUP4 000006cc: DUP4 000006cd: JUMPDEST 000006ce: PUSH1 0x20 000006d0: DUP4 000006d1: LT 000006d2: PUSH2 0x06ec 000006d5: JUMPI 000006d6: DUP1 000006d7: MLOAD 000006d8: DUP3 000006d9: MSTORE 000006da: PUSH1 0x1f 000006dc: NOT 000006dd: SWAP1 000006de: SWAP3 000006df: ADD 000006e0: SWAP2 000006e1: PUSH1 0x20 000006e3: SWAP2 000006e4: DUP3 000006e5: ADD 000006e6: SWAP2 000006e7: ADD 000006e8: PUSH2 0x06cd 000006eb: JUMP 000006ec: JUMPDEST 000006ed: PUSH1 0x01 000006ef: DUP4 000006f0: PUSH1 0x20 000006f2: SUB 000006f3: PUSH2 0x0100 000006f6: EXP 000006f7: SUB 000006f8: DUP1 000006f9: NOT 000006fa: DUP3 000006fb: MLOAD 000006fc: AND 000006fd: DUP2 000006fe: DUP5 000006ff: MLOAD 00000700: AND 00000701: DUP1 00000702: DUP3 00000703: OR 00000704: DUP6 00000705: MSTORE 00000706: POP 00000707: POP 00000708: POP 00000709: POP 0000070a: POP 0000070b: POP 0000070c: SWAP1 0000070d: POP 0000070e: ADD 0000070f: SWAP2 00000710: POP 00000711: POP 00000712: PUSH1 0x40 00000714: MLOAD 00000715: DUP1 00000716: SWAP2 00000717: SUB 00000718: SWAP1 00000719: KECCAK256 0000071a: SWAP6 0000071b: POP 0000071c: PUSH1 0x01 0000071e: DUP7 0000071f: DUP9 00000720: DUP12 00000721: DUP12 00000722: PUSH1 0x40 00000724: MLOAD 00000725: PUSH1 0x00 00000727: DUP2 00000728: MSTORE 00000729: PUSH1 0x20 0000072b: ADD 0000072c: PUSH1 0x40 0000072e: MSTORE 0000072f: PUSH1 0x40 00000731: MLOAD 00000732: DUP1 00000733: DUP6 00000734: PUSH1 0x00 00000736: NOT 00000737: AND 00000738: PUSH1 0x00 0000073a: NOT 0000073b: AND 0000073c: DUP2 0000073d: MSTORE 0000073e: PUSH1 0x20 00000740: ADD 00000741: DUP5 00000742: PUSH1 0xff 00000744: AND 00000745: PUSH1 0xff 00000747: AND 00000748: DUP2 00000749: MSTORE 0000074a: PUSH1 0x20 0000074c: ADD 0000074d: DUP4 0000074e: PUSH1 0x00 00000750: NOT 00000751: AND 00000752: PUSH1 0x00 00000754: NOT 00000755: AND 00000756: DUP2 00000757: MSTORE 00000758: PUSH1 0x20 0000075a: ADD 0000075b: DUP3 0000075c: PUSH1 0x00 0000075e: NOT 0000075f: AND 00000760: PUSH1 0x00 00000762: NOT 00000763: AND 00000764: DUP2 00000765: MSTORE 00000766: PUSH1 0x20 00000768: ADD 00000769: SWAP5 0000076a: POP 0000076b: POP 0000076c: POP 0000076d: POP 0000076e: POP 0000076f: PUSH1 0x20 00000771: PUSH1 0x40 00000773: MLOAD 00000774: PUSH1 0x20 00000776: DUP2 00000777: SUB 00000778: SWAP1 00000779: DUP1 0000077a: DUP5 0000077b: SUB 0000077c: SWAP1 0000077d: PUSH1 0x00 0000077f: DUP7 00000780: GAS 00000781: CALL 00000782: ISZERO 00000783: DUP1 00000784: ISZERO 00000785: PUSH2 0x0792 00000788: JUMPI 00000789: RETURNDATASIZE 0000078a: PUSH1 0x00 0000078c: DUP1 0000078d: RETURNDATACOPY 0000078e: RETURNDATASIZE 0000078f: PUSH1 0x00 00000791: REVERT 00000792: JUMPDEST 00000793: POP 00000794: POP 00000795: PUSH1 0x40 00000797: MLOAD 00000798: PUSH1 0x1f 0000079a: NOT 0000079b: ADD 0000079c: MLOAD 0000079d: SWAP6 0000079e: POP 0000079f: POP 000007a0: PUSH1 0x01 000007a2: PUSH1 0xa0 000007a4: PUSH1 0x02 000007a6: EXP 000007a7: SUB 000007a8: DUP6 000007a9: AND 000007aa: ISZERO 000007ab: ISZERO 000007ac: PUSH2 0x07b4 000007af: JUMPI 000007b0: PUSH1 0x00 000007b2: DUP1 000007b3: REVERT 000007b4: JUMPDEST 000007b5: POP 000007b6: POP 000007b7: POP 000007b8: POP 000007b9: PUSH1 0x20 000007bb: DUP9 000007bc: ADD 000007bd: MLOAD 000007be: PUSH1 0x40 000007c0: DUP10 000007c1: ADD 000007c2: MLOAD 000007c3: PUSH1 0x54 000007c5: DUP11 000007c6: ADD 000007c7: MLOAD 000007c8: PUSH1 0x74 000007ca: DUP12 000007cb: ADD 000007cc: MLOAD 000007cd: PUSH1 0x01 000007cf: PUSH1 0xa0 000007d1: PUSH1 0x02 000007d3: EXP 000007d4: SUB 000007d5: DUP2 000007d6: AND 000007d7: ADDRESS 000007d8: EQ 000007d9: PUSH2 0x07e1 000007dc: JUMPI 000007dd: PUSH1 0x00 000007df: DUP1 000007e0: REVERT 000007e1: JUMPDEST 000007e2: PUSH1 0x01 000007e4: PUSH1 0xa0 000007e6: PUSH1 0x02 000007e8: EXP 000007e9: SUB 000007ea: DUP3 000007eb: AND 000007ec: ISZERO 000007ed: ISZERO 000007ee: PUSH2 0x07f6 000007f1: JUMPI 000007f2: PUSH1 0x00 000007f4: DUP1 000007f5: REVERT 000007f6: JUMPDEST 000007f7: PUSH1 0x01 000007f9: PUSH1 0xa0 000007fb: PUSH1 0x02 000007fd: EXP 000007fe: SUB 000007ff: DUP6 00000800: AND 00000801: PUSH1 0x00 00000803: SWAP1 00000804: DUP2 00000805: MSTORE 00000806: PUSH1 0x05 00000808: PUSH1 0x20 0000080a: MSTORE 0000080b: PUSH1 0x40 0000080d: SWAP1 0000080e: KECCAK256 0000080f: SLOAD 00000810: DUP5 00000811: EQ 00000812: PUSH2 0x081a 00000815: JUMPI 00000816: PUSH1 0x00 00000818: DUP1 00000819: REVERT 0000081a: JUMPDEST 0000081b: PUSH1 0x01 0000081d: PUSH1 0xa0 0000081f: PUSH1 0x02 00000821: EXP 00000822: SUB 00000823: DUP6 00000824: AND 00000825: PUSH1 0x00 00000827: SWAP1 00000828: DUP2 00000829: MSTORE 0000082a: PUSH1 0x04 0000082c: PUSH1 0x20 0000082e: MSTORE 0000082f: PUSH1 0x40 00000831: SWAP1 00000832: KECCAK256 00000833: SLOAD 00000834: DUP4 00000835: GT 00000836: ISZERO 00000837: PUSH2 0x083f 0000083a: JUMPI 0000083b: PUSH1 0x00 0000083d: DUP1 0000083e: REVERT 0000083f: JUMPDEST 00000840: PUSH1 0x01 00000842: PUSH1 0xa0 00000844: PUSH1 0x02 00000846: EXP 00000847: SUB 00000848: DUP6 00000849: AND 0000084a: PUSH1 0x00 0000084c: SWAP1 0000084d: DUP2 0000084e: MSTORE 0000084f: PUSH1 0x05 00000851: PUSH1 0x20 00000853: MSTORE 00000854: PUSH1 0x40 00000856: SWAP1 00000857: KECCAK256 00000858: SLOAD 00000859: PUSH1 0x01 0000085b: DUP2 0000085c: ADD 0000085d: LT 0000085e: ISZERO 0000085f: PUSH2 0x0867 00000862: JUMPI 00000863: PUSH1 0x00 00000865: DUP1 00000866: REVERT 00000867: JUMPDEST 00000868: PUSH1 0x01 0000086a: PUSH1 0xa0 0000086c: PUSH1 0x02 0000086e: EXP 0000086f: SUB 00000870: DUP1 00000871: DUP7 00000872: AND 00000873: PUSH1 0x00 00000875: SWAP1 00000876: DUP2 00000877: MSTORE 00000878: PUSH1 0x05 0000087a: PUSH1 0x20 0000087c: SWAP1 0000087d: DUP2 0000087e: MSTORE 0000087f: PUSH1 0x40 00000881: DUP1 00000882: DUP4 00000883: KECCAK256 00000884: DUP1 00000885: SLOAD 00000886: PUSH1 0x01 00000888: ADD 00000889: SWAP1 0000088a: SSTORE 0000088b: PUSH1 0x04 0000088d: SWAP1 0000088e: SWAP2 0000088f: MSTORE 00000890: DUP1 00000891: DUP3 00000892: KECCAK256 00000893: DUP1 00000894: SLOAD 00000895: DUP8 00000896: SWAP1 00000897: SUB 00000898: SWAP1 00000899: SSTORE 0000089a: SWAP2 0000089b: DUP5 0000089c: AND 0000089d: DUP2 0000089e: MSTORE 0000089f: KECCAK256 000008a0: SLOAD 000008a1: DUP1 000008a2: DUP5 000008a3: ADD 000008a4: LT 000008a5: ISZERO 000008a6: PUSH2 0x08ae 000008a9: JUMPI 000008aa: PUSH1 0x00 000008ac: DUP1 000008ad: REVERT 000008ae: JUMPDEST 000008af: PUSH1 0x01 000008b1: PUSH1 0xa0 000008b3: PUSH1 0x02 000008b5: EXP 000008b6: SUB 000008b7: DUP1 000008b8: DUP4 000008b9: AND 000008ba: PUSH1 0x00 000008bc: DUP2 000008bd: DUP2 000008be: MSTORE 000008bf: PUSH1 0x04 000008c1: PUSH1 0x20 000008c3: SWAP1 000008c4: DUP2 000008c5: MSTORE 000008c6: PUSH1 0x40 000008c8: SWAP2 000008c9: DUP3 000008ca: SWAP1 000008cb: KECCAK256 000008cc: DUP1 000008cd: SLOAD 000008ce: DUP9 000008cf: ADD 000008d0: SWAP1 000008d1: SSTORE 000008d2: DUP2 000008d3: MLOAD 000008d4: DUP8 000008d5: DUP2 000008d6: MSTORE 000008d7: SWAP2 000008d8: MLOAD 000008d9: SWAP3 000008da: SWAP4 000008db: DUP10 000008dc: AND 000008dd: SWAP3 000008de: PUSH1 0x00 000008e0: DUP1 000008e1: MLOAD 000008e2: PUSH1 0x20 000008e4: PUSH2 0x0b10 000008e7: DUP4 000008e8: CODECOPY 000008e9: DUP2 000008ea: MLOAD 000008eb: SWAP2 000008ec: MSTORE 000008ed: SWAP3 000008ee: DUP2 000008ef: SWAP1 000008f0: SUB 000008f1: SWAP1 000008f2: SWAP2 000008f3: ADD 000008f4: SWAP1 000008f5: LOG3 000008f6: POP 000008f7: PUSH1 0x01 000008f9: SWAP12 000008fa: SWAP11 000008fb: POP 000008fc: POP 000008fd: POP 000008fe: POP 000008ff: POP 00000900: POP 00000901: POP 00000902: POP 00000903: POP 00000904: POP 00000905: POP 00000906: JUMP 00000907: JUMPDEST 00000908: PUSH1 0x01 0000090a: DUP1 0000090b: SLOAD 0000090c: PUSH1 0x40 0000090e: DUP1 0000090f: MLOAD 00000910: PUSH1 0x20 00000912: PUSH1 0x1f 00000914: PUSH1 0x02 00000916: PUSH1 0x00 00000918: NOT 00000919: PUSH2 0x0100 0000091c: DUP8 0000091d: DUP10 0000091e: AND 0000091f: ISZERO 00000920: MUL 00000921: ADD 00000922: SWAP1 00000923: SWAP6 00000924: AND 00000925: SWAP5 00000926: SWAP1 00000927: SWAP5 00000928: DIV 00000929: SWAP4 0000092a: DUP5 0000092b: ADD 0000092c: DUP2 0000092d: SWAP1 0000092e: DIV 0000092f: DUP2 00000930: MUL 00000931: DUP3 00000932: ADD 00000933: DUP2 00000934: ADD 00000935: SWAP1 00000936: SWAP3 00000937: MSTORE 00000938: DUP3 00000939: DUP2 0000093a: MSTORE 0000093b: PUSH1 0x60 0000093d: SWAP4 0000093e: SWAP1 0000093f: SWAP3 00000940: SWAP1 00000941: SWAP2 00000942: DUP4 00000943: ADD 00000944: DUP3 00000945: DUP3 00000946: DUP1 00000947: ISZERO 00000948: PUSH2 0x0480 0000094b: JUMPI 0000094c: DUP1 0000094d: PUSH1 0x1f 0000094f: LT 00000950: PUSH2 0x0455 00000953: JUMPI 00000954: PUSH2 0x0100 00000957: DUP1 00000958: DUP4 00000959: SLOAD 0000095a: DIV 0000095b: MUL 0000095c: DUP4 0000095d: MSTORE 0000095e: SWAP2 0000095f: PUSH1 0x20 00000961: ADD 00000962: SWAP2 00000963: PUSH2 0x0480 00000966: JUMP 00000967: JUMPDEST 00000968: CALLER 00000969: PUSH1 0x00 0000096b: SWAP1 0000096c: DUP2 0000096d: MSTORE 0000096e: PUSH1 0x04 00000970: PUSH1 0x20 00000972: MSTORE 00000973: PUSH1 0x40 00000975: DUP2 00000976: KECCAK256 00000977: SLOAD 00000978: DUP3 00000979: GT 0000097a: ISZERO 0000097b: PUSH2 0x0983 0000097e: JUMPI 0000097f: PUSH1 0x00 00000981: DUP1 00000982: REVERT 00000983: JUMPDEST 00000984: PUSH1 0x01 00000986: PUSH1 0xa0 00000988: PUSH1 0x02 0000098a: EXP 0000098b: SUB 0000098c: DUP4 0000098d: AND 0000098e: ISZERO 0000098f: ISZERO 00000990: PUSH2 0x0998 00000993: JUMPI 00000994: PUSH1 0x00 00000996: DUP1 00000997: REVERT 00000998: JUMPDEST 00000999: CALLER 0000099a: PUSH1 0x00 0000099c: SWAP1 0000099d: DUP2 0000099e: MSTORE 0000099f: PUSH1 0x04 000009a1: PUSH1 0x20 000009a3: MSTORE 000009a4: PUSH1 0x40 000009a6: DUP1 000009a7: DUP3 000009a8: KECCAK256 000009a9: DUP1 000009aa: SLOAD 000009ab: DUP6 000009ac: SWAP1 000009ad: SUB 000009ae: SWAP1 000009af: SSTORE 000009b0: PUSH1 0x01 000009b2: PUSH1 0xa0 000009b4: PUSH1 0x02 000009b6: EXP 000009b7: SUB 000009b8: DUP6 000009b9: AND 000009ba: DUP3 000009bb: MSTORE 000009bc: SWAP1 000009bd: KECCAK256 000009be: SLOAD 000009bf: DUP1 000009c0: DUP4 000009c1: ADD 000009c2: LT 000009c3: ISZERO 000009c4: PUSH2 0x09cc 000009c7: JUMPI 000009c8: PUSH1 0x00 000009ca: DUP1 000009cb: REVERT 000009cc: JUMPDEST 000009cd: PUSH1 0x01 000009cf: PUSH1 0xa0 000009d1: PUSH1 0x02 000009d3: EXP 000009d4: SUB 000009d5: DUP4 000009d6: AND 000009d7: PUSH1 0x00 000009d9: DUP2 000009da: DUP2 000009db: MSTORE 000009dc: PUSH1 0x04 000009de: PUSH1 0x20 000009e0: SWAP1 000009e1: DUP2 000009e2: MSTORE 000009e3: PUSH1 0x40 000009e5: SWAP2 000009e6: DUP3 000009e7: SWAP1 000009e8: KECCAK256 000009e9: DUP1 000009ea: SLOAD 000009eb: DUP7 000009ec: ADD 000009ed: SWAP1 000009ee: SSTORE 000009ef: DUP2 000009f0: MLOAD 000009f1: DUP6 000009f2: DUP2 000009f3: MSTORE 000009f4: SWAP2 000009f5: MLOAD 000009f6: CALLER 000009f7: SWAP3 000009f8: PUSH1 0x00 000009fa: DUP1 000009fb: MLOAD 000009fc: PUSH1 0x20 000009fe: PUSH2 0x0b10 00000a01: DUP4 00000a02: CODECOPY 00000a03: DUP2 00000a04: MLOAD 00000a05: SWAP2 00000a06: MSTORE 00000a07: SWAP3 00000a08: SWAP1 00000a09: DUP3 00000a0a: SWAP1 00000a0b: SUB 00000a0c: ADD 00000a0d: SWAP1 00000a0e: LOG3 00000a0f: POP 00000a10: PUSH1 0x01 00000a12: SWAP3 00000a13: SWAP2 00000a14: POP 00000a15: POP 00000a16: JUMP 00000a17: JUMPDEST 00000a18: PUSH20 0xa600bba7f5d7eabadecee8d95b1a830c59a42e43 00000a2d: DUP2 00000a2e: JUMP 00000a2f: JUMPDEST 00000a30: PUSH1 0x01 00000a32: PUSH1 0xa0 00000a34: PUSH1 0x02 00000a36: EXP 00000a37: SUB 00000a38: SWAP2 00000a39: DUP3 00000a3a: AND 00000a3b: PUSH1 0x00 00000a3d: SWAP1 00000a3e: DUP2 00000a3f: MSTORE 00000a40: PUSH1 0x06 00000a42: PUSH1 0x20 00000a44: SWAP1 00000a45: DUP2 00000a46: MSTORE 00000a47: PUSH1 0x40 00000a49: DUP1 00000a4a: DUP4 00000a4b: KECCAK256 00000a4c: SWAP4 00000a4d: SWAP1 00000a4e: SWAP5 00000a4f: AND 00000a50: DUP3 00000a51: MSTORE 00000a52: SWAP2 00000a53: SWAP1 00000a54: SWAP2 00000a55: MSTORE 00000a56: KECCAK256 00000a57: SLOAD 00000a58: SWAP1 00000a59: JUMP 00000a5a: JUMPDEST 00000a5b: PUSH1 0x01 00000a5d: PUSH1 0xa0 00000a5f: PUSH1 0x02 00000a61: EXP 00000a62: SUB 00000a63: AND 00000a64: PUSH1 0x00 00000a66: SWAP1 00000a67: DUP2 00000a68: MSTORE 00000a69: PUSH1 0x05 00000a6b: PUSH1 0x20 00000a6d: MSTORE 00000a6e: PUSH1 0x40 00000a70: SWAP1 00000a71: KECCAK256 00000a72: SLOAD 00000a73: SWAP1 00000a74: JUMP 00000a75: JUMPDEST 00000a76: PUSH1 0x01 00000a78: PUSH1 0xa0 00000a7a: PUSH1 0x02 00000a7c: EXP 00000a7d: SUB 00000a7e: DUP3 00000a7f: AND 00000a80: ISZERO 00000a81: ISZERO 00000a82: PUSH2 0x0a8a 00000a85: JUMPI 00000a86: PUSH1 0x00 00000a88: DUP1 00000a89: REVERT 00000a8a: JUMPDEST 00000a8b: PUSH1 0x03 00000a8d: SLOAD 00000a8e: DUP2 00000a8f: DUP2 00000a90: ADD 00000a91: LT 00000a92: ISZERO 00000a93: PUSH2 0x0a9b 00000a96: JUMPI 00000a97: PUSH1 0x00 00000a99: DUP1 00000a9a: REVERT 00000a9b: JUMPDEST 00000a9c: PUSH1 0x03 00000a9e: DUP1 00000a9f: SLOAD 00000aa0: DUP3 00000aa1: ADD 00000aa2: SWAP1 00000aa3: SSTORE 00000aa4: PUSH1 0x01 00000aa6: PUSH1 0xa0 00000aa8: PUSH1 0x02 00000aaa: EXP 00000aab: SUB 00000aac: DUP3 00000aad: AND 00000aae: PUSH1 0x00 00000ab0: SWAP1 00000ab1: DUP2 00000ab2: MSTORE 00000ab3: PUSH1 0x04 00000ab5: PUSH1 0x20 00000ab7: MSTORE 00000ab8: PUSH1 0x40 00000aba: SWAP1 00000abb: KECCAK256 00000abc: SLOAD 00000abd: DUP1 00000abe: DUP3 00000abf: ADD 00000ac0: LT 00000ac1: ISZERO 00000ac2: PUSH2 0x0aca 00000ac5: JUMPI 00000ac6: PUSH1 0x00 00000ac8: DUP1 00000ac9: REVERT 00000aca: JUMPDEST 00000acb: PUSH1 0x01 00000acd: PUSH1 0xa0 00000acf: PUSH1 0x02 00000ad1: EXP 00000ad2: SUB 00000ad3: DUP3 00000ad4: AND 00000ad5: PUSH1 0x00 00000ad7: DUP2 00000ad8: DUP2 00000ad9: MSTORE 00000ada: PUSH1 0x04 00000adc: PUSH1 0x20 00000ade: SWAP1 00000adf: DUP2 00000ae0: MSTORE 00000ae1: PUSH1 0x40 00000ae3: DUP1 00000ae4: DUP4 00000ae5: KECCAK256 00000ae6: DUP1 00000ae7: SLOAD 00000ae8: DUP7 00000ae9: ADD 00000aea: SWAP1 00000aeb: SSTORE 00000aec: DUP1 00000aed: MLOAD 00000aee: DUP6 00000aef: DUP2 00000af0: MSTORE 00000af1: SWAP1 00000af2: MLOAD 00000af3: PUSH1 0x00 00000af5: DUP1 00000af6: MLOAD 00000af7: PUSH1 0x20 00000af9: PUSH2 0x0b10 00000afc: DUP4 00000afd: CODECOPY 00000afe: DUP2 00000aff: MLOAD 00000b00: SWAP2 00000b01: MSTORE 00000b02: SWAP3 00000b03: SWAP2 00000b04: DUP2 00000b05: SWAP1 00000b06: SUB 00000b07: SWAP1 00000b08: SWAP2 00000b09: ADD 00000b0a: SWAP1 00000b0b: LOG3 00000b0c: POP 00000b0d: POP 00000b0e: JUMP 00000b0f: STOP 00000b10: UNKNOWN(0xDD) 00000b11: CALLCODE 00000b12: MSTORE 00000b13: UNKNOWN(0xAD) 00000b14: SHL 00000b15: UNKNOWN(0xE2) 00000b16: UNKNOWN(0xC8) 00000b17: SWAP12 00000b18: PUSH10 0xc2b068fc378daa952ba7 00000b23: CALL 00000b24: PUSH4 0xc4a11628 00000b29: CREATE2 00000b2a: GAS 00000b2b: UNKNOWN(0x4D) 00000b2c: CREATE2 00000b2d: UNKNOWN(0x23) 00000b2e: UNKNOWN(0xB3) 00000b2f: UNKNOWN(0xEF) 00000b30: LOG1 00000b31: PUSH6 0x627a7a723058 00000b38: KECCAK256 00000b39: BYTE 00000b3a: UNKNOWN(0x2F) 00000b3b: UNKNOWN(0xB0) 00000b3c: UNKNOWN(0xE9) 00000b3d: UNKNOWN(0x0D) 00000b3e: LOG3 00000b3f: JUMPDEST 00000b40: LOG0 00000b41: MCOPY 00000b42: MSIZE 00000b43: UNKNOWN(0xBF) 00000b44: PUSH6 0x202032262b4b 00000b4b: UNKNOWN(0xDB) 00000b4c: UNKNOWN(0xAB) 00000b4d: UNKNOWN(0xC7) 00000b4e: UNKNOWN(0xE3) 00000b4f: CALLDATACOPY 00000b50: LOG4 00000b51: UNKNOWN(0x21) 00000b52: LOG0 00000b53: UNKNOWN(0xC9) 00000b54: MULMOD 00000b55: DUP16 00000b56: CALLDATALOAD 00000b57: CHAINID 00000b58: UNKNOWN(0xF6) 00000b59: STOP 00000b5a: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x005a5dfe5a7b1c29ae31709ba9a1a5078bc1989c887c63225bc2b50100ea7979
call_targets:
0xb811fb00d0c2c83838a28e33aeccb664d3847c9f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x005a5dfe5a7b1c29ae31709ba9a1a5078bc1989c887c63225bc2b50100ea7979",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb811fb00d0c2c83838a28e33aeccb664d3847c9f"
],
"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": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1249c58b",
"selector": "0x1249c58b",
"calldata_variants": [
"0x1249c58b",
"0x1249c58b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c4e722e",
"selector": "0x2c4e722e",
"calldata_variants": [
"0x2c4e722e",
"0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1623,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1921,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2833,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 1591,
"type": "msg_sender_eq_const",
"value": 9.477088151081638e+47
},
{
"pc": 1569,
"type": "msg_sender_eq_const",
"value": "0xa600bba7f5d7eabadecee8d95b1a830c59a42e43"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x005a5dfe5a7b1c29ae31709ba9a1a5078bc1989c887c63225bc2b50100ea7979
call_targets:
0xb811fb00d0c2c83838a28e33aeccb664d3847c9f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x005a5dfe5a7b1c29ae31709ba9a1a5078bc1989c887c63225bc2b50100ea7979",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb811fb00d0c2c83838a28e33aeccb664d3847c9f"
],
"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": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1249c58b",
"selector": "0x1249c58b",
"calldata_variants": [
"0x1249c58b",
"0x1249c58b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c4e722e",
"selector": "0x2c4e722e",
"calldata_variants": [
"0x2c4e722e",
"0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1623,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1921,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2833,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 1591,
"type": "msg_sender_eq_const",
"value": 9.477088151081638e+47
},
{
"pc": 1569,
"type": "msg_sender_eq_const",
"value": "0xa600bba7f5d7eabadecee8d95b1a830c59a42e43"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x6f97d49d146c6655b4f0f6417ccf5cb6ffd2c06d03be6d01f410ce3cb9f5fa65
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 30,
"trace_id": "0x6f97d49d146c6655b4f0f6417ccf5cb6ffd2c06d03be6d01f410ce3cb9f5fa65",
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1249c58b",
"selector": "0x1249c58b",
"calldata_variants": [
"0x1249c58b",
"0x1249c58b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c4e722e",
"selector": "0x2c4e722e",
"calldata_variants": [
"0x2c4e722e",
"0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|