019b477e-da14-7195-b147-01bf9449ad8c
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 |
|---|---|---|---|---|
| 29411 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29412 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108185 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108186 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108187 | detector.run | complete | 1 / 3 | 1 week ago |
| 108188 | 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: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0038 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x1c1a995d 00000019: EQ 0000001a: PUSH2 0x0041 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x375460cc 00000024: EQ 00000025: PUSH2 0x005d 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbf42c770 0000002f: EQ 00000030: PUSH2 0x009a 00000033: JUMPI 00000034: PUSH2 0x003f 00000037: JUMP 00000038: JUMPDEST 00000039: CALLDATASIZE 0000003a: PUSH2 0x003f 0000003d: JUMPI 0000003e: STOP 0000003f: JUMPDEST 00000040: STOP 00000041: JUMPDEST 00000042: PUSH2 0x005b 00000045: PUSH1 0x04 00000047: DUP1 00000048: CALLDATASIZE 00000049: SUB 0000004a: DUP2 0000004b: ADD 0000004c: SWAP1 0000004d: PUSH2 0x0056 00000050: SWAP2 00000051: SWAP1 00000052: PUSH2 0x0bda 00000055: JUMP 00000056: JUMPDEST 00000057: PUSH2 0x00c3 0000005a: JUMP 0000005b: JUMPDEST 0000005c: STOP 0000005d: JUMPDEST 0000005e: CALLVALUE 0000005f: DUP1 00000060: ISZERO 00000061: PUSH2 0x0069 00000064: JUMPI 00000065: PUSH1 0x00 00000067: DUP1 00000068: REVERT 00000069: JUMPDEST 0000006a: POP 0000006b: PUSH2 0x0084 0000006e: PUSH1 0x04 00000070: DUP1 00000071: CALLDATASIZE 00000072: SUB 00000073: DUP2 00000074: ADD 00000075: SWAP1 00000076: PUSH2 0x007f 00000079: SWAP2 0000007a: SWAP1 0000007b: PUSH2 0x0b30 0000007e: JUMP 0000007f: JUMPDEST 00000080: PUSH2 0x03cb 00000083: JUMP 00000084: JUMPDEST 00000085: PUSH1 0x40 00000087: MLOAD 00000088: PUSH2 0x0091 0000008b: SWAP2 0000008c: SWAP1 0000008d: PUSH2 0x0f54 00000090: JUMP 00000091: JUMPDEST 00000092: PUSH1 0x40 00000094: MLOAD 00000095: DUP1 00000096: SWAP2 00000097: SUB 00000098: SWAP1 00000099: RETURN 0000009a: JUMPDEST 0000009b: CALLVALUE 0000009c: DUP1 0000009d: ISZERO 0000009e: PUSH2 0x00a6 000000a1: JUMPI 000000a2: PUSH1 0x00 000000a4: DUP1 000000a5: REVERT 000000a6: JUMPDEST 000000a7: POP 000000a8: PUSH2 0x00c1 000000ab: PUSH1 0x04 000000ad: DUP1 000000ae: CALLDATASIZE 000000af: SUB 000000b0: DUP2 000000b1: ADD 000000b2: SWAP1 000000b3: PUSH2 0x00bc 000000b6: SWAP2 000000b7: SWAP1 000000b8: PUSH2 0x0b82 000000bb: JUMP 000000bc: JUMPDEST 000000bd: PUSH2 0x03eb 000000c0: JUMP 000000c1: JUMPDEST 000000c2: STOP 000000c3: JUMPDEST 000000c4: PUSH1 0x00 000000c6: DUP1 000000c7: CALLER 000000c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000dd: AND 000000de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000f3: AND 000000f4: DUP2 000000f5: MSTORE 000000f6: PUSH1 0x20 000000f8: ADD 000000f9: SWAP1 000000fa: DUP2 000000fb: MSTORE 000000fc: PUSH1 0x20 000000fe: ADD 000000ff: PUSH1 0x00 00000101: KECCAK256 00000102: PUSH1 0x00 00000104: SWAP1 00000105: SLOAD 00000106: SWAP1 00000107: PUSH2 0x0100 0000010a: EXP 0000010b: SWAP1 0000010c: DIV 0000010d: PUSH1 0xff 0000010f: AND 00000110: PUSH2 0x014e 00000113: JUMPI 00000114: PUSH1 0x40 00000116: MLOAD 00000117: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000138: DUP2 00000139: MSTORE 0000013a: PUSH1 0x04 0000013c: ADD 0000013d: PUSH2 0x0145 00000140: SWAP1 00000141: PUSH2 0x0fb1 00000144: JUMP 00000145: JUMPDEST 00000146: PUSH1 0x40 00000148: MLOAD 00000149: DUP1 0000014a: SWAP2 0000014b: SUB 0000014c: SWAP1 0000014d: REVERT 0000014e: JUMPDEST 0000014f: PUSH1 0x00 00000151: JUMPDEST 00000152: DUP11 00000153: DUP11 00000154: SWAP1 00000155: POP 00000156: DUP2 00000157: LT 00000158: ISZERO 00000159: PUSH2 0x0242 0000015c: JUMPI 0000015d: DUP11 0000015e: DUP11 0000015f: DUP3 00000160: DUP2 00000161: DUP2 00000162: LT 00000163: PUSH2 0x0195 00000166: JUMPI 00000167: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000188: PUSH1 0x00 0000018a: MSTORE 0000018b: PUSH1 0x32 0000018d: PUSH1 0x04 0000018f: MSTORE 00000190: PUSH1 0x24 00000192: PUSH1 0x00 00000194: REVERT 00000195: JUMPDEST 00000196: SWAP1 00000197: POP 00000198: PUSH1 0x20 0000019a: MUL 0000019b: ADD 0000019c: PUSH1 0x20 0000019e: DUP2 0000019f: ADD 000001a0: SWAP1 000001a1: PUSH2 0x01aa 000001a4: SWAP2 000001a5: SWAP1 000001a6: PUSH2 0x0b59 000001a9: JUMP 000001aa: JUMPDEST 000001ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c0: AND 000001c1: PUSH2 0x08fc 000001c4: DUP11 000001c5: DUP11 000001c6: DUP5 000001c7: DUP2 000001c8: DUP2 000001c9: LT 000001ca: PUSH2 0x01fc 000001cd: JUMPI 000001ce: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000001ef: PUSH1 0x00 000001f1: MSTORE 000001f2: PUSH1 0x32 000001f4: PUSH1 0x04 000001f6: MSTORE 000001f7: PUSH1 0x24 000001f9: PUSH1 0x00 000001fb: REVERT 000001fc: JUMPDEST 000001fd: SWAP1 000001fe: POP 000001ff: PUSH1 0x20 00000201: MUL 00000202: ADD 00000203: CALLDATALOAD 00000204: SWAP1 00000205: DUP2 00000206: ISZERO 00000207: MUL 00000208: SWAP1 00000209: PUSH1 0x40 0000020b: MLOAD 0000020c: PUSH1 0x00 0000020e: PUSH1 0x40 00000210: MLOAD 00000211: DUP1 00000212: DUP4 00000213: SUB 00000214: DUP2 00000215: DUP6 00000216: DUP9 00000217: DUP9 00000218: CALL 00000219: SWAP4 0000021a: POP 0000021b: POP 0000021c: POP 0000021d: POP 0000021e: ISZERO 0000021f: DUP1 00000220: ISZERO 00000221: PUSH2 0x022e 00000224: JUMPI 00000225: RETURNDATASIZE 00000226: PUSH1 0x00 00000228: DUP1 00000229: RETURNDATACOPY 0000022a: RETURNDATASIZE 0000022b: PUSH1 0x00 0000022d: REVERT 0000022e: JUMPDEST 0000022f: POP 00000230: DUP1 00000231: DUP1 00000232: PUSH2 0x023a 00000235: SWAP1 00000236: PUSH2 0x10e2 00000239: JUMP 0000023a: JUMPDEST 0000023b: SWAP2 0000023c: POP 0000023d: POP 0000023e: PUSH2 0x0151 00000241: JUMP 00000242: JUMPDEST 00000243: POP 00000244: PUSH1 0x00 00000246: JUMPDEST 00000247: DUP5 00000248: DUP5 00000249: SWAP1 0000024a: POP 0000024b: DUP2 0000024c: LT 0000024d: ISZERO 0000024e: PUSH2 0x03be 00000251: JUMPI 00000252: PUSH2 0x03ab 00000255: DUP8 00000256: DUP8 00000257: DUP4 00000258: DUP2 00000259: DUP2 0000025a: LT 0000025b: PUSH2 0x028d 0000025e: JUMPI 0000025f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000280: PUSH1 0x00 00000282: MSTORE 00000283: PUSH1 0x32 00000285: PUSH1 0x04 00000287: MSTORE 00000288: PUSH1 0x24 0000028a: PUSH1 0x00 0000028c: REVERT 0000028d: JUMPDEST 0000028e: SWAP1 0000028f: POP 00000290: PUSH1 0x20 00000292: MUL 00000293: ADD 00000294: PUSH1 0x20 00000296: DUP2 00000297: ADD 00000298: SWAP1 00000299: PUSH2 0x02a2 0000029c: SWAP2 0000029d: SWAP1 0000029e: PUSH2 0x0d08 000002a1: JUMP 000002a2: JUMPDEST 000002a3: PUSH4 0xa9059cbb 000002a8: PUSH1 0xe0 000002aa: SHL 000002ab: DUP8 000002ac: DUP8 000002ad: DUP6 000002ae: DUP2 000002af: DUP2 000002b0: LT 000002b1: PUSH2 0x02e3 000002b4: JUMPI 000002b5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000002d6: PUSH1 0x00 000002d8: MSTORE 000002d9: PUSH1 0x32 000002db: PUSH1 0x04 000002dd: MSTORE 000002de: PUSH1 0x24 000002e0: PUSH1 0x00 000002e2: REVERT 000002e3: JUMPDEST 000002e4: SWAP1 000002e5: POP 000002e6: PUSH1 0x20 000002e8: MUL 000002e9: ADD 000002ea: PUSH1 0x20 000002ec: DUP2 000002ed: ADD 000002ee: SWAP1 000002ef: PUSH2 0x02f8 000002f2: SWAP2 000002f3: SWAP1 000002f4: PUSH2 0x0b30 000002f7: JUMP 000002f8: JUMPDEST 000002f9: DUP7 000002fa: DUP7 000002fb: DUP7 000002fc: DUP2 000002fd: DUP2 000002fe: LT 000002ff: PUSH2 0x0331 00000302: JUMPI 00000303: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000324: PUSH1 0x00 00000326: MSTORE 00000327: PUSH1 0x32 00000329: PUSH1 0x04 0000032b: MSTORE 0000032c: PUSH1 0x24 0000032e: PUSH1 0x00 00000330: REVERT 00000331: JUMPDEST 00000332: SWAP1 00000333: POP 00000334: PUSH1 0x20 00000336: MUL 00000337: ADD 00000338: CALLDATALOAD 00000339: PUSH1 0x40 0000033b: MLOAD 0000033c: PUSH1 0x24 0000033e: ADD 0000033f: PUSH2 0x0349 00000342: SWAP3 00000343: SWAP2 00000344: SWAP1 00000345: PUSH2 0x0f2b 00000348: JUMP 00000349: JUMPDEST 0000034a: PUSH1 0x40 0000034c: MLOAD 0000034d: PUSH1 0x20 0000034f: DUP2 00000350: DUP4 00000351: SUB 00000352: SUB 00000353: DUP2 00000354: MSTORE 00000355: SWAP1 00000356: PUSH1 0x40 00000358: MSTORE 00000359: SWAP1 0000035a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000377: NOT 00000378: AND 00000379: PUSH1 0x20 0000037b: DUP3 0000037c: ADD 0000037d: DUP1 0000037e: MLOAD 0000037f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000039c: DUP4 0000039d: DUP2 0000039e: DUP4 0000039f: AND 000003a0: OR 000003a1: DUP4 000003a2: MSTORE 000003a3: POP 000003a4: POP 000003a5: POP 000003a6: POP 000003a7: PUSH2 0x0706 000003aa: JUMP 000003ab: JUMPDEST 000003ac: DUP1 000003ad: DUP1 000003ae: PUSH2 0x03b6 000003b1: SWAP1 000003b2: PUSH2 0x10e2 000003b5: JUMP 000003b6: JUMPDEST 000003b7: SWAP2 000003b8: POP 000003b9: POP 000003ba: PUSH2 0x0246 000003bd: JUMP 000003be: JUMPDEST 000003bf: POP 000003c0: POP 000003c1: POP 000003c2: POP 000003c3: POP 000003c4: POP 000003c5: POP 000003c6: POP 000003c7: POP 000003c8: POP 000003c9: POP 000003ca: JUMP 000003cb: JUMPDEST 000003cc: PUSH1 0x00 000003ce: PUSH1 0x20 000003d0: MSTORE 000003d1: DUP1 000003d2: PUSH1 0x00 000003d4: MSTORE 000003d5: PUSH1 0x40 000003d7: PUSH1 0x00 000003d9: KECCAK256 000003da: PUSH1 0x00 000003dc: SWAP2 000003dd: POP 000003de: SLOAD 000003df: SWAP1 000003e0: PUSH2 0x0100 000003e3: EXP 000003e4: SWAP1 000003e5: DIV 000003e6: PUSH1 0xff 000003e8: AND 000003e9: DUP2 000003ea: JUMP 000003eb: JUMPDEST 000003ec: PUSH1 0x00 000003ee: DUP1 000003ef: CALLER 000003f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000405: AND 00000406: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000041b: AND 0000041c: DUP2 0000041d: MSTORE 0000041e: PUSH1 0x20 00000420: ADD 00000421: SWAP1 00000422: DUP2 00000423: MSTORE 00000424: PUSH1 0x20 00000426: ADD 00000427: PUSH1 0x00 00000429: KECCAK256 0000042a: PUSH1 0x00 0000042c: SWAP1 0000042d: SLOAD 0000042e: SWAP1 0000042f: PUSH2 0x0100 00000432: EXP 00000433: SWAP1 00000434: DIV 00000435: PUSH1 0xff 00000437: AND 00000438: PUSH2 0x0476 0000043b: JUMPI 0000043c: PUSH1 0x40 0000043e: MLOAD 0000043f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000460: DUP2 00000461: MSTORE 00000462: PUSH1 0x04 00000464: ADD 00000465: PUSH2 0x046d 00000468: SWAP1 00000469: PUSH2 0x0fb1 0000046c: JUMP 0000046d: JUMPDEST 0000046e: PUSH1 0x40 00000470: MLOAD 00000471: DUP1 00000472: SWAP2 00000473: SUB 00000474: SWAP1 00000475: REVERT 00000476: JUMPDEST 00000477: PUSH1 0x00 00000479: JUMPDEST 0000047a: DUP4 0000047b: DUP4 0000047c: SWAP1 0000047d: POP 0000047e: DUP2 0000047f: LT 00000480: ISZERO 00000481: PUSH2 0x0700 00000484: JUMPI 00000485: DUP2 00000486: ISZERO 00000487: ISZERO 00000488: PUSH1 0x00 0000048a: DUP1 0000048b: DUP7 0000048c: DUP7 0000048d: DUP6 0000048e: DUP2 0000048f: DUP2 00000490: LT 00000491: PUSH2 0x04c3 00000494: JUMPI 00000495: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000004b6: PUSH1 0x00 000004b8: MSTORE 000004b9: PUSH1 0x32 000004bb: PUSH1 0x04 000004bd: MSTORE 000004be: PUSH1 0x24 000004c0: PUSH1 0x00 000004c2: REVERT 000004c3: JUMPDEST 000004c4: SWAP1 000004c5: POP 000004c6: PUSH1 0x20 000004c8: MUL 000004c9: ADD 000004ca: PUSH1 0x20 000004cc: DUP2 000004cd: ADD 000004ce: SWAP1 000004cf: PUSH2 0x04d8 000004d2: SWAP2 000004d3: SWAP1 000004d4: PUSH2 0x0b30 000004d7: JUMP 000004d8: JUMPDEST 000004d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ee: AND 000004ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000504: AND 00000505: DUP2 00000506: MSTORE 00000507: PUSH1 0x20 00000509: ADD 0000050a: SWAP1 0000050b: DUP2 0000050c: MSTORE 0000050d: PUSH1 0x20 0000050f: ADD 00000510: PUSH1 0x00 00000512: KECCAK256 00000513: PUSH1 0x00 00000515: SWAP1 00000516: SLOAD 00000517: SWAP1 00000518: PUSH2 0x0100 0000051b: EXP 0000051c: SWAP1 0000051d: DIV 0000051e: PUSH1 0xff 00000520: AND 00000521: ISZERO 00000522: ISZERO 00000523: EQ 00000524: ISZERO 00000525: DUP1 00000526: ISZERO 00000527: PUSH2 0x05a9 0000052a: JUMPI 0000052b: POP 0000052c: CALLER 0000052d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000542: AND 00000543: DUP5 00000544: DUP5 00000545: DUP4 00000546: DUP2 00000547: DUP2 00000548: LT 00000549: PUSH2 0x057b 0000054c: JUMPI 0000054d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000056e: PUSH1 0x00 00000570: MSTORE 00000571: PUSH1 0x32 00000573: PUSH1 0x04 00000575: MSTORE 00000576: PUSH1 0x24 00000578: PUSH1 0x00 0000057a: REVERT 0000057b: JUMPDEST 0000057c: SWAP1 0000057d: POP 0000057e: PUSH1 0x20 00000580: MUL 00000581: ADD 00000582: PUSH1 0x20 00000584: DUP2 00000585: ADD 00000586: SWAP1 00000587: PUSH2 0x0590 0000058a: SWAP2 0000058b: SWAP1 0000058c: PUSH2 0x0b30 0000058f: JUMP 00000590: JUMPDEST 00000591: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a6: AND 000005a7: EQ 000005a8: ISZERO 000005a9: JUMPDEST 000005aa: ISZERO 000005ab: PUSH2 0x06ed 000005ae: JUMPI 000005af: DUP2 000005b0: PUSH1 0x00 000005b2: DUP1 000005b3: DUP7 000005b4: DUP7 000005b5: DUP6 000005b6: DUP2 000005b7: DUP2 000005b8: LT 000005b9: PUSH2 0x05eb 000005bc: JUMPI 000005bd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000005de: PUSH1 0x00 000005e0: MSTORE 000005e1: PUSH1 0x32 000005e3: PUSH1 0x04 000005e5: MSTORE 000005e6: PUSH1 0x24 000005e8: PUSH1 0x00 000005ea: REVERT 000005eb: JUMPDEST 000005ec: SWAP1 000005ed: POP 000005ee: PUSH1 0x20 000005f0: MUL 000005f1: ADD 000005f2: PUSH1 0x20 000005f4: DUP2 000005f5: ADD 000005f6: SWAP1 000005f7: PUSH2 0x0600 000005fa: SWAP2 000005fb: SWAP1 000005fc: PUSH2 0x0b30 000005ff: JUMP 00000600: JUMPDEST 00000601: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000616: AND 00000617: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062c: AND 0000062d: DUP2 0000062e: MSTORE 0000062f: PUSH1 0x20 00000631: ADD 00000632: SWAP1 00000633: DUP2 00000634: MSTORE 00000635: PUSH1 0x20 00000637: ADD 00000638: PUSH1 0x00 0000063a: KECCAK256 0000063b: PUSH1 0x00 0000063d: PUSH2 0x0100 00000640: EXP 00000641: DUP2 00000642: SLOAD 00000643: DUP2 00000644: PUSH1 0xff 00000646: MUL 00000647: NOT 00000648: AND 00000649: SWAP1 0000064a: DUP4 0000064b: ISZERO 0000064c: ISZERO 0000064d: MUL 0000064e: OR 0000064f: SWAP1 00000650: SSTORE 00000651: POP 00000652: DUP4 00000653: DUP4 00000654: DUP3 00000655: DUP2 00000656: DUP2 00000657: LT 00000658: PUSH2 0x068a 0000065b: JUMPI 0000065c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000067d: PUSH1 0x00 0000067f: MSTORE 00000680: PUSH1 0x32 00000682: PUSH1 0x04 00000684: MSTORE 00000685: PUSH1 0x24 00000687: PUSH1 0x00 00000689: REVERT 0000068a: JUMPDEST 0000068b: SWAP1 0000068c: POP 0000068d: PUSH1 0x20 0000068f: MUL 00000690: ADD 00000691: PUSH1 0x20 00000693: DUP2 00000694: ADD 00000695: SWAP1 00000696: PUSH2 0x069f 00000699: SWAP2 0000069a: SWAP1 0000069b: PUSH2 0x0b30 0000069e: JUMP 0000069f: JUMPDEST 000006a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b5: AND 000006b6: PUSH32 0xc091bf3abd3a42f670f8ad1a6ad5b849311210403e1d85d6ac31f43114d5ca6e 000006d7: DUP4 000006d8: PUSH1 0x40 000006da: MLOAD 000006db: PUSH2 0x06e4 000006de: SWAP2 000006df: SWAP1 000006e0: PUSH2 0x0f54 000006e3: JUMP 000006e4: JUMPDEST 000006e5: PUSH1 0x40 000006e7: MLOAD 000006e8: DUP1 000006e9: SWAP2 000006ea: SUB 000006eb: SWAP1 000006ec: LOG2 000006ed: JUMPDEST 000006ee: DUP1 000006ef: DUP1 000006f0: PUSH2 0x06f8 000006f3: SWAP1 000006f4: PUSH2 0x10e2 000006f7: JUMP 000006f8: JUMPDEST 000006f9: SWAP2 000006fa: POP 000006fb: POP 000006fc: PUSH2 0x0479 000006ff: JUMP 00000700: JUMPDEST 00000701: POP 00000702: POP 00000703: POP 00000704: POP 00000705: JUMP 00000706: JUMPDEST 00000707: PUSH1 0x00 00000709: PUSH2 0x0768 0000070c: DUP3 0000070d: PUSH1 0x40 0000070f: MLOAD 00000710: DUP1 00000711: PUSH1 0x40 00000713: ADD 00000714: PUSH1 0x40 00000716: MSTORE 00000717: DUP1 00000718: PUSH1 0x20 0000071a: DUP2 0000071b: MSTORE 0000071c: PUSH1 0x20 0000071e: ADD 0000071f: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000740: DUP2 00000741: MSTORE 00000742: POP 00000743: DUP6 00000744: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000759: AND 0000075a: PUSH2 0x07cd 0000075d: SWAP1 0000075e: SWAP3 0000075f: SWAP2 00000760: SWAP1 00000761: PUSH4 0xffffffff 00000766: AND 00000767: JUMP 00000768: JUMPDEST 00000769: SWAP1 0000076a: POP 0000076b: PUSH1 0x00 0000076d: DUP2 0000076e: MLOAD 0000076f: GT 00000770: ISZERO 00000771: PUSH2 0x07c8 00000774: JUMPI 00000775: DUP1 00000776: DUP1 00000777: PUSH1 0x20 00000779: ADD 0000077a: SWAP1 0000077b: MLOAD 0000077c: DUP2 0000077d: ADD 0000077e: SWAP1 0000077f: PUSH2 0x0788 00000782: SWAP2 00000783: SWAP1 00000784: PUSH2 0x0cdf 00000787: JUMP 00000788: JUMPDEST 00000789: PUSH2 0x07c7 0000078c: JUMPI 0000078d: PUSH1 0x40 0000078f: MLOAD 00000790: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007b1: DUP2 000007b2: MSTORE 000007b3: PUSH1 0x04 000007b5: ADD 000007b6: PUSH2 0x07be 000007b9: SWAP1 000007ba: PUSH2 0x0ff1 000007bd: JUMP 000007be: JUMPDEST 000007bf: PUSH1 0x40 000007c1: MLOAD 000007c2: DUP1 000007c3: SWAP2 000007c4: SUB 000007c5: SWAP1 000007c6: REVERT 000007c7: JUMPDEST 000007c8: JUMPDEST 000007c9: POP 000007ca: POP 000007cb: POP 000007cc: JUMP 000007cd: JUMPDEST 000007ce: PUSH1 0x60 000007d0: PUSH2 0x07dc 000007d3: DUP5 000007d4: DUP5 000007d5: PUSH1 0x00 000007d7: DUP6 000007d8: PUSH2 0x07e5 000007db: JUMP 000007dc: JUMPDEST 000007dd: SWAP1 000007de: POP 000007df: SWAP4 000007e0: SWAP3 000007e1: POP 000007e2: POP 000007e3: POP 000007e4: JUMP 000007e5: JUMPDEST 000007e6: PUSH1 0x60 000007e8: DUP3 000007e9: SELFBALANCE 000007ea: LT 000007eb: ISZERO 000007ec: PUSH2 0x082a 000007ef: JUMPI 000007f0: PUSH1 0x40 000007f2: MLOAD 000007f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000814: DUP2 00000815: MSTORE 00000816: PUSH1 0x04 00000818: ADD 00000819: PUSH2 0x0821 0000081c: SWAP1 0000081d: PUSH2 0x0f91 00000820: JUMP 00000821: JUMPDEST 00000822: PUSH1 0x40 00000824: MLOAD 00000825: DUP1 00000826: SWAP2 00000827: SUB 00000828: SWAP1 00000829: REVERT 0000082a: JUMPDEST 0000082b: PUSH2 0x0833 0000082e: DUP6 0000082f: PUSH2 0x08f9 00000832: JUMP 00000833: JUMPDEST 00000834: PUSH2 0x0872 00000837: JUMPI 00000838: PUSH1 0x40 0000083a: MLOAD 0000083b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000085c: DUP2 0000085d: MSTORE 0000085e: PUSH1 0x04 00000860: ADD 00000861: PUSH2 0x0869 00000864: SWAP1 00000865: PUSH2 0x0fd1 00000868: JUMP 00000869: JUMPDEST 0000086a: PUSH1 0x40 0000086c: MLOAD 0000086d: DUP1 0000086e: SWAP2 0000086f: SUB 00000870: SWAP1 00000871: REVERT 00000872: JUMPDEST 00000873: PUSH1 0x00 00000875: DUP1 00000876: DUP7 00000877: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000088c: AND 0000088d: DUP6 0000088e: DUP8 0000088f: PUSH1 0x40 00000891: MLOAD 00000892: PUSH2 0x089b 00000895: SWAP2 00000896: SWAP1 00000897: PUSH2 0x0f14 0000089a: JUMP 0000089b: JUMPDEST 0000089c: PUSH1 0x00 0000089e: PUSH1 0x40 000008a0: MLOAD 000008a1: DUP1 000008a2: DUP4 000008a3: SUB 000008a4: DUP2 000008a5: DUP6 000008a6: DUP8 000008a7: GAS 000008a8: CALL 000008a9: SWAP3 000008aa: POP 000008ab: POP 000008ac: POP 000008ad: RETURNDATASIZE 000008ae: DUP1 000008af: PUSH1 0x00 000008b1: DUP2 000008b2: EQ 000008b3: PUSH2 0x08d8 000008b6: JUMPI 000008b7: PUSH1 0x40 000008b9: MLOAD 000008ba: SWAP2 000008bb: POP 000008bc: PUSH1 0x1f 000008be: NOT 000008bf: PUSH1 0x3f 000008c1: RETURNDATASIZE 000008c2: ADD 000008c3: AND 000008c4: DUP3 000008c5: ADD 000008c6: PUSH1 0x40 000008c8: MSTORE 000008c9: RETURNDATASIZE 000008ca: DUP3 000008cb: MSTORE 000008cc: RETURNDATASIZE 000008cd: PUSH1 0x00 000008cf: PUSH1 0x20 000008d1: DUP5 000008d2: ADD 000008d3: RETURNDATACOPY 000008d4: PUSH2 0x08dd 000008d7: JUMP 000008d8: JUMPDEST 000008d9: PUSH1 0x60 000008db: SWAP2 000008dc: POP 000008dd: JUMPDEST 000008de: POP 000008df: SWAP2 000008e0: POP 000008e1: SWAP2 000008e2: POP 000008e3: PUSH2 0x08ed 000008e6: DUP3 000008e7: DUP3 000008e8: DUP7 000008e9: PUSH2 0x0938 000008ec: JUMP 000008ed: JUMPDEST 000008ee: SWAP3 000008ef: POP 000008f0: POP 000008f1: POP 000008f2: SWAP5 000008f3: SWAP4 000008f4: POP 000008f5: POP 000008f6: POP 000008f7: POP 000008f8: JUMP 000008f9: JUMPDEST 000008fa: PUSH1 0x00 000008fc: DUP1 000008fd: DUP3 000008fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000913: AND 00000914: DUP1 00000915: EXTCODESIZE 00000916: DUP1 00000917: PUSH1 0x20 00000919: ADD 0000091a: PUSH1 0x40 0000091c: MLOAD 0000091d: SWAP1 0000091e: DUP2 0000091f: ADD 00000920: PUSH1 0x40 00000922: MSTORE 00000923: DUP2 00000924: DUP2 00000925: MSTORE 00000926: PUSH1 0x00 00000928: SWAP1 00000929: DUP1 0000092a: PUSH1 0x20 0000092c: ADD 0000092d: SWAP1 0000092e: SWAP4 0000092f: EXTCODECOPY 00000930: MLOAD 00000931: GT 00000932: SWAP1 00000933: POP 00000934: SWAP2 00000935: SWAP1 00000936: POP 00000937: JUMP 00000938: JUMPDEST 00000939: PUSH1 0x60 0000093b: DUP4 0000093c: ISZERO 0000093d: PUSH2 0x0948 00000940: JUMPI 00000941: DUP3 00000942: SWAP1 00000943: POP 00000944: PUSH2 0x0998 00000947: JUMP 00000948: JUMPDEST 00000949: PUSH1 0x00 0000094b: DUP4 0000094c: MLOAD 0000094d: GT 0000094e: ISZERO 0000094f: PUSH2 0x095b 00000952: JUMPI 00000953: DUP3 00000954: MLOAD 00000955: DUP1 00000956: DUP5 00000957: PUSH1 0x20 00000959: ADD 0000095a: REVERT 0000095b: JUMPDEST 0000095c: DUP2 0000095d: PUSH1 0x40 0000095f: MLOAD 00000960: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000981: DUP2 00000982: MSTORE 00000983: PUSH1 0x04 00000985: ADD 00000986: PUSH2 0x098f 00000989: SWAP2 0000098a: SWAP1 0000098b: PUSH2 0x0f6f 0000098e: JUMP 0000098f: JUMPDEST 00000990: PUSH1 0x40 00000992: MLOAD 00000993: DUP1 00000994: SWAP2 00000995: SUB 00000996: SWAP1 00000997: REVERT 00000998: JUMPDEST 00000999: SWAP4 0000099a: SWAP3 0000099b: POP 0000099c: POP 0000099d: POP 0000099e: JUMP 0000099f: JUMPDEST 000009a0: PUSH1 0x00 000009a2: DUP2 000009a3: CALLDATALOAD 000009a4: SWAP1 000009a5: POP 000009a6: PUSH2 0x09ae 000009a9: DUP2 000009aa: PUSH2 0x116b 000009ad: JUMP 000009ae: JUMPDEST 000009af: SWAP3 000009b0: SWAP2 000009b1: POP 000009b2: POP 000009b3: JUMP 000009b4: JUMPDEST 000009b5: PUSH1 0x00 000009b7: DUP2 000009b8: CALLDATALOAD 000009b9: SWAP1 000009ba: POP 000009bb: PUSH2 0x09c3 000009be: DUP2 000009bf: PUSH2 0x1182 000009c2: JUMP 000009c3: JUMPDEST 000009c4: SWAP3 000009c5: SWAP2 000009c6: POP 000009c7: POP 000009c8: JUMP 000009c9: JUMPDEST 000009ca: PUSH1 0x00 000009cc: DUP1 000009cd: DUP4 000009ce: PUSH1 0x1f 000009d0: DUP5 000009d1: ADD 000009d2: SLT 000009d3: PUSH2 0x09db 000009d6: JUMPI 000009d7: PUSH1 0x00 000009d9: DUP1 000009da: REVERT 000009db: JUMPDEST 000009dc: DUP3 000009dd: CALLDATALOAD 000009de: SWAP1 000009df: POP 000009e0: PUSH8 0xffffffffffffffff 000009e9: DUP2 000009ea: GT 000009eb: ISZERO 000009ec: PUSH2 0x09f4 000009ef: JUMPI 000009f0: PUSH1 0x00 000009f2: DUP1 000009f3: REVERT 000009f4: JUMPDEST 000009f5: PUSH1 0x20 000009f7: DUP4 000009f8: ADD 000009f9: SWAP2 000009fa: POP 000009fb: DUP4 000009fc: PUSH1 0x20 000009fe: DUP3 000009ff: MUL 00000a00: DUP4 00000a01: ADD 00000a02: GT 00000a03: ISZERO 00000a04: PUSH2 0x0a0c 00000a07: JUMPI 00000a08: PUSH1 0x00 00000a0a: DUP1 00000a0b: REVERT 00000a0c: JUMPDEST 00000a0d: SWAP3 00000a0e: POP 00000a0f: SWAP3 00000a10: SWAP1 00000a11: POP 00000a12: JUMP 00000a13: JUMPDEST 00000a14: PUSH1 0x00 00000a16: DUP1 00000a17: DUP4 00000a18: PUSH1 0x1f 00000a1a: DUP5 00000a1b: ADD 00000a1c: SLT 00000a1d: PUSH2 0x0a25 00000a20: JUMPI 00000a21: PUSH1 0x00 00000a23: DUP1 00000a24: REVERT 00000a25: JUMPDEST 00000a26: DUP3 00000a27: CALLDATALOAD 00000a28: SWAP1 00000a29: POP 00000a2a: PUSH8 0xffffffffffffffff 00000a33: DUP2 00000a34: GT 00000a35: ISZERO 00000a36: PUSH2 0x0a3e 00000a39: JUMPI 00000a3a: PUSH1 0x00 00000a3c: DUP1 00000a3d: REVERT 00000a3e: JUMPDEST 00000a3f: PUSH1 0x20 00000a41: DUP4 00000a42: ADD 00000a43: SWAP2 00000a44: POP 00000a45: DUP4 00000a46: PUSH1 0x20 00000a48: DUP3 00000a49: MUL 00000a4a: DUP4 00000a4b: ADD 00000a4c: GT 00000a4d: ISZERO 00000a4e: PUSH2 0x0a56 00000a51: JUMPI 00000a52: PUSH1 0x00 00000a54: DUP1 00000a55: REVERT 00000a56: JUMPDEST 00000a57: SWAP3 00000a58: POP 00000a59: SWAP3 00000a5a: SWAP1 00000a5b: POP 00000a5c: JUMP 00000a5d: JUMPDEST 00000a5e: PUSH1 0x00 00000a60: DUP1 00000a61: DUP4 00000a62: PUSH1 0x1f 00000a64: DUP5 00000a65: ADD 00000a66: SLT 00000a67: PUSH2 0x0a6f 00000a6a: JUMPI 00000a6b: PUSH1 0x00 00000a6d: DUP1 00000a6e: REVERT 00000a6f: JUMPDEST 00000a70: DUP3 00000a71: CALLDATALOAD 00000a72: SWAP1 00000a73: POP 00000a74: PUSH8 0xffffffffffffffff 00000a7d: DUP2 00000a7e: GT 00000a7f: ISZERO 00000a80: PUSH2 0x0a88 00000a83: JUMPI 00000a84: PUSH1 0x00 00000a86: DUP1 00000a87: REVERT 00000a88: JUMPDEST 00000a89: PUSH1 0x20 00000a8b: DUP4 00000a8c: ADD 00000a8d: SWAP2 00000a8e: POP 00000a8f: DUP4 00000a90: PUSH1 0x20 00000a92: DUP3 00000a93: MUL 00000a94: DUP4 00000a95: ADD 00000a96: GT 00000a97: ISZERO 00000a98: PUSH2 0x0aa0 00000a9b: JUMPI 00000a9c: PUSH1 0x00 00000a9e: DUP1 00000a9f: REVERT 00000aa0: JUMPDEST 00000aa1: SWAP3 00000aa2: POP 00000aa3: SWAP3 00000aa4: SWAP1 00000aa5: POP 00000aa6: JUMP 00000aa7: JUMPDEST 00000aa8: PUSH1 0x00 00000aaa: DUP1 00000aab: DUP4 00000aac: PUSH1 0x1f 00000aae: DUP5 00000aaf: ADD 00000ab0: SLT 00000ab1: PUSH2 0x0ab9 00000ab4: JUMPI 00000ab5: PUSH1 0x00 00000ab7: DUP1 00000ab8: REVERT 00000ab9: JUMPDEST 00000aba: DUP3 00000abb: CALLDATALOAD 00000abc: SWAP1 00000abd: POP 00000abe: PUSH8 0xffffffffffffffff 00000ac7: DUP2 00000ac8: GT 00000ac9: ISZERO 00000aca: PUSH2 0x0ad2 00000acd: JUMPI 00000ace: PUSH1 0x00 00000ad0: DUP1 00000ad1: REVERT 00000ad2: JUMPDEST 00000ad3: PUSH1 0x20 00000ad5: DUP4 00000ad6: ADD 00000ad7: SWAP2 00000ad8: POP 00000ad9: DUP4 00000ada: PUSH1 0x20 00000adc: DUP3 00000add: MUL 00000ade: DUP4 00000adf: ADD 00000ae0: GT 00000ae1: ISZERO 00000ae2: PUSH2 0x0aea 00000ae5: JUMPI 00000ae6: PUSH1 0x00 00000ae8: DUP1 00000ae9: REVERT 00000aea: JUMPDEST 00000aeb: SWAP3 00000aec: POP 00000aed: SWAP3 00000aee: SWAP1 00000aef: POP 00000af0: JUMP 00000af1: JUMPDEST 00000af2: PUSH1 0x00 00000af4: DUP2 00000af5: CALLDATALOAD 00000af6: SWAP1 00000af7: POP 00000af8: PUSH2 0x0b00 00000afb: DUP2 00000afc: PUSH2 0x1199 00000aff: JUMP 00000b00: JUMPDEST 00000b01: SWAP3 00000b02: SWAP2 00000b03: POP 00000b04: POP 00000b05: JUMP 00000b06: JUMPDEST 00000b07: PUSH1 0x00 00000b09: DUP2 00000b0a: MLOAD 00000b0b: SWAP1 00000b0c: POP 00000b0d: PUSH2 0x0b15 00000b10: DUP2 00000b11: PUSH2 0x1199 00000b14: JUMP 00000b15: JUMPDEST 00000b16: SWAP3 00000b17: SWAP2 00000b18: POP 00000b19: POP 00000b1a: JUMP 00000b1b: JUMPDEST 00000b1c: PUSH1 0x00 00000b1e: DUP2 00000b1f: CALLDATALOAD 00000b20: SWAP1 00000b21: POP 00000b22: PUSH2 0x0b2a 00000b25: DUP2 00000b26: PUSH2 0x11b0 00000b29: JUMP 00000b2a: JUMPDEST 00000b2b: SWAP3 00000b2c: SWAP2 00000b2d: POP 00000b2e: POP 00000b2f: JUMP 00000b30: JUMPDEST 00000b31: PUSH1 0x00 00000b33: PUSH1 0x20 00000b35: DUP3 00000b36: DUP5 00000b37: SUB 00000b38: SLT 00000b39: ISZERO 00000b3a: PUSH2 0x0b42 00000b3d: JUMPI 00000b3e: PUSH1 0x00 00000b40: DUP1 00000b41: REVERT 00000b42: JUMPDEST 00000b43: PUSH1 0x00 00000b45: PUSH2 0x0b50 00000b48: DUP5 00000b49: DUP3 00000b4a: DUP6 00000b4b: ADD 00000b4c: PUSH2 0x099f 00000b4f: JUMP 00000b50: JUMPDEST 00000b51: SWAP2 00000b52: POP 00000b53: POP 00000b54: SWAP3 00000b55: SWAP2 00000b56: POP 00000b57: POP 00000b58: JUMP 00000b59: JUMPDEST 00000b5a: PUSH1 0x00 00000b5c: PUSH1 0x20 00000b5e: DUP3 00000b5f: DUP5 00000b60: SUB 00000b61: SLT 00000b62: ISZERO 00000b63: PUSH2 0x0b6b 00000b66: JUMPI 00000b67: PUSH1 0x00 00000b69: DUP1 00000b6a: REVERT 00000b6b: JUMPDEST 00000b6c: PUSH1 0x00 00000b6e: PUSH2 0x0b79 00000b71: DUP5 00000b72: DUP3 00000b73: DUP6 00000b74: ADD 00000b75: PUSH2 0x09b4 00000b78: JUMP 00000b79: JUMPDEST 00000b7a: SWAP2 00000b7b: POP 00000b7c: POP 00000b7d: SWAP3 00000b7e: SWAP2 00000b7f: POP 00000b80: POP 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH1 0x00 00000b85: DUP1 00000b86: PUSH1 0x00 00000b88: PUSH1 0x40 00000b8a: DUP5 00000b8b: DUP7 00000b8c: SUB 00000b8d: SLT 00000b8e: ISZERO 00000b8f: PUSH2 0x0b97 00000b92: JUMPI 00000b93: PUSH1 0x00 00000b95: DUP1 00000b96: REVERT 00000b97: JUMPDEST 00000b98: PUSH1 0x00 00000b9a: DUP5 00000b9b: ADD 00000b9c: CALLDATALOAD 00000b9d: PUSH8 0xffffffffffffffff 00000ba6: DUP2 00000ba7: GT 00000ba8: ISZERO 00000ba9: PUSH2 0x0bb1 00000bac: JUMPI 00000bad: PUSH1 0x00 00000baf: DUP1 00000bb0: REVERT 00000bb1: JUMPDEST 00000bb2: PUSH2 0x0bbd 00000bb5: DUP7 00000bb6: DUP3 00000bb7: DUP8 00000bb8: ADD 00000bb9: PUSH2 0x09c9 00000bbc: JUMP 00000bbd: JUMPDEST 00000bbe: SWAP4 00000bbf: POP 00000bc0: SWAP4 00000bc1: POP 00000bc2: POP 00000bc3: PUSH1 0x20 00000bc5: PUSH2 0x0bd0 00000bc8: DUP7 00000bc9: DUP3 00000bca: DUP8 00000bcb: ADD 00000bcc: PUSH2 0x0af1 00000bcf: JUMP 00000bd0: JUMPDEST 00000bd1: SWAP2 00000bd2: POP 00000bd3: POP 00000bd4: SWAP3 00000bd5: POP 00000bd6: SWAP3 00000bd7: POP 00000bd8: SWAP3 00000bd9: JUMP 00000bda: JUMPDEST 00000bdb: PUSH1 0x00 00000bdd: DUP1 00000bde: PUSH1 0x00 00000be0: DUP1 00000be1: PUSH1 0x00 00000be3: DUP1 00000be4: PUSH1 0x00 00000be6: DUP1 00000be7: PUSH1 0x00 00000be9: DUP1 00000bea: PUSH1 0xa0 00000bec: DUP12 00000bed: DUP14 00000bee: SUB 00000bef: SLT 00000bf0: ISZERO 00000bf1: PUSH2 0x0bf9 00000bf4: JUMPI 00000bf5: PUSH1 0x00 00000bf7: DUP1 00000bf8: REVERT 00000bf9: JUMPDEST 00000bfa: PUSH1 0x00 00000bfc: DUP12 00000bfd: ADD 00000bfe: CALLDATALOAD 00000bff: PUSH8 0xffffffffffffffff 00000c08: DUP2 00000c09: GT 00000c0a: ISZERO 00000c0b: PUSH2 0x0c13 00000c0e: JUMPI 00000c0f: PUSH1 0x00 00000c11: DUP1 00000c12: REVERT 00000c13: JUMPDEST 00000c14: PUSH2 0x0c1f 00000c17: DUP14 00000c18: DUP3 00000c19: DUP15 00000c1a: ADD 00000c1b: PUSH2 0x0a13 00000c1e: JUMP 00000c1f: JUMPDEST 00000c20: SWAP11 00000c21: POP 00000c22: SWAP11 00000c23: POP 00000c24: POP 00000c25: PUSH1 0x20 00000c27: DUP12 00000c28: ADD 00000c29: CALLDATALOAD 00000c2a: PUSH8 0xffffffffffffffff 00000c33: DUP2 00000c34: GT 00000c35: ISZERO 00000c36: PUSH2 0x0c3e 00000c39: JUMPI 00000c3a: PUSH1 0x00 00000c3c: DUP1 00000c3d: REVERT 00000c3e: JUMPDEST 00000c3f: PUSH2 0x0c4a 00000c42: DUP14 00000c43: DUP3 00000c44: DUP15 00000c45: ADD 00000c46: PUSH2 0x0aa7 00000c49: JUMP 00000c4a: JUMPDEST 00000c4b: SWAP9 00000c4c: POP 00000c4d: SWAP9 00000c4e: POP 00000c4f: POP 00000c50: PUSH1 0x40 00000c52: DUP12 00000c53: ADD 00000c54: CALLDATALOAD 00000c55: PUSH8 0xffffffffffffffff 00000c5e: DUP2 00000c5f: GT 00000c60: ISZERO 00000c61: PUSH2 0x0c69 00000c64: JUMPI 00000c65: PUSH1 0x00 00000c67: DUP1 00000c68: REVERT 00000c69: JUMPDEST 00000c6a: PUSH2 0x0c75 00000c6d: DUP14 00000c6e: DUP3 00000c6f: DUP15 00000c70: ADD 00000c71: PUSH2 0x0a5d 00000c74: JUMP 00000c75: JUMPDEST 00000c76: SWAP7 00000c77: POP 00000c78: SWAP7 00000c79: POP 00000c7a: POP 00000c7b: PUSH1 0x60 00000c7d: DUP12 00000c7e: ADD 00000c7f: CALLDATALOAD 00000c80: PUSH8 0xffffffffffffffff 00000c89: DUP2 00000c8a: GT 00000c8b: ISZERO 00000c8c: PUSH2 0x0c94 00000c8f: JUMPI 00000c90: PUSH1 0x00 00000c92: DUP1 00000c93: REVERT 00000c94: JUMPDEST 00000c95: PUSH2 0x0ca0 00000c98: DUP14 00000c99: DUP3 00000c9a: DUP15 00000c9b: ADD 00000c9c: PUSH2 0x09c9 00000c9f: JUMP 00000ca0: JUMPDEST 00000ca1: SWAP5 00000ca2: POP 00000ca3: SWAP5 00000ca4: POP 00000ca5: POP 00000ca6: PUSH1 0x80 00000ca8: DUP12 00000ca9: ADD 00000caa: CALLDATALOAD 00000cab: PUSH8 0xffffffffffffffff 00000cb4: DUP2 00000cb5: GT 00000cb6: ISZERO 00000cb7: PUSH2 0x0cbf 00000cba: JUMPI 00000cbb: PUSH1 0x00 00000cbd: DUP1 00000cbe: REVERT 00000cbf: JUMPDEST 00000cc0: PUSH2 0x0ccb 00000cc3: DUP14 00000cc4: DUP3 00000cc5: DUP15 00000cc6: ADD 00000cc7: PUSH2 0x0aa7 00000cca: JUMP 00000ccb: JUMPDEST 00000ccc: SWAP3 00000ccd: POP 00000cce: SWAP3 00000ccf: POP 00000cd0: POP 00000cd1: SWAP3 00000cd2: SWAP6 00000cd3: SWAP9 00000cd4: SWAP12 00000cd5: SWAP2 00000cd6: SWAP5 00000cd7: SWAP8 00000cd8: SWAP11 00000cd9: POP 00000cda: SWAP3 00000cdb: SWAP6 00000cdc: SWAP9 00000cdd: POP 00000cde: JUMP 00000cdf: JUMPDEST 00000ce0: PUSH1 0x00 00000ce2: PUSH1 0x20 00000ce4: DUP3 00000ce5: DUP5 00000ce6: SUB 00000ce7: SLT 00000ce8: ISZERO 00000ce9: PUSH2 0x0cf1 00000cec: JUMPI 00000ced: PUSH1 0x00 00000cef: DUP1 00000cf0: REVERT 00000cf1: JUMPDEST 00000cf2: PUSH1 0x00 00000cf4: PUSH2 0x0cff 00000cf7: DUP5 00000cf8: DUP3 00000cf9: DUP6 00000cfa: ADD 00000cfb: PUSH2 0x0b06 00000cfe: JUMP 00000cff: JUMPDEST 00000d00: SWAP2 00000d01: POP 00000d02: POP 00000d03: SWAP3 00000d04: SWAP2 00000d05: POP 00000d06: POP 00000d07: JUMP 00000d08: JUMPDEST 00000d09: PUSH1 0x00 00000d0b: PUSH1 0x20 00000d0d: DUP3 00000d0e: DUP5 00000d0f: SUB 00000d10: SLT 00000d11: ISZERO 00000d12: PUSH2 0x0d1a 00000d15: JUMPI 00000d16: PUSH1 0x00 00000d18: DUP1 00000d19: REVERT 00000d1a: JUMPDEST 00000d1b: PUSH1 0x00 00000d1d: PUSH2 0x0d28 00000d20: DUP5 00000d21: DUP3 00000d22: DUP6 00000d23: ADD 00000d24: PUSH2 0x0b1b 00000d27: JUMP 00000d28: JUMPDEST 00000d29: SWAP2 00000d2a: POP 00000d2b: POP 00000d2c: SWAP3 00000d2d: SWAP2 00000d2e: POP 00000d2f: POP 00000d30: JUMP 00000d31: JUMPDEST 00000d32: PUSH2 0x0d3a 00000d35: DUP2 00000d36: PUSH2 0x1043 00000d39: JUMP 00000d3a: JUMPDEST 00000d3b: DUP3 00000d3c: MSTORE 00000d3d: POP 00000d3e: POP 00000d3f: JUMP 00000d40: JUMPDEST 00000d41: PUSH2 0x0d49 00000d44: DUP2 00000d45: PUSH2 0x1067 00000d48: JUMP 00000d49: JUMPDEST 00000d4a: DUP3 00000d4b: MSTORE 00000d4c: POP 00000d4d: POP 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: PUSH1 0x00 00000d52: PUSH2 0x0d5a 00000d55: DUP3 00000d56: PUSH2 0x1011 00000d59: JUMP 00000d5a: JUMPDEST 00000d5b: PUSH2 0x0d64 00000d5e: DUP2 00000d5f: DUP6 00000d60: PUSH2 0x1027 00000d63: JUMP 00000d64: JUMPDEST 00000d65: SWAP4 00000d66: POP 00000d67: PUSH2 0x0d74 00000d6a: DUP2 00000d6b: DUP6 00000d6c: PUSH1 0x20 00000d6e: DUP7 00000d6f: ADD 00000d70: PUSH2 0x10af 00000d73: JUMP 00000d74: JUMPDEST 00000d75: DUP1 00000d76: DUP5 00000d77: ADD 00000d78: SWAP2 00000d79: POP 00000d7a: POP 00000d7b: SWAP3 00000d7c: SWAP2 00000d7d: POP 00000d7e: POP 00000d7f: JUMP 00000d80: JUMPDEST 00000d81: PUSH1 0x00 00000d83: PUSH2 0x0d8b 00000d86: DUP3 00000d87: PUSH2 0x101c 00000d8a: JUMP 00000d8b: JUMPDEST 00000d8c: PUSH2 0x0d95 00000d8f: DUP2 00000d90: DUP6 00000d91: PUSH2 0x1032 00000d94: JUMP 00000d95: JUMPDEST 00000d96: SWAP4 00000d97: POP 00000d98: PUSH2 0x0da5 00000d9b: DUP2 00000d9c: DUP6 00000d9d: PUSH1 0x20 00000d9f: DUP7 00000da0: ADD 00000da1: PUSH2 0x10af 00000da4: JUMP 00000da5: JUMPDEST 00000da6: PUSH2 0x0dae 00000da9: DUP2 00000daa: PUSH2 0x115a 00000dad: JUMP 00000dae: JUMPDEST 00000daf: DUP5 00000db0: ADD 00000db1: SWAP2 00000db2: POP 00000db3: POP 00000db4: SWAP3 00000db5: SWAP2 00000db6: POP 00000db7: POP 00000db8: JUMP 00000db9: JUMPDEST 00000dba: PUSH1 0x00 00000dbc: PUSH2 0x0dc6 00000dbf: PUSH1 0x26 00000dc1: DUP4 00000dc2: PUSH2 0x1032 00000dc5: JUMP 00000dc6: JUMPDEST 00000dc7: SWAP2 00000dc8: POP 00000dc9: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00000dea: PUSH1 0x00 00000dec: DUP4 00000ded: ADD 00000dee: MSTORE 00000def: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 00000e10: PUSH1 0x20 00000e12: DUP4 00000e13: ADD 00000e14: MSTORE 00000e15: PUSH1 0x40 00000e17: DUP3 00000e18: ADD 00000e19: SWAP1 00000e1a: POP 00000e1b: SWAP2 00000e1c: SWAP1 00000e1d: POP 00000e1e: JUMP 00000e1f: JUMPDEST 00000e20: PUSH1 0x00 00000e22: PUSH2 0x0e2c 00000e25: PUSH1 0x08 00000e27: DUP4 00000e28: PUSH2 0x1032 00000e2b: JUMP 00000e2c: JUMPDEST 00000e2d: SWAP2 00000e2e: POP 00000e2f: PUSH32 0x4e6f742061757468000000000000000000000000000000000000000000000000 00000e50: PUSH1 0x00 00000e52: DUP4 00000e53: ADD 00000e54: MSTORE 00000e55: PUSH1 0x20 00000e57: DUP3 00000e58: ADD 00000e59: SWAP1 00000e5a: POP 00000e5b: SWAP2 00000e5c: SWAP1 00000e5d: POP 00000e5e: JUMP 00000e5f: JUMPDEST 00000e60: PUSH1 0x00 00000e62: PUSH2 0x0e6c 00000e65: PUSH1 0x1d 00000e67: DUP4 00000e68: PUSH2 0x1032 00000e6b: JUMP 00000e6c: JUMPDEST 00000e6d: SWAP2 00000e6e: POP 00000e6f: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000e90: PUSH1 0x00 00000e92: DUP4 00000e93: ADD 00000e94: MSTORE 00000e95: PUSH1 0x20 00000e97: DUP3 00000e98: ADD 00000e99: SWAP1 00000e9a: POP 00000e9b: SWAP2 00000e9c: SWAP1 00000e9d: POP 00000e9e: JUMP 00000e9f: JUMPDEST 00000ea0: PUSH1 0x00 00000ea2: PUSH2 0x0eac 00000ea5: PUSH1 0x2a 00000ea7: DUP4 00000ea8: PUSH2 0x1032 00000eab: JUMP 00000eac: JUMPDEST 00000ead: SWAP2 00000eae: POP 00000eaf: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000ed0: PUSH1 0x00 00000ed2: DUP4 00000ed3: ADD 00000ed4: MSTORE 00000ed5: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00000ef6: PUSH1 0x20 00000ef8: DUP4 00000ef9: ADD 00000efa: MSTORE 00000efb: PUSH1 0x40 00000efd: DUP3 00000efe: ADD 00000eff: SWAP1 00000f00: POP 00000f01: SWAP2 00000f02: SWAP1 00000f03: POP 00000f04: JUMP 00000f05: JUMPDEST 00000f06: PUSH2 0x0f0e 00000f09: DUP2 00000f0a: PUSH2 0x10a5 00000f0d: JUMP 00000f0e: JUMPDEST 00000f0f: DUP3 00000f10: MSTORE 00000f11: POP 00000f12: POP 00000f13: JUMP 00000f14: JUMPDEST 00000f15: PUSH1 0x00 00000f17: PUSH2 0x0f20 00000f1a: DUP3 00000f1b: DUP5 00000f1c: PUSH2 0x0d4f 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: SWAP2 00000f22: POP 00000f23: DUP2 00000f24: SWAP1 00000f25: POP 00000f26: SWAP3 00000f27: SWAP2 00000f28: POP 00000f29: POP 00000f2a: JUMP 00000f2b: JUMPDEST 00000f2c: PUSH1 0x00 00000f2e: PUSH1 0x40 00000f30: DUP3 00000f31: ADD 00000f32: SWAP1 00000f33: POP 00000f34: PUSH2 0x0f40 00000f37: PUSH1 0x00 00000f39: DUP4 00000f3a: ADD 00000f3b: DUP6 00000f3c: PUSH2 0x0d31 00000f3f: JUMP 00000f40: JUMPDEST 00000f41: PUSH2 0x0f4d 00000f44: PUSH1 0x20 00000f46: DUP4 00000f47: ADD 00000f48: DUP5 00000f49: PUSH2 0x0f05 00000f4c: JUMP 00000f4d: JUMPDEST 00000f4e: SWAP4 00000f4f: SWAP3 00000f50: POP 00000f51: POP 00000f52: POP 00000f53: JUMP 00000f54: JUMPDEST 00000f55: PUSH1 0x00 00000f57: PUSH1 0x20 00000f59: DUP3 00000f5a: ADD 00000f5b: SWAP1 00000f5c: POP 00000f5d: PUSH2 0x0f69 00000f60: PUSH1 0x00 00000f62: DUP4 00000f63: ADD 00000f64: DUP5 00000f65: PUSH2 0x0d40 00000f68: JUMP 00000f69: JUMPDEST 00000f6a: SWAP3 00000f6b: SWAP2 00000f6c: POP 00000f6d: POP 00000f6e: JUMP 00000f6f: JUMPDEST 00000f70: PUSH1 0x00 00000f72: PUSH1 0x20 00000f74: DUP3 00000f75: ADD 00000f76: SWAP1 00000f77: POP 00000f78: DUP2 00000f79: DUP2 00000f7a: SUB 00000f7b: PUSH1 0x00 00000f7d: DUP4 00000f7e: ADD 00000f7f: MSTORE 00000f80: PUSH2 0x0f89 00000f83: DUP2 00000f84: DUP5 00000f85: PUSH2 0x0d80 00000f88: JUMP 00000f89: JUMPDEST 00000f8a: SWAP1 00000f8b: POP 00000f8c: SWAP3 00000f8d: SWAP2 00000f8e: POP 00000f8f: POP 00000f90: JUMP 00000f91: JUMPDEST 00000f92: PUSH1 0x00 00000f94: PUSH1 0x20 00000f96: DUP3 00000f97: ADD 00000f98: SWAP1 00000f99: POP 00000f9a: DUP2 00000f9b: DUP2 00000f9c: SUB 00000f9d: PUSH1 0x00 00000f9f: DUP4 00000fa0: ADD 00000fa1: MSTORE 00000fa2: PUSH2 0x0faa 00000fa5: DUP2 00000fa6: PUSH2 0x0db9 00000fa9: JUMP 00000faa: JUMPDEST 00000fab: SWAP1 00000fac: POP 00000fad: SWAP2 00000fae: SWAP1 00000faf: POP 00000fb0: JUMP 00000fb1: JUMPDEST 00000fb2: PUSH1 0x00 00000fb4: PUSH1 0x20 00000fb6: DUP3 00000fb7: ADD 00000fb8: SWAP1 00000fb9: POP 00000fba: DUP2 00000fbb: DUP2 00000fbc: SUB 00000fbd: PUSH1 0x00 00000fbf: DUP4 00000fc0: ADD 00000fc1: MSTORE 00000fc2: PUSH2 0x0fca 00000fc5: DUP2 00000fc6: PUSH2 0x0e1f 00000fc9: JUMP 00000fca: JUMPDEST 00000fcb: SWAP1 00000fcc: POP 00000fcd: SWAP2 00000fce: SWAP1 00000fcf: POP 00000fd0: JUMP 00000fd1: JUMPDEST 00000fd2: PUSH1 0x00 00000fd4: PUSH1 0x20 00000fd6: DUP3 00000fd7: ADD 00000fd8: SWAP1 00000fd9: POP 00000fda: DUP2 00000fdb: DUP2 00000fdc: SUB 00000fdd: PUSH1 0x00 00000fdf: DUP4 00000fe0: ADD 00000fe1: MSTORE 00000fe2: PUSH2 0x0fea 00000fe5: DUP2 00000fe6: PUSH2 0x0e5f 00000fe9: JUMP 00000fea: JUMPDEST 00000feb: SWAP1 00000fec: POP 00000fed: SWAP2 00000fee: SWAP1 00000fef: POP 00000ff0: JUMP 00000ff1: JUMPDEST 00000ff2: PUSH1 0x00 00000ff4: PUSH1 0x20 00000ff6: DUP3 00000ff7: ADD 00000ff8: SWAP1 00000ff9: POP 00000ffa: DUP2 00000ffb: DUP2 00000ffc: SUB 00000ffd: PUSH1 0x00 00000fff: DUP4 00001000: ADD 00001001: MSTORE 00001002: PUSH2 0x100a 00001005: DUP2 00001006: PUSH2 0x0e9f 00001009: JUMP 0000100a: JUMPDEST 0000100b: SWAP1 0000100c: POP 0000100d: SWAP2 0000100e: SWAP1 0000100f: POP 00001010: JUMP 00001011: JUMPDEST 00001012: PUSH1 0x00 00001014: DUP2 00001015: MLOAD 00001016: SWAP1 00001017: POP 00001018: SWAP2 00001019: SWAP1 0000101a: POP 0000101b: JUMP 0000101c: JUMPDEST 0000101d: PUSH1 0x00 0000101f: DUP2 00001020: MLOAD 00001021: SWAP1 00001022: POP 00001023: SWAP2 00001024: SWAP1 00001025: POP 00001026: JUMP 00001027: JUMPDEST 00001028: PUSH1 0x00 0000102a: DUP2 0000102b: SWAP1 0000102c: POP 0000102d: SWAP3 0000102e: SWAP2 0000102f: POP 00001030: POP 00001031: JUMP 00001032: JUMPDEST 00001033: PUSH1 0x00 00001035: DUP3 00001036: DUP3 00001037: MSTORE 00001038: PUSH1 0x20 0000103a: DUP3 0000103b: ADD 0000103c: SWAP1 0000103d: POP 0000103e: SWAP3 0000103f: SWAP2 00001040: POP 00001041: POP 00001042: JUMP 00001043: JUMPDEST 00001044: PUSH1 0x00 00001046: PUSH2 0x104e 00001049: DUP3 0000104a: PUSH2 0x1085 0000104d: JUMP 0000104e: JUMPDEST 0000104f: SWAP1 00001050: POP 00001051: SWAP2 00001052: SWAP1 00001053: POP 00001054: JUMP 00001055: JUMPDEST 00001056: PUSH1 0x00 00001058: PUSH2 0x1060 0000105b: DUP3 0000105c: PUSH2 0x1085 0000105f: JUMP 00001060: JUMPDEST 00001061: SWAP1 00001062: POP 00001063: SWAP2 00001064: SWAP1 00001065: POP 00001066: JUMP 00001067: JUMPDEST 00001068: PUSH1 0x00 0000106a: DUP2 0000106b: ISZERO 0000106c: ISZERO 0000106d: SWAP1 0000106e: POP 0000106f: SWAP2 00001070: SWAP1 00001071: POP 00001072: JUMP 00001073: JUMPDEST 00001074: PUSH1 0x00 00001076: PUSH2 0x107e 00001079: DUP3 0000107a: PUSH2 0x1043 0000107d: JUMP 0000107e: JUMPDEST 0000107f: SWAP1 00001080: POP 00001081: SWAP2 00001082: SWAP1 00001083: POP 00001084: JUMP 00001085: JUMPDEST 00001086: PUSH1 0x00 00001088: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000109d: DUP3 0000109e: AND 0000109f: SWAP1 000010a0: POP 000010a1: SWAP2 000010a2: SWAP1 000010a3: POP 000010a4: JUMP 000010a5: JUMPDEST 000010a6: PUSH1 0x00 000010a8: DUP2 000010a9: SWAP1 000010aa: POP 000010ab: SWAP2 000010ac: SWAP1 000010ad: POP 000010ae: JUMP 000010af: JUMPDEST 000010b0: PUSH1 0x00 000010b2: JUMPDEST 000010b3: DUP4 000010b4: DUP2 000010b5: LT 000010b6: ISZERO 000010b7: PUSH2 0x10cd 000010ba: JUMPI 000010bb: DUP1 000010bc: DUP3 000010bd: ADD 000010be: MLOAD 000010bf: DUP2 000010c0: DUP5 000010c1: ADD 000010c2: MSTORE 000010c3: PUSH1 0x20 000010c5: DUP2 000010c6: ADD 000010c7: SWAP1 000010c8: POP 000010c9: PUSH2 0x10b2 000010cc: JUMP 000010cd: JUMPDEST 000010ce: DUP4 000010cf: DUP2 000010d0: GT 000010d1: ISZERO 000010d2: PUSH2 0x10dc 000010d5: JUMPI 000010d6: PUSH1 0x00 000010d8: DUP5 000010d9: DUP5 000010da: ADD 000010db: MSTORE 000010dc: JUMPDEST 000010dd: POP 000010de: POP 000010df: POP 000010e0: POP 000010e1: JUMP 000010e2: JUMPDEST 000010e3: PUSH1 0x00 000010e5: PUSH2 0x10ed 000010e8: DUP3 000010e9: PUSH2 0x10a5 000010ec: JUMP 000010ed: JUMPDEST 000010ee: SWAP2 000010ef: POP 000010f0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001111: DUP3 00001112: EQ 00001113: ISZERO 00001114: PUSH2 0x1120 00001117: JUMPI 00001118: PUSH2 0x111f 0000111b: PUSH2 0x112b 0000111e: JUMP 0000111f: JUMPDEST 00001120: JUMPDEST 00001121: PUSH1 0x01 00001123: DUP3 00001124: ADD 00001125: SWAP1 00001126: POP 00001127: SWAP2 00001128: SWAP1 00001129: POP 0000112a: JUMP 0000112b: JUMPDEST 0000112c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000114d: PUSH1 0x00 0000114f: MSTORE 00001150: PUSH1 0x11 00001152: PUSH1 0x04 00001154: MSTORE 00001155: PUSH1 0x24 00001157: PUSH1 0x00 00001159: REVERT 0000115a: JUMPDEST 0000115b: PUSH1 0x00 0000115d: PUSH1 0x1f 0000115f: NOT 00001160: PUSH1 0x1f 00001162: DUP4 00001163: ADD 00001164: AND 00001165: SWAP1 00001166: POP 00001167: SWAP2 00001168: SWAP1 00001169: POP 0000116a: JUMP 0000116b: JUMPDEST 0000116c: PUSH2 0x1174 0000116f: DUP2 00001170: PUSH2 0x1043 00001173: JUMP 00001174: JUMPDEST 00001175: DUP2 00001176: EQ 00001177: PUSH2 0x117f 0000117a: JUMPI 0000117b: PUSH1 0x00 0000117d: DUP1 0000117e: REVERT 0000117f: JUMPDEST 00001180: POP 00001181: JUMP 00001182: JUMPDEST 00001183: PUSH2 0x118b 00001186: DUP2 00001187: PUSH2 0x1055 0000118a: JUMP 0000118b: JUMPDEST 0000118c: DUP2 0000118d: EQ 0000118e: PUSH2 0x1196 00001191: JUMPI 00001192: PUSH1 0x00 00001194: DUP1 00001195: REVERT 00001196: JUMPDEST 00001197: POP 00001198: JUMP 00001199: JUMPDEST 0000119a: PUSH2 0x11a2 0000119d: DUP2 0000119e: PUSH2 0x1067 000011a1: JUMP 000011a2: JUMPDEST 000011a3: DUP2 000011a4: EQ 000011a5: PUSH2 0x11ad 000011a8: JUMPI 000011a9: PUSH1 0x00 000011ab: DUP1 000011ac: REVERT 000011ad: JUMPDEST 000011ae: POP 000011af: JUMP 000011b0: JUMPDEST 000011b1: PUSH2 0x11b9 000011b4: DUP2 000011b5: PUSH2 0x1073 000011b8: JUMP 000011b9: JUMPDEST 000011ba: DUP2 000011bb: EQ 000011bc: PUSH2 0x11c4 000011bf: JUMPI 000011c0: PUSH1 0x00 000011c2: DUP1 000011c3: REVERT 000011c4: JUMPDEST 000011c5: POP 000011c6: JUMP 000011c7: INVALID 000011c8: LOG2 000011c9: PUSH5 0x6970667358 000011cf: UNKNOWN(0x22) 000011d0: SLT 000011d1: KECCAK256 000011d2: UNKNOWN(0xD7) 000011d3: MSTORE8 000011d4: PUSH22 0xa194e3ac3600af8995e88a4d2d54437bca64c7345c19 000011eb: SLT 000011ec: JUMPDEST 000011ed: PUSH19
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x68153a19b11eb5e64ca1491524d1f93fa0ea2924392fb4fd96766647163a8d16
call_targets:
0x7cfdeb2def0fa6810eda0ac17c2a4e2f9e12db4f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x68153a19b11eb5e64ca1491524d1f93fa0ea2924392fb4fd96766647163a8d16",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7cfdeb2def0fa6810eda0ac17c2a4e2f9e12db4f"
],
"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": "0x1c1a995d",
"selector": "0x1c1a995d",
"calldata_variants": [
"0x1c1a995d",
"0x1c1a995d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x375460cc",
"selector": "0x375460cc",
"calldata_variants": [
"0x375460cc",
"0x375460cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf42c770",
"selector": "0xbf42c770",
"calldata_variants": [
"0xbf42c770",
"0xbf42c7700000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 536,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2216,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x68153a19b11eb5e64ca1491524d1f93fa0ea2924392fb4fd96766647163a8d16
call_targets:
0x7cfdeb2def0fa6810eda0ac17c2a4e2f9e12db4f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x68153a19b11eb5e64ca1491524d1f93fa0ea2924392fb4fd96766647163a8d16",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7cfdeb2def0fa6810eda0ac17c2a4e2f9e12db4f"
],
"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": "0x1c1a995d",
"selector": "0x1c1a995d",
"calldata_variants": [
"0x1c1a995d",
"0x1c1a995d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x375460cc",
"selector": "0x375460cc",
"calldata_variants": [
"0x375460cc",
"0x375460cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf42c770",
"selector": "0xbf42c770",
"calldata_variants": [
"0xbf42c770",
"0xbf42c7700000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 536,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2216,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|