019b477e-b9b0-7283-ae10-20c303ad62bb
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 |
|---|---|---|---|---|
| 23629 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23630 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90429 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90430 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90431 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90432 | 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 0x0114 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8d839ffe 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xaeb8ce9b 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xaeb8ce9b 0000002f: EQ 00000030: PUSH2 0x04f1 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xce1e09c0 0000003a: EQ 0000003b: PUSH2 0x05a2 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf14fcbc8 00000045: EQ 00000046: PUSH2 0x05b7 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x05e1 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf49826be 0000005b: EQ 0000005c: PUSH2 0x0614 0000005f: JUMPI 00000060: PUSH2 0x0114 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x8d839ffe 0000006b: EQ 0000006c: PUSH2 0x0377 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8da5cb5b 00000076: EQ 00000077: PUSH2 0x038c 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8f32d59b 00000081: EQ 00000082: PUSH2 0x03bd 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x9791c097 0000008c: EQ 0000008d: PUSH2 0x03d2 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xacf1a841 00000097: EQ 00000098: PUSH2 0x0483 0000009b: JUMPI 0000009c: PUSH2 0x0114 0000009f: JUMP 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x7e324479 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x7e324479 000000b2: EQ 000000b3: PUSH2 0x01c0 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x839df945 000000bd: EQ 000000be: PUSH2 0x01f0 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x83e7f6ff 000000c8: EQ 000000c9: PUSH2 0x022c 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x85f6d155 000000d3: EQ 000000d4: PUSH2 0x02df 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x8a95b09f 000000de: EQ 000000df: PUSH2 0x0362 000000e2: JUMPI 000000e3: PUSH2 0x0114 000000e6: JUMP 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x01ffc9a7 000000ee: EQ 000000ef: PUSH2 0x0119 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x3ccfd60b 000000f9: EQ 000000fa: PUSH2 0x0161 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x530e784f 00000104: EQ 00000105: PUSH2 0x0178 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x715018a6 0000010f: EQ 00000110: PUSH2 0x01ab 00000113: JUMPI 00000114: JUMPDEST 00000115: PUSH1 0x00 00000117: DUP1 00000118: REVERT 00000119: JUMPDEST 0000011a: CALLVALUE 0000011b: DUP1 0000011c: ISZERO 0000011d: PUSH2 0x0125 00000120: JUMPI 00000121: PUSH1 0x00 00000123: DUP1 00000124: REVERT 00000125: JUMPDEST 00000126: POP 00000127: PUSH2 0x014d 0000012a: PUSH1 0x04 0000012c: DUP1 0000012d: CALLDATASIZE 0000012e: SUB 0000012f: PUSH1 0x20 00000131: DUP2 00000132: LT 00000133: ISZERO 00000134: PUSH2 0x013c 00000137: JUMPI 00000138: PUSH1 0x00 0000013a: DUP1 0000013b: REVERT 0000013c: JUMPDEST 0000013d: POP 0000013e: CALLDATALOAD 0000013f: PUSH1 0x01 00000141: PUSH1 0x01 00000143: PUSH1 0xe0 00000145: SHL 00000146: SUB 00000147: NOT 00000148: AND 00000149: PUSH2 0x06d3 0000014c: JUMP 0000014d: JUMPDEST 0000014e: PUSH1 0x40 00000150: DUP1 00000151: MLOAD 00000152: SWAP2 00000153: ISZERO 00000154: ISZERO 00000155: DUP3 00000156: MSTORE 00000157: MLOAD 00000158: SWAP1 00000159: DUP2 0000015a: SWAP1 0000015b: SUB 0000015c: PUSH1 0x20 0000015e: ADD 0000015f: SWAP1 00000160: RETURN 00000161: JUMPDEST 00000162: CALLVALUE 00000163: DUP1 00000164: ISZERO 00000165: PUSH2 0x016d 00000168: JUMPI 00000169: PUSH1 0x00 0000016b: DUP1 0000016c: REVERT 0000016d: JUMPDEST 0000016e: POP 0000016f: PUSH2 0x0176 00000172: PUSH2 0x0818 00000175: JUMP 00000176: JUMPDEST 00000177: STOP 00000178: JUMPDEST 00000179: CALLVALUE 0000017a: DUP1 0000017b: ISZERO 0000017c: PUSH2 0x0184 0000017f: JUMPI 00000180: PUSH1 0x00 00000182: DUP1 00000183: REVERT 00000184: JUMPDEST 00000185: POP 00000186: PUSH2 0x0176 00000189: PUSH1 0x04 0000018b: DUP1 0000018c: CALLDATASIZE 0000018d: SUB 0000018e: PUSH1 0x20 00000190: DUP2 00000191: LT 00000192: ISZERO 00000193: PUSH2 0x019b 00000196: JUMPI 00000197: PUSH1 0x00 00000199: DUP1 0000019a: REVERT 0000019b: JUMPDEST 0000019c: POP 0000019d: CALLDATALOAD 0000019e: PUSH1 0x01 000001a0: PUSH1 0x01 000001a2: PUSH1 0xa0 000001a4: SHL 000001a5: SUB 000001a6: AND 000001a7: PUSH2 0x0859 000001aa: JUMP 000001ab: JUMPDEST 000001ac: CALLVALUE 000001ad: DUP1 000001ae: ISZERO 000001af: PUSH2 0x01b7 000001b2: JUMPI 000001b3: PUSH1 0x00 000001b5: DUP1 000001b6: REVERT 000001b7: JUMPDEST 000001b8: POP 000001b9: PUSH2 0x0176 000001bc: PUSH2 0x08ba 000001bf: JUMP 000001c0: JUMPDEST 000001c1: CALLVALUE 000001c2: DUP1 000001c3: ISZERO 000001c4: PUSH2 0x01cc 000001c7: JUMPI 000001c8: PUSH1 0x00 000001ca: DUP1 000001cb: REVERT 000001cc: JUMPDEST 000001cd: POP 000001ce: PUSH2 0x0176 000001d1: PUSH1 0x04 000001d3: DUP1 000001d4: CALLDATASIZE 000001d5: SUB 000001d6: PUSH1 0x40 000001d8: DUP2 000001d9: LT 000001da: ISZERO 000001db: PUSH2 0x01e3 000001de: JUMPI 000001df: PUSH1 0x00 000001e1: DUP1 000001e2: REVERT 000001e3: JUMPDEST 000001e4: POP 000001e5: DUP1 000001e6: CALLDATALOAD 000001e7: SWAP1 000001e8: PUSH1 0x20 000001ea: ADD 000001eb: CALLDATALOAD 000001ec: PUSH2 0x0915 000001ef: JUMP 000001f0: JUMPDEST 000001f1: CALLVALUE 000001f2: DUP1 000001f3: ISZERO 000001f4: PUSH2 0x01fc 000001f7: JUMPI 000001f8: PUSH1 0x00 000001fa: DUP1 000001fb: REVERT 000001fc: JUMPDEST 000001fd: POP 000001fe: PUSH2 0x021a 00000201: PUSH1 0x04 00000203: DUP1 00000204: CALLDATASIZE 00000205: SUB 00000206: PUSH1 0x20 00000208: DUP2 00000209: LT 0000020a: ISZERO 0000020b: PUSH2 0x0213 0000020e: JUMPI 0000020f: PUSH1 0x00 00000211: DUP1 00000212: REVERT 00000213: JUMPDEST 00000214: POP 00000215: CALLDATALOAD 00000216: PUSH2 0x0931 00000219: JUMP 0000021a: JUMPDEST 0000021b: PUSH1 0x40 0000021d: DUP1 0000021e: MLOAD 0000021f: SWAP2 00000220: DUP3 00000221: MSTORE 00000222: MLOAD 00000223: SWAP1 00000224: DUP2 00000225: SWAP1 00000226: SUB 00000227: PUSH1 0x20 00000229: ADD 0000022a: SWAP1 0000022b: RETURN 0000022c: JUMPDEST 0000022d: CALLVALUE 0000022e: DUP1 0000022f: ISZERO 00000230: PUSH2 0x0238 00000233: JUMPI 00000234: PUSH1 0x00 00000236: DUP1 00000237: REVERT 00000238: JUMPDEST 00000239: POP 0000023a: PUSH2 0x021a 0000023d: PUSH1 0x04 0000023f: DUP1 00000240: CALLDATASIZE 00000241: SUB 00000242: PUSH1 0x40 00000244: DUP2 00000245: LT 00000246: ISZERO 00000247: PUSH2 0x024f 0000024a: JUMPI 0000024b: PUSH1 0x00 0000024d: DUP1 0000024e: REVERT 0000024f: JUMPDEST 00000250: DUP2 00000251: ADD 00000252: SWAP1 00000253: PUSH1 0x20 00000255: DUP2 00000256: ADD 00000257: DUP2 00000258: CALLDATALOAD 00000259: PUSH1 0x01 0000025b: PUSH1 0x20 0000025d: SHL 0000025e: DUP2 0000025f: GT 00000260: ISZERO 00000261: PUSH2 0x0269 00000264: JUMPI 00000265: PUSH1 0x00 00000267: DUP1 00000268: REVERT 00000269: JUMPDEST 0000026a: DUP3 0000026b: ADD 0000026c: DUP4 0000026d: PUSH1 0x20 0000026f: DUP3 00000270: ADD 00000271: GT 00000272: ISZERO 00000273: PUSH2 0x027b 00000276: JUMPI 00000277: PUSH1 0x00 00000279: DUP1 0000027a: REVERT 0000027b: JUMPDEST 0000027c: DUP1 0000027d: CALLDATALOAD 0000027e: SWAP1 0000027f: PUSH1 0x20 00000281: ADD 00000282: SWAP2 00000283: DUP5 00000284: PUSH1 0x01 00000286: DUP4 00000287: MUL 00000288: DUP5 00000289: ADD 0000028a: GT 0000028b: PUSH1 0x01 0000028d: PUSH1 0x20 0000028f: SHL 00000290: DUP4 00000291: GT 00000292: OR 00000293: ISZERO 00000294: PUSH2 0x029c 00000297: JUMPI 00000298: PUSH1 0x00 0000029a: DUP1 0000029b: REVERT 0000029c: JUMPDEST 0000029d: SWAP2 0000029e: SWAP1 0000029f: DUP1 000002a0: DUP1 000002a1: PUSH1 0x1f 000002a3: ADD 000002a4: PUSH1 0x20 000002a6: DUP1 000002a7: SWAP2 000002a8: DIV 000002a9: MUL 000002aa: PUSH1 0x20 000002ac: ADD 000002ad: PUSH1 0x40 000002af: MLOAD 000002b0: SWAP1 000002b1: DUP2 000002b2: ADD 000002b3: PUSH1 0x40 000002b5: MSTORE 000002b6: DUP1 000002b7: SWAP4 000002b8: SWAP3 000002b9: SWAP2 000002ba: SWAP1 000002bb: DUP2 000002bc: DUP2 000002bd: MSTORE 000002be: PUSH1 0x20 000002c0: ADD 000002c1: DUP4 000002c2: DUP4 000002c3: DUP1 000002c4: DUP3 000002c5: DUP5 000002c6: CALLDATACOPY 000002c7: PUSH1 0x00 000002c9: SWAP3 000002ca: ADD 000002cb: SWAP2 000002cc: SWAP1 000002cd: SWAP2 000002ce: MSTORE 000002cf: POP 000002d0: SWAP3 000002d1: SWAP6 000002d2: POP 000002d3: POP 000002d4: SWAP2 000002d5: CALLDATALOAD 000002d6: SWAP3 000002d7: POP 000002d8: PUSH2 0x0943 000002db: SWAP2 000002dc: POP 000002dd: POP 000002de: JUMP 000002df: JUMPDEST 000002e0: PUSH2 0x0176 000002e3: PUSH1 0x04 000002e5: DUP1 000002e6: CALLDATASIZE 000002e7: SUB 000002e8: PUSH1 0x80 000002ea: DUP2 000002eb: LT 000002ec: ISZERO 000002ed: PUSH2 0x02f5 000002f0: JUMPI 000002f1: PUSH1 0x00 000002f3: DUP1 000002f4: REVERT 000002f5: JUMPDEST 000002f6: DUP2 000002f7: ADD 000002f8: SWAP1 000002f9: PUSH1 0x20 000002fb: DUP2 000002fc: ADD 000002fd: DUP2 000002fe: CALLDATALOAD 000002ff: PUSH1 0x01 00000301: PUSH1 0x20 00000303: SHL 00000304: DUP2 00000305: GT 00000306: ISZERO 00000307: PUSH2 0x030f 0000030a: JUMPI 0000030b: PUSH1 0x00 0000030d: DUP1 0000030e: REVERT 0000030f: JUMPDEST 00000310: DUP3 00000311: ADD 00000312: DUP4 00000313: PUSH1 0x20 00000315: DUP3 00000316: ADD 00000317: GT 00000318: ISZERO 00000319: PUSH2 0x0321 0000031c: JUMPI 0000031d: PUSH1 0x00 0000031f: DUP1 00000320: REVERT 00000321: JUMPDEST 00000322: DUP1 00000323: CALLDATALOAD 00000324: SWAP1 00000325: PUSH1 0x20 00000327: ADD 00000328: SWAP2 00000329: DUP5 0000032a: PUSH1 0x01 0000032c: DUP4 0000032d: MUL 0000032e: DUP5 0000032f: ADD 00000330: GT 00000331: PUSH1 0x01 00000333: PUSH1 0x20 00000335: SHL 00000336: DUP4 00000337: GT 00000338: OR 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: SWAP2 00000344: SWAP4 00000345: POP 00000346: SWAP2 00000347: POP 00000348: PUSH1 0x01 0000034a: PUSH1 0x01 0000034c: PUSH1 0xa0 0000034e: SHL 0000034f: SUB 00000350: DUP2 00000351: CALLDATALOAD 00000352: AND 00000353: SWAP1 00000354: PUSH1 0x20 00000356: DUP2 00000357: ADD 00000358: CALLDATALOAD 00000359: SWAP1 0000035a: PUSH1 0x40 0000035c: ADD 0000035d: CALLDATALOAD 0000035e: PUSH2 0x0ab5 00000361: JUMP 00000362: JUMPDEST 00000363: CALLVALUE 00000364: DUP1 00000365: ISZERO 00000366: PUSH2 0x036e 00000369: JUMPI 0000036a: PUSH1 0x00 0000036c: DUP1 0000036d: REVERT 0000036e: JUMPDEST 0000036f: POP 00000370: PUSH2 0x021a 00000373: PUSH2 0x0da9 00000376: JUMP 00000377: JUMPDEST 00000378: CALLVALUE 00000379: DUP1 0000037a: ISZERO 0000037b: PUSH2 0x0383 0000037e: JUMPI 0000037f: PUSH1 0x00 00000381: DUP1 00000382: REVERT 00000383: JUMPDEST 00000384: POP 00000385: PUSH2 0x021a 00000388: PUSH2 0x0dae 0000038b: JUMP 0000038c: JUMPDEST 0000038d: CALLVALUE 0000038e: DUP1 0000038f: ISZERO 00000390: PUSH2 0x0398 00000393: JUMPI 00000394: PUSH1 0x00 00000396: DUP1 00000397: REVERT 00000398: JUMPDEST 00000399: POP 0000039a: PUSH2 0x03a1 0000039d: PUSH2 0x0db4 000003a0: JUMP 000003a1: JUMPDEST 000003a2: PUSH1 0x40 000003a4: DUP1 000003a5: MLOAD 000003a6: PUSH1 0x01 000003a8: PUSH1 0x01 000003aa: PUSH1 0xa0 000003ac: SHL 000003ad: SUB 000003ae: SWAP1 000003af: SWAP3 000003b0: AND 000003b1: DUP3 000003b2: MSTORE 000003b3: MLOAD 000003b4: SWAP1 000003b5: DUP2 000003b6: SWAP1 000003b7: SUB 000003b8: PUSH1 0x20 000003ba: ADD 000003bb: SWAP1 000003bc: RETURN 000003bd: JUMPDEST 000003be: CALLVALUE 000003bf: DUP1 000003c0: ISZERO 000003c1: PUSH2 0x03c9 000003c4: JUMPI 000003c5: PUSH1 0x00 000003c7: DUP1 000003c8: REVERT 000003c9: JUMPDEST 000003ca: POP 000003cb: PUSH2 0x014d 000003ce: PUSH2 0x0dc3 000003d1: JUMP 000003d2: JUMPDEST 000003d3: CALLVALUE 000003d4: DUP1 000003d5: ISZERO 000003d6: PUSH2 0x03de 000003d9: JUMPI 000003da: PUSH1 0x00 000003dc: DUP1 000003dd: REVERT 000003de: JUMPDEST 000003df: POP 000003e0: PUSH2 0x014d 000003e3: PUSH1 0x04 000003e5: DUP1 000003e6: CALLDATASIZE 000003e7: SUB 000003e8: PUSH1 0x20 000003ea: DUP2 000003eb: LT 000003ec: ISZERO 000003ed: PUSH2 0x03f5 000003f0: JUMPI 000003f1: PUSH1 0x00 000003f3: DUP1 000003f4: REVERT 000003f5: JUMPDEST 000003f6: DUP2 000003f7: ADD 000003f8: SWAP1 000003f9: PUSH1 0x20 000003fb: DUP2 000003fc: ADD 000003fd: DUP2 000003fe: CALLDATALOAD 000003ff: PUSH1 0x01 00000401: PUSH1 0x20 00000403: SHL 00000404: DUP2 00000405: GT 00000406: ISZERO 00000407: PUSH2 0x040f 0000040a: JUMPI 0000040b: PUSH1 0x00 0000040d: DUP1 0000040e: REVERT 0000040f: JUMPDEST 00000410: DUP3 00000411: ADD 00000412: DUP4 00000413: PUSH1 0x20 00000415: DUP3 00000416: ADD 00000417: GT 00000418: ISZERO 00000419: PUSH2 0x0421 0000041c: JUMPI 0000041d: PUSH1 0x00 0000041f: DUP1 00000420: REVERT 00000421: JUMPDEST 00000422: DUP1 00000423: CALLDATALOAD 00000424: SWAP1 00000425: PUSH1 0x20 00000427: ADD 00000428: SWAP2 00000429: DUP5 0000042a: PUSH1 0x01 0000042c: DUP4 0000042d: MUL 0000042e: DUP5 0000042f: ADD 00000430: GT 00000431: PUSH1 0x01 00000433: PUSH1 0x20 00000435: SHL 00000436: DUP4 00000437: GT 00000438: OR 00000439: ISZERO 0000043a: PUSH2 0x0442 0000043d: JUMPI 0000043e: PUSH1 0x00 00000440: DUP1 00000441: REVERT 00000442: JUMPDEST 00000443: SWAP2 00000444: SWAP1 00000445: DUP1 00000446: DUP1 00000447: PUSH1 0x1f 00000449: ADD 0000044a: PUSH1 0x20 0000044c: DUP1 0000044d: SWAP2 0000044e: DIV 0000044f: MUL 00000450: PUSH1 0x20 00000452: ADD 00000453: PUSH1 0x40 00000455: MLOAD 00000456: SWAP1 00000457: DUP2 00000458: ADD 00000459: PUSH1 0x40 0000045b: MSTORE 0000045c: DUP1 0000045d: SWAP4 0000045e: SWAP3 0000045f: SWAP2 00000460: SWAP1 00000461: DUP2 00000462: DUP2 00000463: MSTORE 00000464: PUSH1 0x20 00000466: ADD 00000467: DUP4 00000468: DUP4 00000469: DUP1 0000046a: DUP3 0000046b: DUP5 0000046c: CALLDATACOPY 0000046d: PUSH1 0x00 0000046f: SWAP3 00000470: ADD 00000471: SWAP2 00000472: SWAP1 00000473: SWAP2 00000474: MSTORE 00000475: POP 00000476: SWAP3 00000477: SWAP6 00000478: POP 00000479: PUSH2 0x0dd4 0000047c: SWAP5 0000047d: POP 0000047e: POP 0000047f: POP 00000480: POP 00000481: POP 00000482: JUMP 00000483: JUMPDEST 00000484: PUSH2 0x0176 00000487: PUSH1 0x04 00000489: DUP1 0000048a: CALLDATASIZE 0000048b: SUB 0000048c: PUSH1 0x40 0000048e: DUP2 0000048f: LT 00000490: ISZERO 00000491: PUSH2 0x0499 00000494: JUMPI 00000495: PUSH1 0x00 00000497: DUP1 00000498: REVERT 00000499: JUMPDEST 0000049a: DUP2 0000049b: ADD 0000049c: SWAP1 0000049d: PUSH1 0x20 0000049f: DUP2 000004a0: ADD 000004a1: DUP2 000004a2: CALLDATALOAD 000004a3: PUSH1 0x01 000004a5: PUSH1 0x20 000004a7: SHL 000004a8: DUP2 000004a9: GT 000004aa: ISZERO 000004ab: PUSH2 0x04b3 000004ae: JUMPI 000004af: PUSH1 0x00 000004b1: DUP1 000004b2: REVERT 000004b3: JUMPDEST 000004b4: DUP3 000004b5: ADD 000004b6: DUP4 000004b7: PUSH1 0x20 000004b9: DUP3 000004ba: ADD 000004bb: GT 000004bc: ISZERO 000004bd: PUSH2 0x04c5 000004c0: JUMPI 000004c1: PUSH1 0x00 000004c3: DUP1 000004c4: REVERT 000004c5: JUMPDEST 000004c6: DUP1 000004c7: CALLDATALOAD 000004c8: SWAP1 000004c9: PUSH1 0x20 000004cb: ADD 000004cc: SWAP2 000004cd: DUP5 000004ce: PUSH1 0x01 000004d0: DUP4 000004d1: MUL 000004d2: DUP5 000004d3: ADD 000004d4: GT 000004d5: PUSH1 0x01 000004d7: PUSH1 0x20 000004d9: SHL 000004da: DUP4 000004db: GT 000004dc: OR 000004dd: ISZERO 000004de: PUSH2 0x04e6 000004e1: JUMPI 000004e2: PUSH1 0x00 000004e4: DUP1 000004e5: REVERT 000004e6: JUMPDEST 000004e7: SWAP2 000004e8: SWAP4 000004e9: POP 000004ea: SWAP2 000004eb: POP 000004ec: CALLDATALOAD 000004ed: PUSH2 0x0de8 000004f0: JUMP 000004f1: JUMPDEST 000004f2: CALLVALUE 000004f3: DUP1 000004f4: ISZERO 000004f5: PUSH2 0x04fd 000004f8: JUMPI 000004f9: PUSH1 0x00 000004fb: DUP1 000004fc: REVERT 000004fd: JUMPDEST 000004fe: POP 000004ff: PUSH2 0x014d 00000502: PUSH1 0x04 00000504: DUP1 00000505: CALLDATASIZE 00000506: SUB 00000507: PUSH1 0x20 00000509: DUP2 0000050a: LT 0000050b: ISZERO 0000050c: PUSH2 0x0514 0000050f: JUMPI 00000510: PUSH1 0x00 00000512: DUP1 00000513: REVERT 00000514: JUMPDEST 00000515: DUP2 00000516: ADD 00000517: SWAP1 00000518: PUSH1 0x20 0000051a: DUP2 0000051b: ADD 0000051c: DUP2 0000051d: CALLDATALOAD 0000051e: PUSH1 0x01 00000520: PUSH1 0x20 00000522: SHL 00000523: DUP2 00000524: GT 00000525: ISZERO 00000526: PUSH2 0x052e 00000529: JUMPI 0000052a: PUSH1 0x00 0000052c: DUP1 0000052d: REVERT 0000052e: JUMPDEST 0000052f: DUP3 00000530: ADD 00000531: DUP4 00000532: PUSH1 0x20 00000534: DUP3 00000535: ADD 00000536: GT 00000537: ISZERO 00000538: PUSH2 0x0540 0000053b: JUMPI 0000053c: PUSH1 0x00 0000053e: DUP1 0000053f: REVERT 00000540: JUMPDEST 00000541: DUP1 00000542: CALLDATALOAD 00000543: SWAP1 00000544: PUSH1 0x20 00000546: ADD 00000547: SWAP2 00000548: DUP5 00000549: PUSH1 0x01 0000054b: DUP4 0000054c: MUL 0000054d: DUP5 0000054e: ADD 0000054f: GT 00000550: PUSH1 0x01 00000552: PUSH1 0x20 00000554: SHL 00000555: DUP4 00000556: GT 00000557: OR 00000558: ISZERO 00000559: PUSH2 0x0561 0000055c: JUMPI 0000055d: PUSH1 0x00 0000055f: DUP1 00000560: REVERT 00000561: JUMPDEST 00000562: SWAP2 00000563: SWAP1 00000564: DUP1 00000565: DUP1 00000566: PUSH1 0x1f 00000568: ADD 00000569: PUSH1 0x20 0000056b: DUP1 0000056c: SWAP2 0000056d: DIV 0000056e: MUL 0000056f: PUSH1 0x20 00000571: ADD 00000572: PUSH1 0x40 00000574: MLOAD 00000575: SWAP1 00000576: DUP2 00000577: ADD 00000578: PUSH1 0x40 0000057a: MSTORE 0000057b: DUP1 0000057c: SWAP4 0000057d: SWAP3 0000057e: SWAP2 0000057f: SWAP1 00000580: DUP2 00000581: DUP2 00000582: MSTORE 00000583: PUSH1 0x20 00000585: ADD 00000586: DUP4 00000587: DUP4 00000588: DUP1 00000589: DUP3 0000058a: DUP5 0000058b: CALLDATACOPY 0000058c: PUSH1 0x00 0000058e: SWAP3 0000058f: ADD 00000590: SWAP2 00000591: SWAP1 00000592: SWAP2 00000593: MSTORE 00000594: POP 00000595: SWAP3 00000596: SWAP6 00000597: POP 00000598: PUSH2 0x0f8c 0000059b: SWAP5 0000059c: POP 0000059d: POP 0000059e: POP 0000059f: POP 000005a0: POP 000005a1: JUMP 000005a2: JUMPDEST 000005a3: CALLVALUE 000005a4: DUP1 000005a5: ISZERO 000005a6: PUSH2 0x05ae 000005a9: JUMPI 000005aa: PUSH1 0x00 000005ac: DUP1 000005ad: REVERT 000005ae: JUMPDEST 000005af: POP 000005b0: PUSH2 0x021a 000005b3: PUSH2 0x1026 000005b6: JUMP 000005b7: JUMPDEST 000005b8: CALLVALUE 000005b9: DUP1 000005ba: ISZERO 000005bb: PUSH2 0x05c3 000005be: JUMPI 000005bf: PUSH1 0x00 000005c1: DUP1 000005c2: REVERT 000005c3: JUMPDEST 000005c4: POP 000005c5: PUSH2 0x0176 000005c8: PUSH1 0x04 000005ca: DUP1 000005cb: CALLDATASIZE 000005cc: SUB 000005cd: PUSH1 0x20 000005cf: DUP2 000005d0: LT 000005d1: ISZERO 000005d2: PUSH2 0x05da 000005d5: JUMPI 000005d6: PUSH1 0x00 000005d8: DUP1 000005d9: REVERT 000005da: JUMPDEST 000005db: POP 000005dc: CALLDATALOAD 000005dd: PUSH2 0x102c 000005e0: JUMP 000005e1: JUMPDEST 000005e2: CALLVALUE 000005e3: DUP1 000005e4: ISZERO 000005e5: PUSH2 0x05ed 000005e8: JUMPI 000005e9: PUSH1 0x00 000005eb: DUP1 000005ec: REVERT 000005ed: JUMPDEST 000005ee: POP 000005ef: PUSH2 0x0176 000005f2: PUSH1 0x04 000005f4: DUP1 000005f5: CALLDATASIZE 000005f6: SUB 000005f7: PUSH1 0x20 000005f9: DUP2 000005fa: LT 000005fb: ISZERO 000005fc: PUSH2 0x0604 000005ff: JUMPI 00000600: PUSH1 0x00 00000602: DUP1 00000603: REVERT 00000604: JUMPDEST 00000605: POP 00000606: CALLDATALOAD 00000607: PUSH1 0x01 00000609: PUSH1 0x01 0000060b: PUSH1 0xa0 0000060d: SHL 0000060e: SUB 0000060f: AND 00000610: PUSH2 0x105e 00000613: JUMP 00000614: JUMPDEST 00000615: CALLVALUE 00000616: DUP1 00000617: ISZERO 00000618: PUSH2 0x0620 0000061b: JUMPI 0000061c: PUSH1 0x00 0000061e: DUP1 0000061f: REVERT 00000620: JUMPDEST 00000621: POP 00000622: PUSH2 0x021a 00000625: PUSH1 0x04 00000627: DUP1 00000628: CALLDATASIZE 00000629: SUB 0000062a: PUSH1 0x60 0000062c: DUP2 0000062d: LT 0000062e: ISZERO 0000062f: PUSH2 0x0637 00000632: JUMPI 00000633: PUSH1 0x00 00000635: DUP1 00000636: REVERT 00000637: JUMPDEST 00000638: DUP2 00000639: ADD 0000063a: SWAP1 0000063b: PUSH1 0x20 0000063d: DUP2 0000063e: ADD 0000063f: DUP2 00000640: CALLDATALOAD 00000641: PUSH1 0x01 00000643: PUSH1 0x20 00000645: SHL 00000646: DUP2 00000647: GT 00000648: ISZERO 00000649: PUSH2 0x0651 0000064c: JUMPI 0000064d: PUSH1 0x00 0000064f: DUP1 00000650: REVERT 00000651: JUMPDEST 00000652: DUP3 00000653: ADD 00000654: DUP4 00000655: PUSH1 0x20 00000657: DUP3 00000658: ADD 00000659: GT 0000065a: ISZERO 0000065b: PUSH2 0x0663 0000065e: JUMPI 0000065f: PUSH1 0x00 00000661: DUP1 00000662: REVERT 00000663: JUMPDEST 00000664: DUP1 00000665: CALLDATALOAD 00000666: SWAP1 00000667: PUSH1 0x20 00000669: ADD 0000066a: SWAP2 0000066b: DUP5 0000066c: PUSH1 0x01 0000066e: DUP4 0000066f: MUL 00000670: DUP5 00000671: ADD 00000672: GT 00000673: PUSH1 0x01 00000675: PUSH1 0x20 00000677: SHL 00000678: DUP4 00000679: GT 0000067a: OR 0000067b: ISZERO 0000067c: PUSH2 0x0684 0000067f: JUMPI 00000680: PUSH1 0x00 00000682: DUP1 00000683: REVERT 00000684: JUMPDEST 00000685: SWAP2 00000686: SWAP1 00000687: DUP1 00000688: DUP1 00000689: PUSH1 0x1f 0000068b: ADD 0000068c: PUSH1 0x20 0000068e: DUP1 0000068f: SWAP2 00000690: DIV 00000691: MUL 00000692: PUSH1 0x20 00000694: ADD 00000695: PUSH1 0x40 00000697: MLOAD 00000698: SWAP1 00000699: DUP2 0000069a: ADD 0000069b: PUSH1 0x40 0000069d: MSTORE 0000069e: DUP1 0000069f: SWAP4 000006a0: SWAP3 000006a1: SWAP2 000006a2: SWAP1 000006a3: DUP2 000006a4: DUP2 000006a5: MSTORE 000006a6: PUSH1 0x20 000006a8: ADD 000006a9: DUP4 000006aa: DUP4 000006ab: DUP1 000006ac: DUP3 000006ad: DUP5 000006ae: CALLDATACOPY 000006af: PUSH1 0x00 000006b1: SWAP3 000006b2: ADD 000006b3: SWAP2 000006b4: SWAP1 000006b5: SWAP2 000006b6: MSTORE 000006b7: POP 000006b8: SWAP3 000006b9: SWAP6 000006ba: POP 000006bb: POP 000006bc: PUSH1 0x01 000006be: PUSH1 0x01 000006c0: PUSH1 0xa0 000006c2: SHL 000006c3: SUB 000006c4: DUP4 000006c5: CALLDATALOAD 000006c6: AND 000006c7: SWAP4 000006c8: POP 000006c9: POP 000006ca: POP 000006cb: PUSH1 0x20 000006cd: ADD 000006ce: CALLDATALOAD 000006cf: PUSH2 0x1078 000006d2: JUMP 000006d3: JUMPDEST 000006d4: PUSH1 0x40 000006d6: DUP1 000006d7: MLOAD 000006d8: PUSH32 0x737570706f727473496e74657266616365286279746573342900000000000000 000006f9: DUP2 000006fa: MSTORE 000006fb: SWAP1 000006fc: MLOAD 000006fd: SWAP1 000006fe: DUP2 000006ff: SWAP1 00000700: SUB 00000701: PUSH1 0x19 00000703: ADD 00000704: SWAP1 00000705: KECCAK256 00000706: PUSH1 0x00 00000708: SWAP1 00000709: PUSH1 0x01 0000070b: PUSH1 0x01 0000070d: PUSH1 0xe0 0000070f: SHL 00000710: SUB 00000711: NOT 00000712: DUP4 00000713: DUP2 00000714: AND 00000715: SWAP2 00000716: AND 00000717: EQ 00000718: DUP1 00000719: PUSH2 0x0812 0000071c: JUMPI 0000071d: POP 0000071e: PUSH1 0x40 00000720: DUP1 00000721: MLOAD 00000722: PUSH21 0x72656e657728737472696e672c75696e7432353629 00000738: PUSH1 0x58 0000073a: SHL 0000073b: DUP2 0000073c: MSTORE 0000073d: SWAP1 0000073e: MLOAD 0000073f: SWAP1 00000740: DUP2 00000741: SWAP1 00000742: SUB 00000743: PUSH1 0x15 00000745: ADD 00000746: DUP2 00000747: KECCAK256 00000748: SWAP1 00000749: DUP1 0000074a: PUSH1 0x28 0000074c: PUSH2 0x121c 0000074f: DUP3 00000750: CODECOPY 00000751: PUSH1 0x40 00000753: DUP1 00000754: MLOAD 00000755: SWAP2 00000756: DUP3 00000757: SWAP1 00000758: SUB 00000759: PUSH1 0x28 0000075b: ADD 0000075c: DUP3 0000075d: KECCAK256 0000075e: PUSH15 0x636f6d6d6974286279746573333229 0000076e: PUSH1 0x88 00000770: SHL 00000771: DUP4 00000772: MSTORE 00000773: SWAP1 00000774: MLOAD 00000775: SWAP2 00000776: DUP3 00000777: SWAP1 00000778: SUB 00000779: PUSH1 0x0f 0000077b: ADD 0000077c: DUP3 0000077d: KECCAK256 0000077e: SWAP1 0000077f: SWAP3 00000780: POP 00000781: SWAP1 00000782: DUP1 00000783: PUSH1 0x26 00000785: PUSH2 0x1244 00000788: DUP3 00000789: CODECOPY 0000078a: PUSH1 0x26 0000078c: ADD 0000078d: SWAP1 0000078e: POP 0000078f: PUSH1 0x40 00000791: MLOAD 00000792: DUP1 00000793: SWAP2 00000794: SUB 00000795: SWAP1 00000796: KECCAK256 00000797: PUSH1 0x40 00000799: MLOAD 0000079a: DUP1 0000079b: DUP1 0000079c: PUSH17 0x617661696c61626c6528737472696e6729 000007ae: PUSH1 0x78 000007b0: SHL 000007b1: DUP2 000007b2: MSTORE 000007b3: POP 000007b4: PUSH1 0x11 000007b6: ADD 000007b7: SWAP1 000007b8: POP 000007b9: PUSH1 0x40 000007bb: MLOAD 000007bc: DUP1 000007bd: SWAP2 000007be: SUB 000007bf: SWAP1 000007c0: KECCAK256 000007c1: PUSH1 0x40 000007c3: MLOAD 000007c4: DUP1 000007c5: DUP1 000007c6: PUSH32 0x72656e74507269636528737472696e672c75696e743235362900000000000000 000007e7: DUP2 000007e8: MSTORE 000007e9: POP 000007ea: PUSH1 0x19 000007ec: ADD 000007ed: SWAP1 000007ee: POP 000007ef: PUSH1 0x40 000007f1: MLOAD 000007f2: DUP1 000007f3: SWAP2 000007f4: SUB 000007f5: SWAP1 000007f6: KECCAK256 000007f7: XOR 000007f8: XOR 000007f9: XOR 000007fa: XOR 000007fb: XOR 000007fc: PUSH1 0x01 000007fe: PUSH1 0x01 00000800: PUSH1 0xe0 00000802: SHL 00000803: SUB 00000804: NOT 00000805: AND 00000806: DUP3 00000807: PUSH1 0x01 00000809: PUSH1 0x01 0000080b: PUSH1 0xe0 0000080d: SHL 0000080e: SUB 0000080f: NOT 00000810: AND 00000811: EQ 00000812: JUMPDEST 00000813: SWAP3 00000814: SWAP2 00000815: POP 00000816: POP 00000817: JUMP 00000818: JUMPDEST 00000819: PUSH2 0x0820 0000081c: PUSH2 0x0dc3 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH2 0x0829 00000824: JUMPI 00000825: PUSH1 0x00 00000827: DUP1 00000828: REVERT 00000829: JUMPDEST 0000082a: PUSH1 0x40 0000082c: MLOAD 0000082d: CALLER 0000082e: SWAP1 0000082f: ADDRESS 00000830: BALANCE 00000831: DUP1 00000832: ISZERO 00000833: PUSH2 0x08fc 00000836: MUL 00000837: SWAP2 00000838: PUSH1 0x00 0000083a: DUP2 0000083b: DUP2 0000083c: DUP2 0000083d: DUP6 0000083e: DUP9 0000083f: DUP9 00000840: CALL 00000841: SWAP4 00000842: POP 00000843: POP 00000844: POP 00000845: POP 00000846: ISZERO 00000847: DUP1 00000848: ISZERO 00000849: PUSH2 0x0856 0000084c: JUMPI 0000084d: RETURNDATASIZE 0000084e: PUSH1 0x00 00000850: DUP1 00000851: RETURNDATACOPY 00000852: RETURNDATASIZE 00000853: PUSH1 0x00 00000855: REVERT 00000856: JUMPDEST 00000857: POP 00000858: JUMP 00000859: JUMPDEST 0000085a: PUSH2 0x0861 0000085d: PUSH2 0x0dc3 00000860: JUMP 00000861: JUMPDEST 00000862: PUSH2 0x086a 00000865: JUMPI 00000866: PUSH1 0x00 00000868: DUP1 00000869: REVERT 0000086a: JUMPDEST 0000086b: PUSH1 0x02 0000086d: DUP1 0000086e: SLOAD 0000086f: PUSH1 0x01 00000871: PUSH1 0x01 00000873: PUSH1 0xa0 00000875: SHL 00000876: SUB 00000877: NOT 00000878: AND 00000879: PUSH1 0x01 0000087b: PUSH1 0x01 0000087d: PUSH1 0xa0 0000087f: SHL 00000880: SUB 00000881: DUP4 00000882: DUP2 00000883: AND 00000884: SWAP2 00000885: SWAP1 00000886: SWAP2 00000887: OR 00000888: SWAP2 00000889: DUP3 0000088a: SWAP1 0000088b: SSTORE 0000088c: PUSH1 0x40 0000088e: MLOAD 0000088f: SWAP2 00000890: AND 00000891: SWAP1 00000892: PUSH32 0xf261845a790fe29bbd6631e2ca4a5bdc83e6eed7c3271d9590d97287e00e9123 000008b3: SWAP1 000008b4: PUSH1 0x00 000008b6: SWAP1 000008b7: LOG2 000008b8: POP 000008b9: JUMP 000008ba: JUMPDEST 000008bb: PUSH2 0x08c2 000008be: PUSH2 0x0dc3 000008c1: JUMP 000008c2: JUMPDEST 000008c3: PUSH2 0x08cb 000008c6: JUMPI 000008c7: PUSH1 0x00 000008c9: DUP1 000008ca: REVERT 000008cb: JUMPDEST 000008cc: PUSH1 0x00 000008ce: DUP1 000008cf: SLOAD 000008d0: PUSH1 0x40 000008d2: MLOAD 000008d3: PUSH1 0x01 000008d5: PUSH1 0x01 000008d7: PUSH1 0xa0 000008d9: SHL 000008da: SUB 000008db: SWAP1 000008dc: SWAP2 000008dd: AND 000008de: SWAP1 000008df: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000900: SWAP1 00000901: DUP4 00000902: SWAP1 00000903: LOG3 00000904: PUSH1 0x00 00000906: DUP1 00000907: SLOAD 00000908: PUSH1 0x01 0000090a: PUSH1 0x01 0000090c: PUSH1 0xa0 0000090e: SHL 0000090f: SUB 00000910: NOT 00000911: AND 00000912: SWAP1 00000913: SSTORE 00000914: JUMP 00000915: JUMPDEST 00000916: PUSH2 0x091d 00000919: PUSH2 0x0dc3 0000091c: JUMP 0000091d: JUMPDEST 0000091e: PUSH2 0x0926 00000921: JUMPI 00000922: PUSH1 0x00 00000924: DUP1 00000925: REVERT 00000926: JUMPDEST 00000927: PUSH1 0x03 00000929: SWAP2 0000092a: SWAP1 0000092b: SWAP2 0000092c: SSTORE 0000092d: PUSH1 0x04 0000092f: SSTORE 00000930: JUMP 00000931: JUMPDEST 00000932: PUSH1 0x05 00000934: PUSH1 0x20 00000936: MSTORE 00000937: PUSH1 0x00 00000939: SWAP1 0000093a: DUP2 0000093b: MSTORE 0000093c: PUSH1 0x40 0000093e: SWAP1 0000093f: KECCAK256 00000940: SLOAD 00000941: DUP2 00000942: JUMP 00000943: JUMPDEST 00000944: DUP2 00000945: MLOAD 00000946: PUSH1 0x20 00000948: DUP1 00000949: DUP5 0000094a: ADD 0000094b: SWAP2 0000094c: SWAP1 0000094d: SWAP2 0000094e: KECCAK256 0000094f: PUSH1 0x02 00000951: SLOAD 00000952: PUSH1 0x01 00000954: SLOAD 00000955: PUSH1 0x40 00000957: DUP1 00000958: MLOAD 00000959: PUSH4 0x6b727d43 0000095e: PUSH1 0xe1 00000960: SHL 00000961: DUP2 00000962: MSTORE 00000963: PUSH1 0x04 00000965: DUP2 00000966: ADD 00000967: DUP6 00000968: SWAP1 00000969: MSTORE 0000096a: SWAP1 0000096b: MLOAD 0000096c: PUSH1 0x00 0000096e: SWAP6 0000096f: PUSH1 0x01 00000971: PUSH1 0x01 00000973: PUSH1 0xa0 00000975: SHL 00000976: SUB 00000977: SWAP5 00000978: DUP6 00000979: AND 0000097a: SWAP5 0000097b: PUSH4 0x50e9a715 00000980: SWAP5 00000981: DUP11 00000982: SWAP5 00000983: SWAP2 00000984: AND 00000985: SWAP3 00000986: PUSH4 0xd6e4fa86 0000098b: SWAP3 0000098c: PUSH1 0x24 0000098e: DUP1 0000098f: DUP5 00000990: ADD 00000991: SWAP4 00000992: SWAP2 00000993: SWAP3 00000994: SWAP2 00000995: DUP3 00000996: SWAP1 00000997: SUB 00000998: ADD 00000999: DUP2 0000099a: DUP7 0000099b: DUP1 0000099c: EXTCODESIZE 0000099d: ISZERO 0000099e: DUP1 0000099f: ISZERO 000009a0: PUSH2 0x09a8 000009a3: JUMPI 000009a4: PUSH1 0x00 000009a6: DUP1 000009a7: REVERT 000009a8: JUMPDEST 000009a9: POP 000009aa: GAS 000009ab: STATICCALL 000009ac: ISZERO 000009ad: DUP1 000009ae: ISZERO 000009af: PUSH2 0x09bc 000009b2: JUMPI 000009b3: RETURNDATASIZE 000009b4: PUSH1 0x00 000009b6: DUP1 000009b7: RETURNDATACOPY 000009b8: RETURNDATASIZE 000009b9: PUSH1 0x00 000009bb: REVERT 000009bc: JUMPDEST 000009bd: POP 000009be: POP 000009bf: POP 000009c0: POP 000009c1: PUSH1 0x40 000009c3: MLOAD 000009c4: RETURNDATASIZE 000009c5: PUSH1 0x20 000009c7: DUP2 000009c8: LT 000009c9: ISZERO 000009ca: PUSH2 0x09d2 000009cd: JUMPI 000009ce: PUSH1 0x00 000009d0: DUP1 000009d1: REVERT 000009d2: JUMPDEST 000009d3: POP 000009d4: MLOAD 000009d5: PUSH1 0x40 000009d7: MLOAD 000009d8: PUSH1 0x01 000009da: PUSH1 0x01 000009dc: PUSH1 0xe0 000009de: SHL 000009df: SUB 000009e0: NOT 000009e1: PUSH1 0xe0 000009e3: DUP6 000009e4: SWAP1 000009e5: SHL 000009e6: AND 000009e7: DUP2 000009e8: MSTORE 000009e9: PUSH1 0x24 000009eb: DUP2 000009ec: ADD 000009ed: DUP3 000009ee: SWAP1 000009ef: MSTORE 000009f0: PUSH1 0x44 000009f2: DUP2 000009f3: ADD 000009f4: DUP9 000009f5: SWAP1 000009f6: MSTORE 000009f7: PUSH1 0x60 000009f9: PUSH1 0x04 000009fb: DUP3 000009fc: ADD 000009fd: SWAP1 000009fe: DUP2 000009ff: MSTORE 00000a00: DUP4 00000a01: MLOAD 00000a02: PUSH1 0x64 00000a04: DUP4 00000a05: ADD 00000a06: MSTORE 00000a07: DUP4 00000a08: MLOAD 00000a09: DUP10 00000a0a: SWAP3 00000a0b: DUP3 00000a0c: SWAP2 00000a0d: PUSH1 0x84 00000a0f: SWAP1 00000a10: SWAP2 00000a11: ADD 00000a12: SWAP1 00000a13: PUSH1 0x20 00000a15: DUP8 00000a16: ADD 00000a17: SWAP1 00000a18: DUP1 00000a19: DUP4 00000a1a: DUP4 00000a1b: PUSH1 0x00 00000a1d: JUMPDEST 00000a1e: DUP4 00000a1f: DUP2 00000a20: LT 00000a21: ISZERO 00000a22: PUSH2 0x0a35 00000a25: JUMPI 00000a26: DUP2 00000a27: DUP2 00000a28: ADD 00000a29: MLOAD 00000a2a: DUP4 00000a2b: DUP3 00000a2c: ADD 00000a2d: MSTORE 00000a2e: PUSH1 0x20 00000a30: ADD 00000a31: PUSH2 0x0a1d 00000a34: JUMP 00000a35: JUMPDEST 00000a36: POP 00000a37: POP 00000a38: POP 00000a39: POP 00000a3a: SWAP1 00000a3b: POP 00000a3c: SWAP1 00000a3d: DUP2 00000a3e: ADD 00000a3f: SWAP1 00000a40: PUSH1 0x1f 00000a42: AND 00000a43: DUP1 00000a44: ISZERO 00000a45: PUSH2 0x0a62 00000a48: JUMPI 00000a49: DUP1 00000a4a: DUP3 00000a4b: SUB 00000a4c: DUP1 00000a4d: MLOAD 00000a4e: PUSH1 0x01 00000a50: DUP4 00000a51: PUSH1 0x20 00000a53: SUB 00000a54: PUSH2 0x0100 00000a57: EXP 00000a58: SUB 00000a59: NOT 00000a5a: AND 00000a5b: DUP2 00000a5c: MSTORE 00000a5d: PUSH1 0x20 00000a5f: ADD 00000a60: SWAP2 00000a61: POP 00000a62: JUMPDEST 00000a63: POP 00000a64: SWAP5 00000a65: POP 00000a66: POP 00000a67: POP 00000a68: POP 00000a69: POP 00000a6a: PUSH1 0x20 00000a6c: PUSH1 0x40 00000a6e: MLOAD 00000a6f: DUP1 00000a70: DUP4 00000a71: SUB 00000a72: DUP2 00000a73: DUP7 00000a74: DUP1 00000a75: EXTCODESIZE 00000a76: ISZERO 00000a77: DUP1 00000a78: ISZERO 00000a79: PUSH2 0x0a81 00000a7c: JUMPI 00000a7d: PUSH1 0x00 00000a7f: DUP1 00000a80: REVERT 00000a81: JUMPDEST 00000a82: POP 00000a83: GAS 00000a84: STATICCALL 00000a85: ISZERO 00000a86: DUP1 00000a87: ISZERO 00000a88: PUSH2 0x0a95 00000a8b: JUMPI 00000a8c: RETURNDATASIZE 00000a8d: PUSH1 0x00 00000a8f: DUP1 00000a90: RETURNDATACOPY 00000a91: RETURNDATASIZE 00000a92: PUSH1 0x00 00000a94: REVERT 00000a95: JUMPDEST 00000a96: POP 00000a97: POP 00000a98: POP 00000a99: POP 00000a9a: PUSH1 0x40 00000a9c: MLOAD 00000a9d: RETURNDATASIZE 00000a9e: PUSH1 0x20 00000aa0: DUP2 00000aa1: LT 00000aa2: ISZERO 00000aa3: PUSH2 0x0aab 00000aa6: JUMPI 00000aa7: PUSH1 0x00 00000aa9: DUP1 00000aaa: REVERT 00000aab: JUMPDEST 00000aac: POP 00000aad: MLOAD 00000aae: SWAP5 00000aaf: SWAP4 00000ab0: POP 00000ab1: POP 00000ab2: POP 00000ab3: POP 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: PUSH1 0x00 00000ab8: PUSH2 0x0afa 00000abb: DUP7 00000abc: DUP7 00000abd: DUP1 00000abe: DUP1 00000abf: PUSH1 0x1f 00000ac1: ADD 00000ac2: PUSH1 0x20 00000ac4: DUP1 00000ac5: SWAP2 00000ac6: DIV 00000ac7: MUL 00000ac8: PUSH1 0x20 00000aca: ADD 00000acb: PUSH1 0x40 00000acd: MLOAD 00000ace: SWAP1 00000acf: DUP2 00000ad0: ADD 00000ad1: PUSH1 0x40 00000ad3: MSTORE 00000ad4: DUP1 00000ad5: SWAP4 00000ad6: SWAP3 00000ad7: SWAP2 00000ad8: SWAP1 00000ad9: DUP2 00000ada: DUP2 00000adb: MSTORE 00000adc: PUSH1 0x20 00000ade: ADD 00000adf: DUP4 00000ae0: DUP4 00000ae1: DUP1 00000ae2: DUP3 00000ae3: DUP5 00000ae4: CALLDATACOPY 00000ae5: PUSH1 0x00 00000ae7: SWAP3 00000ae8: ADD 00000ae9: SWAP2 00000aea: SWAP1 00000aeb: SWAP2 00000aec: MSTORE 00000aed: POP 00000aee: DUP9 00000aef: SWAP3 00000af0: POP 00000af1: DUP7 00000af2: SWAP2 00000af3: POP 00000af4: PUSH2 0x1078 00000af7: SWAP1 00000af8: POP 00000af9: JUMP 00000afa: JUMPDEST 00000afb: PUSH1 0x03 00000afd: SLOAD 00000afe: PUSH1 0x00 00000b00: DUP3 00000b01: DUP2 00000b02: MSTORE 00000b03: PUSH1 0x05 00000b05: PUSH1 0x20 00000b07: MSTORE 00000b08: PUSH1 0x40 00000b0a: SWAP1 00000b0b: KECCAK256 00000b0c: SLOAD 00000b0d: SWAP2 00000b0e: SWAP3 00000b0f: POP 00000b10: TIMESTAMP 00000b11: SWAP2 00000b12: ADD 00000b13: GT 00000b14: ISZERO 00000b15: PUSH2 0x0b1d 00000b18: JUMPI 00000b19: PUSH1 0x00 00000b1b: DUP1 00000b1c: REVERT 00000b1d: JUMPDEST 00000b1e: PUSH1 0x04 00000b20: SLOAD 00000b21: PUSH1 0x00 00000b23: DUP3 00000b24: DUP2 00000b25: MSTORE 00000b26: PUSH1 0x05 00000b28: PUSH1 0x20 00000b2a: MSTORE 00000b2b: PUSH1 0x40 00000b2d: SWAP1 00000b2e: KECCAK256 00000b2f: SLOAD 00000b30: TIMESTAMP 00000b31: SWAP2 00000b32: ADD 00000b33: GT 00000b34: PUSH2 0x0b3c 00000b37: JUMPI 00000b38: PUSH1 0x00 00000b3a: DUP1 00000b3b: REVERT 00000b3c: JUMPDEST 00000b3d: PUSH2 0x0b7b 00000b40: DUP7 00000b41: DUP7 00000b42: DUP1 00000b43: DUP1 00000b44: PUSH1 0x1f 00000b46: ADD 00000b47: PUSH1 0x20 00000b49: DUP1 00000b4a: SWAP2 00000b4b: DIV 00000b4c: MUL 00000b4d: PUSH1 0x20 00000b4f: ADD 00000b50: PUSH1 0x40 00000b52: MLOAD 00000b53: SWAP1 00000b54: DUP2 00000b55: ADD 00000b56: PUSH1 0x40 00000b58: MSTORE 00000b59: DUP1 00000b5a: SWAP4 00000b5b: SWAP3 00000b5c: SWAP2 00000b5d: SWAP1 00000b5e: DUP2 00000b5f: DUP2 00000b60: MSTORE 00000b61: PUSH1 0x20 00000b63: ADD 00000b64: DUP4 00000b65: DUP4 00000b66: DUP1 00000b67: DUP3 00000b68: DUP5 00000b69: CALLDATACOPY 00000b6a: PUSH1 0x00 00000b6c: SWAP3 00000b6d: ADD 00000b6e: SWAP2 00000b6f: SWAP1 00000b70: SWAP2 00000b71: MSTORE 00000b72: POP 00000b73: PUSH2 0x0f8c 00000b76: SWAP3 00000b77: POP 00000b78: POP 00000b79: POP 00000b7a: JUMP 00000b7b: JUMPDEST 00000b7c: PUSH2 0x0b84 00000b7f: JUMPI 00000b80: PUSH1 0x00 00000b82: DUP1 00000b83: REVERT 00000b84: JUMPDEST 00000b85: PUSH1 0x00 00000b87: DUP2 00000b88: DUP2 00000b89: MSTORE 00000b8a: PUSH1 0x05 00000b8c: PUSH1 0x20 00000b8e: SWAP1 00000b8f: DUP2 00000b90: MSTORE 00000b91: PUSH1 0x40 00000b93: DUP1 00000b94: DUP4 00000b95: KECCAK256 00000b96: DUP4 00000b97: SWAP1 00000b98: SSTORE 00000b99: DUP1 00000b9a: MLOAD 00000b9b: PUSH1 0x1f 00000b9d: DUP10 00000b9e: ADD 00000b9f: DUP4 00000ba0: SWAP1 00000ba1: DIV 00000ba2: DUP4 00000ba3: MUL 00000ba4: DUP2 00000ba5: ADD 00000ba6: DUP4 00000ba7: ADD 00000ba8: SWAP1 00000ba9: SWAP2 00000baa: MSTORE 00000bab: DUP8 00000bac: DUP2 00000bad: MSTORE 00000bae: PUSH2 0x0bd3 00000bb1: SWAP2 00000bb2: DUP10 00000bb3: SWAP1 00000bb4: DUP10 00000bb5: SWAP1 00000bb6: DUP2 00000bb7: SWAP1 00000bb8: DUP5 00000bb9: ADD 00000bba: DUP4 00000bbb: DUP3 00000bbc: DUP1 00000bbd: DUP3 00000bbe: DUP5 00000bbf: CALLDATACOPY 00000bc0: PUSH1 0x00 00000bc2: SWAP3 00000bc3: ADD 00000bc4: SWAP2 00000bc5: SWAP1 00000bc6: SWAP2 00000bc7: MSTORE 00000bc8: POP 00000bc9: DUP9 00000bca: SWAP3 00000bcb: POP 00000bcc: PUSH2 0x0943 00000bcf: SWAP2 00000bd0: POP 00000bd1: POP 00000bd2: JUMP 00000bd3: JUMPDEST 00000bd4: SWAP1 00000bd5: POP 00000bd6: DUP1 00000bd7: CALLVALUE 00000bd8: LT 00000bd9: ISZERO 00000bda: PUSH2 0x0be2 00000bdd: JUMPI 00000bde: PUSH1 0x00 00000be0: DUP1 00000be1: REVERT 00000be2: JUMPDEST 00000be3: PUSH1 0x00 00000be5: DUP8 00000be6: DUP8 00000be7: PUSH1 0x40 00000be9: MLOAD 00000bea: DUP1 00000beb: DUP4 00000bec: DUP4 00000bed: DUP1 00000bee: DUP3 00000bef: DUP5 00000bf0: CALLDATACOPY 00000bf1: PUSH1 0x40 00000bf3: DUP1 00000bf4: MLOAD 00000bf5: SWAP4 00000bf6: SWAP1 00000bf7: SWAP2 00000bf8: ADD 00000bf9: DUP4 00000bfa: SWAP1 00000bfb: SUB 00000bfc: DUP4 00000bfd: KECCAK256 00000bfe: PUSH1 0x01 00000c00: SLOAD 00000c01: PUSH4 0x3f2891eb 00000c06: PUSH1 0xe2 00000c08: SHL 00000c09: DUP6 00000c0a: MSTORE 00000c0b: PUSH1 0x04 00000c0d: DUP6 00000c0e: ADD 00000c0f: DUP3 00000c10: SWAP1 00000c11: MSTORE 00000c12: PUSH1 0x01 00000c14: PUSH1 0x01 00000c16: PUSH1 0xa0 00000c18: SHL 00000c19: SUB 00000c1a: DUP15 00000c1b: DUP2 00000c1c: AND 00000c1d: PUSH1 0x24 00000c1f: DUP8 00000c20: ADD 00000c21: MSTORE 00000c22: PUSH1 0x44 00000c24: DUP7 00000c25: ADD 00000c26: DUP15 00000c27: SWAP1 00000c28: MSTORE 00000c29: SWAP3 00000c2a: MLOAD 00000c2b: SWAP2 00000c2c: SWAP9 00000c2d: POP 00000c2e: PUSH1 0x00 00000c30: SWAP8 00000c31: POP 00000c32: SWAP2 00000c33: SWAP1 00000c34: SWAP2 00000c35: AND 00000c36: SWAP5 00000c37: POP 00000c38: PUSH4 0xfca247ac 00000c3d: SWAP4 00000c3e: POP 00000c3f: PUSH1 0x64 00000c41: DUP1 00000c42: DUP5 00000c43: ADD 00000c44: SWAP4 00000c45: PUSH1 0x20 00000c47: SWAP4 00000c48: POP 00000c49: DUP3 00000c4a: SWAP1 00000c4b: SUB 00000c4c: ADD 00000c4d: DUP2 00000c4e: DUP8 00000c4f: DUP8 00000c50: DUP1 00000c51: EXTCODESIZE 00000c52: ISZERO 00000c53: DUP1 00000c54: ISZERO 00000c55: PUSH2 0x0c5d 00000c58: JUMPI 00000c59: PUSH1 0x00 00000c5b: DUP1 00000c5c: REVERT 00000c5d: JUMPDEST 00000c5e: POP 00000c5f: GAS 00000c60: CALL 00000c61: ISZERO 00000c62: DUP1 00000c63: ISZERO 00000c64: PUSH2 0x0c71 00000c67: JUMPI 00000c68: RETURNDATASIZE 00000c69: PUSH1 0x00 00000c6b: DUP1 00000c6c: RETURNDATACOPY 00000c6d: RETURNDATASIZE 00000c6e: PUSH1 0x00 00000c70: REVERT 00000c71: JUMPDEST 00000c72: POP 00000c73: POP 00000c74: POP 00000c75: POP 00000c76: PUSH1 0x40 00000c78: MLOAD 00000c79: RETURNDATASIZE 00000c7a: PUSH1 0x20 00000c7c: DUP2 00000c7d: LT 00000c7e: ISZERO 00000c7f: PUSH2 0x0c87 00000c82: JUMPI 00000c83: PUSH1 0x00 00000c85: DUP1 00000c86: REVERT 00000c87: JUMPDEST 00000c88: POP 00000c89: MLOAD 00000c8a: PUSH1 0x02 00000c8c: SLOAD 00000c8d: PUSH1 0x40 00000c8f: DUP1 00000c90: MLOAD 00000c91: PUSH4 0xfcd00099 00000c96: PUSH1 0xe0 00000c98: SHL 00000c99: DUP2 00000c9a: MSTORE 00000c9b: SWAP1 00000c9c: MLOAD 00000c9d: SWAP3 00000c9e: SWAP4 00000c9f: POP 00000ca0: PUSH1 0x01 00000ca2: PUSH1 0x01 00000ca4: PUSH1 0xa0 00000ca6: SHL 00000ca7: SUB 00000ca8: SWAP1 00000ca9: SWAP2 00000caa: AND 00000cab: SWAP2 00000cac: PUSH4 0xfcd00099 00000cb1: SWAP2 00000cb2: PUSH1 0x04 00000cb4: DUP1 00000cb5: DUP3 00000cb6: ADD 00000cb7: SWAP3 00000cb8: PUSH1 0x00 00000cba: SWAP3 00000cbb: SWAP1 00000cbc: SWAP2 00000cbd: SWAP1 00000cbe: DUP3 00000cbf: SWAP1 00000cc0: SUB 00000cc1: ADD 00000cc2: DUP2 00000cc3: DUP4 00000cc4: DUP8 00000cc5: DUP1 00000cc6: EXTCODESIZE 00000cc7: ISZERO 00000cc8: DUP1 00000cc9: ISZERO 00000cca: PUSH2 0x0cd2 00000ccd: JUMPI 00000cce: PUSH1 0x00 00000cd0: DUP1 00000cd1: REVERT 00000cd2: JUMPDEST 00000cd3: POP 00000cd4: GAS 00000cd5: CALL 00000cd6: ISZERO 00000cd7: DUP1 00000cd8: ISZERO 00000cd9: PUSH2 0x0ce6 00000cdc: JUMPI 00000cdd: RETURNDATASIZE 00000cde: PUSH1 0x00 00000ce0: DUP1 00000ce1: RETURNDATACOPY 00000ce2: RETURNDATASIZE 00000ce3: PUSH1 0x00 00000ce5: REVERT 00000ce6: JUMPDEST 00000ce7: POP 00000ce8: POP 00000ce9: POP 00000cea: POP 00000ceb: DUP7 00000cec: PUSH1 0x01 00000cee: PUSH1 0x01 00000cf0: PUSH1 0xa0 00000cf2: SHL 00000cf3: SUB 00000cf4: AND 00000cf5: DUP3 00000cf6: PUSH32 0xca6abbe9d7f11422cb6ca7629fbf6fe9efb1c621f71ce8f02b9f2a230097404f 00000d17: DUP12 00000d18: DUP12 00000d19: DUP8 00000d1a: DUP7 00000d1b: PUSH1 0x40 00000d1d: MLOAD 00000d1e: DUP1 00000d1f: DUP1 00000d20: PUSH1 0x20 00000d22: ADD 00000d23: DUP5 00000d24: DUP2 00000d25: MSTORE 00000d26: PUSH1 0x20 00000d28: ADD 00000d29: DUP4 00000d2a: DUP2 00000d2b: MSTORE 00000d2c: PUSH1 0x20 00000d2e: ADD 00000d2f: DUP3 00000d30: DUP2 00000d31: SUB 00000d32: DUP3 00000d33: MSTORE 00000d34: DUP7 00000d35: DUP7 00000d36: DUP3 00000d37: DUP2 00000d38: DUP2 00000d39: MSTORE 00000d3a: PUSH1 0x20 00000d3c: ADD 00000d3d: SWAP3 00000d3e: POP 00000d3f: DUP1 00000d40: DUP3 00000d41: DUP5 00000d42: CALLDATACOPY 00000d43: PUSH1 0x00 00000d45: DUP4 00000d46: DUP3 00000d47: ADD 00000d48: MSTORE 00000d49: PUSH1 0x40 00000d4b: MLOAD 00000d4c: PUSH1 0x1f 00000d4e: SWAP1 00000d4f: SWAP2 00000d50: ADD 00000d51: PUSH1 0x1f 00000d53: NOT 00000d54: AND 00000d55: SWAP1 00000d56: SWAP3 00000d57: ADD 00000d58: DUP3 00000d59: SWAP1 00000d5a: SUB 00000d5b: SWAP8 00000d5c: POP 00000d5d: SWAP1 00000d5e: SWAP6 00000d5f: POP 00000d60: POP 00000d61: POP 00000d62: POP 00000d63: POP 00000d64: POP 00000d65: LOG3 00000d66: DUP3 00000d67: CALLVALUE 00000d68: GT 00000d69: ISZERO 00000d6a: PUSH2 0x0d9e 00000d6d: JUMPI 00000d6e: PUSH1 0x40 00000d70: MLOAD 00000d71: CALLER 00000d72: SWAP1 00000d73: CALLVALUE 00000d74: DUP6 00000d75: SWAP1 00000d76: SUB 00000d77: DUP1 00000d78: ISZERO 00000d79: PUSH2 0x08fc 00000d7c: MUL 00000d7d: SWAP2 00000d7e: PUSH1 0x00 00000d80: DUP2 00000d81: DUP2 00000d82: DUP2 00000d83: DUP6 00000d84: DUP9 00000d85: DUP9 00000d86: CALL 00000d87: SWAP4 00000d88: POP 00000d89: POP 00000d8a: POP 00000d8b: POP 00000d8c: ISZERO 00000d8d: DUP1 00000d8e: ISZERO 00000d8f: PUSH2 0x0d9c 00000d92: JUMPI 00000d93: RETURNDATASIZE 00000d94: PUSH1 0x00 00000d96: DUP1 00000d97: RETURNDATACOPY 00000d98: RETURNDATASIZE 00000d99: PUSH1 0x00 00000d9b: REVERT 00000d9c: JUMPDEST 00000d9d: POP 00000d9e: JUMPDEST 00000d9f: POP 00000da0: POP 00000da1: POP 00000da2: POP 00000da3: POP 00000da4: POP 00000da5: POP 00000da6: POP 00000da7: POP 00000da8: JUMP 00000da9: JUMPDEST 00000daa: PUSH1 0x00 00000dac: DUP2 00000dad: JUMP 00000dae: JUMPDEST 00000daf: PUSH1 0x03 00000db1: SLOAD 00000db2: DUP2 00000db3: JUMP 00000db4: JUMPDEST 00000db5: PUSH1 0x00 00000db7: SLOAD 00000db8: PUSH1 0x01 00000dba: PUSH1 0x01 00000dbc: PUSH1 0xa0 00000dbe: SHL 00000dbf: SUB 00000dc0: AND 00000dc1: SWAP1 00000dc2: JUMP 00000dc3: JUMPDEST 00000dc4: PUSH1 0x00 00000dc6: SLOAD 00000dc7: PUSH1 0x01 00000dc9: PUSH1 0x01 00000dcb: PUSH1 0xa0 00000dcd: SHL 00000dce: SUB 00000dcf: AND 00000dd0: CALLER 00000dd1: EQ 00000dd2: SWAP1 00000dd3: JUMP 00000dd4: JUMPDEST 00000dd5: PUSH1 0x00 00000dd7: PUSH1 0x03 00000dd9: PUSH2 0x0de1 00000ddc: DUP4 00000ddd: PUSH2 0x10c5 00000de0: JUMP 00000de1: JUMPDEST 00000de2: GT 00000de3: SWAP3 00000de4: SWAP2 00000de5: POP 00000de6: POP 00000de7: JUMP 00000de8: JUMPDEST 00000de9: PUSH1 0x00 00000deb: PUSH2 0x0e2b 00000dee: DUP5 00000def: DUP5 00000df0: DUP1 00000df1: DUP1 00000df2: PUSH1 0x1f 00000df4: ADD 00000df5: PUSH1 0x20 00000df7: DUP1 00000df8: SWAP2 00000df9: DIV 00000dfa: MUL 00000dfb: PUSH1 0x20 00000dfd: ADD 00000dfe: PUSH1 0x40 00000e00: MLOAD 00000e01: SWAP1 00000e02: DUP2 00000e03: ADD 00000e04: PUSH1 0x40 00000e06: MSTORE 00000e07: DUP1 00000e08: SWAP4 00000e09: SWAP3 00000e0a: SWAP2 00000e0b: SWAP1 00000e0c: DUP2 00000e0d: DUP2 00000e0e: MSTORE 00000e0f: PUSH1 0x20 00000e11: ADD 00000e12: DUP4 00000e13: DUP4 00000e14: DUP1 00000e15: DUP3 00000e16: DUP5 00000e17: CALLDATACOPY 00000e18: PUSH1 0x00 00000e1a: SWAP3 00000e1b: ADD 00000e1c: SWAP2 00000e1d: SWAP1 00000e1e: SWAP2 00000e1f: MSTORE 00000e20: POP 00000e21: DUP7 00000e22: SWAP3 00000e23: POP 00000e24: PUSH2 0x0943 00000e27: SWAP2 00000e28: POP 00000e29: POP 00000e2a: JUMP 00000e2b: JUMPDEST 00000e2c: SWAP1 00000e2d: POP 00000e2e: DUP1 00000e2f: CALLVALUE 00000e30: LT 00000e31: ISZERO 00000e32: PUSH2 0x0e3a 00000e35: JUMPI 00000e36: PUSH1 0x00 00000e38: DUP1 00000e39: REVERT 00000e3a: JUMPDEST 00000e3b: PUSH1 0x00 00000e3d: DUP5 00000e3e: DUP5 00000e3f: PUSH1 0x40 00000e41: MLOAD 00000e42: DUP1 00000e43: DUP4 00000e44: DUP4 00000e45: DUP1 00000e46: DUP3 00000e47: DUP5 00000e48: CALLDATACOPY 00000e49: PUSH1 0x40 00000e4b: DUP1 00000e4c: MLOAD 00000e4d: SWAP4 00000e4e: SWAP1 00000e4f: SWAP2 00000e50: ADD 00000e51: DUP4 00000e52: SWAP1 00000e53: SUB 00000e54: DUP4 00000e55: KECCAK256 00000e56: PUSH1 0x01 00000e58: SLOAD 00000e59: PUSH4 0xc475abff 00000e5e: PUSH1 0xe0 00000e60: SHL 00000e61: DUP6 00000e62: MSTORE 00000e63: PUSH1 0x04 00000e65: DUP6 00000e66: ADD 00000e67: DUP3 00000e68: SWAP1 00000e69: MSTORE 00000e6a: PUSH1 0x24 00000e6c: DUP6 00000e6d: ADD 00000e6e: DUP12 00000e6f: SWAP1 00000e70: MSTORE 00000e71: SWAP2 00000e72: MLOAD 00000e73: SWAP1 00000e74: SWAP8 00000e75: POP 00000e76: PUSH1 0x00 00000e78: SWAP7 00000e79: POP 00000e7a: PUSH1 0x01 00000e7c: PUSH1 0x01 00000e7e: PUSH1 0xa0 00000e80: SHL 00000e81: SUB 00000e82: SWAP1 00000e83: SWAP2 00000e84: AND 00000e85: SWAP5 00000e86: POP 00000e87: PUSH4 0xc475abff 00000e8c: SWAP4 00000e8d: POP 00000e8e: PUSH1 0x44 00000e90: DUP1 00000e91: DUP5 00000e92: ADD 00000e93: SWAP4 00000e94: PUSH1 0x20 00000e96: SWAP4 00000e97: POP 00000e98: DUP3 00000e99: SWAP1 00000e9a: SUB 00000e9b: ADD 00000e9c: DUP2 00000e9d: DUP8 00000e9e: DUP8 00000e9f: DUP1 00000ea0: EXTCODESIZE 00000ea1: ISZERO 00000ea2: DUP1 00000ea3: ISZERO 00000ea4: PUSH2 0x0eac 00000ea7: JUMPI 00000ea8: PUSH1 0x00 00000eaa: DUP1 00000eab: REVERT 00000eac: JUMPDEST 00000ead: POP 00000eae: GAS 00000eaf: CALL 00000eb0: ISZERO 00000eb1: DUP1 00000eb2: ISZERO 00000eb3: PUSH2 0x0ec0 00000eb6: JUMPI 00000eb7: RETURNDATASIZE 00000eb8: PUSH1 0x00 00000eba: DUP1 00000ebb: RETURNDATACOPY 00000ebc: RETURNDATASIZE 00000ebd: PUSH1 0x00 00000ebf: REVERT 00000ec0: JUMPDEST 00000ec1: POP 00000ec2: POP 00000ec3: POP 00000ec4: POP 00000ec5: PUSH1 0x40 00000ec7: MLOAD 00000ec8: RETURNDATASIZE 00000ec9: PUSH1 0x20 00000ecb: DUP2 00000ecc: LT 00000ecd: ISZERO 00000ece: PUSH2 0x0ed6 00000ed1: JUMPI 00000ed2: PUSH1 0x00 00000ed4: DUP1 00000ed5: REVERT 00000ed6: JUMPDEST 00000ed7: POP 00000ed8: MLOAD 00000ed9: SWAP1 00000eda: POP 00000edb: CALLVALUE 00000edc: DUP4 00000edd: LT 00000ede: ISZERO 00000edf: PUSH2 0x0f13 00000ee2: JUMPI 00000ee3: PUSH1 0x40 00000ee5: MLOAD 00000ee6: CALLER 00000ee7: SWAP1 00000ee8: CALLVALUE 00000ee9: DUP6 00000eea: SWAP1 00000eeb: SUB 00000eec: DUP1 00000eed: ISZERO 00000eee: PUSH2 0x08fc 00000ef1: MUL 00000ef2: SWAP2 00000ef3: PUSH1 0x00 00000ef5: DUP2 00000ef6: DUP2 00000ef7: DUP2 00000ef8: DUP6 00000ef9: DUP9 00000efa: DUP9 00000efb: CALL 00000efc: SWAP4 00000efd: POP 00000efe: POP 00000eff: POP 00000f00: POP 00000f01: ISZERO 00000f02: DUP1 00000f03: ISZERO 00000f04: PUSH2 0x0f11 00000f07: JUMPI 00000f08: RETURNDATASIZE 00000f09: PUSH1 0x00 00000f0b: DUP1 00000f0c: RETURNDATACOPY 00000f0d: RETURNDATASIZE 00000f0e: PUSH1 0x00 00000f10: REVERT 00000f11: JUMPDEST 00000f12: POP 00000f13: JUMPDEST 00000f14: DUP2 00000f15: PUSH32 0x3da24c024582931cfaf8267d8ed24d13a82a8068d5bd337d30ec45cea4e506ae 00000f36: DUP8 00000f37: DUP8 00000f38: DUP7 00000f39: DUP6 00000f3a: PUSH1 0x40 00000f3c: MLOAD 00000f3d: DUP1 00000f3e: DUP1 00000f3f: PUSH1 0x20 00000f41: ADD 00000f42: DUP5 00000f43: DUP2 00000f44: MSTORE 00000f45: PUSH1 0x20 00000f47: ADD 00000f48: DUP4 00000f49: DUP2 00000f4a: MSTORE 00000f4b: PUSH1 0x20 00000f4d: ADD 00000f4e: DUP3 00000f4f: DUP2 00000f50: SUB 00000f51: DUP3 00000f52: MSTORE 00000f53: DUP7 00000f54: DUP7 00000f55: DUP3 00000f56: DUP2 00000f57: DUP2 00000f58: MSTORE 00000f59: PUSH1 0x20 00000f5b: ADD 00000f5c: SWAP3 00000f5d: POP 00000f5e: DUP1 00000f5f: DUP3 00000f60: DUP5 00000f61: CALLDATACOPY 00000f62: PUSH1 0x00 00000f64: DUP4 00000f65: DUP3 00000f66: ADD 00000f67: MSTORE 00000f68: PUSH1 0x40 00000f6a: MLOAD 00000f6b: PUSH1 0x1f 00000f6d: SWAP1 00000f6e: SWAP2 00000f6f: ADD 00000f70: PUSH1 0x1f 00000f72: NOT 00000f73: AND 00000f74: SWAP1 00000f75: SWAP3 00000f76: ADD 00000f77: DUP3 00000f78: SWAP1 00000f79: SUB 00000f7a: SWAP8 00000f7b: POP 00000f7c: SWAP1 00000f7d: SWAP6 00000f7e: POP 00000f7f: POP 00000f80: POP 00000f81: POP 00000f82: POP 00000f83: POP 00000f84: LOG2 00000f85: POP 00000f86: POP 00000f87: POP 00000f88: POP 00000f89: POP 00000f8a: POP 00000f8b: JUMP 00000f8c: JUMPDEST 00000f8d: DUP1 00000f8e: MLOAD 00000f8f: PUSH1 0x20 00000f91: DUP3 00000f92: ADD 00000f93: KECCAK256 00000f94: PUSH1 0x00 00000f96: SWAP1 00000f97: PUSH2 0x0f9f 00000f9a: DUP4 00000f9b: PUSH2 0x0dd4 00000f9e: JUMP 00000f9f: JUMPDEST 00000fa0: DUP1 00000fa1: ISZERO 00000fa2: PUSH2 0x101f 00000fa5: JUMPI 00000fa6: POP 00000fa7: PUSH1 0x01 00000fa9: SLOAD 00000faa: PUSH1 0x40 00000fac: DUP1 00000fad: MLOAD 00000fae: PUSH4 0x12dc929d 00000fb3: PUSH1 0xe3 00000fb5: SHL 00000fb6: DUP2 00000fb7: MSTORE 00000fb8: PUSH1 0x04 00000fba: DUP2 00000fbb: ADD 00000fbc: DUP5 00000fbd: SWAP1 00000fbe: MSTORE 00000fbf: SWAP1 00000fc0: MLOAD 00000fc1: PUSH1 0x01 00000fc3: PUSH1 0x01 00000fc5: PUSH1 0xa0 00000fc7: SHL 00000fc8: SUB 00000fc9: SWAP1 00000fca: SWAP3 00000fcb: AND 00000fcc: SWAP2 00000fcd: PUSH4 0x96e494e8 00000fd2: SWAP2 00000fd3: PUSH1 0x24 00000fd5: DUP1 00000fd6: DUP3 00000fd7: ADD 00000fd8: SWAP3 00000fd9: PUSH1 0x20 00000fdb: SWAP3 00000fdc: SWAP1 00000fdd: SWAP2 00000fde: SWAP1 00000fdf: DUP3 00000fe0: SWAP1 00000fe1: SUB 00000fe2: ADD 00000fe3: DUP2 00000fe4: DUP7 00000fe5: DUP1 00000fe6: EXTCODESIZE 00000fe7: ISZERO 00000fe8: DUP1 00000fe9: ISZERO 00000fea: PUSH2 0x0ff2 00000fed: JUMPI 00000fee: PUSH1 0x00 00000ff0: DUP1 00000ff1: REVERT 00000ff2: JUMPDEST 00000ff3: POP 00000ff4: GAS 00000ff5: STATICCALL 00000ff6: ISZERO 00000ff7: DUP1 00000ff8: ISZERO 00000ff9: PUSH2 0x1006 00000ffc: JUMPI 00000ffd: RETURNDATASIZE 00000ffe: PUSH1 0x00 00001000: DUP1 00001001: RETURNDATACOPY 00001002: RETURNDATASIZE 00001003: PUSH1 0x00 00001005: REVERT 00001006: JUMPDEST 00001007: POP 00001008: POP 00001009: POP 0000100a: POP 0000100b: PUSH1 0x40 0000100d: MLOAD 0000100e: RETURNDATASIZE 0000100f: PUSH1 0x20 00001011: DUP2 00001012: LT 00001013: ISZERO 00001014: PUSH2 0x101c 00001017: JUMPI 00001018: PUSH1 0x00 0000101a: DUP1 0000101b: REVERT 0000101c: JUMPDEST 0000101d: POP 0000101e: MLOAD 0000101f: JUMPDEST 00001020: SWAP4 00001021: SWAP3 00001022: POP 00001023: POP 00001024: POP 00001025: JUMP 00001026: JUMPDEST 00001027: PUSH1 0x04 00001029: SLOAD 0000102a: DUP2 0000102b: JUMP 0000102c: JUMPDEST 0000102d: PUSH1 0x04 0000102f: SLOAD 00001030: PUSH1 0x00 00001032: DUP3 00001033: DUP2 00001034: MSTORE 00001035: PUSH1 0x05 00001037: PUSH1 0x20 00001039: MSTORE 0000103a: PUSH1 0x40 0000103c: SWAP1 0000103d: KECCAK256 0000103e: SLOAD 0000103f: TIMESTAMP 00001040: SWAP2 00001041: ADD 00001042: LT 00001043: PUSH2 0x104b 00001046: JUMPI 00001047: PUSH1 0x00 00001049: DUP1 0000104a: REVERT 0000104b: JUMPDEST 0000104c: PUSH1 0x00 0000104e: SWAP1 0000104f: DUP2 00001050: MSTORE 00001051: PUSH1 0x05 00001053: PUSH1 0x20 00001055: MSTORE 00001056: PUSH1 0x40 00001058: SWAP1 00001059: KECCAK256 0000105a: TIMESTAMP 0000105b: SWAP1 0000105c: SSTORE 0000105d: JUMP 0000105e: JUMPDEST 0000105f: PUSH2 0x1066 00001062: PUSH2 0x0dc3 00001065: JUMP 00001066: JUMPDEST 00001067: PUSH2 0x106f 0000106a: JUMPI 0000106b: PUSH1 0x00 0000106d: DUP1 0000106e: REVERT 0000106f: JUMPDEST 00001070: PUSH2 0x0856 00001073: DUP2 00001074: PUSH2 0x11ad 00001077: JUMP 00001078: JUMPDEST 00001079: DUP3 0000107a: MLOAD 0000107b: PUSH1 0x20 0000107d: SWAP4 0000107e: DUP5 0000107f: ADD 00001080: KECCAK256 00001081: PUSH1 0x40 00001083: DUP1 00001084: MLOAD 00001085: DUP1 00001086: DUP7 00001087: ADD 00001088: SWAP3 00001089: SWAP1 0000108a: SWAP3 0000108b: MSTORE 0000108c: PUSH1 0x60 0000108e: SWAP4 0000108f: SWAP1 00001090: SWAP4 00001091: SHL 00001092: PUSH12 0xffffffffffffffffffffffff 0000109f: NOT 000010a0: AND 000010a1: DUP2 000010a2: DUP5 000010a3: ADD 000010a4: MSTORE 000010a5: PUSH1 0x54 000010a7: DUP1 000010a8: DUP3 000010a9: ADD 000010aa: SWAP3 000010ab: SWAP1 000010ac: SWAP3 000010ad: MSTORE 000010ae: DUP3 000010af: MLOAD 000010b0: DUP1 000010b1: DUP3 000010b2: SUB 000010b3: SWAP1 000010b4: SWAP3 000010b5: ADD 000010b6: DUP3 000010b7: MSTORE 000010b8: PUSH1 0x74 000010ba: ADD 000010bb: SWAP1 000010bc: SWAP2 000010bd: MSTORE 000010be: DUP1 000010bf: MLOAD 000010c0: SWAP2 000010c1: ADD 000010c2: KECCAK256 000010c3: SWAP1 000010c4: JUMP 000010c5: JUMPDEST 000010c6: DUP1 000010c7: MLOAD 000010c8: PUSH1 0x00 000010ca: SWAP1 000010cb: DUP2 000010cc: SWAP1 000010cd: DUP2 000010ce: SWAP1 000010cf: JUMPDEST 000010d0: DUP1 000010d1: DUP3 000010d2: LT 000010d3: ISZERO 000010d4: PUSH2 0x11a4 000010d7: JUMPI 000010d8: PUSH1 0x00 000010da: DUP6 000010db: DUP4 000010dc: DUP2 000010dd: MLOAD 000010de: DUP2 000010df: LT 000010e0: PUSH2 0x10e5 000010e3: JUMPI 000010e4: INVALID 000010e5: JUMPDEST 000010e6: ADD 000010e7: PUSH1 0x20 000010e9: ADD 000010ea: MLOAD 000010eb: PUSH1 0x01 000010ed: PUSH1 0x01 000010ef: PUSH1 0xf8 000010f1: SHL 000010f2: SUB 000010f3: NOT 000010f4: AND 000010f5: SWAP1 000010f6: POP 000010f7: PUSH1 0x01 000010f9: PUSH1 0xff 000010fb: SHL 000010fc: DUP2 000010fd: LT 000010fe: ISZERO 000010ff: PUSH2 0x110d 00001102: JUMPI 00001103: PUSH1 0x01 00001105: DUP4 00001106: ADD 00001107: SWAP3 00001108: POP 00001109: PUSH2 0x1198 0000110c: JUMP 0000110d: JUMPDEST 0000110e: PUSH1 0x07 00001110: PUSH1 0xfd 00001112: SHL 00001113: PUSH1 0x01 00001115: PUSH1 0x01 00001117: PUSH1 0xf8 00001119: SHL 0000111a: SUB 0000111b: NOT 0000111c: DUP3 0000111d: AND 0000111e: LT 0000111f: ISZERO 00001120: PUSH2 0x112e 00001123: JUMPI 00001124: PUSH1 0x02 00001126: DUP4 00001127: ADD 00001128: SWAP3 00001129: POP 0000112a: PUSH2 0x1198 0000112d: JUMP 0000112e: JUMPDEST 0000112f: PUSH1 0x0f 00001131: PUSH1 0xfc 00001133: SHL 00001134: PUSH1 0x01 00001136: PUSH1 0x01 00001138: PUSH1 0xf8 0000113a: SHL 0000113b: SUB 0000113c: NOT 0000113d: DUP3 0000113e: AND 0000113f: LT 00001140: ISZERO 00001141: PUSH2 0x114f 00001144: JUMPI 00001145: PUSH1 0x03 00001147: DUP4 00001148: ADD 00001149: SWAP3 0000114a: POP 0000114b: PUSH2 0x1198 0000114e: JUMP 0000114f: JUMPDEST 00001150: PUSH1 0x1f 00001152: PUSH1 0xfb 00001154: SHL 00001155: PUSH1 0x01 00001157: PUSH1 0x01 00001159: PUSH1 0xf8 0000115b: SHL 0000115c: SUB 0000115d: NOT 0000115e: DUP3 0000115f: AND 00001160: LT 00001161: ISZERO 00001162: PUSH2 0x1170 00001165: JUMPI 00001166: PUSH1 0x04 00001168: DUP4 00001169: ADD 0000116a: SWAP3 0000116b: POP 0000116c: PUSH2 0x1198 0000116f: JUMP 00001170: JUMPDEST 00001171: PUSH1 0x3f 00001173: PUSH1 0xfa 00001175: SHL 00001176: PUSH1 0x01 00001178: PUSH1 0x01 0000117a: PUSH1 0xf8 0000117c: SHL 0000117d: SUB 0000117e: NOT 0000117f: DUP3 00001180: AND 00001181: LT 00001182: ISZERO 00001183: PUSH2 0x1191 00001186: JUMPI 00001187: PUSH1 0x05 00001189: DUP4 0000118a: ADD 0000118b: SWAP3 0000118c: POP 0000118d: PUSH2 0x1198 00001190: JUMP 00001191: JUMPDEST 00001192: PUSH1 0x06 00001194: DUP4 00001195: ADD 00001196: SWAP3 00001197: POP 00001198: JUMPDEST 00001199: POP 0000119a: PUSH1 0x01 0000119c: SWAP1 0000119d: SWAP3 0000119e: ADD 0000119f: SWAP2 000011a0: PUSH2 0x10cf 000011a3: JUMP 000011a4: JUMPDEST 000011a5: POP 000011a6: SWAP1 000011a7: SWAP4 000011a8: SWAP3 000011a9: POP 000011aa: POP 000011ab: POP 000011ac: JUMP 000011ad: JUMPDEST 000011ae: PUSH1 0x01 000011b0: PUSH1 0x01 000011b2: PUSH1 0xa0 000011b4: SHL 000011b5: SUB 000011b6: DUP2 000011b7: AND 000011b8: PUSH2 0x11c0 000011bb: JUMPI 000011bc: PUSH1 0x00 000011be: DUP1 000011bf: REVERT 000011c0: JUMPDEST 000011c1: PUSH1 0x00 000011c3: DUP1 000011c4: SLOAD 000011c5: PUSH1 0x40 000011c7: MLOAD 000011c8: PUSH1 0x01 000011ca: PUSH1 0x01 000011cc: PUSH1 0xa0 000011ce: SHL 000011cf: SUB 000011d0: DUP1 000011d1: DUP6 000011d2: AND 000011d3: SWAP4 000011d4: SWAP3 000011d5: AND 000011d6: SWAP2 000011d7: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000011f8: SWAP2 000011f9: LOG3 000011fa: PUSH1 0x00 000011fc: DUP1 000011fd: SLOAD 000011fe: PUSH1 0x01 00001200: PUSH1 0x01 00001202: PUSH1 0xa0 00001204: SHL 00001205: SUB 00001206: NOT 00001207: AND 00001208: PUSH1 0x01 0000120a: PUSH1 0x01 0000120c: PUSH1 0xa0 0000120e: SHL 0000120f: SUB 00001210: SWAP3 00001211: SWAP1 00001212: SWAP3 00001213: AND 00001214: SWAP2 00001215: SWAP1 00001216: SWAP2 00001217: OR 00001218: SWAP1 00001219: SSTORE 0000121a: JUMP 0000121b: INVALID 0000121c: PUSH19 0x6567697374657228737472696e672c61646472 00001230: PUSH6 0x73732c75696e 00001237: PUSH21 0x3235362c62797465733332296d616b65436f6d6d69 0000124d: PUSH21 0x6d656e7428737472696e672c616464726573732c62 00001263: PUSH26 0x746573333229a265627a7a723158204e242c93154697bddeb6cb 0000127e: UNKNOWN(0x1F) 0000127f: JUMP 00001280: UNKNOWN(0xAF) 00001281: UNKNOWN(0xE7) 00001282: CALLCODE 00001283: CALLDATACOPY 00001284: PUSH14 0xaa2ad576fa2f32f8a8d67d6cf07b 00001293: PUSH5 0x736f6c6343 00001299: STOP 0000129a: SDIV 0000129b: UNKNOWN(0x0C) 0000129c: STOP 0000129d: ORIGIN
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xaeb8ce9b",
"selector": "0xaeb8ce9b",
"calldata_variants": [
"0xaeb8ce9b",
"0xaeb8ce9b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce1e09c0",
"selector": "0xce1e09c0",
"calldata_variants": [
"0xce1e09c0",
"0xce1e09c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf14fcbc8",
"selector": "0xf14fcbc8",
"calldata_variants": [
"0xf14fcbc8",
"0xf14fcbc80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf49826be",
"selector": "0xf49826be",
"calldata_variants": [
"0xf49826be",
"0xf49826be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d839ffe",
"selector": "0x8d839ffe",
"calldata_variants": [
"0x8d839ffe",
"0x8d839ffe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f32d59b",
"selector": "0x8f32d59b",
"calldata_variants": [
"0x8f32d59b",
"0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4765,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x9fdce514b2626322099cb5f4f923a605bf6e374f6e4ba44a1574e6d1ac3d56e6
call_targets:
0xeffbda505e9c9ba8172fa71a126b002df6b74c15
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9fdce514b2626322099cb5f4f923a605bf6e374f6e4ba44a1574e6d1ac3d56e6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xeffbda505e9c9ba8172fa71a126b002df6b74c15"
],
"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": "0xaeb8ce9b",
"selector": "0xaeb8ce9b",
"calldata_variants": [
"0xaeb8ce9b",
"0xaeb8ce9b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce1e09c0",
"selector": "0xce1e09c0",
"calldata_variants": [
"0xce1e09c0",
"0xce1e09c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf14fcbc8",
"selector": "0xf14fcbc8",
"calldata_variants": [
"0xf14fcbc8",
"0xf14fcbc80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf49826be",
"selector": "0xf49826be",
"calldata_variants": [
"0xf49826be",
"0xf49826be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d839ffe",
"selector": "0x8d839ffe",
"calldata_variants": [
"0x8d839ffe",
"0x8d839ffe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f32d59b",
"selector": "0x8f32d59b",
"calldata_variants": [
"0x8f32d59b",
"0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2112,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3168,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3285,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [
{
"pc": 4765,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 7
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x9fdce514b2626322099cb5f4f923a605bf6e374f6e4ba44a1574e6d1ac3d56e6
call_targets:
0xeffbda505e9c9ba8172fa71a126b002df6b74c15
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9fdce514b2626322099cb5f4f923a605bf6e374f6e4ba44a1574e6d1ac3d56e6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xeffbda505e9c9ba8172fa71a126b002df6b74c15"
],
"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": "0xaeb8ce9b",
"selector": "0xaeb8ce9b",
"calldata_variants": [
"0xaeb8ce9b",
"0xaeb8ce9b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce1e09c0",
"selector": "0xce1e09c0",
"calldata_variants": [
"0xce1e09c0",
"0xce1e09c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf14fcbc8",
"selector": "0xf14fcbc8",
"calldata_variants": [
"0xf14fcbc8",
"0xf14fcbc80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf49826be",
"selector": "0xf49826be",
"calldata_variants": [
"0xf49826be",
"0xf49826be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d839ffe",
"selector": "0x8d839ffe",
"calldata_variants": [
"0x8d839ffe",
"0x8d839ffe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f32d59b",
"selector": "0x8f32d59b",
"calldata_variants": [
"0x8f32d59b",
"0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2112,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3168,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3285,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": [
{
"pc": 4765,
"type": "tx_origin_used"
}
]
}
|