019b477e-d1c1-72fc-b0d9-97a33eb8e68c
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 |
|---|---|---|---|---|
| 27815 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27816 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 71744 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 71745 | capability.graph | complete | 1 / 3 | 1 week ago |
| 71746 | detector.run | complete | 1 / 3 | 1 week ago |
| 71747 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: SWAP1 00000005: DUP1 00000006: DUP3 00000007: MSTORE 00000008: PUSH1 0x04 0000000a: SWAP2 0000000b: DUP3 0000000c: CALLDATASIZE 0000000d: LT 0000000e: ISZERO 0000000f: PUSH2 0x0017 00000012: JUMPI 00000013: PUSH1 0x00 00000015: DUP1 00000016: REVERT 00000017: JUMPDEST 00000018: PUSH1 0x00 0000001a: SWAP3 0000001b: PUSH1 0xe0 0000001d: SWAP3 0000001e: DUP5 0000001f: CALLDATALOAD 00000020: DUP5 00000021: SHR 00000022: SWAP1 00000023: DUP2 00000024: PUSH4 0x18160ddd 00000029: EQ 0000002a: PUSH2 0x0da5 0000002d: JUMPI 0000002e: POP 0000002f: DUP1 00000030: PUSH4 0x300def95 00000035: EQ 00000036: PUSH2 0x0b5b 00000039: JUMPI 0000003a: DUP1 0000003b: PUSH4 0x70a08231 00000040: EQ 00000041: PUSH2 0x0af9 00000044: JUMPI 00000045: DUP1 00000046: PUSH4 0x76c5d758 0000004b: EQ 0000004c: PUSH2 0x0aa0 0000004f: JUMPI 00000050: DUP1 00000051: PUSH4 0x7ecebe00 00000056: EQ 00000057: PUSH2 0x0a3a 0000005a: JUMPI 0000005b: DUP1 0000005c: PUSH4 0x84b0196e 00000061: EQ 00000062: PUSH2 0x08c9 00000065: JUMPI 00000066: DUP1 00000067: PUSH4 0xc27e9794 0000006c: EQ 0000006d: PUSH2 0x05e4 00000070: JUMPI 00000071: DUP1 00000072: PUSH4 0xdb518db2 00000077: EQ 00000078: PUSH2 0x0509 0000007b: JUMPI 0000007c: DUP1 0000007d: PUSH4 0xf3fef3a3 00000082: EQ 00000083: PUSH2 0x03ab 00000086: JUMPI 00000087: DUP1 00000088: PUSH4 0xf7f8266f 0000008d: EQ 0000008e: PUSH2 0x0283 00000091: JUMPI 00000092: PUSH4 0xfaa3516f 00000097: EQ 00000098: PUSH2 0x00a0 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: PUSH2 0x0140 000000a4: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000000c5: CALLDATASIZE 000000c6: ADD 000000c7: SLT 000000c8: PUSH2 0x027f 000000cb: JUMPI 000000cc: PUSH2 0x00d3 000000cf: PUSH2 0x0e41 000000d2: JUMP 000000d3: JUMPDEST 000000d4: SWAP1 000000d5: PUSH1 0x24 000000d7: CALLDATALOAD 000000d8: SWAP4 000000d9: PUSH1 0x44 000000db: CALLDATALOAD 000000dc: SWAP4 000000dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000f2: SWAP1 000000f3: DUP2 000000f4: DUP7 000000f5: AND 000000f6: DUP1 000000f7: SWAP7 000000f8: SUB 000000f9: PUSH2 0x027b 000000fc: JUMPI 000000fd: PUSH1 0x64 000000ff: CALLDATALOAD 00000100: PUSH1 0x84 00000102: CALLDATALOAD 00000103: SWAP8 00000104: DUP4 00000105: DUP10 00000106: AND 00000107: DUP1 00000108: SWAP10 00000109: SUB 0000010a: PUSH2 0x0277 0000010d: JUMPI 0000010e: PUSH1 0xa4 00000110: CALLDATALOAD 00000111: SWAP3 00000112: PUSH1 0xc4 00000114: CALLDATALOAD 00000115: SWAP8 00000116: DUP6 00000117: DUP10 00000118: AND 00000119: DUP1 0000011a: SWAP10 0000011b: SUB 0000011c: PUSH2 0x0273 0000011f: JUMPI 00000120: PUSH1 0xe4 00000122: CALLDATALOAD 00000123: SWAP6 00000124: PUSH2 0x0104 00000127: CALLDATALOAD 00000128: SWAP2 00000129: DUP2 0000012a: DUP4 0000012b: AND 0000012c: DUP1 0000012d: SWAP4 0000012e: SUB 0000012f: PUSH2 0x026f 00000132: JUMPI 00000133: PUSH2 0x0124 00000136: CALLDATALOAD 00000137: SWAP10 00000138: PUSH2 0x0152 0000013b: DUP12 0000013c: PUSH2 0x014d 0000013f: DUP12 00000140: PUSH2 0x014d 00000143: DUP13 00000144: PUSH2 0x014d 00000147: DUP14 00000148: DUP14 00000149: PUSH2 0x0ec2 0000014c: JUMP 0000014d: JUMPDEST 0000014e: PUSH2 0x0ec2 00000151: JUMP 00000152: JUMPDEST 00000153: CALLVALUE 00000154: SUB 00000155: PUSH2 0x0248 00000158: JUMPI 00000159: POP 0000015a: SWAP3 0000015b: PUSH2 0x0100 0000015e: SWAP9 0000015f: SWAP6 00000160: SWAP3 00000161: DUP2 00000162: DUP16 00000163: DUP16 00000164: DUP16 00000165: SWAP15 00000166: SWAP12 00000167: SWAP9 00000168: SWAP6 00000169: PUSH32 0x90e8cce6b15b450d1e56e9ef986d1cd376838a90944336c02886ca12b9e6ebd7 0000018a: SWAP15 0000018b: SWAP12 0000018c: SWAP9 0000018d: AND 0000018e: SWAP15 0000018f: DUP16 00000190: DUP1 00000191: PUSH2 0x0232 00000194: JUMPI 00000195: JUMPDEST 00000196: POP 00000197: DUP1 00000198: PUSH2 0x021c 0000019b: JUMPI 0000019c: JUMPDEST 0000019d: POP 0000019e: DUP1 0000019f: PUSH2 0x0206 000001a2: JUMPI 000001a3: JUMPDEST 000001a4: POP 000001a5: DUP11 000001a6: PUSH2 0x01f0 000001a9: JUMPI 000001aa: JUMPDEST 000001ab: DUP3 000001ac: PUSH2 0x01da 000001af: JUMPI 000001b0: JUMPDEST 000001b1: POP 000001b2: MLOAD 000001b3: SWAP9 000001b4: DUP10 000001b5: MSTORE 000001b6: PUSH1 0x20 000001b8: DUP10 000001b9: ADD 000001ba: MSTORE 000001bb: CALLER 000001bc: SWAP1 000001bd: DUP9 000001be: ADD 000001bf: MSTORE 000001c0: PUSH1 0x60 000001c2: DUP8 000001c3: ADD 000001c4: MSTORE 000001c5: PUSH1 0x80 000001c7: DUP7 000001c8: ADD 000001c9: MSTORE 000001ca: PUSH1 0xa0 000001cc: DUP6 000001cd: ADD 000001ce: MSTORE 000001cf: PUSH1 0xc0 000001d1: DUP5 000001d2: ADD 000001d3: MSTORE 000001d4: DUP3 000001d5: ADD 000001d6: MSTORE 000001d7: LOG4 000001d8: DUP1 000001d9: RETURN 000001da: JUMPDEST 000001db: DUP3 000001dc: DUP2 000001dd: MSTORE 000001de: PUSH1 0x02 000001e0: PUSH1 0x20 000001e2: MSTORE 000001e3: KECCAK256 000001e4: DUP9 000001e5: DUP2 000001e6: SLOAD 000001e7: ADD 000001e8: SWAP1 000001e9: SSTORE 000001ea: DUP2 000001eb: DUP16 000001ec: PUSH2 0x01b0 000001ef: JUMP 000001f0: JUMPDEST 000001f1: DUP11 000001f2: DUP2 000001f3: MSTORE 000001f4: PUSH1 0x02 000001f6: PUSH1 0x20 000001f8: MSTORE 000001f9: DUP2 000001fa: DUP2 000001fb: KECCAK256 000001fc: DUP9 000001fd: DUP2 000001fe: SLOAD 000001ff: ADD 00000200: SWAP1 00000201: SSTORE 00000202: PUSH2 0x01aa 00000205: JUMP 00000206: JUMPDEST 00000207: DUP2 00000208: MSTORE 00000209: PUSH1 0x02 0000020b: PUSH1 0x20 0000020d: MSTORE 0000020e: DUP2 0000020f: DUP2 00000210: KECCAK256 00000211: DUP8 00000212: DUP2 00000213: SLOAD 00000214: ADD 00000215: SWAP1 00000216: SSTORE 00000217: DUP16 00000218: PUSH2 0x01a3 0000021b: JUMP 0000021c: JUMPDEST 0000021d: DUP3 0000021e: MSTORE 0000021f: PUSH1 0x02 00000221: PUSH1 0x20 00000223: MSTORE 00000224: DUP3 00000225: DUP3 00000226: KECCAK256 00000227: DUP8 00000228: DUP2 00000229: SLOAD 0000022a: ADD 0000022b: SWAP1 0000022c: SSTORE 0000022d: DUP16 0000022e: PUSH2 0x019c 00000231: JUMP 00000232: JUMPDEST 00000233: DUP4 00000234: MSTORE 00000235: PUSH1 0x02 00000237: PUSH1 0x20 00000239: MSTORE 0000023a: DUP4 0000023b: DUP4 0000023c: KECCAK256 0000023d: DUP8 0000023e: DUP2 0000023f: SLOAD 00000240: ADD 00000241: SWAP1 00000242: SSTORE 00000243: DUP16 00000244: PUSH2 0x0195 00000247: JUMP 00000248: JUMPDEST 00000249: DUP5 0000024a: MLOAD 0000024b: PUSH32 0x534e04af00000000000000000000000000000000000000000000000000000000 0000026c: DUP2 0000026d: MSTORE 0000026e: REVERT 0000026f: JUMPDEST 00000270: DUP14 00000271: DUP1 00000272: REVERT 00000273: JUMPDEST 00000274: DUP12 00000275: DUP1 00000276: REVERT 00000277: JUMPDEST 00000278: DUP10 00000279: DUP1 0000027a: REVERT 0000027b: JUMPDEST 0000027c: DUP8 0000027d: DUP1 0000027e: REVERT 0000027f: JUMPDEST 00000280: DUP4 00000281: DUP1 00000282: REVERT 00000283: JUMPDEST 00000284: DUP5 00000285: DUP4 00000286: DUP4 00000287: PUSH1 0x60 00000289: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000002aa: CALLDATASIZE 000002ab: ADD 000002ac: SLT 000002ad: PUSH2 0x03a7 000002b0: JUMPI 000002b1: PUSH2 0x02b8 000002b4: PUSH2 0x0e41 000002b7: JUMP 000002b8: JUMPDEST 000002b9: PUSH1 0x24 000002bb: CALLDATALOAD 000002bc: SWAP3 000002bd: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000002de: DUP5 000002df: AND 000002e0: DUP1 000002e1: SWAP5 000002e2: SUB 000002e3: PUSH2 0x03a3 000002e6: JUMPI 000002e7: PUSH1 0x44 000002e9: CALLDATALOAD 000002ea: SWAP1 000002eb: PUSH8 0xffffffffffffffff 000002f4: DUP3 000002f5: GT 000002f6: PUSH2 0x039f 000002f9: JUMPI 000002fa: PUSH2 0x031b 000002fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000312: SWAP3 00000313: CALLDATASIZE 00000314: SWAP1 00000315: DUP7 00000316: ADD 00000317: PUSH2 0x0e13 0000031a: JUMP 0000031b: JUMPDEST 0000031c: SWAP3 0000031d: SWAP1 0000031e: SWAP4 0000031f: AND 00000320: SWAP4 00000321: DUP5 00000322: ISZERO 00000323: PUSH2 0x0378 00000326: JUMPI 00000327: POP 00000328: PUSH32 0x5b769452a2090142e059af5137c5b92a3e966cfb03b794cd01ac195d196c0001 00000349: SWAP2 0000034a: PUSH2 0x0372 0000034d: SWAP2 0000034e: DUP6 0000034f: DUP9 00000350: MSTORE 00000351: PUSH1 0x02 00000353: PUSH1 0x20 00000355: MSTORE 00000356: DUP1 00000357: DUP9 00000358: KECCAK256 00000359: PUSH2 0x0363 0000035c: CALLVALUE 0000035d: DUP3 0000035e: SLOAD 0000035f: PUSH2 0x0ec2 00000362: JUMP 00000363: JUMPDEST 00000364: SWAP1 00000365: SSTORE 00000366: MLOAD 00000367: SWAP2 00000368: DUP3 00000369: SWAP2 0000036a: CALLER 0000036b: SWAP6 0000036c: CALLVALUE 0000036d: DUP5 0000036e: PUSH2 0x0efe 00000371: JUMP 00000372: JUMPDEST 00000373: SUB 00000374: SWAP1 00000375: LOG4 00000376: DUP1 00000377: RETURN 00000378: JUMPDEST 00000379: SWAP1 0000037a: MLOAD 0000037b: PUSH32 0x66e7950900000000000000000000000000000000000000000000000000000000 0000039c: DUP2 0000039d: MSTORE 0000039e: REVERT 0000039f: JUMPDEST 000003a0: DUP6 000003a1: DUP1 000003a2: REVERT 000003a3: JUMPDEST 000003a4: DUP5 000003a5: DUP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: DUP3 000003a9: DUP1 000003aa: REVERT 000003ab: JUMPDEST 000003ac: POP 000003ad: SWAP2 000003ae: POP 000003af: CALLVALUE 000003b0: PUSH2 0x03a7 000003b3: JUMPI 000003b4: DUP1 000003b5: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000003d6: CALLDATASIZE 000003d7: ADD 000003d8: SLT 000003d9: PUSH2 0x03a7 000003dc: JUMPI 000003dd: PUSH2 0x03e4 000003e0: PUSH2 0x0e41 000003e3: JUMP 000003e4: JUMPDEST 000003e5: PUSH1 0x24 000003e7: CALLDATALOAD 000003e8: SWAP1 000003e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003fe: DUP2 000003ff: AND 00000400: DUP1 00000401: ISZERO 00000402: PUSH2 0x04e0 00000405: JUMPI 00000406: CALLER 00000407: DUP7 00000408: MSTORE 00000409: PUSH1 0x02 0000040b: PUSH1 0x20 0000040d: MSTORE 0000040e: DUP4 0000040f: DUP7 00000410: KECCAK256 00000411: SLOAD 00000412: DUP4 00000413: GT 00000414: PUSH2 0x04b7 00000417: JUMPI 00000418: DUP6 00000419: DUP4 0000041a: DUP2 0000041b: SWAP5 0000041c: SWAP4 0000041d: DUP3 0000041e: SWAP5 0000041f: SWAP4 00000420: DUP4 00000421: SWAP5 00000422: ISZERO 00000423: PUSH2 0x04a4 00000426: JUMPI 00000427: JUMPDEST 00000428: CALLER 00000429: DUP5 0000042a: MSTORE 0000042b: PUSH1 0x02 0000042d: PUSH1 0x20 0000042f: MSTORE 00000430: DUP8 00000431: DUP5 00000432: KECCAK256 00000433: PUSH2 0x043d 00000436: DUP5 00000437: DUP3 00000438: SLOAD 00000439: PUSH2 0x0f89 0000043c: JUMP 0000043d: JUMPDEST 0000043e: SWAP1 0000043f: SSTORE 00000440: DUP8 00000441: MLOAD 00000442: DUP4 00000443: DUP2 00000444: MSTORE 00000445: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb 00000466: PUSH1 0x20 00000468: CALLER 00000469: SWAP3 0000046a: LOG3 0000046b: GAS 0000046c: CALL 0000046d: PUSH2 0x0474 00000470: PUSH2 0x1022 00000473: JUMP 00000474: JUMPDEST 00000475: POP 00000476: ISZERO 00000477: PUSH2 0x047e 0000047a: JUMPI 0000047b: DUP3 0000047c: DUP1 0000047d: RETURN 0000047e: JUMPDEST 0000047f: MLOAD 00000480: PUSH32 0x3f4ab80e00000000000000000000000000000000000000000000000000000000 000004a1: DUP2 000004a2: MSTORE 000004a3: REVERT 000004a4: JUMPDEST 000004a5: CALLER 000004a6: DUP5 000004a7: MSTORE 000004a8: PUSH1 0x02 000004aa: PUSH1 0x20 000004ac: MSTORE 000004ad: DUP8 000004ae: DUP5 000004af: KECCAK256 000004b0: SLOAD 000004b1: SWAP3 000004b2: POP 000004b3: PUSH2 0x0427 000004b6: JUMP 000004b7: JUMPDEST 000004b8: POP 000004b9: POP 000004ba: POP 000004bb: MLOAD 000004bc: PUSH32 0x8e0b980800000000000000000000000000000000000000000000000000000000 000004dd: DUP2 000004de: MSTORE 000004df: REVERT 000004e0: JUMPDEST 000004e1: POP 000004e2: POP 000004e3: POP 000004e4: MLOAD 000004e5: PUSH32 0x66e7950900000000000000000000000000000000000000000000000000000000 00000506: DUP2 00000507: MSTORE 00000508: REVERT 00000509: JUMPDEST 0000050a: POP 0000050b: SWAP2 0000050c: POP 0000050d: CALLVALUE 0000050e: PUSH2 0x03a7 00000511: JUMPI 00000512: DUP1 00000513: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000534: CALLDATASIZE 00000535: ADD 00000536: SLT 00000537: PUSH2 0x03a7 0000053a: JUMPI 0000053b: PUSH2 0x0542 0000053e: PUSH2 0x0e41 00000541: JUMP 00000542: JUMPDEST 00000543: PUSH1 0x24 00000545: CALLDATALOAD 00000546: SWAP1 00000547: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000055c: DUP2 0000055d: AND 0000055e: DUP1 0000055f: ISZERO 00000560: PUSH2 0x04e0 00000563: JUMPI 00000564: DUP1 00000565: DUP7 00000566: MSTORE 00000567: PUSH1 0x02 00000569: PUSH1 0x20 0000056b: MSTORE 0000056c: DUP4 0000056d: DUP7 0000056e: KECCAK256 0000056f: SLOAD 00000570: DUP4 00000571: GT 00000572: PUSH2 0x04b7 00000575: JUMPI 00000576: DUP6 00000577: DUP4 00000578: DUP2 00000579: SWAP5 0000057a: SWAP4 0000057b: DUP3 0000057c: SWAP5 0000057d: SWAP4 0000057e: DUP4 0000057f: SWAP5 00000580: ISZERO 00000581: PUSH2 0x05d1 00000584: JUMPI 00000585: JUMPDEST 00000586: DUP1 00000587: DUP5 00000588: MSTORE 00000589: PUSH1 0x02 0000058b: PUSH1 0x20 0000058d: MSTORE 0000058e: DUP8 0000058f: DUP5 00000590: KECCAK256 00000591: PUSH2 0x059b 00000594: DUP5 00000595: DUP3 00000596: SLOAD 00000597: PUSH2 0x0f89 0000059a: JUMP 0000059b: JUMPDEST 0000059c: SWAP1 0000059d: SSTORE 0000059e: DUP1 0000059f: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb 000005c0: PUSH1 0x20 000005c2: DUP11 000005c3: MLOAD 000005c4: DUP7 000005c5: DUP2 000005c6: MSTORE 000005c7: LOG3 000005c8: GAS 000005c9: CALL 000005ca: PUSH2 0x0474 000005cd: PUSH2 0x1022 000005d0: JUMP 000005d1: JUMPDEST 000005d2: DUP1 000005d3: DUP5 000005d4: MSTORE 000005d5: PUSH1 0x02 000005d7: PUSH1 0x20 000005d9: MSTORE 000005da: DUP8 000005db: DUP5 000005dc: KECCAK256 000005dd: SLOAD 000005de: SWAP3 000005df: POP 000005e0: PUSH2 0x0585 000005e3: JUMP 000005e4: JUMPDEST 000005e5: POP 000005e6: SWAP2 000005e7: CALLVALUE 000005e8: PUSH2 0x027f 000005eb: JUMPI 000005ec: DUP1 000005ed: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000060e: CALLDATASIZE 0000060f: ADD 00000610: SLT 00000611: PUSH2 0x027f 00000614: JUMPI 00000615: PUSH2 0x061c 00000618: PUSH2 0x0e41 0000061b: JUMP 0000061c: JUMPDEST 0000061d: SWAP1 0000061e: PUSH1 0x24 00000620: CALLDATALOAD 00000621: SWAP1 00000622: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000637: SWAP1 00000638: DUP2 00000639: DUP4 0000063a: AND 0000063b: SWAP2 0000063c: DUP3 0000063d: DUP5 0000063e: SUB 0000063f: PUSH2 0x027b 00000642: JUMPI 00000643: PUSH1 0x44 00000645: CALLDATALOAD 00000646: SWAP1 00000647: PUSH1 0x64 00000649: CALLDATALOAD 0000064a: PUSH1 0x84 0000064c: CALLDATALOAD 0000064d: SWAP1 0000064e: PUSH1 0xff 00000650: DUP3 00000651: AND 00000652: DUP1 00000653: SWAP3 00000654: SUB 00000655: PUSH2 0x08c5 00000658: JUMPI 00000659: DUP4 0000065a: SWAP8 0000065b: DUP2 0000065c: TIMESTAMP 0000065d: GT 0000065e: PUSH2 0x089d 00000661: JUMPI 00000662: DUP4 00000663: SWAP3 00000664: SWAP2 00000665: DUP13 00000666: SWAP6 00000667: SWAP5 00000668: DUP12 00000669: SWAP3 0000066a: AND 0000066b: SWAP7 0000066c: DUP8 0000066d: DUP8 0000066e: MSTORE 0000066f: DUP3 00000670: PUSH1 0x20 00000672: SWAP8 00000673: PUSH1 0x03 00000675: DUP10 00000676: MSTORE 00000677: KECCAK256 00000678: SWAP2 00000679: DUP3 0000067a: SLOAD 0000067b: SWAP3 0000067c: PUSH1 0x01 0000067e: DUP5 0000067f: ADD 00000680: SWAP1 00000681: SSTORE 00000682: DUP4 00000683: MLOAD 00000684: SWAP3 00000685: DUP10 00000686: DUP10 00000687: DUP6 00000688: ADD 00000689: SWAP6 0000068a: PUSH32 0x7b35c0715842c169bbf11116e8d20b2e74dacbd860d36ad5e47c3d88c15be55b 000006ab: DUP8 000006ac: MSTORE 000006ad: DUP6 000006ae: ADD 000006af: MSTORE 000006b0: DUP11 000006b1: PUSH1 0x60 000006b3: DUP6 000006b4: ADD 000006b5: MSTORE 000006b6: DUP8 000006b7: PUSH1 0x80 000006b9: DUP6 000006ba: ADD 000006bb: MSTORE 000006bc: PUSH1 0xa0 000006be: DUP5 000006bf: ADD 000006c0: MSTORE 000006c1: PUSH1 0xc0 000006c3: DUP4 000006c4: ADD 000006c5: MSTORE 000006c6: PUSH1 0xc0 000006c8: DUP3 000006c9: MSTORE 000006ca: DUP2 000006cb: ADD 000006cc: DUP2 000006cd: DUP2 000006ce: LT 000006cf: PUSH8 0xffffffffffffffff 000006d8: DUP3 000006d9: GT 000006da: OR 000006db: PUSH2 0x0871 000006de: JUMPI 000006df: SWAP3 000006e0: PUSH1 0x42 000006e2: DUP13 000006e3: DUP16 000006e4: SWAP5 000006e5: PUSH1 0x80 000006e7: SWAP5 000006e8: DUP11 000006e9: SWAP8 000006ea: DUP4 000006eb: MSTORE 000006ec: MLOAD 000006ed: SWAP1 000006ee: KECCAK256 000006ef: PUSH2 0x06f6 000006f2: PUSH2 0x1080 000006f5: JUMP 000006f6: JUMPDEST 000006f7: SWAP2 000006f8: MLOAD 000006f9: SWAP2 000006fa: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000 0000071b: DUP4 0000071c: MSTORE 0000071d: PUSH1 0x02 0000071f: DUP4 00000720: ADD 00000721: MSTORE 00000722: PUSH1 0x22 00000724: DUP3 00000725: ADD 00000726: MSTORE 00000727: KECCAK256 00000728: SWAP1 00000729: DUP13 0000072a: MLOAD 0000072b: SWAP2 0000072c: DUP3 0000072d: MSTORE 0000072e: DUP5 0000072f: DUP3 00000730: ADD 00000731: MSTORE 00000732: PUSH1 0xa4 00000734: CALLDATALOAD 00000735: DUP13 00000736: DUP3 00000737: ADD 00000738: MSTORE 00000739: PUSH1 0xc4 0000073b: CALLDATALOAD 0000073c: PUSH1 0x60 0000073e: DUP3 0000073f: ADD 00000740: MSTORE 00000741: DUP3 00000742: DUP1 00000743: MSTORE 00000744: PUSH1 0x01 00000746: GAS 00000747: STATICCALL 00000748: ISZERO 00000749: PUSH2 0x0867 0000074c: JUMPI 0000074d: DUP10 0000074e: MLOAD 0000074f: AND 00000750: DUP4 00000751: DUP2 00000752: ISZERO 00000753: SWAP2 00000754: DUP3 00000755: ISZERO 00000756: PUSH2 0x085c 00000759: JUMPI 0000075a: JUMPDEST 0000075b: POP 0000075c: POP 0000075d: PUSH2 0x0834 00000760: JUMPI 00000761: DUP4 00000762: ISZERO 00000763: PUSH2 0x080c 00000766: JUMPI 00000767: DUP3 00000768: DUP10 00000769: MSTORE 0000076a: PUSH1 0x02 0000076c: DUP3 0000076d: MSTORE 0000076e: DUP7 0000076f: DUP10 00000770: KECCAK256 00000771: SLOAD 00000772: DUP2 00000773: GT 00000774: PUSH2 0x07e4 00000777: JUMPI 00000778: SWAP4 00000779: DUP9 0000077a: SWAP6 0000077b: SWAP2 0000077c: SWAP4 0000077d: DUP7 0000077e: SWAP6 0000077f: SWAP4 00000780: DUP7 00000781: SWAP6 00000782: DUP7 00000783: SWAP6 00000784: ISZERO 00000785: PUSH2 0x07d2 00000788: JUMPI 00000789: JUMPDEST 0000078a: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb 000007ab: SWAP1 000007ac: DUP3 000007ad: DUP8 000007ae: MSTORE 000007af: PUSH1 0x02 000007b1: DUP2 000007b2: MSTORE 000007b3: DUP11 000007b4: DUP8 000007b5: KECCAK256 000007b6: PUSH2 0x07c0 000007b9: DUP8 000007ba: DUP3 000007bb: SLOAD 000007bc: PUSH2 0x0f89 000007bf: JUMP 000007c0: JUMPDEST 000007c1: SWAP1 000007c2: SSTORE 000007c3: DUP11 000007c4: MLOAD 000007c5: DUP7 000007c6: DUP2 000007c7: MSTORE 000007c8: LOG3 000007c9: GAS 000007ca: CALL 000007cb: PUSH2 0x0474 000007ce: PUSH2 0x1022 000007d1: JUMP 000007d2: JUMPDEST 000007d3: DUP2 000007d4: DUP7 000007d5: MSTORE 000007d6: PUSH1 0x02 000007d8: DUP2 000007d9: MSTORE 000007da: DUP10 000007db: DUP7 000007dc: KECCAK256 000007dd: SLOAD 000007de: SWAP5 000007df: POP 000007e0: PUSH2 0x0789 000007e3: JUMP 000007e4: JUMPDEST 000007e5: DUP8 000007e6: DUP8 000007e7: MLOAD 000007e8: PUSH32 0x8e0b980800000000000000000000000000000000000000000000000000000000 00000809: DUP2 0000080a: MSTORE 0000080b: REVERT 0000080c: JUMPDEST 0000080d: DUP8 0000080e: DUP8 0000080f: MLOAD 00000810: PUSH32 0x66e7950900000000000000000000000000000000000000000000000000000000 00000831: DUP2 00000832: MSTORE 00000833: REVERT 00000834: JUMPDEST 00000835: DUP8 00000836: DUP8 00000837: MLOAD 00000838: PUSH32 0xa3402a3800000000000000000000000000000000000000000000000000000000 00000859: DUP2 0000085a: MSTORE 0000085b: REVERT 0000085c: JUMPDEST 0000085d: EQ 0000085e: ISZERO 0000085f: SWAP1 00000860: POP 00000861: DUP4 00000862: CODESIZE 00000863: PUSH2 0x075a 00000866: JUMP 00000867: JUMPDEST 00000868: DUP8 00000869: MLOAD 0000086a: RETURNDATASIZE 0000086b: DUP12 0000086c: DUP3 0000086d: RETURNDATACOPY 0000086e: RETURNDATASIZE 0000086f: SWAP1 00000870: REVERT 00000871: JUMPDEST 00000872: PUSH1 0x24 00000874: DUP15 00000875: PUSH1 0x41 00000877: DUP16 00000878: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000899: DUP4 0000089a: MSTORE 0000089b: MSTORE 0000089c: REVERT 0000089d: JUMPDEST 0000089e: DUP11 0000089f: DUP11 000008a0: MLOAD 000008a1: PUSH32 0xcddf40ed00000000000000000000000000000000000000000000000000000000 000008c2: DUP2 000008c3: MSTORE 000008c4: REVERT 000008c5: JUMPDEST 000008c6: DUP11 000008c7: DUP1 000008c8: REVERT 000008c9: JUMPDEST 000008ca: POP 000008cb: SWAP2 000008cc: SWAP3 000008cd: CALLVALUE 000008ce: PUSH2 0x0a37 000008d1: JUMPI 000008d2: DUP1 000008d3: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000008f4: CALLDATASIZE 000008f5: ADD 000008f6: SLT 000008f7: PUSH2 0x0a37 000008fa: JUMPI 000008fb: PUSH2 0x0923 000008fe: PUSH32 0x50726f746f636f6c52657761726473000000000000000000000000000000000f 0000091f: PUSH2 0x11b8 00000922: JUMP 00000923: JUMPDEST 00000924: SWAP1 00000925: PUSH2 0x094d 00000928: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000001 00000949: PUSH2 0x132e 0000094c: JUMP 0000094d: JUMPDEST 0000094e: SWAP3 0000094f: DUP1 00000950: MLOAD 00000951: SWAP4 00000952: PUSH1 0x20 00000954: SWAP4 00000955: DUP5 00000956: DUP7 00000957: ADD 00000958: SWAP7 00000959: DUP7 0000095a: DUP9 0000095b: LT 0000095c: PUSH8 0xffffffffffffffff 00000965: DUP10 00000966: GT 00000967: OR 00000968: PUSH2 0x0a0b 0000096b: JUMPI 0000096c: POP 0000096d: SWAP6 0000096e: SWAP4 0000096f: PUSH2 0x09c1 00000972: DUP4 00000973: DUP3 00000974: SWAP4 00000975: DUP8 00000976: DUP12 00000977: SWAP10 00000978: SWAP7 00000979: MSTORE 0000097a: DUP7 0000097b: DUP7 0000097c: MSTORE 0000097d: PUSH2 0x09b4 00000980: DUP3 00000981: MLOAD 00000982: SWAP11 00000983: DUP12 00000984: SWAP11 00000985: PUSH32 0x0f00000000000000000000000000000000000000000000000000000000000000 000009a6: DUP13 000009a7: MSTORE 000009a8: DUP1 000009a9: DUP8 000009aa: DUP14 000009ab: ADD 000009ac: MSTORE 000009ad: DUP12 000009ae: ADD 000009af: SWAP1 000009b0: PUSH2 0x0e64 000009b3: JUMP 000009b4: JUMPDEST 000009b5: SWAP2 000009b6: DUP10 000009b7: DUP4 000009b8: SUB 000009b9: SWAP1 000009ba: DUP11 000009bb: ADD 000009bc: MSTORE 000009bd: PUSH2 0x0e64 000009c0: JUMP 000009c1: JUMPDEST 000009c2: SWAP3 000009c3: CHAINID 000009c4: PUSH1 0x60 000009c6: DUP9 000009c7: ADD 000009c8: MSTORE 000009c9: ADDRESS 000009ca: PUSH1 0x80 000009cc: DUP9 000009cd: ADD 000009ce: MSTORE 000009cf: DUP5 000009d0: PUSH1 0xa0 000009d2: DUP9 000009d3: ADD 000009d4: MSTORE 000009d5: DUP7 000009d6: DUP5 000009d7: SUB 000009d8: PUSH1 0xc0 000009da: DUP9 000009db: ADD 000009dc: MSTORE 000009dd: MLOAD 000009de: SWAP3 000009df: DUP4 000009e0: DUP2 000009e1: MSTORE 000009e2: ADD 000009e3: SWAP4 000009e4: SWAP3 000009e5: JUMPDEST 000009e6: DUP3 000009e7: DUP2 000009e8: LT 000009e9: PUSH2 0x09f4 000009ec: JUMPI 000009ed: POP 000009ee: POP 000009ef: POP 000009f0: POP 000009f1: SUB 000009f2: SWAP1 000009f3: RETURN 000009f4: JUMPDEST 000009f5: DUP4 000009f6: MLOAD 000009f7: DUP6 000009f8: MSTORE 000009f9: DUP7 000009fa: SWAP6 000009fb: POP 000009fc: SWAP4 000009fd: DUP2 000009fe: ADD 000009ff: SWAP4 00000a00: SWAP3 00000a01: DUP2 00000a02: ADD 00000a03: SWAP3 00000a04: PUSH1 0x01 00000a06: ADD 00000a07: PUSH2 0x09e5 00000a0a: JUMP 00000a0b: JUMPDEST 00000a0c: DUP5 00000a0d: PUSH1 0x41 00000a0f: PUSH1 0x24 00000a11: SWAP3 00000a12: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000a33: DUP4 00000a34: MSTORE 00000a35: MSTORE 00000a36: REVERT 00000a37: JUMPDEST 00000a38: DUP1 00000a39: REVERT 00000a3a: JUMPDEST 00000a3b: DUP5 00000a3c: DUP4 00000a3d: CALLVALUE 00000a3e: PUSH2 0x0a9c 00000a41: JUMPI 00000a42: PUSH1 0x20 00000a44: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000a65: CALLDATASIZE 00000a66: ADD 00000a67: SLT 00000a68: PUSH2 0x0a9c 00000a6b: JUMPI 00000a6c: DUP1 00000a6d: PUSH1 0x20 00000a6f: SWAP3 00000a70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a85: PUSH2 0x0a8c 00000a88: PUSH2 0x0e41 00000a8b: JUMP 00000a8c: JUMPDEST 00000a8d: AND 00000a8e: DUP2 00000a8f: MSTORE 00000a90: PUSH1 0x03 00000a92: DUP5 00000a93: MSTORE 00000a94: KECCAK256 00000a95: SLOAD 00000a96: SWAP1 00000a97: MLOAD 00000a98: SWAP1 00000a99: DUP2 00000a9a: MSTORE 00000a9b: RETURN 00000a9c: JUMPDEST 00000a9d: POP 00000a9e: DUP1 00000a9f: REVERT 00000aa0: JUMPDEST 00000aa1: DUP5 00000aa2: DUP4 00000aa3: CALLVALUE 00000aa4: PUSH2 0x0a9c 00000aa7: JUMPI 00000aa8: DUP2 00000aa9: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000aca: CALLDATASIZE 00000acb: ADD 00000acc: SLT 00000acd: PUSH2 0x0a9c 00000ad0: JUMPI 00000ad1: PUSH1 0x20 00000ad3: SWAP1 00000ad4: MLOAD 00000ad5: PUSH32 0x7b35c0715842c169bbf11116e8d20b2e74dacbd860d36ad5e47c3d88c15be55b 00000af6: DUP2 00000af7: MSTORE 00000af8: RETURN 00000af9: JUMPDEST 00000afa: DUP5 00000afb: DUP4 00000afc: CALLVALUE 00000afd: PUSH2 0x0a9c 00000b00: JUMPI 00000b01: PUSH1 0x20 00000b03: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000b24: CALLDATASIZE 00000b25: ADD 00000b26: SLT 00000b27: PUSH2 0x0a9c 00000b2a: JUMPI 00000b2b: DUP1 00000b2c: PUSH1 0x20 00000b2e: SWAP3 00000b2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b44: PUSH2 0x0b4b 00000b47: PUSH2 0x0e41 00000b4a: JUMP 00000b4b: JUMPDEST 00000b4c: AND 00000b4d: DUP2 00000b4e: MSTORE 00000b4f: PUSH1 0x02 00000b51: DUP5 00000b52: MSTORE 00000b53: KECCAK256 00000b54: SLOAD 00000b55: SWAP1 00000b56: MLOAD 00000b57: SWAP1 00000b58: DUP2 00000b59: MSTORE 00000b5a: RETURN 00000b5b: JUMPDEST 00000b5c: DUP5 00000b5d: DUP4 00000b5e: DUP4 00000b5f: PUSH1 0x80 00000b61: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000b82: CALLDATASIZE 00000b83: ADD 00000b84: SLT 00000b85: PUSH2 0x03a7 00000b88: JUMPI 00000b89: PUSH8 0xffffffffffffffff 00000b92: DUP2 00000b93: CALLDATALOAD 00000b94: DUP2 00000b95: DUP2 00000b96: GT 00000b97: PUSH2 0x03a3 00000b9a: JUMPI 00000b9b: PUSH2 0x0ba7 00000b9e: SWAP1 00000b9f: CALLDATASIZE 00000ba0: SWAP1 00000ba1: DUP5 00000ba2: ADD 00000ba3: PUSH2 0x0ddd 00000ba6: JUMP 00000ba7: JUMPDEST 00000ba8: PUSH1 0x24 00000baa: SWAP4 00000bab: SWAP2 00000bac: SWAP4 00000bad: CALLDATALOAD 00000bae: DUP4 00000baf: DUP2 00000bb0: GT 00000bb1: PUSH2 0x0da1 00000bb4: JUMPI 00000bb5: PUSH2 0x0bc1 00000bb8: SWAP1 00000bb9: CALLDATASIZE 00000bba: SWAP1 00000bbb: DUP5 00000bbc: ADD 00000bbd: PUSH2 0x0ddd 00000bc0: JUMP 00000bc1: JUMPDEST 00000bc2: SWAP6 00000bc3: SWAP1 00000bc4: SWAP4 00000bc5: PUSH1 0x44 00000bc7: CALLDATALOAD 00000bc8: DUP2 00000bc9: DUP2 00000bca: GT 00000bcb: PUSH2 0x0d9d 00000bce: JUMPI 00000bcf: PUSH2 0x0bdb 00000bd2: SWAP1 00000bd3: CALLDATASIZE 00000bd4: SWAP1 00000bd5: DUP7 00000bd6: ADD 00000bd7: PUSH2 0x0ddd 00000bda: JUMP 00000bdb: JUMPDEST 00000bdc: SWAP2 00000bdd: PUSH1 0x64 00000bdf: CALLDATALOAD 00000be0: SWAP1 00000be1: DUP2 00000be2: GT 00000be3: PUSH2 0x0277 00000be6: JUMPI 00000be7: PUSH2 0x0bf3 00000bea: SWAP1 00000beb: CALLDATASIZE 00000bec: SWAP1 00000bed: DUP8 00000bee: ADD 00000bef: PUSH2 0x0e13 00000bf2: JUMP 00000bf3: JUMPDEST 00000bf4: SWAP9 00000bf5: SWAP1 00000bf6: SWAP5 00000bf7: DUP2 00000bf8: DUP2 00000bf9: EQ 00000bfa: DUP1 00000bfb: ISZERO 00000bfc: SWAP1 00000bfd: PUSH2 0x0d93 00000c00: JUMPI 00000c01: JUMPDEST 00000c02: PUSH2 0x0d6b 00000c05: JUMPI 00000c06: DUP11 00000c07: DUP12 00000c08: JUMPDEST 00000c09: DUP4 00000c0a: DUP11 00000c0b: DUP5 00000c0c: DUP4 00000c0d: LT 00000c0e: PUSH2 0x0d4b 00000c11: JUMPI 00000c12: POP 00000c13: POP 00000c14: POP 00000c15: CALLVALUE 00000c16: SUB 00000c17: PUSH2 0x0d23 00000c1a: JUMPI 00000c1b: DUP11 00000c1c: JUMPDEST 00000c1d: DUP2 00000c1e: DUP2 00000c1f: LT 00000c20: PUSH2 0x0c27 00000c23: JUMPI 00000c24: DUP12 00000c25: DUP1 00000c26: RETURN 00000c27: JUMPDEST 00000c28: PUSH2 0x0c32 00000c2b: DUP2 00000c2c: DUP4 00000c2d: DUP13 00000c2e: PUSH2 0x0f4a 00000c31: JUMP 00000c32: JUMPDEST 00000c33: CALLDATALOAD 00000c34: SWAP1 00000c35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4a: DUP3 00000c4b: AND 00000c4c: DUP1 00000c4d: SWAP3 00000c4e: SUB 00000c4f: PUSH2 0x0d1f 00000c52: JUMPI 00000c53: PUSH2 0x0c5d 00000c56: DUP2 00000c57: DUP6 00000c58: DUP13 00000c59: PUSH2 0x0f4a 00000c5c: JUMP 00000c5d: JUMPDEST 00000c5e: CALLDATALOAD 00000c5f: SWAP2 00000c60: DUP1 00000c61: ISZERO 00000c62: PUSH2 0x0cf7 00000c65: JUMPI 00000c66: DUP8 00000c67: DUP15 00000c68: DUP3 00000c69: DUP2 00000c6a: MSTORE 00000c6b: PUSH1 0x02 00000c6d: PUSH1 0x20 00000c6f: MSTORE 00000c70: KECCAK256 00000c71: PUSH2 0x0c7b 00000c74: DUP5 00000c75: DUP3 00000c76: SLOAD 00000c77: PUSH2 0x0ec2 00000c7a: JUMP 00000c7b: JUMPDEST 00000c7c: SWAP1 00000c7d: SSTORE 00000c7e: PUSH2 0x0c88 00000c81: DUP3 00000c82: DUP9 00000c83: DUP9 00000c84: PUSH2 0x0f4a 00000c87: JUMP 00000c88: JUMPDEST 00000c89: CALLDATALOAD 00000c8a: SWAP1 00000c8b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000cac: DUP3 00000cad: AND 00000cae: DUP1 00000caf: SWAP3 00000cb0: SUB 00000cb1: PUSH2 0x0cf3 00000cb4: JUMPI 00000cb5: PUSH1 0x01 00000cb7: SWAP4 00000cb8: PUSH32 0x5b769452a2090142e059af5137c5b92a3e966cfb03b794cd01ac195d196c0001 00000cd9: DUP16 00000cda: DUP13 00000cdb: PUSH2 0x0cea 00000cde: DUP14 00000cdf: MLOAD 00000ce0: SWAP3 00000ce1: DUP4 00000ce2: SWAP3 00000ce3: CALLER 00000ce4: SWAP7 00000ce5: DUP5 00000ce6: PUSH2 0x0efe 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: SUB 00000cec: SWAP1 00000ced: LOG4 00000cee: ADD 00000cef: PUSH2 0x0c1c 00000cf2: JUMP 00000cf3: JUMPDEST 00000cf4: DUP15 00000cf5: DUP1 00000cf6: REVERT 00000cf7: JUMPDEST 00000cf8: DUP10 00000cf9: DUP9 00000cfa: MLOAD 00000cfb: PUSH32 0x66e7950900000000000000000000000000000000000000000000000000000000 00000d1c: DUP2 00000d1d: MSTORE 00000d1e: REVERT 00000d1f: JUMPDEST 00000d20: DUP13 00000d21: DUP1 00000d22: REVERT 00000d23: JUMPDEST 00000d24: DUP7 00000d25: DUP6 00000d26: MLOAD 00000d27: PUSH32 0x534e04af00000000000000000000000000000000000000000000000000000000 00000d48: DUP2 00000d49: MSTORE 00000d4a: REVERT 00000d4b: JUMPDEST 00000d4c: SWAP3 00000d4d: PUSH2 0x0d5d 00000d50: DUP4 00000d51: PUSH2 0x0d64 00000d54: SWAP4 00000d55: PUSH1 0x01 00000d57: SWAP6 00000d58: SWAP7 00000d59: PUSH2 0x0f4a 00000d5c: JUMP 00000d5d: JUMPDEST 00000d5e: CALLDATALOAD 00000d5f: SWAP1 00000d60: PUSH2 0x0ec2 00000d63: JUMP 00000d64: JUMPDEST 00000d65: SWAP2 00000d66: ADD 00000d67: PUSH2 0x0c08 00000d6a: JUMP 00000d6b: JUMPDEST 00000d6c: DUP7 00000d6d: DUP6 00000d6e: MLOAD 00000d6f: PUSH32 0x88adebd200000000000000000000000000000000000000000000000000000000 00000d90: DUP2 00000d91: MSTORE 00000d92: REVERT 00000d93: JUMPDEST 00000d94: POP 00000d95: DUP4 00000d96: DUP2 00000d97: EQ 00000d98: ISZERO 00000d99: PUSH2 0x0c01 00000d9c: JUMP 00000d9d: JUMPDEST 00000d9e: DUP9 00000d9f: DUP1 00000da0: REVERT 00000da1: JUMPDEST 00000da2: DUP7 00000da3: DUP1 00000da4: REVERT 00000da5: JUMPDEST 00000da6: DUP6 00000da7: SWAP1 00000da8: CALLVALUE 00000da9: PUSH2 0x0a9c 00000dac: JUMPI 00000dad: DUP2 00000dae: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000dcf: CALLDATASIZE 00000dd0: ADD 00000dd1: SLT 00000dd2: PUSH2 0x0a9c 00000dd5: JUMPI 00000dd6: PUSH1 0x20 00000dd8: SWAP1 00000dd9: SELFBALANCE 00000dda: DUP2 00000ddb: MSTORE 00000ddc: RETURN 00000ddd: JUMPDEST 00000dde: SWAP2 00000ddf: DUP2 00000de0: PUSH1 0x1f 00000de2: DUP5 00000de3: ADD 00000de4: SLT 00000de5: ISZERO 00000de6: PUSH2 0x0e0e 00000de9: JUMPI 00000dea: DUP3 00000deb: CALLDATALOAD 00000dec: SWAP2 00000ded: PUSH8 0xffffffffffffffff 00000df6: DUP4 00000df7: GT 00000df8: PUSH2 0x0e0e 00000dfb: JUMPI 00000dfc: PUSH1 0x20 00000dfe: DUP1 00000dff: DUP6 00000e00: ADD 00000e01: SWAP5 00000e02: DUP5 00000e03: PUSH1 0x05 00000e05: SHL 00000e06: ADD 00000e07: ADD 00000e08: GT 00000e09: PUSH2 0x0e0e 00000e0c: JUMPI 00000e0d: JUMP 00000e0e: JUMPDEST 00000e0f: PUSH1 0x00 00000e11: DUP1 00000e12: REVERT 00000e13: JUMPDEST 00000e14: SWAP2 00000e15: DUP2 00000e16: PUSH1 0x1f 00000e18: DUP5 00000e19: ADD 00000e1a: SLT 00000e1b: ISZERO 00000e1c: PUSH2 0x0e0e 00000e1f: JUMPI 00000e20: DUP3 00000e21: CALLDATALOAD 00000e22: SWAP2 00000e23: PUSH8 0xffffffffffffffff 00000e2c: DUP4 00000e2d: GT 00000e2e: PUSH2 0x0e0e 00000e31: JUMPI 00000e32: PUSH1 0x20 00000e34: DUP4 00000e35: DUP2 00000e36: DUP7 00000e37: ADD 00000e38: SWAP6 00000e39: ADD 00000e3a: ADD 00000e3b: GT 00000e3c: PUSH2 0x0e0e 00000e3f: JUMPI 00000e40: JUMP 00000e41: JUMPDEST 00000e42: PUSH1 0x04 00000e44: CALLDATALOAD 00000e45: SWAP1 00000e46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5b: DUP3 00000e5c: AND 00000e5d: DUP3 00000e5e: SUB 00000e5f: PUSH2 0x0e0e 00000e62: JUMPI 00000e63: JUMP 00000e64: JUMPDEST 00000e65: SWAP2 00000e66: SWAP1 00000e67: DUP3 00000e68: MLOAD 00000e69: SWAP3 00000e6a: DUP4 00000e6b: DUP3 00000e6c: MSTORE 00000e6d: PUSH1 0x00 00000e6f: JUMPDEST 00000e70: DUP5 00000e71: DUP2 00000e72: LT 00000e73: PUSH2 0x0eae 00000e76: JUMPI 00000e77: POP 00000e78: POP 00000e79: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000e9a: PUSH1 0x1f 00000e9c: DUP5 00000e9d: PUSH1 0x00 00000e9f: PUSH1 0x20 00000ea1: DUP1 00000ea2: SWAP7 00000ea3: SWAP8 00000ea4: DUP7 00000ea5: ADD 00000ea6: ADD 00000ea7: MSTORE 00000ea8: ADD 00000ea9: AND 00000eaa: ADD 00000eab: ADD 00000eac: SWAP1 00000ead: JUMP 00000eae: JUMPDEST 00000eaf: PUSH1 0x20 00000eb1: DUP2 00000eb2: DUP4 00000eb3: ADD 00000eb4: DUP2 00000eb5: ADD 00000eb6: MLOAD 00000eb7: DUP5 00000eb8: DUP4 00000eb9: ADD 00000eba: DUP3 00000ebb: ADD 00000ebc: MSTORE 00000ebd: ADD 00000ebe: PUSH2 0x0e6f 00000ec1: JUMP 00000ec2: JUMPDEST 00000ec3: SWAP2 00000ec4: SWAP1 00000ec5: DUP3 00000ec6: ADD 00000ec7: DUP1 00000ec8: SWAP3 00000ec9: GT 00000eca: PUSH2 0x0ecf 00000ecd: JUMPI 00000ece: JUMP 00000ecf: JUMPDEST 00000ed0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000ef1: PUSH1 0x00 00000ef3: MSTORE 00000ef4: PUSH1 0x11 00000ef6: PUSH1 0x04 00000ef8: MSTORE 00000ef9: PUSH1 0x24 00000efb: PUSH1 0x00 00000efd: REVERT 00000efe: JUMPDEST 00000eff: SWAP2 00000f00: DUP4 00000f01: PUSH1 0x60 00000f03: SWAP5 00000f04: PUSH1 0x1f 00000f06: SWAP3 00000f07: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000f28: SWAP5 00000f29: DUP7 00000f2a: MSTORE 00000f2b: PUSH1 0x40 00000f2d: PUSH1 0x20 00000f2f: DUP8 00000f30: ADD 00000f31: MSTORE 00000f32: DUP2 00000f33: PUSH1 0x40 00000f35: DUP8 00000f36: ADD 00000f37: MSTORE 00000f38: DUP7 00000f39: DUP7 00000f3a: ADD 00000f3b: CALLDATACOPY 00000f3c: PUSH1 0x00 00000f3e: DUP6 00000f3f: DUP3 00000f40: DUP7 00000f41: ADD 00000f42: ADD 00000f43: MSTORE 00000f44: ADD 00000f45: AND 00000f46: ADD 00000f47: ADD 00000f48: SWAP1 00000f49: JUMP 00000f4a: JUMPDEST 00000f4b: SWAP2 00000f4c: SWAP1 00000f4d: DUP2 00000f4e: LT 00000f4f: ISZERO 00000f50: PUSH2 0x0f5a 00000f53: JUMPI 00000f54: PUSH1 0x05 00000f56: SHL 00000f57: ADD 00000f58: SWAP1 00000f59: JUMP 00000f5a: JUMPDEST 00000f5b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000f7c: PUSH1 0x00 00000f7e: MSTORE 00000f7f: PUSH1 0x32 00000f81: PUSH1 0x04 00000f83: MSTORE 00000f84: PUSH1 0x24 00000f86: PUSH1 0x00 00000f88: REVERT 00000f89: JUMPDEST 00000f8a: SWAP2 00000f8b: SWAP1 00000f8c: DUP3 00000f8d: SUB 00000f8e: SWAP2 00000f8f: DUP3 00000f90: GT 00000f91: PUSH2 0x0ecf 00000f94: JUMPI 00000f95: JUMP 00000f96: JUMPDEST 00000f97: PUSH1 0x40 00000f99: DUP2 00000f9a: ADD 00000f9b: SWAP1 00000f9c: DUP2 00000f9d: LT 00000f9e: PUSH8 0xffffffffffffffff 00000fa7: DUP3 00000fa8: GT 00000fa9: OR 00000faa: PUSH2 0x0fb2 00000fad: JUMPI 00000fae: PUSH1 0x40 00000fb0: MSTORE 00000fb1: JUMP 00000fb2: JUMPDEST 00000fb3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000fd4: PUSH1 0x00 00000fd6: MSTORE 00000fd7: PUSH1 0x41 00000fd9: PUSH1 0x04 00000fdb: MSTORE 00000fdc: PUSH1 0x24 00000fde: PUSH1 0x00 00000fe0: REVERT 00000fe1: JUMPDEST 00000fe2: SWAP1 00000fe3: PUSH1 0x1f 00000fe5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001006: SWAP2 00001007: ADD 00001008: AND 00001009: DUP2 0000100a: ADD 0000100b: SWAP1 0000100c: DUP2 0000100d: LT 0000100e: PUSH8 0xffffffffffffffff 00001017: DUP3 00001018: GT 00001019: OR 0000101a: PUSH2 0x0fb2 0000101d: JUMPI 0000101e: PUSH1 0x40 00001020: MSTORE 00001021: JUMP 00001022: JUMPDEST 00001023: RETURNDATASIZE 00001024: ISZERO 00001025: PUSH2 0x107b 00001028: JUMPI 00001029: RETURNDATASIZE 0000102a: SWAP1 0000102b: PUSH8 0xffffffffffffffff 00001034: DUP3 00001035: GT 00001036: PUSH2 0x0fb2 00001039: JUMPI 0000103a: PUSH1 0x40 0000103c: MLOAD 0000103d: SWAP2 0000103e: PUSH2 0x106f 00001041: PUSH1 0x20 00001043: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001064: PUSH1 0x1f 00001066: DUP5 00001067: ADD 00001068: AND 00001069: ADD 0000106a: DUP5 0000106b: PUSH2 0x0fe1 0000106e: JUMP 0000106f: JUMPDEST 00001070: DUP3 00001071: MSTORE 00001072: RETURNDATASIZE 00001073: PUSH1 0x00 00001075: PUSH1 0x20 00001077: DUP5 00001078: ADD 00001079: RETURNDATACOPY 0000107a: JUMP 0000107b: JUMPDEST 0000107c: PUSH1 0x60 0000107e: SWAP1 0000107f: JUMP 00001080: JUMPDEST 00001081: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001096: PUSH32 0x0000000000000000000000007777777f279eba3d3ad8f4e708545291a6fdba8b 000010b7: AND 000010b8: ADDRESS 000010b9: EQ 000010ba: DUP1 000010bb: PUSH2 0x118f 000010be: JUMPI 000010bf: JUMPDEST 000010c0: ISZERO 000010c1: PUSH2 0x10e8 000010c4: JUMPI 000010c5: PUSH32 0xcd12acb6aab7776a55426cc05fe48a0502bfc08c3ca6791635ef07076ef4e9b4 000010e6: SWAP1 000010e7: JUMP 000010e8: JUMPDEST 000010e9: PUSH1 0x40 000010eb: MLOAD 000010ec: PUSH1 0x20 000010ee: DUP2 000010ef: ADD 000010f0: SWAP1 000010f1: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f 00001112: DUP3 00001113: MSTORE 00001114: PUSH32 0x2c4679fa3806a63bb76094fb31a249690e22248001692948fa20c105d49b623b 00001135: PUSH1 0x40 00001137: DUP3 00001138: ADD 00001139: MSTORE 0000113a: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6 0000115b: PUSH1 0x60 0000115d: DUP3 0000115e: ADD 0000115f: MSTORE 00001160: CHAINID 00001161: PUSH1 0x80 00001163: DUP3 00001164: ADD 00001165: MSTORE 00001166: ADDRESS 00001167: PUSH1 0xa0 00001169: DUP3 0000116a: ADD 0000116b: MSTORE 0000116c: PUSH1 0xa0 0000116e: DUP2 0000116f: MSTORE 00001170: PUSH1 0xc0 00001172: DUP2 00001173: ADD 00001174: DUP2 00001175: DUP2 00001176: LT 00001177: PUSH8 0xffffffffffffffff 00001180: DUP3 00001181: GT 00001182: OR 00001183: PUSH2 0x0fb2 00001186: JUMPI 00001187: PUSH1 0x40 00001189: MSTORE 0000118a: MLOAD 0000118b: SWAP1 0000118c: KECCAK256 0000118d: SWAP1 0000118e: JUMP 0000118f: JUMPDEST 00001190: POP 00001191: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 000011b2: CHAINID 000011b3: EQ 000011b4: PUSH2 0x10bf 000011b7: JUMP 000011b8: JUMPDEST 000011b9: PUSH1 0xff 000011bb: DUP2 000011bc: EQ 000011bd: PUSH2 0x120e 000011c0: JUMPI 000011c1: PUSH1 0xff 000011c3: DUP2 000011c4: AND 000011c5: SWAP1 000011c6: PUSH1 0x1f 000011c8: DUP3 000011c9: GT 000011ca: PUSH2 0x11e4 000011cd: JUMPI 000011ce: PUSH1 0x40 000011d0: MLOAD 000011d1: SWAP2 000011d2: PUSH2 0x11da 000011d5: DUP4 000011d6: PUSH2 0x0f96 000011d9: JUMP 000011da: JUMPDEST 000011db: DUP3 000011dc: MSTORE 000011dd: PUSH1 0x20 000011df: DUP3 000011e0: ADD 000011e1: MSTORE 000011e2: SWAP1 000011e3: JUMP 000011e4: JUMPDEST 000011e5: PUSH1 0x04 000011e7: PUSH1 0x40 000011e9: MLOAD 000011ea: PUSH32 0xb3512b0c00000000000000000000000000000000000000000000000000000000 0000120b: DUP2 0000120c: MSTORE 0000120d: REVERT 0000120e: JUMPDEST 0000120f: POP 00001210: PUSH1 0x40 00001212: MLOAD 00001213: PUSH1 0x00 00001215: DUP1 00001216: SLOAD 00001217: SWAP1 00001218: PUSH1 0x01 0000121a: DUP3 0000121b: DUP2 0000121c: SHR 0000121d: SWAP1 0000121e: DUP1 0000121f: DUP5 00001220: AND 00001221: SWAP4 00001222: DUP5 00001223: ISZERO 00001224: PUSH2 0x1324 00001227: JUMPI 00001228: JUMPDEST 00001229: PUSH1 0x20 0000122b: SWAP5 0000122c: DUP6 0000122d: DUP5 0000122e: LT 0000122f: DUP2 00001230: EQ 00001231: PUSH2 0x12f7 00001234: JUMPI 00001235: DUP4 00001236: DUP8 00001237: MSTORE 00001238: DUP7 00001239: SWAP5 0000123a: SWAP4 0000123b: SWAP3 0000123c: SWAP2 0000123d: DUP2 0000123e: ISZERO 0000123f: PUSH2 0x12b8 00001242: JUMPI 00001243: POP 00001244: PUSH1 0x01 00001246: EQ 00001247: PUSH2 0x125c 0000124a: JUMPI 0000124b: JUMPDEST 0000124c: POP 0000124d: POP 0000124e: PUSH2 0x1259 00001251: SWAP3 00001252: POP 00001253: SUB 00001254: DUP3 00001255: PUSH2 0x0fe1 00001258: JUMP 00001259: JUMPDEST 0000125a: SWAP1 0000125b: JUMP 0000125c: JUMPDEST 0000125d: PUSH1 0x00 0000125f: DUP1 00001260: DUP1 00001261: MSTORE 00001262: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563 00001283: SWAP6 00001284: SWAP4 00001285: POP 00001286: SWAP2 00001287: SWAP1 00001288: JUMPDEST 00001289: DUP2 0000128a: DUP4 0000128b: LT 0000128c: PUSH2 0x12a0 0000128f: JUMPI 00001290: POP 00001291: POP 00001292: PUSH2 0x1259 00001295: SWAP4 00001296: POP 00001297: DUP3 00001298: ADD 00001299: ADD 0000129a: CODESIZE 0000129b: DUP1 0000129c: PUSH2 0x124b 0000129f: JUMP 000012a0: JUMPDEST 000012a1: DUP6 000012a2: SLOAD 000012a3: DUP8 000012a4: DUP5 000012a5: ADD 000012a6: DUP6 000012a7: ADD 000012a8: MSTORE 000012a9: SWAP5 000012aa: DUP6 000012ab: ADD 000012ac: SWAP5 000012ad: DUP7 000012ae: SWAP5 000012af: POP 000012b0: SWAP2 000012b1: DUP4 000012b2: ADD 000012b3: SWAP2 000012b4: PUSH2 0x1288 000012b7: JUMP 000012b8: JUMPDEST 000012b9: SWAP1 000012ba: POP 000012bb: PUSH2 0x1259 000012be: SWAP6 000012bf: SWAP4 000012c0: POP 000012c1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000012e2: SWAP2 000012e3: POP 000012e4: AND 000012e5: DUP3 000012e6: DUP5 000012e7: ADD 000012e8: MSTORE 000012e9: ISZERO 000012ea: ISZERO 000012eb: PUSH1 0x05 000012ed: SHL 000012ee: DUP3 000012ef: ADD 000012f0: ADD 000012f1: CODESIZE 000012f2: DUP1 000012f3: PUSH2 0x124b 000012f6: JUMP 000012f7: JUMPDEST 000012f8: PUSH1 0x24 000012fa: DUP6 000012fb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000131c: DUP2 0000131d: MSTORE 0000131e: PUSH1 0x22 00001320: PUSH1 0x04 00001322: MSTORE 00001323: REVERT 00001324: JUMPDEST 00001325: SWAP2 00001326: PUSH1 0x7f 00001328: AND 00001329: SWAP2 0000132a: PUSH2 0x1228 0000132d: JUMP 0000132e: JUMPDEST 0000132f: PUSH1 0xff 00001331: DUP2 00001332: EQ 00001333: PUSH2 0x1350 00001336: JUMPI 00001337: PUSH1 0xff 00001339: DUP2 0000133a: AND 0000133b: SWAP1 0000133c: PUSH1 0x1f 0000133e: DUP3 0000133f: GT 00001340: PUSH2 0x11e4 00001343: JUMPI 00001344: PUSH1 0x40 00001346: MLOAD 00001347: SWAP2 00001348: PUSH2 0x11da 0000134b: DUP4 0000134c: PUSH2 0x0f96 0000134f: JUMP 00001350: JUMPDEST 00001351: POP 00001352: PUSH1 0x40 00001354: MLOAD 00001355: PUSH1 0x00 00001357: PUSH1 0x01 00001359: SWAP1 0000135a: DUP2 0000135b: SLOAD 0000135c: SWAP2 0000135d: DUP3 0000135e: DUP2 0000135f: SHR 00001360: SWAP1 00001361: DUP1 00001362: DUP5 00001363: AND 00001364: SWAP4 00001365: DUP5 00001366: ISZERO 00001367: PUSH2 0x13f7 0000136a: JUMPI 0000136b: JUMPDEST 0000136c: PUSH1 0x20 0000136e: SWAP5 0000136f: DUP6 00001370: DUP5 00001371: LT 00001372: DUP2 00001373: EQ 00001374: PUSH2 0x12f7 00001377: JUMPI 00001378: DUP4 00001379: DUP8 0000137a: MSTORE 0000137b: DUP7 0000137c: SWAP5 0000137d: SWAP4 0000137e: SWAP3 0000137f: SWAP2 00001380: DUP2 00001381: ISZERO 00001382: PUSH2 0x12b8 00001385: JUMPI 00001386: POP 00001387: PUSH1 0x01 00001389: EQ 0000138a: PUSH2 0x139b 0000138d: JUMPI 0000138e: POP 0000138f: POP 00001390: PUSH2 0x1259 00001393: SWAP3 00001394: POP 00001395: SUB 00001396: DUP3 00001397: PUSH2 0x0fe1 0000139a: JUMP 0000139b: JUMPDEST 0000139c: PUSH1 0x00 0000139e: DUP2 0000139f: DUP2 000013a0: MSTORE 000013a1: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6 000013c2: SWAP6 000013c3: SWAP4 000013c4: POP 000013c5: SWAP2 000013c6: SWAP1 000013c7: JUMPDEST 000013c8: DUP2 000013c9: DUP4 000013ca: LT 000013cb: PUSH2 0x13df 000013ce: JUMPI 000013cf: POP 000013d0: POP 000013d1: PUSH2 0x1259 000013d4: SWAP4 000013d5: POP 000013d6: DUP3 000013d7: ADD 000013d8: ADD 000013d9: CODESIZE 000013da: DUP1 000013db: PUSH2 0x124b 000013de: JUMP 000013df: JUMPDEST 000013e0: DUP6 000013e1: SLOAD 000013e2: DUP8 000013e3: DUP5 000013e4: ADD 000013e5: DUP6 000013e6: ADD 000013e7: MSTORE 000013e8: SWAP5 000013e9: DUP6 000013ea: ADD 000013eb: SWAP5 000013ec: DUP7 000013ed: SWAP5 000013ee: POP 000013ef: SWAP2 000013f0: DUP4 000013f1: ADD 000013f2: SWAP2 000013f3: PUSH2 0x13c7 000013f6: JUMP 000013f7: JUMPDEST 000013f8: SWAP2 000013f9: PUSH1 0x7f 000013fb: AND 000013fc: SWAP2 000013fd: PUSH2 0x136b 00001400: JUMP 00001401: INVALID 00001402: LOG2 00001403: PUSH5 0x6970667358 00001409: UNKNOWN(0x22) 0000140a: SLT 0000140b: KECCAK256 0000140c: UNKNOWN(0xDD) 0000140d: SWAP14 0000140e: UNKNOWN(0xB9) 0000140f: UNKNOWN(0xDF) 00001410: INVALID 00001411: UNKNOWN(0xAD) 00001412: UNKNOWN(0x2C) 00001413: EQ 00001414: PUSH28 0xe67623cf2b22414f1301ec1fec56acd3cbf65bd45c937d64736f6c63 00001431: NUMBER 00001432: STOP 00001433: ADDMOD 00001434: GT 00001435: STOP 00001436: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xed3a10a7c299827cf3441815c462e63430ce48920c6c9c2427858b76f3b9452c
call_targets:
0x7777777f279eba3d3ad8f4e708545291a6fdba8b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xed3a10a7c299827cf3441815c462e63430ce48920c6c9c2427858b76f3b9452c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7777777f279eba3d3ad8f4e708545291a6fdba8b"
],
"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": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x300def95",
"selector": "0x300def95",
"calldata_variants": [
"0x300def95",
"0x300def950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x76c5d758",
"selector": "0x76c5d758",
"calldata_variants": [
"0x76c5d758",
"0x76c5d7580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ecebe00",
"selector": "0x7ecebe00",
"calldata_variants": [
"0x7ecebe00",
"0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x84b0196e",
"selector": "0x84b0196e",
"calldata_variants": [
"0x84b0196e",
"0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc27e9794",
"selector": "0xc27e9794",
"calldata_variants": [
"0xc27e9794",
"0xc27e97940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb518db2",
"selector": "0xdb518db2",
"calldata_variants": [
"0xdb518db2",
"0xdb518db20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1132,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1481,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1994,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xed3a10a7c299827cf3441815c462e63430ce48920c6c9c2427858b76f3b9452c
call_targets:
0x7777777f279eba3d3ad8f4e708545291a6fdba8b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xed3a10a7c299827cf3441815c462e63430ce48920c6c9c2427858b76f3b9452c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7777777f279eba3d3ad8f4e708545291a6fdba8b"
],
"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": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x300def95",
"selector": "0x300def95",
"calldata_variants": [
"0x300def95",
"0x300def950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x76c5d758",
"selector": "0x76c5d758",
"calldata_variants": [
"0x76c5d758",
"0x76c5d7580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ecebe00",
"selector": "0x7ecebe00",
"calldata_variants": [
"0x7ecebe00",
"0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x84b0196e",
"selector": "0x84b0196e",
"calldata_variants": [
"0x84b0196e",
"0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc27e9794",
"selector": "0xc27e9794",
"calldata_variants": [
"0xc27e9794",
"0xc27e97940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb518db2",
"selector": "0xdb518db2",
"calldata_variants": [
"0xdb518db2",
"0xdb518db20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1132,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1481,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1994,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|