019b477e-babb-729d-ac86-ec37ac647152
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 |
|---|---|---|---|---|
| 23789 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23790 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90097 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 90098 | capability.graph | complete | 1 / 3 | 1 week ago |
| 90099 | detector.run | complete | 1 / 3 | 1 week ago |
| 90100 | 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 0x00cb 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x907d985b 00000019: GT 0000001a: PUSH2 0x0074 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xe68777d7 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe68777d7 0000002f: EQ 00000030: PUSH2 0x02f1 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf2fde38b 0000003a: EQ 0000003b: PUSH2 0x0306 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf3ae2415 00000045: EQ 00000046: PUSH2 0x0346 00000049: JUMPI 0000004a: PUSH2 0x00d2 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x907d985b 00000055: EQ 00000056: PUSH2 0x0240 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0xac18de43 00000060: EQ 00000061: PUSH2 0x029c 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xe30c3978 0000006b: EQ 0000006c: PUSH2 0x02dc 0000006f: JUMPI 00000070: PUSH2 0x00d2 00000073: JUMP 00000074: JUMPDEST 00000075: DUP1 00000076: PUSH4 0x72311705 0000007b: GT 0000007c: PUSH2 0x00a5 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x72311705 00000086: EQ 00000087: PUSH2 0x0143 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x837971e4 00000091: EQ 00000092: PUSH2 0x01a8 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x8da5cb5b 0000009c: EQ 0000009d: PUSH2 0x0202 000000a0: JUMPI 000000a1: PUSH2 0x00d2 000000a4: JUMP 000000a5: JUMPDEST 000000a6: DUP1 000000a7: PUSH4 0x2d06177a 000000ac: EQ 000000ad: PUSH2 0x00d7 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0x4e71e0c8 000000b7: EQ 000000b8: PUSH2 0x0119 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x715018a6 000000c2: EQ 000000c3: PUSH2 0x012e 000000c6: JUMPI 000000c7: PUSH2 0x00d2 000000ca: JUMP 000000cb: JUMPDEST 000000cc: CALLDATASIZE 000000cd: PUSH2 0x00d2 000000d0: JUMPI 000000d1: STOP 000000d2: JUMPDEST 000000d3: PUSH1 0x00 000000d5: DUP1 000000d6: REVERT 000000d7: JUMPDEST 000000d8: CALLVALUE 000000d9: DUP1 000000da: ISZERO 000000db: PUSH2 0x00e3 000000de: JUMPI 000000df: PUSH1 0x00 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: POP 000000e5: PUSH2 0x0117 000000e8: PUSH1 0x04 000000ea: DUP1 000000eb: CALLDATASIZE 000000ec: SUB 000000ed: PUSH1 0x20 000000ef: DUP2 000000f0: LT 000000f1: ISZERO 000000f2: PUSH2 0x00fa 000000f5: JUMPI 000000f6: PUSH1 0x00 000000f8: DUP1 000000f9: REVERT 000000fa: JUMPDEST 000000fb: POP 000000fc: CALLDATALOAD 000000fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000112: AND 00000113: PUSH2 0x0386 00000116: JUMP 00000117: JUMPDEST 00000118: STOP 00000119: JUMPDEST 0000011a: CALLVALUE 0000011b: DUP1 0000011c: ISZERO 0000011d: PUSH2 0x0125 00000120: JUMPI 00000121: PUSH1 0x00 00000123: DUP1 00000124: REVERT 00000125: JUMPDEST 00000126: POP 00000127: PUSH2 0x0117 0000012a: PUSH2 0x0418 0000012d: JUMP 0000012e: JUMPDEST 0000012f: CALLVALUE 00000130: DUP1 00000131: ISZERO 00000132: PUSH2 0x013a 00000135: JUMPI 00000136: PUSH1 0x00 00000138: DUP1 00000139: REVERT 0000013a: JUMPDEST 0000013b: POP 0000013c: PUSH2 0x0117 0000013f: PUSH2 0x0534 00000142: JUMP 00000143: JUMPDEST 00000144: CALLVALUE 00000145: DUP1 00000146: ISZERO 00000147: PUSH2 0x014f 0000014a: JUMPI 0000014b: PUSH1 0x00 0000014d: DUP1 0000014e: REVERT 0000014f: JUMPDEST 00000150: POP 00000151: PUSH2 0x0158 00000154: PUSH2 0x0629 00000157: JUMP 00000158: JUMPDEST 00000159: PUSH1 0x40 0000015b: DUP1 0000015c: MLOAD 0000015d: PUSH1 0x20 0000015f: DUP1 00000160: DUP3 00000161: MSTORE 00000162: DUP4 00000163: MLOAD 00000164: DUP2 00000165: DUP4 00000166: ADD 00000167: MSTORE 00000168: DUP4 00000169: MLOAD 0000016a: SWAP2 0000016b: SWAP3 0000016c: DUP4 0000016d: SWAP3 0000016e: SWAP1 0000016f: DUP4 00000170: ADD 00000171: SWAP2 00000172: DUP6 00000173: DUP2 00000174: ADD 00000175: SWAP2 00000176: MUL 00000177: DUP1 00000178: DUP4 00000179: DUP4 0000017a: PUSH1 0x00 0000017c: JUMPDEST 0000017d: DUP4 0000017e: DUP2 0000017f: LT 00000180: ISZERO 00000181: PUSH2 0x0194 00000184: JUMPI 00000185: DUP2 00000186: DUP2 00000187: ADD 00000188: MLOAD 00000189: DUP4 0000018a: DUP3 0000018b: ADD 0000018c: MSTORE 0000018d: PUSH1 0x20 0000018f: ADD 00000190: PUSH2 0x017c 00000193: JUMP 00000194: JUMPDEST 00000195: POP 00000196: POP 00000197: POP 00000198: POP 00000199: SWAP1 0000019a: POP 0000019b: ADD 0000019c: SWAP3 0000019d: POP 0000019e: POP 0000019f: POP 000001a0: PUSH1 0x40 000001a2: MLOAD 000001a3: DUP1 000001a4: SWAP2 000001a5: SUB 000001a6: SWAP1 000001a7: RETURN 000001a8: JUMPDEST 000001a9: CALLVALUE 000001aa: DUP1 000001ab: ISZERO 000001ac: PUSH2 0x01b4 000001af: JUMPI 000001b0: PUSH1 0x00 000001b2: DUP1 000001b3: REVERT 000001b4: JUMPDEST 000001b5: POP 000001b6: PUSH2 0x01f0 000001b9: PUSH1 0x04 000001bb: DUP1 000001bc: CALLDATASIZE 000001bd: SUB 000001be: PUSH1 0x40 000001c0: DUP2 000001c1: LT 000001c2: ISZERO 000001c3: PUSH2 0x01cb 000001c6: JUMPI 000001c7: PUSH1 0x00 000001c9: DUP1 000001ca: REVERT 000001cb: JUMPDEST 000001cc: POP 000001cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e2: DUP2 000001e3: CALLDATALOAD 000001e4: DUP2 000001e5: AND 000001e6: SWAP2 000001e7: PUSH1 0x20 000001e9: ADD 000001ea: CALLDATALOAD 000001eb: AND 000001ec: PUSH2 0x0659 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH1 0x40 000001f3: DUP1 000001f4: MLOAD 000001f5: SWAP2 000001f6: DUP3 000001f7: MSTORE 000001f8: MLOAD 000001f9: SWAP1 000001fa: DUP2 000001fb: SWAP1 000001fc: SUB 000001fd: PUSH1 0x20 000001ff: ADD 00000200: SWAP1 00000201: RETURN 00000202: JUMPDEST 00000203: CALLVALUE 00000204: DUP1 00000205: ISZERO 00000206: PUSH2 0x020e 00000209: JUMPI 0000020a: PUSH1 0x00 0000020c: DUP1 0000020d: REVERT 0000020e: JUMPDEST 0000020f: POP 00000210: PUSH2 0x0217 00000213: PUSH2 0x082e 00000216: JUMP 00000217: JUMPDEST 00000218: PUSH1 0x40 0000021a: DUP1 0000021b: MLOAD 0000021c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000231: SWAP1 00000232: SWAP3 00000233: AND 00000234: DUP3 00000235: MSTORE 00000236: MLOAD 00000237: SWAP1 00000238: DUP2 00000239: SWAP1 0000023a: SUB 0000023b: PUSH1 0x20 0000023d: ADD 0000023e: SWAP1 0000023f: RETURN 00000240: JUMPDEST 00000241: CALLVALUE 00000242: DUP1 00000243: ISZERO 00000244: PUSH2 0x024c 00000247: JUMPI 00000248: PUSH1 0x00 0000024a: DUP1 0000024b: REVERT 0000024c: JUMPDEST 0000024d: POP 0000024e: PUSH2 0x0288 00000251: PUSH1 0x04 00000253: DUP1 00000254: CALLDATASIZE 00000255: SUB 00000256: PUSH1 0x40 00000258: DUP2 00000259: LT 0000025a: ISZERO 0000025b: PUSH2 0x0263 0000025e: JUMPI 0000025f: PUSH1 0x00 00000261: DUP1 00000262: REVERT 00000263: JUMPDEST 00000264: POP 00000265: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000027a: DUP2 0000027b: CALLDATALOAD 0000027c: DUP2 0000027d: AND 0000027e: SWAP2 0000027f: PUSH1 0x20 00000281: ADD 00000282: CALLDATALOAD 00000283: AND 00000284: PUSH2 0x084a 00000287: JUMP 00000288: JUMPDEST 00000289: PUSH1 0x40 0000028b: DUP1 0000028c: MLOAD 0000028d: SWAP2 0000028e: ISZERO 0000028f: ISZERO 00000290: DUP3 00000291: MSTORE 00000292: MLOAD 00000293: SWAP1 00000294: DUP2 00000295: SWAP1 00000296: SUB 00000297: PUSH1 0x20 00000299: ADD 0000029a: SWAP1 0000029b: RETURN 0000029c: JUMPDEST 0000029d: CALLVALUE 0000029e: DUP1 0000029f: ISZERO 000002a0: PUSH2 0x02a8 000002a3: JUMPI 000002a4: PUSH1 0x00 000002a6: DUP1 000002a7: REVERT 000002a8: JUMPDEST 000002a9: POP 000002aa: PUSH2 0x0117 000002ad: PUSH1 0x04 000002af: DUP1 000002b0: CALLDATASIZE 000002b1: SUB 000002b2: PUSH1 0x20 000002b4: DUP2 000002b5: LT 000002b6: ISZERO 000002b7: PUSH2 0x02bf 000002ba: JUMPI 000002bb: PUSH1 0x00 000002bd: DUP1 000002be: REVERT 000002bf: JUMPDEST 000002c0: POP 000002c1: CALLDATALOAD 000002c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d7: AND 000002d8: PUSH2 0x0881 000002db: JUMP 000002dc: JUMPDEST 000002dd: CALLVALUE 000002de: DUP1 000002df: ISZERO 000002e0: PUSH2 0x02e8 000002e3: JUMPI 000002e4: PUSH1 0x00 000002e6: DUP1 000002e7: REVERT 000002e8: JUMPDEST 000002e9: POP 000002ea: PUSH2 0x0217 000002ed: PUSH2 0x0975 000002f0: JUMP 000002f1: JUMPDEST 000002f2: CALLVALUE 000002f3: DUP1 000002f4: ISZERO 000002f5: PUSH2 0x02fd 000002f8: JUMPI 000002f9: PUSH1 0x00 000002fb: DUP1 000002fc: REVERT 000002fd: JUMPDEST 000002fe: POP 000002ff: PUSH2 0x01f0 00000302: PUSH2 0x0991 00000305: JUMP 00000306: JUMPDEST 00000307: CALLVALUE 00000308: DUP1 00000309: ISZERO 0000030a: PUSH2 0x0312 0000030d: JUMPI 0000030e: PUSH1 0x00 00000310: DUP1 00000311: REVERT 00000312: JUMPDEST 00000313: POP 00000314: PUSH2 0x0117 00000317: PUSH1 0x04 00000319: DUP1 0000031a: CALLDATASIZE 0000031b: SUB 0000031c: PUSH1 0x20 0000031e: DUP2 0000031f: LT 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: CALLDATALOAD 0000032c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000341: AND 00000342: PUSH2 0x09bc 00000345: JUMP 00000346: JUMPDEST 00000347: CALLVALUE 00000348: DUP1 00000349: ISZERO 0000034a: PUSH2 0x0352 0000034d: JUMPI 0000034e: PUSH1 0x00 00000350: DUP1 00000351: REVERT 00000352: JUMPDEST 00000353: POP 00000354: PUSH2 0x0288 00000357: PUSH1 0x04 00000359: DUP1 0000035a: CALLDATASIZE 0000035b: SUB 0000035c: PUSH1 0x20 0000035e: DUP2 0000035f: LT 00000360: ISZERO 00000361: PUSH2 0x0369 00000364: JUMPI 00000365: PUSH1 0x00 00000367: DUP1 00000368: REVERT 00000369: JUMPDEST 0000036a: POP 0000036b: CALLDATALOAD 0000036c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000381: AND 00000382: PUSH2 0x0b34 00000385: JUMP 00000386: JUMPDEST 00000387: PUSH1 0x00 00000389: SLOAD 0000038a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039f: AND 000003a0: CALLER 000003a1: EQ 000003a2: PUSH2 0x040c 000003a5: JUMPI 000003a6: PUSH1 0x40 000003a8: DUP1 000003a9: MLOAD 000003aa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003cb: DUP2 000003cc: MSTORE 000003cd: PUSH1 0x20 000003cf: PUSH1 0x04 000003d1: DUP3 000003d2: ADD 000003d3: MSTORE 000003d4: PUSH1 0x0c 000003d6: PUSH1 0x24 000003d8: DUP3 000003d9: ADD 000003da: MSTORE 000003db: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 000003fc: PUSH1 0x44 000003fe: DUP3 000003ff: ADD 00000400: MSTORE 00000401: SWAP1 00000402: MLOAD 00000403: SWAP1 00000404: DUP2 00000405: SWAP1 00000406: SUB 00000407: PUSH1 0x64 00000409: ADD 0000040a: SWAP1 0000040b: REVERT 0000040c: JUMPDEST 0000040d: PUSH2 0x0415 00000410: DUP2 00000411: PUSH2 0x0b66 00000414: JUMP 00000415: JUMPDEST 00000416: POP 00000417: JUMP 00000418: JUMPDEST 00000419: PUSH1 0x01 0000041b: SLOAD 0000041c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000431: AND 00000432: CALLER 00000433: EQ 00000434: PUSH2 0x049e 00000437: JUMPI 00000438: PUSH1 0x40 0000043a: DUP1 0000043b: MLOAD 0000043c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000045d: DUP2 0000045e: MSTORE 0000045f: PUSH1 0x20 00000461: PUSH1 0x04 00000463: DUP3 00000464: ADD 00000465: MSTORE 00000466: PUSH1 0x0c 00000468: PUSH1 0x24 0000046a: DUP3 0000046b: ADD 0000046c: MSTORE 0000046d: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 0000048e: PUSH1 0x44 00000490: DUP3 00000491: ADD 00000492: MSTORE 00000493: SWAP1 00000494: MLOAD 00000495: SWAP1 00000496: DUP2 00000497: SWAP1 00000498: SUB 00000499: PUSH1 0x64 0000049b: ADD 0000049c: SWAP1 0000049d: REVERT 0000049e: JUMPDEST 0000049f: PUSH1 0x01 000004a1: SLOAD 000004a2: PUSH1 0x00 000004a4: DUP1 000004a5: SLOAD 000004a6: PUSH1 0x40 000004a8: MLOAD 000004a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004be: SWAP4 000004bf: DUP5 000004c0: AND 000004c1: SWAP4 000004c2: SWAP1 000004c3: SWAP2 000004c4: AND 000004c5: SWAP2 000004c6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000004e7: SWAP2 000004e8: LOG3 000004e9: PUSH1 0x01 000004eb: DUP1 000004ec: SLOAD 000004ed: PUSH1 0x00 000004ef: DUP1 000004f0: SLOAD 000004f1: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000512: SWAP1 00000513: DUP2 00000514: AND 00000515: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052a: DUP5 0000052b: AND 0000052c: OR 0000052d: SWAP1 0000052e: SWAP2 0000052f: SSTORE 00000530: AND 00000531: SWAP1 00000532: SSTORE 00000533: JUMP 00000534: JUMPDEST 00000535: PUSH1 0x00 00000537: SLOAD 00000538: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054d: AND 0000054e: CALLER 0000054f: EQ 00000550: PUSH2 0x05ba 00000553: JUMPI 00000554: PUSH1 0x40 00000556: DUP1 00000557: MLOAD 00000558: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000579: DUP2 0000057a: MSTORE 0000057b: PUSH1 0x20 0000057d: PUSH1 0x04 0000057f: DUP3 00000580: ADD 00000581: MSTORE 00000582: PUSH1 0x0c 00000584: PUSH1 0x24 00000586: DUP3 00000587: ADD 00000588: MSTORE 00000589: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 000005aa: PUSH1 0x44 000005ac: DUP3 000005ad: ADD 000005ae: MSTORE 000005af: SWAP1 000005b0: MLOAD 000005b1: SWAP1 000005b2: DUP2 000005b3: SWAP1 000005b4: SUB 000005b5: PUSH1 0x64 000005b7: ADD 000005b8: SWAP1 000005b9: REVERT 000005ba: JUMPDEST 000005bb: PUSH1 0x00 000005bd: DUP1 000005be: SLOAD 000005bf: PUSH1 0x40 000005c1: MLOAD 000005c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d7: SWAP1 000005d8: SWAP2 000005d9: AND 000005da: SWAP1 000005db: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000005fc: SWAP1 000005fd: DUP4 000005fe: SWAP1 000005ff: LOG3 00000600: PUSH1 0x00 00000602: DUP1 00000603: SLOAD 00000604: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000625: AND 00000626: SWAP1 00000627: SSTORE 00000628: JUMP 00000629: JUMPDEST 0000062a: PUSH1 0x60 0000062c: PUSH2 0x0654 0000062f: PUSH32 0xae79206ff8d89355a31a27bc7df0c55f5fe15ce3ae94530629cd19b6712ea1f8 00000650: PUSH2 0x0bd6 00000653: JUMP 00000654: JUMPDEST 00000655: SWAP1 00000656: POP 00000657: SWAP1 00000658: JUMP 00000659: JUMPDEST 0000065a: PUSH1 0x00 0000065c: PUSH2 0x0665 0000065f: CALLER 00000660: DUP4 00000661: PUSH2 0x084a 00000664: JUMP 00000665: JUMPDEST 00000666: PUSH2 0x06d0 00000669: JUMPI 0000066a: PUSH1 0x40 0000066c: DUP1 0000066d: MLOAD 0000066e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000068f: DUP2 00000690: MSTORE 00000691: PUSH1 0x20 00000693: PUSH1 0x04 00000695: DUP3 00000696: ADD 00000697: MSTORE 00000698: PUSH1 0x0c 0000069a: PUSH1 0x24 0000069c: DUP3 0000069d: ADD 0000069e: MSTORE 0000069f: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 000006c0: PUSH1 0x44 000006c2: DUP3 000006c3: ADD 000006c4: MSTORE 000006c5: SWAP1 000006c6: MLOAD 000006c7: SWAP1 000006c8: DUP2 000006c9: SWAP1 000006ca: SUB 000006cb: PUSH1 0x64 000006cd: ADD 000006ce: SWAP1 000006cf: REVERT 000006d0: JUMPDEST 000006d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e6: DUP3 000006e7: AND 000006e8: PUSH2 0x0716 000006eb: JUMPI 000006ec: POP 000006ed: SELFBALANCE 000006ee: PUSH2 0x0710 000006f1: DUP2 000006f2: GAS 000006f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000708: DUP7 00000709: AND 0000070a: SWAP2 0000070b: SWAP1 0000070c: PUSH2 0x0cd4 0000070f: JUMP 00000710: JUMPDEST 00000711: POP 00000712: PUSH2 0x07d1 00000715: JUMP 00000716: JUMPDEST 00000717: PUSH1 0x40 00000719: DUP1 0000071a: MLOAD 0000071b: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 0000073c: DUP2 0000073d: MSTORE 0000073e: ADDRESS 0000073f: PUSH1 0x04 00000741: DUP3 00000742: ADD 00000743: MSTORE 00000744: SWAP1 00000745: MLOAD 00000746: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075b: DUP5 0000075c: AND 0000075d: SWAP2 0000075e: PUSH4 0x70a08231 00000763: SWAP2 00000764: PUSH1 0x24 00000766: DUP1 00000767: DUP4 00000768: ADD 00000769: SWAP3 0000076a: PUSH1 0x20 0000076c: SWAP3 0000076d: SWAP2 0000076e: SWAP1 0000076f: DUP3 00000770: SWAP1 00000771: SUB 00000772: ADD 00000773: DUP2 00000774: DUP7 00000775: DUP1 00000776: EXTCODESIZE 00000777: ISZERO 00000778: DUP1 00000779: ISZERO 0000077a: PUSH2 0x0782 0000077d: JUMPI 0000077e: PUSH1 0x00 00000780: DUP1 00000781: REVERT 00000782: JUMPDEST 00000783: POP 00000784: GAS 00000785: STATICCALL 00000786: ISZERO 00000787: DUP1 00000788: ISZERO 00000789: PUSH2 0x0796 0000078c: JUMPI 0000078d: RETURNDATASIZE 0000078e: PUSH1 0x00 00000790: DUP1 00000791: RETURNDATACOPY 00000792: RETURNDATASIZE 00000793: PUSH1 0x00 00000795: REVERT 00000796: JUMPDEST 00000797: POP 00000798: POP 00000799: POP 0000079a: POP 0000079b: PUSH1 0x40 0000079d: MLOAD 0000079e: RETURNDATASIZE 0000079f: PUSH1 0x20 000007a1: DUP2 000007a2: LT 000007a3: ISZERO 000007a4: PUSH2 0x07ac 000007a7: JUMPI 000007a8: PUSH1 0x00 000007aa: DUP1 000007ab: REVERT 000007ac: JUMPDEST 000007ad: POP 000007ae: MLOAD 000007af: SWAP1 000007b0: POP 000007b1: PUSH2 0x07d1 000007b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c9: DUP4 000007ca: AND 000007cb: DUP5 000007cc: DUP4 000007cd: PUSH2 0x0d65 000007d0: JUMP 000007d1: JUMPDEST 000007d2: PUSH1 0x40 000007d4: DUP1 000007d5: MLOAD 000007d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007eb: DUP1 000007ec: DUP7 000007ed: AND 000007ee: DUP3 000007ef: MSTORE 000007f0: DUP5 000007f1: AND 000007f2: PUSH1 0x20 000007f4: DUP3 000007f5: ADD 000007f6: MSTORE 000007f7: DUP1 000007f8: DUP3 000007f9: ADD 000007fa: DUP4 000007fb: SWAP1 000007fc: MSTORE 000007fd: SWAP1 000007fe: MLOAD 000007ff: PUSH32 0xbfd2431e6c719bec0308db4f4ed0afc39712d368867354c711a1ea1e384fa781 00000820: SWAP2 00000821: DUP2 00000822: SWAP1 00000823: SUB 00000824: PUSH1 0x60 00000826: ADD 00000827: SWAP1 00000828: LOG1 00000829: SWAP3 0000082a: SWAP2 0000082b: POP 0000082c: POP 0000082d: JUMP 0000082e: JUMPDEST 0000082f: PUSH1 0x00 00000831: SLOAD 00000832: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000847: AND 00000848: DUP2 00000849: JUMP 0000084a: JUMPDEST 0000084b: PUSH1 0x00 0000084d: PUSH2 0x0855 00000850: DUP4 00000851: PUSH2 0x0b34 00000854: JUMP 00000855: JUMPDEST 00000856: DUP1 00000857: PUSH2 0x087a 0000085a: JUMPI 0000085b: POP 0000085c: PUSH1 0x00 0000085e: SLOAD 0000085f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000874: DUP5 00000875: DUP2 00000876: AND 00000877: SWAP2 00000878: AND 00000879: EQ 0000087a: JUMPDEST 0000087b: SWAP4 0000087c: SWAP3 0000087d: POP 0000087e: POP 0000087f: POP 00000880: JUMP 00000881: JUMPDEST 00000882: PUSH1 0x00 00000884: SLOAD 00000885: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000089a: AND 0000089b: CALLER 0000089c: EQ 0000089d: PUSH2 0x0907 000008a0: JUMPI 000008a1: PUSH1 0x40 000008a3: DUP1 000008a4: MLOAD 000008a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008c6: DUP2 000008c7: MSTORE 000008c8: PUSH1 0x20 000008ca: PUSH1 0x04 000008cc: DUP3 000008cd: ADD 000008ce: MSTORE 000008cf: PUSH1 0x0c 000008d1: PUSH1 0x24 000008d3: DUP3 000008d4: ADD 000008d5: MSTORE 000008d6: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 000008f7: PUSH1 0x44 000008f9: DUP3 000008fa: ADD 000008fb: MSTORE 000008fc: SWAP1 000008fd: MLOAD 000008fe: SWAP1 000008ff: DUP2 00000900: SWAP1 00000901: SUB 00000902: PUSH1 0x64 00000904: ADD 00000905: SWAP1 00000906: REVERT 00000907: JUMPDEST 00000908: PUSH2 0x0931 0000090b: PUSH32 0xae79206ff8d89355a31a27bc7df0c55f5fe15ce3ae94530629cd19b6712ea1f8 0000092c: DUP3 0000092d: PUSH2 0x0d76 00000930: JUMP 00000931: JUMPDEST 00000932: PUSH1 0x40 00000934: MLOAD 00000935: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094a: DUP3 0000094b: AND 0000094c: SWAP1 0000094d: PUSH32 0xef69f7d97228658c92417be1b16b19058315de71fecb435d07b7d23728b6bd31 0000096e: SWAP1 0000096f: PUSH1 0x00 00000971: SWAP1 00000972: LOG2 00000973: POP 00000974: JUMP 00000975: JUMPDEST 00000976: PUSH1 0x01 00000978: SLOAD 00000979: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098e: AND 0000098f: DUP2 00000990: JUMP 00000991: JUMPDEST 00000992: PUSH1 0x00 00000994: PUSH2 0x0654 00000997: PUSH32 0xae79206ff8d89355a31a27bc7df0c55f5fe15ce3ae94530629cd19b6712ea1f8 000009b8: PUSH2 0x0f92 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH1 0x00 000009bf: SLOAD 000009c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d5: AND 000009d6: CALLER 000009d7: EQ 000009d8: PUSH2 0x0a42 000009db: JUMPI 000009dc: PUSH1 0x40 000009de: DUP1 000009df: MLOAD 000009e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a01: DUP2 00000a02: MSTORE 00000a03: PUSH1 0x20 00000a05: PUSH1 0x04 00000a07: DUP3 00000a08: ADD 00000a09: MSTORE 00000a0a: PUSH1 0x0c 00000a0c: PUSH1 0x24 00000a0e: DUP3 00000a0f: ADD 00000a10: MSTORE 00000a11: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 00000a32: PUSH1 0x44 00000a34: DUP3 00000a35: ADD 00000a36: MSTORE 00000a37: SWAP1 00000a38: MLOAD 00000a39: SWAP1 00000a3a: DUP2 00000a3b: SWAP1 00000a3c: SUB 00000a3d: PUSH1 0x64 00000a3f: ADD 00000a40: SWAP1 00000a41: REVERT 00000a42: JUMPDEST 00000a43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a58: DUP2 00000a59: AND 00000a5a: ISZERO 00000a5b: DUP1 00000a5c: ISZERO 00000a5d: SWAP1 00000a5e: PUSH2 0x0a82 00000a61: JUMPI 00000a62: POP 00000a63: PUSH1 0x00 00000a65: SLOAD 00000a66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7b: DUP3 00000a7c: DUP2 00000a7d: AND 00000a7e: SWAP2 00000a7f: AND 00000a80: EQ 00000a81: ISZERO 00000a82: JUMPDEST 00000a83: PUSH2 0x0aed 00000a86: JUMPI 00000a87: PUSH1 0x40 00000a89: DUP1 00000a8a: MLOAD 00000a8b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000aac: DUP2 00000aad: MSTORE 00000aae: PUSH1 0x20 00000ab0: PUSH1 0x04 00000ab2: DUP3 00000ab3: ADD 00000ab4: MSTORE 00000ab5: PUSH1 0x0f 00000ab7: PUSH1 0x24 00000ab9: DUP3 00000aba: ADD 00000abb: MSTORE 00000abc: PUSH32 0x494e56414c49445f414444524553530000000000000000000000000000000000 00000add: PUSH1 0x44 00000adf: DUP3 00000ae0: ADD 00000ae1: MSTORE 00000ae2: SWAP1 00000ae3: MLOAD 00000ae4: SWAP1 00000ae5: DUP2 00000ae6: SWAP1 00000ae7: SUB 00000ae8: PUSH1 0x64 00000aea: ADD 00000aeb: SWAP1 00000aec: REVERT 00000aed: JUMPDEST 00000aee: PUSH1 0x01 00000af0: DUP1 00000af1: SLOAD 00000af2: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000b13: AND 00000b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b29: SWAP3 00000b2a: SWAP1 00000b2b: SWAP3 00000b2c: AND 00000b2d: SWAP2 00000b2e: SWAP1 00000b2f: SWAP2 00000b30: OR 00000b31: SWAP1 00000b32: SSTORE 00000b33: JUMP 00000b34: JUMPDEST 00000b35: PUSH1 0x00 00000b37: PUSH2 0x0b60 00000b3a: PUSH32 0xae79206ff8d89355a31a27bc7df0c55f5fe15ce3ae94530629cd19b6712ea1f8 00000b5b: DUP4 00000b5c: PUSH2 0x0fa8 00000b5f: JUMP 00000b60: JUMPDEST 00000b61: SWAP3 00000b62: SWAP2 00000b63: POP 00000b64: POP 00000b65: JUMP 00000b66: JUMPDEST 00000b67: PUSH2 0x0b92 00000b6a: PUSH32 0xae79206ff8d89355a31a27bc7df0c55f5fe15ce3ae94530629cd19b6712ea1f8 00000b8b: DUP3 00000b8c: PUSH1 0x01 00000b8e: PUSH2 0x0fe3 00000b91: JUMP 00000b92: JUMPDEST 00000b93: PUSH1 0x40 00000b95: MLOAD 00000b96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bab: DUP3 00000bac: AND 00000bad: SWAP1 00000bae: PUSH32 0x3b4a40cccf2058c593542587329dd385be4f0b588db5471fbd9598e56dd7093a 00000bcf: SWAP1 00000bd0: PUSH1 0x00 00000bd2: SWAP1 00000bd3: LOG2 00000bd4: POP 00000bd5: JUMP 00000bd6: JUMPDEST 00000bd7: PUSH1 0x00 00000bd9: DUP2 00000bda: DUP2 00000bdb: MSTORE 00000bdc: PUSH1 0x02 00000bde: PUSH1 0x20 00000be0: DUP2 00000be1: SWAP1 00000be2: MSTORE 00000be3: PUSH1 0x40 00000be5: SWAP1 00000be6: SWAP2 00000be7: KECCAK256 00000be8: DUP1 00000be9: SLOAD 00000bea: SWAP2 00000beb: DUP2 00000bec: ADD 00000bed: SLOAD 00000bee: PUSH1 0x60 00000bf0: SWAP3 00000bf1: EQ 00000bf2: PUSH2 0x0c5c 00000bf5: JUMPI 00000bf6: PUSH1 0x40 00000bf8: DUP1 00000bf9: MLOAD 00000bfa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c1b: DUP2 00000c1c: MSTORE 00000c1d: PUSH1 0x20 00000c1f: PUSH1 0x04 00000c21: DUP3 00000c22: ADD 00000c23: MSTORE 00000c24: PUSH1 0x0e 00000c26: PUSH1 0x24 00000c28: DUP3 00000c29: ADD 00000c2a: MSTORE 00000c2b: PUSH32 0x4e4f545f4d41494e5441494e4544000000000000000000000000000000000000 00000c4c: PUSH1 0x44 00000c4e: DUP3 00000c4f: ADD 00000c50: MSTORE 00000c51: SWAP1 00000c52: MLOAD 00000c53: SWAP1 00000c54: DUP2 00000c55: SWAP1 00000c56: SUB 00000c57: PUSH1 0x64 00000c59: ADD 00000c5a: SWAP1 00000c5b: REVERT 00000c5c: JUMPDEST 00000c5d: PUSH1 0x00 00000c5f: DUP4 00000c60: DUP2 00000c61: MSTORE 00000c62: PUSH1 0x02 00000c64: PUSH1 0x20 00000c66: SWAP1 00000c67: DUP2 00000c68: MSTORE 00000c69: PUSH1 0x40 00000c6b: SWAP2 00000c6c: DUP3 00000c6d: SWAP1 00000c6e: KECCAK256 00000c6f: DUP1 00000c70: SLOAD 00000c71: DUP4 00000c72: MLOAD 00000c73: DUP2 00000c74: DUP5 00000c75: MUL 00000c76: DUP2 00000c77: ADD 00000c78: DUP5 00000c79: ADD 00000c7a: SWAP1 00000c7b: SWAP5 00000c7c: MSTORE 00000c7d: DUP1 00000c7e: DUP5 00000c7f: MSTORE 00000c80: SWAP1 00000c81: SWAP2 00000c82: DUP4 00000c83: ADD 00000c84: DUP3 00000c85: DUP3 00000c86: DUP1 00000c87: ISZERO 00000c88: PUSH2 0x0cc7 00000c8b: JUMPI 00000c8c: PUSH1 0x20 00000c8e: MUL 00000c8f: DUP3 00000c90: ADD 00000c91: SWAP2 00000c92: SWAP1 00000c93: PUSH1 0x00 00000c95: MSTORE 00000c96: PUSH1 0x20 00000c98: PUSH1 0x00 00000c9a: KECCAK256 00000c9b: SWAP1 00000c9c: JUMPDEST 00000c9d: DUP2 00000c9e: SLOAD 00000c9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb4: AND 00000cb5: DUP2 00000cb6: MSTORE 00000cb7: PUSH1 0x01 00000cb9: SWAP1 00000cba: SWAP2 00000cbb: ADD 00000cbc: SWAP1 00000cbd: PUSH1 0x20 00000cbf: ADD 00000cc0: DUP1 00000cc1: DUP4 00000cc2: GT 00000cc3: PUSH2 0x0c9c 00000cc6: JUMPI 00000cc7: JUMPDEST 00000cc8: POP 00000cc9: POP 00000cca: POP 00000ccb: POP 00000ccc: POP 00000ccd: SWAP2 00000cce: POP 00000ccf: POP 00000cd0: SWAP2 00000cd1: SWAP1 00000cd2: POP 00000cd3: JUMP 00000cd4: JUMPDEST 00000cd5: PUSH1 0x00 00000cd7: PUSH2 0x0cf7 00000cda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cef: DUP6 00000cf0: AND 00000cf1: DUP5 00000cf2: DUP5 00000cf3: PUSH2 0x11ff 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: SWAP1 00000cf9: POP 00000cfa: DUP1 00000cfb: PUSH2 0x087a 00000cfe: JUMPI 00000cff: PUSH1 0x40 00000d01: DUP1 00000d02: MLOAD 00000d03: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d24: DUP2 00000d25: MSTORE 00000d26: PUSH1 0x20 00000d28: PUSH1 0x04 00000d2a: DUP3 00000d2b: ADD 00000d2c: MSTORE 00000d2d: PUSH1 0x10 00000d2f: PUSH1 0x24 00000d31: DUP3 00000d32: ADD 00000d33: MSTORE 00000d34: PUSH32 0x5452414e534645525f4641494c55524500000000000000000000000000000000 00000d55: PUSH1 0x44 00000d57: DUP3 00000d58: ADD 00000d59: MSTORE 00000d5a: SWAP1 00000d5b: MLOAD 00000d5c: SWAP1 00000d5d: DUP2 00000d5e: SWAP1 00000d5f: SUB 00000d60: PUSH1 0x64 00000d62: ADD 00000d63: SWAP1 00000d64: REVERT 00000d65: JUMPDEST 00000d66: PUSH2 0x0d71 00000d69: DUP4 00000d6a: DUP4 00000d6b: DUP4 00000d6c: GAS 00000d6d: PUSH2 0x129c 00000d70: JUMP 00000d71: JUMPDEST 00000d72: POP 00000d73: POP 00000d74: POP 00000d75: JUMP 00000d76: JUMPDEST 00000d77: PUSH1 0x00 00000d79: DUP3 00000d7a: DUP2 00000d7b: MSTORE 00000d7c: PUSH1 0x02 00000d7e: PUSH1 0x20 00000d80: SWAP1 00000d81: DUP2 00000d82: MSTORE 00000d83: PUSH1 0x40 00000d85: DUP1 00000d86: DUP4 00000d87: KECCAK256 00000d88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9d: DUP6 00000d9e: AND 00000d9f: DUP5 00000da0: MSTORE 00000da1: PUSH1 0x01 00000da3: DUP2 00000da4: ADD 00000da5: SWAP1 00000da6: SWAP3 00000da7: MSTORE 00000da8: SWAP1 00000da9: SWAP2 00000daa: KECCAK256 00000dab: SLOAD 00000dac: DUP1 00000dad: PUSH2 0x0e17 00000db0: JUMPI 00000db1: PUSH1 0x40 00000db3: DUP1 00000db4: MLOAD 00000db5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000dd6: DUP2 00000dd7: MSTORE 00000dd8: PUSH1 0x20 00000dda: PUSH1 0x04 00000ddc: DUP3 00000ddd: ADD 00000dde: MSTORE 00000ddf: PUSH1 0x0a 00000de1: PUSH1 0x24 00000de3: DUP3 00000de4: ADD 00000de5: MSTORE 00000de6: PUSH32 0x4e4f545f494e5f53455400000000000000000000000000000000000000000000 00000e07: PUSH1 0x44 00000e09: DUP3 00000e0a: ADD 00000e0b: MSTORE 00000e0c: SWAP1 00000e0d: MLOAD 00000e0e: SWAP1 00000e0f: DUP2 00000e10: SWAP1 00000e11: SUB 00000e12: PUSH1 0x64 00000e14: ADD 00000e15: SWAP1 00000e16: REVERT 00000e17: JUMPDEST 00000e18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2d: DUP4 00000e2e: AND 00000e2f: PUSH1 0x00 00000e31: SWAP1 00000e32: DUP2 00000e33: MSTORE 00000e34: PUSH1 0x01 00000e36: DUP4 00000e37: ADD 00000e38: PUSH1 0x20 00000e3a: MSTORE 00000e3b: PUSH1 0x40 00000e3d: DUP2 00000e3e: KECCAK256 00000e3f: SSTORE 00000e40: PUSH1 0x02 00000e42: DUP3 00000e43: ADD 00000e44: DUP1 00000e45: SLOAD 00000e46: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000e67: ADD 00000e68: SWAP1 00000e69: SSTORE 00000e6a: DUP2 00000e6b: SLOAD 00000e6c: ISZERO 00000e6d: PUSH2 0x0f8c 00000e70: JUMPI 00000e71: PUSH1 0x00 00000e73: DUP3 00000e74: PUSH1 0x00 00000e76: ADD 00000e77: DUP4 00000e78: PUSH1 0x02 00000e7a: ADD 00000e7b: SLOAD 00000e7c: DUP2 00000e7d: SLOAD 00000e7e: DUP2 00000e7f: LT 00000e80: PUSH2 0x0e85 00000e83: JUMPI 00000e84: INVALID 00000e85: JUMPDEST 00000e86: PUSH1 0x00 00000e88: SWAP2 00000e89: DUP3 00000e8a: MSTORE 00000e8b: PUSH1 0x20 00000e8d: SWAP1 00000e8e: SWAP2 00000e8f: KECCAK256 00000e90: ADD 00000e91: SLOAD 00000e92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea7: SWAP1 00000ea8: DUP2 00000ea9: AND 00000eaa: SWAP2 00000eab: POP 00000eac: DUP5 00000ead: AND 00000eae: DUP2 00000eaf: EQ 00000eb0: PUSH2 0x0f27 00000eb3: JUMPI 00000eb4: DUP1 00000eb5: DUP4 00000eb6: PUSH1 0x00 00000eb8: ADD 00000eb9: PUSH1 0x01 00000ebb: DUP5 00000ebc: SUB 00000ebd: DUP2 00000ebe: SLOAD 00000ebf: DUP2 00000ec0: LT 00000ec1: PUSH2 0x0ec6 00000ec4: JUMPI 00000ec5: INVALID 00000ec6: JUMPDEST 00000ec7: PUSH1 0x00 00000ec9: SWAP2 00000eca: DUP3 00000ecb: MSTORE 00000ecc: PUSH1 0x20 00000ece: DUP1 00000ecf: DUP4 00000ed0: KECCAK256 00000ed1: SWAP2 00000ed2: SWAP1 00000ed3: SWAP2 00000ed4: ADD 00000ed5: DUP1 00000ed6: SLOAD 00000ed7: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000ef8: AND 00000ef9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0e: SWAP5 00000f0f: DUP6 00000f10: AND 00000f11: OR 00000f12: SWAP1 00000f13: SSTORE 00000f14: SWAP2 00000f15: DUP4 00000f16: AND 00000f17: DUP2 00000f18: MSTORE 00000f19: PUSH1 0x01 00000f1b: DUP6 00000f1c: ADD 00000f1d: SWAP1 00000f1e: SWAP2 00000f1f: MSTORE 00000f20: PUSH1 0x40 00000f22: SWAP1 00000f23: KECCAK256 00000f24: DUP3 00000f25: SWAP1 00000f26: SSTORE 00000f27: JUMPDEST 00000f28: DUP3 00000f29: SLOAD 00000f2a: DUP4 00000f2b: SWAP1 00000f2c: DUP1 00000f2d: PUSH2 0x0f32 00000f30: JUMPI 00000f31: INVALID 00000f32: JUMPDEST 00000f33: PUSH1 0x00 00000f35: DUP3 00000f36: DUP2 00000f37: MSTORE 00000f38: PUSH1 0x20 00000f3a: SWAP1 00000f3b: KECCAK256 00000f3c: DUP2 00000f3d: ADD 00000f3e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000f5f: SWAP1 00000f60: DUP2 00000f61: ADD 00000f62: DUP1 00000f63: SLOAD 00000f64: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000f85: AND 00000f86: SWAP1 00000f87: SSTORE 00000f88: ADD 00000f89: SWAP1 00000f8a: SSTORE 00000f8b: POP 00000f8c: JUMPDEST 00000f8d: POP 00000f8e: POP 00000f8f: POP 00000f90: POP 00000f91: JUMP 00000f92: JUMPDEST 00000f93: PUSH1 0x00 00000f95: SWAP1 00000f96: DUP2 00000f97: MSTORE 00000f98: PUSH1 0x02 00000f9a: PUSH1 0x20 00000f9c: DUP2 00000f9d: SWAP1 00000f9e: MSTORE 00000f9f: PUSH1 0x40 00000fa1: SWAP1 00000fa2: SWAP2 00000fa3: KECCAK256 00000fa4: ADD 00000fa5: SLOAD 00000fa6: SWAP1 00000fa7: JUMP 00000fa8: JUMPDEST 00000fa9: PUSH1 0x00 00000fab: DUP3 00000fac: DUP2 00000fad: MSTORE 00000fae: PUSH1 0x02 00000fb0: PUSH1 0x20 00000fb2: SWAP1 00000fb3: DUP2 00000fb4: MSTORE 00000fb5: PUSH1 0x40 00000fb7: DUP1 00000fb8: DUP4 00000fb9: KECCAK256 00000fba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fcf: DUP6 00000fd0: AND 00000fd1: DUP5 00000fd2: MSTORE 00000fd3: PUSH1 0x01 00000fd5: ADD 00000fd6: SWAP1 00000fd7: SWAP2 00000fd8: MSTORE 00000fd9: SWAP1 00000fda: KECCAK256 00000fdb: SLOAD 00000fdc: ISZERO 00000fdd: ISZERO 00000fde: SWAP3 00000fdf: SWAP2 00000fe0: POP 00000fe1: POP 00000fe2: JUMP 00000fe3: JUMPDEST 00000fe4: PUSH1 0x00 00000fe6: DUP4 00000fe7: DUP2 00000fe8: MSTORE 00000fe9: PUSH1 0x02 00000feb: PUSH1 0x20 00000fed: SWAP1 00000fee: DUP2 00000fef: MSTORE 00000ff0: PUSH1 0x40 00000ff2: DUP1 00000ff3: DUP4 00000ff4: KECCAK256 00000ff5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000100a: DUP7 0000100b: AND 0000100c: DUP5 0000100d: MSTORE 0000100e: PUSH1 0x01 00001010: DUP2 00001011: ADD 00001012: SWAP1 00001013: SWAP3 00001014: MSTORE 00001015: SWAP1 00001016: SWAP2 00001017: KECCAK256 00001018: SLOAD 00001019: ISZERO 0000101a: PUSH2 0x1084 0000101d: JUMPI 0000101e: PUSH1 0x40 00001020: DUP1 00001021: MLOAD 00001022: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001043: DUP2 00001044: MSTORE 00001045: PUSH1 0x20 00001047: PUSH1 0x04 00001049: DUP3 0000104a: ADD 0000104b: MSTORE 0000104c: PUSH1 0x0e 0000104e: PUSH1 0x24 00001050: DUP3 00001051: ADD 00001052: MSTORE 00001053: PUSH32 0x414c52454144595f494e5f534554000000000000000000000000000000000000 00001074: PUSH1 0x44 00001076: DUP3 00001077: ADD 00001078: MSTORE 00001079: SWAP1 0000107a: MLOAD 0000107b: SWAP1 0000107c: DUP2 0000107d: SWAP1 0000107e: SUB 0000107f: PUSH1 0x64 00001081: ADD 00001082: SWAP1 00001083: REVERT 00001084: JUMPDEST 00001085: DUP2 00001086: ISZERO 00001087: PUSH2 0x1152 0000108a: JUMPI 0000108b: PUSH1 0x02 0000108d: DUP2 0000108e: ADD 0000108f: SLOAD 00001090: DUP2 00001091: SLOAD 00001092: EQ 00001093: PUSH2 0x10fd 00001096: JUMPI 00001097: PUSH1 0x40 00001099: DUP1 0000109a: MLOAD 0000109b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010bc: DUP2 000010bd: MSTORE 000010be: PUSH1 0x20 000010c0: PUSH1 0x04 000010c2: DUP3 000010c3: ADD 000010c4: MSTORE 000010c5: PUSH1 0x19 000010c7: PUSH1 0x24 000010c9: DUP3 000010ca: ADD 000010cb: MSTORE 000010cc: PUSH32 0x50524556494f55534c595f4e4f545f4d41494e5441494c454400000000000000 000010ed: PUSH1 0x44 000010ef: DUP3 000010f0: ADD 000010f1: MSTORE 000010f2: SWAP1 000010f3: MLOAD 000010f4: SWAP1 000010f5: DUP2 000010f6: SWAP1 000010f7: SUB 000010f8: PUSH1 0x64 000010fa: ADD 000010fb: SWAP1 000010fc: REVERT 000010fd: JUMPDEST 000010fe: DUP1 000010ff: SLOAD 00001100: PUSH1 0x01 00001102: DUP2 00001103: ADD 00001104: DUP3 00001105: SSTORE 00001106: PUSH1 0x00 00001108: DUP3 00001109: DUP2 0000110a: MSTORE 0000110b: PUSH1 0x20 0000110d: SWAP1 0000110e: KECCAK256 0000110f: ADD 00001110: DUP1 00001111: SLOAD 00001112: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001133: AND 00001134: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001149: DUP6 0000114a: AND 0000114b: OR 0000114c: SWAP1 0000114d: SSTORE 0000114e: PUSH2 0x11c0 00001151: JUMP 00001152: JUMPDEST 00001153: DUP1 00001154: SLOAD 00001155: ISZERO 00001156: PUSH2 0x11c0 00001159: JUMPI 0000115a: PUSH1 0x40 0000115c: DUP1 0000115d: MLOAD 0000115e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000117f: DUP2 00001180: MSTORE 00001181: PUSH1 0x20 00001183: PUSH1 0x04 00001185: DUP3 00001186: ADD 00001187: MSTORE 00001188: PUSH1 0x0d 0000118a: PUSH1 0x24 0000118c: DUP3 0000118d: ADD 0000118e: MSTORE 0000118f: PUSH32 0x4d5553545f4d41494e5441494e00000000000000000000000000000000000000 000011b0: PUSH1 0x44 000011b2: DUP3 000011b3: ADD 000011b4: MSTORE 000011b5: SWAP1 000011b6: MLOAD 000011b7: SWAP1 000011b8: DUP2 000011b9: SWAP1 000011ba: SUB 000011bb: PUSH1 0x64 000011bd: ADD 000011be: SWAP1 000011bf: REVERT 000011c0: JUMPDEST 000011c1: PUSH1 0x02 000011c3: DUP2 000011c4: ADD 000011c5: DUP1 000011c6: SLOAD 000011c7: PUSH1 0x01 000011c9: SWAP1 000011ca: DUP2 000011cb: ADD 000011cc: SWAP2 000011cd: DUP3 000011ce: SWAP1 000011cf: SSTORE 000011d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e5: SWAP1 000011e6: SWAP5 000011e7: AND 000011e8: PUSH1 0x00 000011ea: SWAP1 000011eb: DUP2 000011ec: MSTORE 000011ed: SWAP2 000011ee: SWAP1 000011ef: SWAP4 000011f0: ADD 000011f1: PUSH1 0x20 000011f3: MSTORE 000011f4: PUSH1 0x40 000011f6: SWAP1 000011f7: KECCAK256 000011f8: SWAP2 000011f9: SWAP1 000011fa: SWAP2 000011fb: SSTORE 000011fc: POP 000011fd: POP 000011fe: JUMP 000011ff: JUMPDEST 00001200: PUSH1 0x00 00001202: DUP3 00001203: PUSH2 0x120e 00001206: JUMPI 00001207: POP 00001208: PUSH1 0x01 0000120a: PUSH2 0x087a 0000120d: JUMP 0000120e: JUMPDEST 0000120f: PUSH1 0x00 00001211: PUSH2 0x122f 00001214: DUP6 00001215: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000122a: AND 0000122b: PUSH2 0x1313 0000122e: JUMP 0000122f: JUMPDEST 00001230: PUSH1 0x40 00001232: MLOAD 00001233: SWAP1 00001234: SWAP2 00001235: POP 00001236: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000124b: DUP3 0000124c: AND 0000124d: SWAP1 0000124e: DUP5 0000124f: SWAP1 00001250: DUP7 00001251: SWAP1 00001252: PUSH1 0x00 00001254: DUP2 00001255: DUP2 00001256: DUP2 00001257: DUP6 00001258: DUP9 00001259: DUP9 0000125a: CALL 0000125b: SWAP4 0000125c: POP 0000125d: POP 0000125e: POP 0000125f: POP 00001260: RETURNDATASIZE 00001261: DUP1 00001262: PUSH1 0x00 00001264: DUP2 00001265: EQ 00001266: PUSH2 0x128b 00001269: JUMPI 0000126a: PUSH1 0x40 0000126c: MLOAD 0000126d: SWAP2 0000126e: POP 0000126f: PUSH1 0x1f 00001271: NOT 00001272: PUSH1 0x3f 00001274: RETURNDATASIZE 00001275: ADD 00001276: AND 00001277: DUP3 00001278: ADD 00001279: PUSH1 0x40 0000127b: MSTORE 0000127c: RETURNDATASIZE 0000127d: DUP3 0000127e: MSTORE 0000127f: RETURNDATASIZE 00001280: PUSH1 0x00 00001282: PUSH1 0x20 00001284: DUP5 00001285: ADD 00001286: RETURNDATACOPY 00001287: PUSH2 0x1290 0000128a: JUMP 0000128b: JUMPDEST 0000128c: PUSH1 0x60 0000128e: SWAP2 0000128f: POP 00001290: JUMPDEST 00001291: POP 00001292: SWAP1 00001293: SWAP7 00001294: SWAP6 00001295: POP 00001296: POP 00001297: POP 00001298: POP 00001299: POP 0000129a: POP 0000129b: JUMP 0000129c: JUMPDEST 0000129d: PUSH2 0x12a8 000012a0: DUP5 000012a1: DUP5 000012a2: DUP5 000012a3: DUP5 000012a4: PUSH2 0x1316 000012a7: JUMP 000012a8: JUMPDEST 000012a9: PUSH2 0x0f8c 000012ac: JUMPI 000012ad: PUSH1 0x40 000012af: DUP1 000012b0: MLOAD 000012b1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012d2: DUP2 000012d3: MSTORE 000012d4: PUSH1 0x20 000012d6: PUSH1 0x04 000012d8: DUP3 000012d9: ADD 000012da: MSTORE 000012db: PUSH1 0x10 000012dd: PUSH1 0x24 000012df: DUP3 000012e0: ADD 000012e1: MSTORE 000012e2: PUSH32 0x5452414e534645525f4641494c55524500000000000000000000000000000000 00001303: PUSH1 0x44 00001305: DUP3 00001306: ADD 00001307: MSTORE 00001308: SWAP1 00001309: MLOAD 0000130a: SWAP1 0000130b: DUP2 0000130c: SWAP1 0000130d: SUB 0000130e: PUSH1 0x64 00001310: ADD 00001311: SWAP1 00001312: REVERT 00001313: JUMPDEST 00001314: SWAP1 00001315: JUMP 00001316: JUMPDEST 00001317: PUSH1 0x40 00001319: DUP1 0000131a: MLOAD 0000131b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001330: DUP1 00001331: DUP7 00001332: AND 00001333: PUSH1 0x24 00001335: DUP4 00001336: ADD 00001337: MSTORE 00001338: PUSH1 0x44 0000133a: DUP1 0000133b: DUP4 0000133c: ADD 0000133d: DUP7 0000133e: SWAP1 0000133f: MSTORE 00001340: DUP4 00001341: MLOAD 00001342: DUP1 00001343: DUP5 00001344: SUB 00001345: SWAP1 00001346: SWAP2 00001347: ADD 00001348: DUP2 00001349: MSTORE 0000134a: PUSH1 0x64 0000134c: SWAP1 0000134d: SWAP3 0000134e: ADD 0000134f: DUP4 00001350: MSTORE 00001351: PUSH1 0x20 00001353: DUP3 00001354: ADD 00001355: DUP1 00001356: MLOAD 00001357: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001374: AND 00001375: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00001396: OR 00001397: DUP2 00001398: MSTORE 00001399: SWAP3 0000139a: MLOAD 0000139b: DUP3 0000139c: MLOAD 0000139d: PUSH1 0x00 0000139f: SWAP5 000013a0: DUP6 000013a1: SWAP4 000013a2: DUP11 000013a3: AND 000013a4: SWAP3 000013a5: DUP8 000013a6: SWAP3 000013a7: DUP7 000013a8: SWAP3 000013a9: DUP3 000013aa: SWAP2 000013ab: DUP1 000013ac: DUP4 000013ad: DUP4 000013ae: JUMPDEST 000013af: PUSH1 0x20 000013b1: DUP4 000013b2: LT 000013b3: PUSH2 0x13eb 000013b6: JUMPI 000013b7: DUP1 000013b8: MLOAD 000013b9: DUP3 000013ba: MSTORE 000013bb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000013dc: SWAP1 000013dd: SWAP3 000013de: ADD 000013df: SWAP2 000013e0: PUSH1 0x20 000013e2: SWAP2 000013e3: DUP3 000013e4: ADD 000013e5: SWAP2 000013e6: ADD 000013e7: PUSH2 0x13ae 000013ea: JUMP 000013eb: JUMPDEST 000013ec: PUSH1 0x01 000013ee: DUP4 000013ef: PUSH1 0x20 000013f1: SUB 000013f2: PUSH2 0x0100 000013f5: EXP 000013f6: SUB 000013f7: DUP1 000013f8: NOT 000013f9: DUP3 000013fa: MLOAD 000013fb: AND 000013fc: DUP2 000013fd: DUP5 000013fe: MLOAD 000013ff: AND 00001400: DUP1 00001401: DUP3 00001402: OR 00001403: DUP6 00001404: MSTORE 00001405: POP 00001406: POP 00001407: POP 00001408: POP 00001409: POP 0000140a: POP 0000140b: SWAP1 0000140c: POP 0000140d: ADD 0000140e: SWAP2 0000140f: POP 00001410: POP 00001411: PUSH1 0x00 00001413: PUSH1 0x40 00001415: MLOAD 00001416: DUP1 00001417: DUP4 00001418: SUB 00001419: DUP2 0000141a: PUSH1 0x00 0000141c: DUP8 0000141d: DUP8 0000141e: CALL 0000141f: SWAP3 00001420: POP 00001421: POP 00001422: POP 00001423: RETURNDATASIZE 00001424: DUP1 00001425: PUSH1 0x00 00001427: DUP2 00001428: EQ 00001429: PUSH2 0x144e 0000142c: JUMPI 0000142d: PUSH1 0x40 0000142f: MLOAD 00001430: SWAP2 00001431: POP 00001432: PUSH1 0x1f 00001434: NOT 00001435: PUSH1 0x3f 00001437: RETURNDATASIZE 00001438: ADD 00001439: AND 0000143a: DUP3 0000143b: ADD 0000143c: PUSH1 0x40 0000143e: MSTORE 0000143f: RETURNDATASIZE 00001440: DUP3 00001441: MSTORE 00001442: RETURNDATASIZE 00001443: PUSH1 0x00 00001445: PUSH1 0x20 00001447: DUP5 00001448: ADD 00001449: RETURNDATACOPY 0000144a: PUSH2 0x1453 0000144d: JUMP 0000144e: JUMPDEST 0000144f: PUSH1 0x60 00001451: SWAP2 00001452: POP 00001453: JUMPDEST 00001454: POP 00001455: POP 00001456: SWAP1 00001457: POP 00001458: PUSH2 0x1460 0000145b: DUP2 0000145c: PUSH2 0x146b 0000145f: JUMP 00001460: JUMPDEST 00001461: SWAP8 00001462: SWAP7 00001463: POP 00001464: POP 00001465: POP 00001466: POP 00001467: POP 00001468: POP 00001469: POP 0000146a: JUMP 0000146b: JUMPDEST 0000146c: PUSH1 0x00 0000146e: DUP2 0000146f: ISZERO 00001470: PUSH2 0x14a2 00001473: JUMPI 00001474: RETURNDATASIZE 00001475: DUP1 00001476: ISZERO 00001477: PUSH2 0x148b 0000147a: JUMPI 0000147b: PUSH1 0x20 0000147d: DUP2 0000147e: EQ 0000147f: PUSH2 0x1494 00001482: JUMPI 00001483: PUSH1 0x00 00001485: SWAP3 00001486: POP 00001487: PUSH2 0x14a0 0000148a: JUMP 0000148b: JUMPDEST 0000148c: PUSH1 0x01 0000148e: SWAP3 0000148f: POP 00001490: PUSH2 0x14a0 00001493: JUMP 00001494: JUMPDEST 00001495: PUSH1 0x20 00001497: PUSH1 0x00 00001499: DUP1 0000149a: RETURNDATACOPY 0000149b: PUSH1 0x00 0000149d: MLOAD 0000149e: SWAP3 0000149f: POP 000014a0: JUMPDEST 000014a1: POP 000014a2: JUMPDEST 000014a3: POP 000014a4: SWAP1 000014a5: JUMP 000014a6: INVALID 000014a7: LOG2 000014a8: PUSH5 0x6970667358 000014ae: UNKNOWN(0x22) 000014af: SLT 000014b0: KECCAK256 000014b1: CREATE 000014b2: UNKNOWN(0xFB) 000014b3: BASEFEE 000014b4: UNKNOWN(0xCD) 000014b5: KECCAK256 000014b6: DUP11 000014b7: UNKNOWN(0xB7) 000014b8: ADDMOD 000014b9: UNKNOWN(0xD9) 000014ba: MUL 000014bb: UNKNOWN(0xB7) 000014bc: RETURN 000014bd: UNKNOWN(0xE3) 000014be: MULMOD 000014bf: UNKNOWN(0xCD) 000014c0: UNKNOWN(0xB1) 000014c1: UNKNOWN(0xCA) 000014c2: UNKNOWN(0xD4) 000014c3: UNKNOWN(0xF6) 000014c4: MSIZE 000014c5: SWAP9 000014c6: UNKNOWN(0x2D) 000014c7: SWAP10 000014c8: PUSH18 0x552dec91929316b664736f6c634300070000 000014db: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xdb55ce14fe4d92cbf8eddaf05cc3f46d44fb9770f7c64f6147a5812670264051
call_targets:
0xee94cf48924b720af939e732e98f30f9594f87c5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdb55ce14fe4d92cbf8eddaf05cc3f46d44fb9770f7c64f6147a5812670264051",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xee94cf48924b720af939e732e98f30f9594f87c5"
],
"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": "0xe68777d7",
"selector": "0xe68777d7",
"calldata_variants": [
"0xe68777d7",
"0xe68777d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3ae2415",
"selector": "0xf3ae2415",
"calldata_variants": [
"0xf3ae2415",
"0xf3ae24150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x907d985b",
"selector": "0x907d985b",
"calldata_variants": [
"0x907d985b",
"0x907d985b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac18de43",
"selector": "0xac18de43",
"calldata_variants": [
"0xac18de43",
"0xac18de430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30c3978",
"selector": "0xe30c3978",
"calldata_variants": [
"0xe30c3978",
"0xe30c39780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72311705",
"selector": "0x72311705",
"calldata_variants": [
"0x72311705",
"0x723117050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x837971e4",
"selector": "0x837971e4",
"calldata_variants": [
"0x837971e4",
"0x837971e40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4698,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5150,
"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: 0xdb55ce14fe4d92cbf8eddaf05cc3f46d44fb9770f7c64f6147a5812670264051
call_targets:
0xee94cf48924b720af939e732e98f30f9594f87c5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdb55ce14fe4d92cbf8eddaf05cc3f46d44fb9770f7c64f6147a5812670264051",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xee94cf48924b720af939e732e98f30f9594f87c5"
],
"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": "0xe68777d7",
"selector": "0xe68777d7",
"calldata_variants": [
"0xe68777d7",
"0xe68777d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3ae2415",
"selector": "0xf3ae2415",
"calldata_variants": [
"0xf3ae2415",
"0xf3ae24150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x907d985b",
"selector": "0x907d985b",
"calldata_variants": [
"0x907d985b",
"0x907d985b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac18de43",
"selector": "0xac18de43",
"calldata_variants": [
"0xac18de43",
"0xac18de430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30c3978",
"selector": "0xe30c3978",
"calldata_variants": [
"0xe30c3978",
"0xe30c39780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72311705",
"selector": "0x72311705",
"calldata_variants": [
"0x72311705",
"0x723117050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x837971e4",
"selector": "0x837971e4",
"calldata_variants": [
"0x837971e4",
"0x837971e40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4698,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5150,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xaae3a0e52b6d0a9e177d6a84a3acee14db00db339a4596487396459edb35b7cf
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 24,
"trace_id": "0xaae3a0e52b6d0a9e177d6a84a3acee14db00db339a4596487396459edb35b7cf",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xe68777d7",
"selector": "0xe68777d7",
"calldata_variants": [
"0xe68777d7",
"0xe68777d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3ae2415",
"selector": "0xf3ae2415",
"calldata_variants": [
"0xf3ae2415",
"0xf3ae24150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x907d985b",
"selector": "0x907d985b",
"calldata_variants": [
"0x907d985b",
"0x907d985b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac18de43",
"selector": "0xac18de43",
"calldata_variants": [
"0xac18de43",
"0xac18de430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30c3978",
"selector": "0xe30c3978",
"calldata_variants": [
"0xe30c3978",
"0xe30c39780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72311705",
"selector": "0x72311705",
"calldata_variants": [
"0x72311705",
"0x723117050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x837971e4",
"selector": "0x837971e4",
"calldata_variants": [
"0x837971e4",
"0x837971e40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|