019b477e-d80f-7380-a7be-81d97696c9fa
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 |
|---|---|---|---|---|
| 29013 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 29014 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 72476 | analysis.bundle | complete | 1 / 3 | 3 weeks ago |
| 72477 | capability.graph | complete | 1 / 3 | 3 weeks ago |
| 72478 | detector.run | complete | 1 / 3 | 3 weeks ago |
| 72479 | validation.fork | complete | 1 / 3 | 3 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x016e 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x00cb 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xd7002a48 00000024: GT 00000025: PUSH2 0x007f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xec0d7c24 0000002f: GT 00000030: PUSH2 0x0059 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xec0d7c24 0000003a: EQ 0000003b: PUSH2 0x03e3 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2f4eb26 00000045: EQ 00000046: PUSH2 0x03f8 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x0425 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0xd7002a48 00000060: EQ 00000061: PUSH2 0x036b 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xd8e630b4 0000006b: EQ 0000006c: PUSH2 0x038b 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xe30c3978 00000076: EQ 00000077: PUSH2 0x03b8 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0xa65d1dbc 00000086: GT 00000087: PUSH2 0x00b0 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0xa65d1dbc 00000091: EQ 00000092: PUSH2 0x0315 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xa7ee60dc 0000009c: EQ 0000009d: PUSH2 0x032b 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xc6266693 000000a7: EQ 000000a8: PUSH2 0x034b 000000ab: JUMPI 000000ac: PUSH1 0x00 000000ae: DUP1 000000af: REVERT 000000b0: JUMPDEST 000000b1: DUP1 000000b2: PUSH4 0x8da5cb5b 000000b7: EQ 000000b8: PUSH2 0x0297 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0xa24d17af 000000c2: EQ 000000c3: PUSH2 0x02e3 000000c6: JUMPI 000000c7: PUSH1 0x00 000000c9: DUP1 000000ca: REVERT 000000cb: JUMPDEST 000000cc: DUP1 000000cd: PUSH4 0x57dd8ea6 000000d2: GT 000000d3: PUSH2 0x0122 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0x715018a6 000000dd: GT 000000de: PUSH2 0x0107 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0x715018a6 000000e8: EQ 000000e9: PUSH2 0x0258 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x79ba5097 000000f3: EQ 000000f4: PUSH2 0x026d 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x8456cb59 000000fe: EQ 000000ff: PUSH2 0x0282 00000102: JUMPI 00000103: PUSH1 0x00 00000105: DUP1 00000106: REVERT 00000107: JUMPDEST 00000108: DUP1 00000109: PUSH4 0x57dd8ea6 0000010e: EQ 0000010f: PUSH2 0x022d 00000112: JUMPI 00000113: DUP1 00000114: PUSH4 0x5c975abb 00000119: EQ 0000011a: PUSH2 0x0235 0000011d: JUMPI 0000011e: PUSH1 0x00 00000120: DUP1 00000121: REVERT 00000122: JUMPDEST 00000123: DUP1 00000124: PUSH4 0x26224c64 00000129: GT 0000012a: PUSH2 0x0153 0000012d: JUMPI 0000012e: DUP1 0000012f: PUSH4 0x26224c64 00000134: EQ 00000135: PUSH2 0x01cb 00000138: JUMPI 00000139: DUP1 0000013a: PUSH4 0x31192128 0000013f: EQ 00000140: PUSH2 0x01f8 00000143: JUMPI 00000144: DUP1 00000145: PUSH4 0x3f4ba83a 0000014a: EQ 0000014b: PUSH2 0x0218 0000014e: JUMPI 0000014f: PUSH1 0x00 00000151: DUP1 00000152: REVERT 00000153: JUMPDEST 00000154: DUP1 00000155: PUSH4 0x054a04d7 0000015a: EQ 0000015b: PUSH2 0x0182 0000015e: JUMPI 0000015f: DUP1 00000160: PUSH4 0x1f93a6e4 00000165: EQ 00000166: PUSH2 0x01a2 00000169: JUMPI 0000016a: PUSH1 0x00 0000016c: DUP1 0000016d: REVERT 0000016e: JUMPDEST 0000016f: CALLDATASIZE 00000170: PUSH2 0x017d 00000173: JUMPI 00000174: PUSH2 0x017b 00000177: PUSH2 0x0445 0000017a: JUMP 0000017b: JUMPDEST 0000017c: STOP 0000017d: JUMPDEST 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: CALLVALUE 00000184: DUP1 00000185: ISZERO 00000186: PUSH2 0x018e 00000189: JUMPI 0000018a: PUSH1 0x00 0000018c: DUP1 0000018d: REVERT 0000018e: JUMPDEST 0000018f: POP 00000190: PUSH2 0x017b 00000193: PUSH2 0x019d 00000196: CALLDATASIZE 00000197: PUSH1 0x04 00000199: PUSH2 0x1446 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH2 0x0484 000001a1: JUMP 000001a2: JUMPDEST 000001a3: CALLVALUE 000001a4: DUP1 000001a5: ISZERO 000001a6: PUSH2 0x01ae 000001a9: JUMPI 000001aa: PUSH1 0x00 000001ac: DUP1 000001ad: REVERT 000001ae: JUMPDEST 000001af: POP 000001b0: PUSH2 0x01b8 000001b3: PUSH1 0x06 000001b5: SLOAD 000001b6: DUP2 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH1 0x40 000001bb: MLOAD 000001bc: SWAP1 000001bd: DUP2 000001be: MSTORE 000001bf: PUSH1 0x20 000001c1: ADD 000001c2: JUMPDEST 000001c3: PUSH1 0x40 000001c5: MLOAD 000001c6: DUP1 000001c7: SWAP2 000001c8: SUB 000001c9: SWAP1 000001ca: RETURN 000001cb: JUMPDEST 000001cc: CALLVALUE 000001cd: DUP1 000001ce: ISZERO 000001cf: PUSH2 0x01d7 000001d2: JUMPI 000001d3: PUSH1 0x00 000001d5: DUP1 000001d6: REVERT 000001d7: JUMPDEST 000001d8: POP 000001d9: PUSH2 0x01b8 000001dc: PUSH2 0x01e6 000001df: CALLDATASIZE 000001e0: PUSH1 0x04 000001e2: PUSH2 0x1472 000001e5: JUMP 000001e6: JUMPDEST 000001e7: PUSH1 0x08 000001e9: PUSH1 0x20 000001eb: MSTORE 000001ec: PUSH1 0x00 000001ee: SWAP1 000001ef: DUP2 000001f0: MSTORE 000001f1: PUSH1 0x40 000001f3: SWAP1 000001f4: KECCAK256 000001f5: SLOAD 000001f6: DUP2 000001f7: JUMP 000001f8: JUMPDEST 000001f9: CALLVALUE 000001fa: DUP1 000001fb: ISZERO 000001fc: PUSH2 0x0204 000001ff: JUMPI 00000200: PUSH1 0x00 00000202: DUP1 00000203: REVERT 00000204: JUMPDEST 00000205: POP 00000206: PUSH2 0x017b 00000209: PUSH2 0x0213 0000020c: CALLDATASIZE 0000020d: PUSH1 0x04 0000020f: PUSH2 0x1472 00000212: JUMP 00000213: JUMPDEST 00000214: PUSH2 0x0736 00000217: JUMP 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: DUP1 0000021b: ISZERO 0000021c: PUSH2 0x0224 0000021f: JUMPI 00000220: PUSH1 0x00 00000222: DUP1 00000223: REVERT 00000224: JUMPDEST 00000225: POP 00000226: PUSH2 0x017b 00000229: PUSH2 0x0837 0000022c: JUMP 0000022d: JUMPDEST 0000022e: PUSH2 0x017b 00000231: PUSH2 0x084f 00000234: JUMP 00000235: JUMPDEST 00000236: CALLVALUE 00000237: DUP1 00000238: ISZERO 00000239: PUSH2 0x0241 0000023c: JUMPI 0000023d: PUSH1 0x00 0000023f: DUP1 00000240: REVERT 00000241: JUMPDEST 00000242: POP 00000243: PUSH1 0x03 00000245: SLOAD 00000246: PUSH1 0xff 00000248: AND 00000249: PUSH1 0x40 0000024b: MLOAD 0000024c: SWAP1 0000024d: ISZERO 0000024e: ISZERO 0000024f: DUP2 00000250: MSTORE 00000251: PUSH1 0x20 00000253: ADD 00000254: PUSH2 0x01c2 00000257: JUMP 00000258: JUMPDEST 00000259: CALLVALUE 0000025a: DUP1 0000025b: ISZERO 0000025c: PUSH2 0x0264 0000025f: JUMPI 00000260: PUSH1 0x00 00000262: DUP1 00000263: REVERT 00000264: JUMPDEST 00000265: POP 00000266: PUSH2 0x017b 00000269: PUSH2 0x0916 0000026c: JUMP 0000026d: JUMPDEST 0000026e: CALLVALUE 0000026f: DUP1 00000270: ISZERO 00000271: PUSH2 0x0279 00000274: JUMPI 00000275: PUSH1 0x00 00000277: DUP1 00000278: REVERT 00000279: JUMPDEST 0000027a: POP 0000027b: PUSH2 0x017b 0000027e: PUSH2 0x0928 00000281: JUMP 00000282: JUMPDEST 00000283: CALLVALUE 00000284: DUP1 00000285: ISZERO 00000286: PUSH2 0x028e 00000289: JUMPI 0000028a: PUSH1 0x00 0000028c: DUP1 0000028d: REVERT 0000028e: JUMPDEST 0000028f: POP 00000290: PUSH2 0x017b 00000293: PUSH2 0x099f 00000296: JUMP 00000297: JUMPDEST 00000298: CALLVALUE 00000299: DUP1 0000029a: ISZERO 0000029b: PUSH2 0x02a3 0000029e: JUMPI 0000029f: PUSH1 0x00 000002a1: DUP1 000002a2: REVERT 000002a3: JUMPDEST 000002a4: POP 000002a5: PUSH1 0x00 000002a7: SLOAD 000002a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002bd: AND 000002be: JUMPDEST 000002bf: PUSH1 0x40 000002c1: MLOAD 000002c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d7: SWAP1 000002d8: SWAP2 000002d9: AND 000002da: DUP2 000002db: MSTORE 000002dc: PUSH1 0x20 000002de: ADD 000002df: PUSH2 0x01c2 000002e2: JUMP 000002e3: JUMPDEST 000002e4: CALLVALUE 000002e5: DUP1 000002e6: ISZERO 000002e7: PUSH2 0x02ef 000002ea: JUMPI 000002eb: PUSH1 0x00 000002ed: DUP1 000002ee: REVERT 000002ef: JUMPDEST 000002f0: POP 000002f1: PUSH1 0x03 000002f3: SLOAD 000002f4: PUSH2 0x02be 000002f7: SWAP1 000002f8: PUSH2 0x0100 000002fb: SWAP1 000002fc: DIV 000002fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000312: AND 00000313: DUP2 00000314: JUMP 00000315: JUMPDEST 00000316: CALLVALUE 00000317: DUP1 00000318: ISZERO 00000319: PUSH2 0x0321 0000031c: JUMPI 0000031d: PUSH1 0x00 0000031f: DUP1 00000320: REVERT 00000321: JUMPDEST 00000322: POP 00000323: PUSH2 0x01b8 00000326: PUSH1 0x07 00000328: SLOAD 00000329: DUP2 0000032a: JUMP 0000032b: JUMPDEST 0000032c: CALLVALUE 0000032d: DUP1 0000032e: ISZERO 0000032f: PUSH2 0x0337 00000332: JUMPI 00000333: PUSH1 0x00 00000335: DUP1 00000336: REVERT 00000337: JUMPDEST 00000338: POP 00000339: PUSH2 0x017b 0000033c: PUSH2 0x0346 0000033f: CALLDATASIZE 00000340: PUSH1 0x04 00000342: PUSH2 0x1472 00000345: JUMP 00000346: JUMPDEST 00000347: PUSH2 0x09b7 0000034a: JUMP 0000034b: JUMPDEST 0000034c: CALLVALUE 0000034d: DUP1 0000034e: ISZERO 0000034f: PUSH2 0x0357 00000352: JUMPI 00000353: PUSH1 0x00 00000355: DUP1 00000356: REVERT 00000357: JUMPDEST 00000358: POP 00000359: PUSH2 0x017b 0000035c: PUSH2 0x0366 0000035f: CALLDATASIZE 00000360: PUSH1 0x04 00000362: PUSH2 0x1472 00000365: JUMP 00000366: JUMPDEST 00000367: PUSH2 0x0ab7 0000036a: JUMP 0000036b: JUMPDEST 0000036c: CALLVALUE 0000036d: DUP1 0000036e: ISZERO 0000036f: PUSH2 0x0377 00000372: JUMPI 00000373: PUSH1 0x00 00000375: DUP1 00000376: REVERT 00000377: JUMPDEST 00000378: POP 00000379: PUSH2 0x017b 0000037c: PUSH2 0x0386 0000037f: CALLDATASIZE 00000380: PUSH1 0x04 00000382: PUSH2 0x148f 00000385: JUMP 00000386: JUMPDEST 00000387: PUSH2 0x0bb0 0000038a: JUMP 0000038b: JUMPDEST 0000038c: CALLVALUE 0000038d: DUP1 0000038e: ISZERO 0000038f: PUSH2 0x0397 00000392: JUMPI 00000393: PUSH1 0x00 00000395: DUP1 00000396: REVERT 00000397: JUMPDEST 00000398: POP 00000399: PUSH1 0x05 0000039b: SLOAD 0000039c: PUSH2 0x02be 0000039f: SWAP1 000003a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b5: AND 000003b6: DUP2 000003b7: JUMP 000003b8: JUMPDEST 000003b9: CALLVALUE 000003ba: DUP1 000003bb: ISZERO 000003bc: PUSH2 0x03c4 000003bf: JUMPI 000003c0: PUSH1 0x00 000003c2: DUP1 000003c3: REVERT 000003c4: JUMPDEST 000003c5: POP 000003c6: PUSH1 0x01 000003c8: SLOAD 000003c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003de: AND 000003df: PUSH2 0x02be 000003e2: JUMP 000003e3: JUMPDEST 000003e4: CALLVALUE 000003e5: DUP1 000003e6: ISZERO 000003e7: PUSH2 0x03ef 000003ea: JUMPI 000003eb: PUSH1 0x00 000003ed: DUP1 000003ee: REVERT 000003ef: JUMPDEST 000003f0: POP 000003f1: PUSH2 0x017b 000003f4: PUSH2 0x0ea1 000003f7: JUMP 000003f8: JUMPDEST 000003f9: CALLVALUE 000003fa: DUP1 000003fb: ISZERO 000003fc: PUSH2 0x0404 000003ff: JUMPI 00000400: PUSH1 0x00 00000402: DUP1 00000403: REVERT 00000404: JUMPDEST 00000405: POP 00000406: PUSH1 0x04 00000408: SLOAD 00000409: PUSH2 0x02be 0000040c: SWAP1 0000040d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000422: AND 00000423: DUP2 00000424: JUMP 00000425: JUMPDEST 00000426: CALLVALUE 00000427: DUP1 00000428: ISZERO 00000429: PUSH2 0x0431 0000042c: JUMPI 0000042d: PUSH1 0x00 0000042f: DUP1 00000430: REVERT 00000431: JUMPDEST 00000432: POP 00000433: PUSH2 0x017b 00000436: PUSH2 0x0440 00000439: CALLDATASIZE 0000043a: PUSH1 0x04 0000043c: PUSH2 0x1472 0000043f: JUMP 00000440: JUMPDEST 00000441: PUSH2 0x1071 00000444: JUMP 00000445: JUMPDEST 00000446: PUSH1 0x03 00000448: SLOAD 00000449: PUSH1 0xff 0000044b: AND 0000044c: ISZERO 0000044d: PUSH2 0x0482 00000450: JUMPI 00000451: PUSH1 0x40 00000453: MLOAD 00000454: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000 00000475: DUP2 00000476: MSTORE 00000477: PUSH1 0x04 00000479: ADD 0000047a: PUSH1 0x40 0000047c: MLOAD 0000047d: DUP1 0000047e: SWAP2 0000047f: SUB 00000480: SWAP1 00000481: REVERT 00000482: JUMPDEST 00000483: JUMP 00000484: JUMPDEST 00000485: DUP2 00000486: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049b: DUP2 0000049c: AND 0000049d: PUSH2 0x0507 000004a0: JUMPI 000004a1: PUSH1 0x40 000004a3: MLOAD 000004a4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004c5: DUP2 000004c6: MSTORE 000004c7: PUSH1 0x20 000004c9: PUSH1 0x04 000004cb: DUP3 000004cc: ADD 000004cd: DUP2 000004ce: SWAP1 000004cf: MSTORE 000004d0: PUSH1 0x24 000004d2: DUP3 000004d3: ADD 000004d4: MSTORE 000004d5: PUSH32 0x54726561737572793a2043616e6e6f74204265205a65726f2041646472657373 000004f6: PUSH1 0x44 000004f8: DUP3 000004f9: ADD 000004fa: MSTORE 000004fb: PUSH1 0x64 000004fd: ADD 000004fe: JUMPDEST 000004ff: PUSH1 0x40 00000501: MLOAD 00000502: DUP1 00000503: SWAP2 00000504: SUB 00000505: SWAP1 00000506: REVERT 00000507: JUMPDEST 00000508: PUSH2 0x050f 0000050b: PUSH2 0x1121 0000050e: JUMP 0000050f: JUMPDEST 00000510: PUSH2 0x0517 00000513: PUSH2 0x1174 00000516: JUMP 00000517: JUMPDEST 00000518: PUSH2 0x051f 0000051b: PUSH2 0x0445 0000051e: JUMP 0000051f: JUMPDEST 00000520: DUP2 00000521: PUSH1 0x06 00000523: SLOAD 00000524: PUSH1 0x07 00000526: SLOAD 00000527: SELFBALANCE 00000528: PUSH2 0x0531 0000052b: SWAP2 0000052c: SWAP1 0000052d: PUSH2 0x14f7 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH2 0x053b 00000535: SWAP2 00000536: SWAP1 00000537: PUSH2 0x14f7 0000053a: JUMP 0000053b: JUMPDEST 0000053c: LT 0000053d: ISZERO 0000053e: PUSH2 0x05a3 00000541: JUMPI 00000542: PUSH1 0x40 00000544: MLOAD 00000545: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000566: DUP2 00000567: MSTORE 00000568: PUSH1 0x20 0000056a: PUSH1 0x04 0000056c: DUP3 0000056d: ADD 0000056e: MSTORE 0000056f: PUSH1 0x1e 00000571: PUSH1 0x24 00000573: DUP3 00000574: ADD 00000575: MSTORE 00000576: PUSH32 0x54726561737572793a20496e73756666696369656e742042616c616e63650000 00000597: PUSH1 0x44 00000599: DUP3 0000059a: ADD 0000059b: MSTORE 0000059c: PUSH1 0x64 0000059e: ADD 0000059f: PUSH2 0x04fe 000005a2: JUMP 000005a3: JUMPDEST 000005a4: PUSH1 0x00 000005a6: DUP3 000005a7: GT 000005a8: PUSH2 0x060d 000005ab: JUMPI 000005ac: PUSH1 0x40 000005ae: MLOAD 000005af: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005d0: DUP2 000005d1: MSTORE 000005d2: PUSH1 0x20 000005d4: PUSH1 0x04 000005d6: DUP3 000005d7: ADD 000005d8: MSTORE 000005d9: PUSH1 0x1e 000005db: PUSH1 0x24 000005dd: DUP3 000005de: ADD 000005df: MSTORE 000005e0: PUSH32 0x54726561737572793a2043616e6e6f74205769746864726177205a65726f0000 00000601: PUSH1 0x44 00000603: DUP3 00000604: ADD 00000605: MSTORE 00000606: PUSH1 0x64 00000608: ADD 00000609: PUSH2 0x04fe 0000060c: JUMP 0000060d: JUMPDEST 0000060e: PUSH1 0x00 00000610: DUP4 00000611: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000626: AND 00000627: DUP4 00000628: PUSH1 0x40 0000062a: MLOAD 0000062b: PUSH1 0x00 0000062d: PUSH1 0x40 0000062f: MLOAD 00000630: DUP1 00000631: DUP4 00000632: SUB 00000633: DUP2 00000634: DUP6 00000635: DUP8 00000636: GAS 00000637: CALL 00000638: SWAP3 00000639: POP 0000063a: POP 0000063b: POP 0000063c: RETURNDATASIZE 0000063d: DUP1 0000063e: PUSH1 0x00 00000640: DUP2 00000641: EQ 00000642: PUSH2 0x0667 00000645: JUMPI 00000646: PUSH1 0x40 00000648: MLOAD 00000649: SWAP2 0000064a: POP 0000064b: PUSH1 0x1f 0000064d: NOT 0000064e: PUSH1 0x3f 00000650: RETURNDATASIZE 00000651: ADD 00000652: AND 00000653: DUP3 00000654: ADD 00000655: PUSH1 0x40 00000657: MSTORE 00000658: RETURNDATASIZE 00000659: DUP3 0000065a: MSTORE 0000065b: RETURNDATASIZE 0000065c: PUSH1 0x00 0000065e: PUSH1 0x20 00000660: DUP5 00000661: ADD 00000662: RETURNDATACOPY 00000663: PUSH2 0x066c 00000666: JUMP 00000667: JUMPDEST 00000668: PUSH1 0x60 0000066a: SWAP2 0000066b: POP 0000066c: JUMPDEST 0000066d: POP 0000066e: POP 0000066f: SWAP1 00000670: POP 00000671: DUP1 00000672: PUSH2 0x06d7 00000675: JUMPI 00000676: PUSH1 0x40 00000678: MLOAD 00000679: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000069a: DUP2 0000069b: MSTORE 0000069c: PUSH1 0x20 0000069e: PUSH1 0x04 000006a0: DUP3 000006a1: ADD 000006a2: MSTORE 000006a3: PUSH1 0x14 000006a5: PUSH1 0x24 000006a7: DUP3 000006a8: ADD 000006a9: MSTORE 000006aa: PUSH32 0x4661696c656420746f2073656e64204574686572000000000000000000000000 000006cb: PUSH1 0x44 000006cd: DUP3 000006ce: ADD 000006cf: MSTORE 000006d0: PUSH1 0x64 000006d2: ADD 000006d3: PUSH2 0x04fe 000006d6: JUMP 000006d7: JUMPDEST 000006d8: PUSH1 0x40 000006da: DUP1 000006db: MLOAD 000006dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f1: DUP7 000006f2: AND 000006f3: DUP2 000006f4: MSTORE 000006f5: PUSH1 0x20 000006f7: DUP2 000006f8: ADD 000006f9: DUP6 000006fa: SWAP1 000006fb: MSTORE 000006fc: PUSH32 0x7e5409d362bd1569b0d48e34079d6549297e9282886876937023317090330786 0000071d: SWAP2 0000071e: ADD 0000071f: PUSH1 0x40 00000721: MLOAD 00000722: DUP1 00000723: SWAP2 00000724: SUB 00000725: SWAP1 00000726: LOG1 00000727: POP 00000728: PUSH2 0x0731 0000072b: PUSH1 0x01 0000072d: PUSH1 0x02 0000072f: SSTORE 00000730: JUMP 00000731: JUMPDEST 00000732: POP 00000733: POP 00000734: POP 00000735: JUMP 00000736: JUMPDEST 00000737: PUSH2 0x073e 0000073a: PUSH2 0x1121 0000073d: JUMP 0000073e: JUMPDEST 0000073f: DUP1 00000740: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000755: DUP2 00000756: AND 00000757: PUSH2 0x07bc 0000075a: JUMPI 0000075b: PUSH1 0x40 0000075d: MLOAD 0000075e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000077f: DUP2 00000780: MSTORE 00000781: PUSH1 0x20 00000783: PUSH1 0x04 00000785: DUP3 00000786: ADD 00000787: DUP2 00000788: SWAP1 00000789: MSTORE 0000078a: PUSH1 0x24 0000078c: DUP3 0000078d: ADD 0000078e: MSTORE 0000078f: PUSH32 0x54726561737572793a2043616e6e6f74204265205a65726f2041646472657373 000007b0: PUSH1 0x44 000007b2: DUP3 000007b3: ADD 000007b4: MSTORE 000007b5: PUSH1 0x64 000007b7: ADD 000007b8: PUSH2 0x04fe 000007bb: JUMP 000007bc: JUMPDEST 000007bd: PUSH1 0x05 000007bf: DUP1 000007c0: SLOAD 000007c1: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000007e2: AND 000007e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f8: DUP5 000007f9: AND 000007fa: SWAP1 000007fb: DUP2 000007fc: OR 000007fd: SWAP1 000007fe: SWAP2 000007ff: SSTORE 00000800: PUSH1 0x40 00000802: MLOAD 00000803: SWAP1 00000804: DUP2 00000805: MSTORE 00000806: PUSH32 0x045c8f0d4bb182aff903561b22bc541b961a780f067a78f1093a991faa433abc 00000827: SWAP1 00000828: PUSH1 0x20 0000082a: ADD 0000082b: JUMPDEST 0000082c: PUSH1 0x40 0000082e: MLOAD 0000082f: DUP1 00000830: SWAP2 00000831: SUB 00000832: SWAP1 00000833: LOG1 00000834: POP 00000835: POP 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH2 0x083f 0000083b: PUSH2 0x1121 0000083e: JUMP 0000083f: JUMPDEST 00000840: PUSH2 0x0847 00000843: PUSH2 0x11b5 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH2 0x0482 0000084b: PUSH2 0x11f1 0000084e: JUMP 0000084f: JUMPDEST 00000850: PUSH2 0x0857 00000853: PUSH2 0x0445 00000856: JUMP 00000857: JUMPDEST 00000858: PUSH1 0x05 0000085a: SLOAD 0000085b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000870: AND 00000871: CALLER 00000872: EQ 00000873: PUSH2 0x08fd 00000876: JUMPI 00000877: PUSH1 0x40 00000879: MLOAD 0000087a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000089b: DUP2 0000089c: MSTORE 0000089d: PUSH1 0x20 0000089f: PUSH1 0x04 000008a1: DUP3 000008a2: ADD 000008a3: MSTORE 000008a4: PUSH1 0x24 000008a6: DUP1 000008a7: DUP3 000008a8: ADD 000008a9: MSTORE 000008aa: PUSH32 0x54726561737572793a204f6e6c792063616c6c61626c65206279205073796320 000008cb: PUSH1 0x44 000008cd: DUP3 000008ce: ADD 000008cf: MSTORE 000008d0: PUSH32 0x53616c6500000000000000000000000000000000000000000000000000000000 000008f1: PUSH1 0x64 000008f3: DUP3 000008f4: ADD 000008f5: MSTORE 000008f6: PUSH1 0x84 000008f8: ADD 000008f9: PUSH2 0x04fe 000008fc: JUMP 000008fd: JUMPDEST 000008fe: CALLVALUE 000008ff: PUSH1 0x06 00000901: PUSH1 0x00 00000903: DUP3 00000904: DUP3 00000905: SLOAD 00000906: PUSH2 0x090f 00000909: SWAP2 0000090a: SWAP1 0000090b: PUSH2 0x1510 0000090e: JUMP 0000090f: JUMPDEST 00000910: SWAP1 00000911: SWAP2 00000912: SSTORE 00000913: POP 00000914: POP 00000915: JUMP 00000916: JUMPDEST 00000917: PUSH2 0x091e 0000091a: PUSH2 0x1121 0000091d: JUMP 0000091e: JUMPDEST 0000091f: PUSH2 0x0482 00000922: PUSH1 0x00 00000924: PUSH2 0x126e 00000927: JUMP 00000928: JUMPDEST 00000929: PUSH1 0x01 0000092b: SLOAD 0000092c: CALLER 0000092d: SWAP1 0000092e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000943: AND 00000944: DUP2 00000945: EQ 00000946: PUSH2 0x0993 00000949: JUMPI 0000094a: PUSH1 0x40 0000094c: MLOAD 0000094d: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000 0000096e: DUP2 0000096f: MSTORE 00000970: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000985: DUP3 00000986: AND 00000987: PUSH1 0x04 00000989: DUP3 0000098a: ADD 0000098b: MSTORE 0000098c: PUSH1 0x24 0000098e: ADD 0000098f: PUSH2 0x04fe 00000992: JUMP 00000993: JUMPDEST 00000994: PUSH2 0x099c 00000997: DUP2 00000998: PUSH2 0x126e 0000099b: JUMP 0000099c: JUMPDEST 0000099d: POP 0000099e: JUMP 0000099f: JUMPDEST 000009a0: PUSH2 0x09a7 000009a3: PUSH2 0x1121 000009a6: JUMP 000009a7: JUMPDEST 000009a8: PUSH2 0x09af 000009ab: PUSH2 0x0445 000009ae: JUMP 000009af: JUMPDEST 000009b0: PUSH2 0x0482 000009b3: PUSH2 0x129f 000009b6: JUMP 000009b7: JUMPDEST 000009b8: PUSH2 0x09bf 000009bb: PUSH2 0x1121 000009be: JUMP 000009bf: JUMPDEST 000009c0: DUP1 000009c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d6: DUP2 000009d7: AND 000009d8: PUSH2 0x0a3d 000009db: JUMPI 000009dc: PUSH1 0x40 000009de: MLOAD 000009df: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a00: DUP2 00000a01: MSTORE 00000a02: PUSH1 0x20 00000a04: PUSH1 0x04 00000a06: DUP3 00000a07: ADD 00000a08: DUP2 00000a09: SWAP1 00000a0a: MSTORE 00000a0b: PUSH1 0x24 00000a0d: DUP3 00000a0e: ADD 00000a0f: MSTORE 00000a10: PUSH32 0x54726561737572793a2043616e6e6f74204265205a65726f2041646472657373 00000a31: PUSH1 0x44 00000a33: DUP3 00000a34: ADD 00000a35: MSTORE 00000a36: PUSH1 0x64 00000a38: ADD 00000a39: PUSH2 0x04fe 00000a3c: JUMP 00000a3d: JUMPDEST 00000a3e: PUSH1 0x03 00000a40: DUP1 00000a41: SLOAD 00000a42: PUSH32 0xffffffffffffffffffffff0000000000000000000000000000000000000000ff 00000a63: AND 00000a64: PUSH2 0x0100 00000a67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7c: DUP6 00000a7d: AND 00000a7e: SWAP1 00000a7f: DUP2 00000a80: MUL 00000a81: SWAP2 00000a82: SWAP1 00000a83: SWAP2 00000a84: OR 00000a85: SWAP1 00000a86: SWAP2 00000a87: SSTORE 00000a88: PUSH1 0x40 00000a8a: MLOAD 00000a8b: SWAP1 00000a8c: DUP2 00000a8d: MSTORE 00000a8e: PUSH32 0xb3de2ca3dec283964abb0798be43b80119af56151af5433e585e1a04440b8f5c 00000aaf: SWAP1 00000ab0: PUSH1 0x20 00000ab2: ADD 00000ab3: PUSH2 0x082b 00000ab6: JUMP 00000ab7: JUMPDEST 00000ab8: PUSH2 0x0abf 00000abb: PUSH2 0x1121 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: DUP1 00000ac1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad6: DUP2 00000ad7: AND 00000ad8: PUSH2 0x0b3d 00000adb: JUMPI 00000adc: PUSH1 0x40 00000ade: MLOAD 00000adf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b00: DUP2 00000b01: MSTORE 00000b02: PUSH1 0x20 00000b04: PUSH1 0x04 00000b06: DUP3 00000b07: ADD 00000b08: DUP2 00000b09: SWAP1 00000b0a: MSTORE 00000b0b: PUSH1 0x24 00000b0d: DUP3 00000b0e: ADD 00000b0f: MSTORE 00000b10: PUSH32 0x54726561737572793a2043616e6e6f74204265205a65726f2041646472657373 00000b31: PUSH1 0x44 00000b33: DUP3 00000b34: ADD 00000b35: MSTORE 00000b36: PUSH1 0x64 00000b38: ADD 00000b39: PUSH2 0x04fe 00000b3c: JUMP 00000b3d: JUMPDEST 00000b3e: PUSH1 0x04 00000b40: DUP1 00000b41: SLOAD 00000b42: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000b63: AND 00000b64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b79: DUP5 00000b7a: AND 00000b7b: SWAP1 00000b7c: DUP2 00000b7d: OR 00000b7e: SWAP1 00000b7f: SWAP2 00000b80: SSTORE 00000b81: PUSH1 0x40 00000b83: MLOAD 00000b84: SWAP1 00000b85: DUP2 00000b86: MSTORE 00000b87: PUSH32 0xf1b218193f4218636d8c79187182dc48d2cb2f5e23bc8fd9855907482b31deb6 00000ba8: SWAP1 00000ba9: PUSH1 0x20 00000bab: ADD 00000bac: PUSH2 0x082b 00000baf: JUMP 00000bb0: JUMPDEST 00000bb1: PUSH2 0x0bb8 00000bb4: PUSH2 0x1174 00000bb7: JUMP 00000bb8: JUMPDEST 00000bb9: PUSH2 0x0bc0 00000bbc: PUSH2 0x0445 00000bbf: JUMP 00000bc0: JUMPDEST 00000bc1: PUSH1 0x03 00000bc3: SLOAD 00000bc4: PUSH1 0x40 00000bc6: MLOAD 00000bc7: PUSH32 0x6352211e00000000000000000000000000000000000000000000000000000000 00000be8: DUP2 00000be9: MSTORE 00000bea: PUSH1 0x04 00000bec: DUP2 00000bed: ADD 00000bee: DUP6 00000bef: SWAP1 00000bf0: MSTORE 00000bf1: PUSH2 0x0100 00000bf4: SWAP1 00000bf5: SWAP2 00000bf6: DIV 00000bf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c0c: AND 00000c0d: SWAP1 00000c0e: PUSH4 0x6352211e 00000c13: SWAP1 00000c14: PUSH1 0x24 00000c16: ADD 00000c17: PUSH1 0x20 00000c19: PUSH1 0x40 00000c1b: MLOAD 00000c1c: DUP1 00000c1d: DUP4 00000c1e: SUB 00000c1f: DUP2 00000c20: DUP7 00000c21: GAS 00000c22: STATICCALL 00000c23: ISZERO 00000c24: DUP1 00000c25: ISZERO 00000c26: PUSH2 0x0c33 00000c29: JUMPI 00000c2a: RETURNDATASIZE 00000c2b: PUSH1 0x00 00000c2d: DUP1 00000c2e: RETURNDATACOPY 00000c2f: RETURNDATASIZE 00000c30: PUSH1 0x00 00000c32: REVERT 00000c33: JUMPDEST 00000c34: POP 00000c35: POP 00000c36: POP 00000c37: POP 00000c38: PUSH1 0x40 00000c3a: MLOAD 00000c3b: RETURNDATASIZE 00000c3c: PUSH1 0x1f 00000c3e: NOT 00000c3f: PUSH1 0x1f 00000c41: DUP3 00000c42: ADD 00000c43: AND 00000c44: DUP3 00000c45: ADD 00000c46: DUP1 00000c47: PUSH1 0x40 00000c49: MSTORE 00000c4a: POP 00000c4b: DUP2 00000c4c: ADD 00000c4d: SWAP1 00000c4e: PUSH2 0x0c57 00000c51: SWAP2 00000c52: SWAP1 00000c53: PUSH2 0x1523 00000c56: JUMP 00000c57: JUMPDEST 00000c58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6d: AND 00000c6e: DUP2 00000c6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c84: AND 00000c85: EQ 00000c86: PUSH2 0x0ceb 00000c89: JUMPI 00000c8a: PUSH1 0x40 00000c8c: MLOAD 00000c8d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cae: DUP2 00000caf: MSTORE 00000cb0: PUSH1 0x20 00000cb2: PUSH1 0x04 00000cb4: DUP3 00000cb5: ADD 00000cb6: MSTORE 00000cb7: PUSH1 0x19 00000cb9: PUSH1 0x24 00000cbb: DUP3 00000cbc: ADD 00000cbd: MSTORE 00000cbe: PUSH32 0x54726561737572793a204e6f7420746f6b656e206f776e657200000000000000 00000cdf: PUSH1 0x44 00000ce1: DUP3 00000ce2: ADD 00000ce3: MSTORE 00000ce4: PUSH1 0x64 00000ce6: ADD 00000ce7: PUSH2 0x04fe 00000cea: JUMP 00000ceb: JUMPDEST 00000cec: PUSH1 0x04 00000cee: SLOAD 00000cef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d04: AND 00000d05: CALLER 00000d06: EQ 00000d07: PUSH2 0x0d92 00000d0a: JUMPI 00000d0b: PUSH1 0x40 00000d0d: MLOAD 00000d0e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d2f: DUP2 00000d30: MSTORE 00000d31: PUSH1 0x20 00000d33: PUSH1 0x04 00000d35: DUP3 00000d36: ADD 00000d37: MSTORE 00000d38: PUSH1 0x28 00000d3a: PUSH1 0x24 00000d3c: DUP3 00000d3d: ADD 00000d3e: MSTORE 00000d3f: PUSH32 0x54726561737572793a204f6e6c792063616c6c61626c6520627920436f72654c 00000d60: PUSH1 0x44 00000d62: DUP3 00000d63: ADD 00000d64: MSTORE 00000d65: PUSH32 0x6f6769632e736f6c000000000000000000000000000000000000000000000000 00000d86: PUSH1 0x64 00000d88: DUP3 00000d89: ADD 00000d8a: MSTORE 00000d8b: PUSH1 0x84 00000d8d: ADD 00000d8e: PUSH2 0x04fe 00000d91: JUMP 00000d92: JUMPDEST 00000d93: PUSH1 0x00 00000d95: PUSH2 0x0d9d 00000d98: DUP4 00000d99: PUSH2 0x12fa 00000d9c: JUMP 00000d9d: JUMPDEST 00000d9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db3: DUP4 00000db4: AND 00000db5: PUSH1 0x00 00000db7: SWAP1 00000db8: DUP2 00000db9: MSTORE 00000dba: PUSH1 0x08 00000dbc: PUSH1 0x20 00000dbe: MSTORE 00000dbf: PUSH1 0x40 00000dc1: DUP2 00000dc2: KECCAK256 00000dc3: DUP1 00000dc4: SLOAD 00000dc5: SWAP3 00000dc6: SWAP4 00000dc7: POP 00000dc8: DUP4 00000dc9: SWAP3 00000dca: SWAP1 00000dcb: SWAP2 00000dcc: SWAP1 00000dcd: PUSH2 0x0dd7 00000dd0: SWAP1 00000dd1: DUP5 00000dd2: SWAP1 00000dd3: PUSH2 0x1510 00000dd6: JUMP 00000dd7: JUMPDEST 00000dd8: SWAP3 00000dd9: POP 00000dda: POP 00000ddb: DUP2 00000ddc: SWAP1 00000ddd: SSTORE 00000dde: POP 00000ddf: DUP1 00000de0: PUSH1 0x07 00000de2: PUSH1 0x00 00000de4: DUP3 00000de5: DUP3 00000de6: SLOAD 00000de7: PUSH2 0x0df0 00000dea: SWAP2 00000deb: SWAP1 00000dec: PUSH2 0x1510 00000def: JUMP 00000df0: JUMPDEST 00000df1: SWAP3 00000df2: POP 00000df3: POP 00000df4: DUP2 00000df5: SWAP1 00000df6: SSTORE 00000df7: POP 00000df8: DUP1 00000df9: PUSH1 0x06 00000dfb: PUSH1 0x00 00000dfd: DUP3 00000dfe: DUP3 00000dff: SLOAD 00000e00: PUSH2 0x0e09 00000e03: SWAP2 00000e04: SWAP1 00000e05: PUSH2 0x14f7 00000e08: JUMP 00000e09: JUMPDEST 00000e0a: SWAP1 00000e0b: SWAP2 00000e0c: SSTORE 00000e0d: POP 00000e0e: POP 00000e0f: PUSH1 0x03 00000e11: SLOAD 00000e12: PUSH1 0x40 00000e14: MLOAD 00000e15: PUSH32 0x42966c6800000000000000000000000000000000000000000000000000000000 00000e36: DUP2 00000e37: MSTORE 00000e38: PUSH1 0x04 00000e3a: DUP2 00000e3b: ADD 00000e3c: DUP7 00000e3d: SWAP1 00000e3e: MSTORE 00000e3f: PUSH2 0x0100 00000e42: SWAP1 00000e43: SWAP2 00000e44: DIV 00000e45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5a: AND 00000e5b: SWAP1 00000e5c: PUSH4 0x42966c68 00000e61: SWAP1 00000e62: PUSH1 0x24 00000e64: ADD 00000e65: PUSH1 0x00 00000e67: PUSH1 0x40 00000e69: MLOAD 00000e6a: DUP1 00000e6b: DUP4 00000e6c: SUB 00000e6d: DUP2 00000e6e: PUSH1 0x00 00000e70: DUP8 00000e71: DUP1 00000e72: EXTCODESIZE 00000e73: ISZERO 00000e74: DUP1 00000e75: ISZERO 00000e76: PUSH2 0x0e7e 00000e79: JUMPI 00000e7a: PUSH1 0x00 00000e7c: DUP1 00000e7d: REVERT 00000e7e: JUMPDEST 00000e7f: POP 00000e80: GAS 00000e81: CALL 00000e82: ISZERO 00000e83: DUP1 00000e84: ISZERO 00000e85: PUSH2 0x0e92 00000e88: JUMPI 00000e89: RETURNDATASIZE 00000e8a: PUSH1 0x00 00000e8c: DUP1 00000e8d: RETURNDATACOPY 00000e8e: RETURNDATASIZE 00000e8f: PUSH1 0x00 00000e91: REVERT 00000e92: JUMPDEST 00000e93: POP 00000e94: POP 00000e95: POP 00000e96: POP 00000e97: POP 00000e98: PUSH2 0x0731 00000e9b: PUSH1 0x01 00000e9d: PUSH1 0x02 00000e9f: SSTORE 00000ea0: JUMP 00000ea1: JUMPDEST 00000ea2: PUSH2 0x0ea9 00000ea5: PUSH2 0x1174 00000ea8: JUMP 00000ea9: JUMPDEST 00000eaa: PUSH2 0x0eb1 00000ead: PUSH2 0x0445 00000eb0: JUMP 00000eb1: JUMPDEST 00000eb2: CALLER 00000eb3: PUSH1 0x00 00000eb5: SWAP1 00000eb6: DUP2 00000eb7: MSTORE 00000eb8: PUSH1 0x08 00000eba: PUSH1 0x20 00000ebc: MSTORE 00000ebd: PUSH1 0x40 00000ebf: SWAP1 00000ec0: KECCAK256 00000ec1: SLOAD 00000ec2: PUSH2 0x0f4d 00000ec5: JUMPI 00000ec6: PUSH1 0x40 00000ec8: MLOAD 00000ec9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000eea: DUP2 00000eeb: MSTORE 00000eec: PUSH1 0x20 00000eee: PUSH1 0x04 00000ef0: DUP3 00000ef1: ADD 00000ef2: MSTORE 00000ef3: PUSH1 0x23 00000ef5: PUSH1 0x24 00000ef7: DUP3 00000ef8: ADD 00000ef9: MSTORE 00000efa: PUSH32 0x54726561737572793a205573657220496e73756666696369656e742042616c61 00000f1b: PUSH1 0x44 00000f1d: DUP3 00000f1e: ADD 00000f1f: MSTORE 00000f20: PUSH32 0x6e63650000000000000000000000000000000000000000000000000000000000 00000f41: PUSH1 0x64 00000f43: DUP3 00000f44: ADD 00000f45: MSTORE 00000f46: PUSH1 0x84 00000f48: ADD 00000f49: PUSH2 0x04fe 00000f4c: JUMP 00000f4d: JUMPDEST 00000f4e: CALLER 00000f4f: PUSH1 0x00 00000f51: SWAP1 00000f52: DUP2 00000f53: MSTORE 00000f54: PUSH1 0x08 00000f56: PUSH1 0x20 00000f58: MSTORE 00000f59: PUSH1 0x40 00000f5b: DUP2 00000f5c: KECCAK256 00000f5d: DUP1 00000f5e: SLOAD 00000f5f: SWAP1 00000f60: DUP3 00000f61: SWAP1 00000f62: SSTORE 00000f63: PUSH1 0x07 00000f65: DUP1 00000f66: SLOAD 00000f67: SWAP2 00000f68: SWAP3 00000f69: DUP4 00000f6a: SWAP3 00000f6b: PUSH2 0x0f75 00000f6e: SWAP1 00000f6f: DUP5 00000f70: SWAP1 00000f71: PUSH2 0x14f7 00000f74: JUMP 00000f75: JUMPDEST 00000f76: SWAP1 00000f77: SWAP2 00000f78: SSTORE 00000f79: POP 00000f7a: POP 00000f7b: PUSH1 0x40 00000f7d: MLOAD 00000f7e: PUSH1 0x00 00000f80: SWAP1 00000f81: CALLER 00000f82: SWAP1 00000f83: DUP4 00000f84: SWAP1 00000f85: DUP4 00000f86: DUP2 00000f87: DUP2 00000f88: DUP2 00000f89: DUP6 00000f8a: DUP8 00000f8b: GAS 00000f8c: CALL 00000f8d: SWAP3 00000f8e: POP 00000f8f: POP 00000f90: POP 00000f91: RETURNDATASIZE 00000f92: DUP1 00000f93: PUSH1 0x00 00000f95: DUP2 00000f96: EQ 00000f97: PUSH2 0x0fbc 00000f9a: JUMPI 00000f9b: PUSH1 0x40 00000f9d: MLOAD 00000f9e: SWAP2 00000f9f: POP 00000fa0: PUSH1 0x1f 00000fa2: NOT 00000fa3: PUSH1 0x3f 00000fa5: RETURNDATASIZE 00000fa6: ADD 00000fa7: AND 00000fa8: DUP3 00000fa9: ADD 00000faa: PUSH1 0x40 00000fac: MSTORE 00000fad: RETURNDATASIZE 00000fae: DUP3 00000faf: MSTORE 00000fb0: RETURNDATASIZE 00000fb1: PUSH1 0x00 00000fb3: PUSH1 0x20 00000fb5: DUP5 00000fb6: ADD 00000fb7: RETURNDATACOPY 00000fb8: PUSH2 0x0fc1 00000fbb: JUMP 00000fbc: JUMPDEST 00000fbd: PUSH1 0x60 00000fbf: SWAP2 00000fc0: POP 00000fc1: JUMPDEST 00000fc2: POP 00000fc3: POP 00000fc4: SWAP1 00000fc5: POP 00000fc6: DUP1 00000fc7: PUSH2 0x102c 00000fca: JUMPI 00000fcb: PUSH1 0x40 00000fcd: MLOAD 00000fce: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fef: DUP2 00000ff0: MSTORE 00000ff1: PUSH1 0x20 00000ff3: PUSH1 0x04 00000ff5: DUP3 00000ff6: ADD 00000ff7: MSTORE 00000ff8: PUSH1 0x14 00000ffa: PUSH1 0x24 00000ffc: DUP3 00000ffd: ADD 00000ffe: MSTORE 00000fff: PUSH32 0x4661696c656420746f2073656e64204574686572000000000000000000000000 00001020: PUSH1 0x44 00001022: DUP3 00001023: ADD 00001024: MSTORE 00001025: PUSH1 0x64 00001027: ADD 00001028: PUSH2 0x04fe 0000102b: JUMP 0000102c: JUMPDEST 0000102d: PUSH1 0x40 0000102f: DUP1 00001030: MLOAD 00001031: CALLER 00001032: DUP2 00001033: MSTORE 00001034: PUSH1 0x20 00001036: DUP2 00001037: ADD 00001038: DUP5 00001039: SWAP1 0000103a: MSTORE 0000103b: PUSH32 0x94d6b1d5bea8f4875ff1e4b7093600e332ea7daacfe448d37daaf94330698cb1 0000105c: SWAP2 0000105d: ADD 0000105e: PUSH1 0x40 00001060: MLOAD 00001061: DUP1 00001062: SWAP2 00001063: SUB 00001064: SWAP1 00001065: LOG1 00001066: POP 00001067: POP 00001068: PUSH2 0x0482 0000106b: PUSH1 0x01 0000106d: PUSH1 0x02 0000106f: SSTORE 00001070: JUMP 00001071: JUMPDEST 00001072: PUSH2 0x1079 00001075: PUSH2 0x1121 00001078: JUMP 00001079: JUMPDEST 0000107a: PUSH1 0x01 0000107c: DUP1 0000107d: SLOAD 0000107e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001093: DUP4 00001094: AND 00001095: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000010b6: SWAP1 000010b7: SWAP2 000010b8: AND 000010b9: DUP2 000010ba: OR 000010bb: SWAP1 000010bc: SWAP2 000010bd: SSTORE 000010be: PUSH2 0x10dc 000010c1: PUSH1 0x00 000010c3: SLOAD 000010c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d9: AND 000010da: SWAP1 000010db: JUMP 000010dc: JUMPDEST 000010dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f2: AND 000010f3: PUSH32 0x38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e22700 00001114: PUSH1 0x40 00001116: MLOAD 00001117: PUSH1 0x40 00001119: MLOAD 0000111a: DUP1 0000111b: SWAP2 0000111c: SUB 0000111d: SWAP1 0000111e: LOG3 0000111f: POP 00001120: JUMP 00001121: JUMPDEST 00001122: PUSH1 0x00 00001124: SLOAD 00001125: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000113a: AND 0000113b: CALLER 0000113c: EQ 0000113d: PUSH2 0x0482 00001140: JUMPI 00001141: PUSH1 0x40 00001143: MLOAD 00001144: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000 00001165: DUP2 00001166: MSTORE 00001167: CALLER 00001168: PUSH1 0x04 0000116a: DUP3 0000116b: ADD 0000116c: MSTORE 0000116d: PUSH1 0x24 0000116f: ADD 00001170: PUSH2 0x04fe 00001173: JUMP 00001174: JUMPDEST 00001175: PUSH1 0x02 00001177: DUP1 00001178: SLOAD 00001179: SUB 0000117a: PUSH2 0x11af 0000117d: JUMPI 0000117e: PUSH1 0x40 00001180: MLOAD 00001181: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000 000011a2: DUP2 000011a3: MSTORE 000011a4: PUSH1 0x04 000011a6: ADD 000011a7: PUSH1 0x40 000011a9: MLOAD 000011aa: DUP1 000011ab: SWAP2 000011ac: SUB 000011ad: SWAP1 000011ae: REVERT 000011af: JUMPDEST 000011b0: PUSH1 0x02 000011b2: DUP1 000011b3: SSTORE 000011b4: JUMP 000011b5: JUMPDEST 000011b6: PUSH1 0x03 000011b8: SLOAD 000011b9: PUSH1 0xff 000011bb: AND 000011bc: PUSH2 0x0482 000011bf: JUMPI 000011c0: PUSH1 0x40 000011c2: MLOAD 000011c3: PUSH32 0x8dfc202b00000000000000000000000000000000000000000000000000000000 000011e4: DUP2 000011e5: MSTORE 000011e6: PUSH1 0x04 000011e8: ADD 000011e9: PUSH1 0x40 000011eb: MLOAD 000011ec: DUP1 000011ed: SWAP2 000011ee: SUB 000011ef: SWAP1 000011f0: REVERT 000011f1: JUMPDEST 000011f2: PUSH2 0x11f9 000011f5: PUSH2 0x11b5 000011f8: JUMP 000011f9: JUMPDEST 000011fa: PUSH1 0x03 000011fc: DUP1 000011fd: SLOAD 000011fe: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 0000121f: AND 00001220: SWAP1 00001221: SSTORE 00001222: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00001243: CALLER 00001244: JUMPDEST 00001245: PUSH1 0x40 00001247: MLOAD 00001248: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000125d: SWAP1 0000125e: SWAP2 0000125f: AND 00001260: DUP2 00001261: MSTORE 00001262: PUSH1 0x20 00001264: ADD 00001265: PUSH1 0x40 00001267: MLOAD 00001268: DUP1 00001269: SWAP2 0000126a: SUB 0000126b: SWAP1 0000126c: LOG1 0000126d: JUMP 0000126e: JUMPDEST 0000126f: PUSH1 0x01 00001271: DUP1 00001272: SLOAD 00001273: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001294: AND 00001295: SWAP1 00001296: SSTORE 00001297: PUSH2 0x099c 0000129a: DUP2 0000129b: PUSH2 0x13af 0000129e: JUMP 0000129f: JUMPDEST 000012a0: PUSH2 0x12a7 000012a3: PUSH2 0x0445 000012a6: JUMP 000012a7: JUMPDEST 000012a8: PUSH1 0x03 000012aa: DUP1 000012ab: SLOAD 000012ac: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000012cd: AND 000012ce: PUSH1 0x01 000012d0: OR 000012d1: SWAP1 000012d2: SSTORE 000012d3: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 000012f4: PUSH2 0x1244 000012f7: CALLER 000012f8: SWAP1 000012f9: JUMP 000012fa: JUMPDEST 000012fb: PUSH1 0x00 000012fd: DUP1 000012fe: PUSH1 0x03 00001300: PUSH1 0x01 00001302: SWAP1 00001303: SLOAD 00001304: SWAP1 00001305: PUSH2 0x0100 00001308: EXP 00001309: SWAP1 0000130a: DIV 0000130b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001320: AND 00001321: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001336: AND 00001337: PUSH4 0x455f6f31 0000133c: PUSH1 0x40 0000133e: MLOAD 0000133f: DUP2 00001340: PUSH4 0xffffffff 00001345: AND 00001346: PUSH1 0xe0 00001348: SHL 00001349: DUP2 0000134a: MSTORE 0000134b: PUSH1 0x04 0000134d: ADD 0000134e: PUSH1 0x20 00001350: PUSH1 0x40 00001352: MLOAD 00001353: DUP1 00001354: DUP4 00001355: SUB 00001356: DUP2 00001357: DUP7 00001358: GAS 00001359: STATICCALL 0000135a: ISZERO 0000135b: DUP1 0000135c: ISZERO 0000135d: PUSH2 0x136a 00001360: JUMPI 00001361: RETURNDATASIZE 00001362: PUSH1 0x00 00001364: DUP1 00001365: RETURNDATACOPY 00001366: RETURNDATASIZE 00001367: PUSH1 0x00 00001369: REVERT 0000136a: JUMPDEST 0000136b: POP 0000136c: POP 0000136d: POP 0000136e: POP 0000136f: PUSH1 0x40 00001371: MLOAD 00001372: RETURNDATASIZE 00001373: PUSH1 0x1f 00001375: NOT 00001376: PUSH1 0x1f 00001378: DUP3 00001379: ADD 0000137a: AND 0000137b: DUP3 0000137c: ADD 0000137d: DUP1 0000137e: PUSH1 0x40 00001380: MSTORE 00001381: POP 00001382: DUP2 00001383: ADD 00001384: SWAP1 00001385: PUSH2 0x138e 00001388: SWAP2 00001389: SWAP1 0000138a: PUSH2 0x1540 0000138d: JUMP 0000138e: JUMPDEST 0000138f: PUSH2 0x1398 00001392: SWAP1 00001393: DUP5 00001394: PUSH2 0x14f7 00001397: JUMP 00001398: JUMPDEST 00001399: SWAP1 0000139a: POP 0000139b: DUP1 0000139c: PUSH1 0x06 0000139e: SLOAD 0000139f: PUSH2 0x13a8 000013a2: SWAP2 000013a3: SWAP1 000013a4: PUSH2 0x1559 000013a7: JUMP 000013a8: JUMPDEST 000013a9: SWAP4 000013aa: SWAP3 000013ab: POP 000013ac: POP 000013ad: POP 000013ae: JUMP 000013af: JUMPDEST 000013b0: PUSH1 0x00 000013b2: DUP1 000013b3: SLOAD 000013b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013c9: DUP4 000013ca: DUP2 000013cb: AND 000013cc: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000013ed: DUP4 000013ee: AND 000013ef: DUP2 000013f0: OR 000013f1: DUP5 000013f2: SSTORE 000013f3: PUSH1 0x40 000013f5: MLOAD 000013f6: SWAP2 000013f7: SWAP1 000013f8: SWAP3 000013f9: AND 000013fa: SWAP3 000013fb: DUP4 000013fc: SWAP2 000013fd: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000141e: SWAP2 0000141f: SWAP1 00001420: LOG3 00001421: POP 00001422: POP 00001423: JUMP 00001424: JUMPDEST 00001425: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000143a: DUP2 0000143b: AND 0000143c: DUP2 0000143d: EQ 0000143e: PUSH2 0x099c 00001441: JUMPI 00001442: PUSH1 0x00 00001444: DUP1 00001445: REVERT 00001446: JUMPDEST 00001447: PUSH1 0x00 00001449: DUP1 0000144a: PUSH1 0x40 0000144c: DUP4 0000144d: DUP6 0000144e: SUB 0000144f: SLT 00001450: ISZERO 00001451: PUSH2 0x1459 00001454: JUMPI 00001455: PUSH1 0x00 00001457: DUP1 00001458: REVERT 00001459: JUMPDEST 0000145a: DUP3 0000145b: CALLDATALOAD 0000145c: PUSH2 0x1464 0000145f: DUP2 00001460: PUSH2 0x1424 00001463: JUMP 00001464: JUMPDEST 00001465: SWAP5 00001466: PUSH1 0x20 00001468: SWAP4 00001469: SWAP1 0000146a: SWAP4 0000146b: ADD 0000146c: CALLDATALOAD 0000146d: SWAP4 0000146e: POP 0000146f: POP 00001470: POP 00001471: JUMP 00001472: JUMPDEST 00001473: PUSH1 0x00 00001475: PUSH1 0x20 00001477: DUP3 00001478: DUP5 00001479: SUB 0000147a: SLT 0000147b: ISZERO 0000147c: PUSH2 0x1484 0000147f: JUMPI 00001480: PUSH1 0x00 00001482: DUP1 00001483: REVERT 00001484: JUMPDEST 00001485: DUP2 00001486: CALLDATALOAD 00001487: PUSH2 0x13a8 0000148a: DUP2 0000148b: PUSH2 0x1424 0000148e: JUMP 0000148f: JUMPDEST 00001490: PUSH1 0x00 00001492: DUP1 00001493: PUSH1 0x00 00001495: PUSH1 0x60 00001497: DUP5 00001498: DUP7 00001499: SUB 0000149a: SLT 0000149b: ISZERO 0000149c: PUSH2 0x14a4 0000149f: JUMPI 000014a0: PUSH1 0x00 000014a2: DUP1 000014a3: REVERT 000014a4: JUMPDEST 000014a5: DUP4 000014a6: CALLDATALOAD 000014a7: SWAP3 000014a8: POP 000014a9: PUSH1 0x20 000014ab: DUP5 000014ac: ADD 000014ad: CALLDATALOAD 000014ae: SWAP2 000014af: POP 000014b0: PUSH1 0x40 000014b2: DUP5 000014b3: ADD 000014b4: CALLDATALOAD 000014b5: PUSH2 0x14bd 000014b8: DUP2 000014b9: PUSH2 0x1424 000014bc: JUMP 000014bd: JUMPDEST 000014be: DUP1 000014bf: SWAP2 000014c0: POP 000014c1: POP 000014c2: SWAP3 000014c3: POP 000014c4: SWAP3 000014c5: POP 000014c6: SWAP3 000014c7: JUMP 000014c8: JUMPDEST 000014c9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000014ea: PUSH1 0x00 000014ec: MSTORE 000014ed: PUSH1 0x11 000014ef: PUSH1 0x04 000014f1: MSTORE 000014f2: PUSH1 0x24 000014f4: PUSH1 0x00 000014f6: REVERT 000014f7: JUMPDEST 000014f8: DUP2 000014f9: DUP2 000014fa: SUB 000014fb: DUP2 000014fc: DUP2 000014fd: GT 000014fe: ISZERO 000014ff: PUSH2 0x150a 00001502: JUMPI 00001503: PUSH2 0x150a 00001506: PUSH2 0x14c8 00001509: JUMP 0000150a: JUMPDEST 0000150b: SWAP3 0000150c: SWAP2 0000150d: POP 0000150e: POP 0000150f: JUMP 00001510: JUMPDEST 00001511: DUP1 00001512: DUP3 00001513: ADD 00001514: DUP1 00001515: DUP3 00001516: GT 00001517: ISZERO 00001518: PUSH2 0x150a 0000151b: JUMPI 0000151c: PUSH2 0x150a 0000151f: PUSH2 0x14c8 00001522: JUMP 00001523: JUMPDEST 00001524: PUSH1 0x00 00001526: PUSH1 0x20 00001528: DUP3 00001529: DUP5 0000152a: SUB 0000152b: SLT 0000152c: ISZERO 0000152d: PUSH2 0x1535 00001530: JUMPI 00001531: PUSH1 0x00 00001533: DUP1 00001534: REVERT 00001535: JUMPDEST 00001536: DUP2 00001537: MLOAD 00001538: PUSH2 0x13a8 0000153b: DUP2 0000153c: PUSH2 0x1424 0000153f: JUMP 00001540: JUMPDEST 00001541: PUSH1 0x00 00001543: PUSH1 0x20 00001545: DUP3 00001546: DUP5 00001547: SUB 00001548: SLT 00001549: ISZERO 0000154a: PUSH2 0x1552 0000154d: JUMPI 0000154e: PUSH1 0x00 00001550: DUP1 00001551: REVERT 00001552: JUMPDEST 00001553: POP 00001554: MLOAD 00001555: SWAP2 00001556: SWAP1 00001557: POP 00001558: JUMP 00001559: JUMPDEST 0000155a: PUSH1 0x00 0000155c: DUP3 0000155d: PUSH2 0x158f 00001560: JUMPI 00001561: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001582: PUSH1 0x00 00001584: MSTORE 00001585: PUSH1 0x12 00001587: PUSH1 0x04 00001589: MSTORE 0000158a: PUSH1 0x24 0000158c: PUSH1 0x00 0000158e: REVERT 0000158f: JUMPDEST 00001590: POP 00001591: DIV 00001592: SWAP1 00001593: JUMP 00001594: INVALID 00001595: LOG1 00001596: PUSH5 0x736f6c6343 0000159c: STOP 0000159d: ADDMOD 0000159e: EQ 0000159f: STOP 000015a0: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x430af49fc5fdfe2118c44bba379f71271e579f1a0b573a192aaf75a22c387447
call_targets:
0xb4528213285cd10fdb6a14847a398d71670b3d61
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x430af49fc5fdfe2118c44bba379f71271e579f1a0b573a192aaf75a22c387447",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb4528213285cd10fdb6a14847a398d71670b3d61"
],
"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": "0xec0d7c24",
"selector": "0xec0d7c24",
"calldata_variants": [
"0xec0d7c24",
"0xec0d7c240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2f4eb26",
"selector": "0xf2f4eb26",
"calldata_variants": [
"0xf2f4eb26",
"0xf2f4eb260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7002a48",
"selector": "0xd7002a48",
"calldata_variants": [
"0xd7002a48",
"0xd7002a480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd8e630b4",
"selector": "0xd8e630b4",
"calldata_variants": [
"0xd8e630b4",
"0xd8e630b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30c3978",
"selector": "0xe30c3978",
"calldata_variants": [
"0xe30c3978",
"0xe30c39780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa65d1dbc",
"selector": "0xa65d1dbc",
"calldata_variants": [
"0xa65d1dbc",
"0xa65d1dbc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa7ee60dc",
"selector": "0xa7ee60dc",
"calldata_variants": [
"0xa7ee60dc",
"0xa7ee60dc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1591,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3713,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3980,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 2348,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x430af49fc5fdfe2118c44bba379f71271e579f1a0b573a192aaf75a22c387447
call_targets:
0xb4528213285cd10fdb6a14847a398d71670b3d61
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x430af49fc5fdfe2118c44bba379f71271e579f1a0b573a192aaf75a22c387447",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb4528213285cd10fdb6a14847a398d71670b3d61"
],
"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": "0xec0d7c24",
"selector": "0xec0d7c24",
"calldata_variants": [
"0xec0d7c24",
"0xec0d7c240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2f4eb26",
"selector": "0xf2f4eb26",
"calldata_variants": [
"0xf2f4eb26",
"0xf2f4eb260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7002a48",
"selector": "0xd7002a48",
"calldata_variants": [
"0xd7002a48",
"0xd7002a480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd8e630b4",
"selector": "0xd8e630b4",
"calldata_variants": [
"0xd8e630b4",
"0xd8e630b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30c3978",
"selector": "0xe30c3978",
"calldata_variants": [
"0xe30c3978",
"0xe30c39780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa65d1dbc",
"selector": "0xa65d1dbc",
"calldata_variants": [
"0xa65d1dbc",
"0xa65d1dbc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa7ee60dc",
"selector": "0xa7ee60dc",
"calldata_variants": [
"0xa7ee60dc",
"0xa7ee60dc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1591,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3713,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3980,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 2348,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|