019b477e-c5e1-722f-bd01-360a46669306
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 |
|---|---|---|---|---|
| 25673 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25674 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68954 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 68955 | capability.graph | complete | 1 / 3 | 1 week ago |
| 68956 | detector.run | complete | 1 / 3 | 1 week ago |
| 68957 | 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 0x008a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x55f804b3 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x55f804b3 00000024: EQ 00000025: PUSH2 0x011d 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x5c60da1b 0000002f: EQ 00000030: PUSH2 0x013d 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x8d859f3e 0000003a: EQ 0000003b: PUSH2 0x0184 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xa0712d68 00000045: EQ 00000046: PUSH2 0x01a0 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xeb8d2444 00000050: EQ 00000051: PUSH2 0x01b3 00000054: JUMPI 00000055: PUSH2 0x0094 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x02c88989 00000060: EQ 00000061: PUSH2 0x00ab 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x18160ddd 0000006b: EQ 0000006c: PUSH2 0x00cb 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x32cb6b0c 00000076: EQ 00000077: PUSH2 0x00f3 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x3ccfd60b 00000081: EQ 00000082: PUSH2 0x0108 00000085: JUMPI 00000086: PUSH2 0x0094 00000089: JUMP 0000008a: JUMPDEST 0000008b: CALLDATASIZE 0000008c: PUSH2 0x0094 0000008f: JUMPI 00000090: PUSH1 0x00 00000092: DUP1 00000093: REVERT 00000094: JUMPDEST 00000095: CALLVALUE 00000096: DUP1 00000097: ISZERO 00000098: PUSH2 0x00a0 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: POP 000000a2: PUSH2 0x00a9 000000a5: PUSH2 0x01df 000000a8: JUMP 000000a9: JUMPDEST 000000aa: STOP 000000ab: JUMPDEST 000000ac: CALLVALUE 000000ad: DUP1 000000ae: ISZERO 000000af: PUSH2 0x00b7 000000b2: JUMPI 000000b3: PUSH1 0x00 000000b5: DUP1 000000b6: REVERT 000000b7: JUMPDEST 000000b8: POP 000000b9: PUSH2 0x00a9 000000bc: PUSH2 0x00c6 000000bf: CALLDATASIZE 000000c0: PUSH1 0x04 000000c2: PUSH2 0x0881 000000c5: JUMP 000000c6: JUMPDEST 000000c7: PUSH2 0x023d 000000ca: JUMP 000000cb: JUMPDEST 000000cc: CALLVALUE 000000cd: DUP1 000000ce: ISZERO 000000cf: PUSH2 0x00d7 000000d2: JUMPI 000000d3: PUSH1 0x00 000000d5: DUP1 000000d6: REVERT 000000d7: JUMPDEST 000000d8: POP 000000d9: PUSH2 0x00e0 000000dc: PUSH2 0x0314 000000df: JUMP 000000e0: JUMPDEST 000000e1: PUSH1 0x40 000000e3: MLOAD 000000e4: SWAP1 000000e5: DUP2 000000e6: MSTORE 000000e7: PUSH1 0x20 000000e9: ADD 000000ea: JUMPDEST 000000eb: PUSH1 0x40 000000ed: MLOAD 000000ee: DUP1 000000ef: SWAP2 000000f0: SUB 000000f1: SWAP1 000000f2: RETURN 000000f3: JUMPDEST 000000f4: CALLVALUE 000000f5: DUP1 000000f6: ISZERO 000000f7: PUSH2 0x00ff 000000fa: JUMPI 000000fb: PUSH1 0x00 000000fd: DUP1 000000fe: REVERT 000000ff: JUMPDEST 00000100: POP 00000101: PUSH2 0x00e0 00000104: PUSH1 0x64 00000106: DUP2 00000107: JUMP 00000108: JUMPDEST 00000109: CALLVALUE 0000010a: DUP1 0000010b: ISZERO 0000010c: PUSH2 0x0114 0000010f: JUMPI 00000110: PUSH1 0x00 00000112: DUP1 00000113: REVERT 00000114: JUMPDEST 00000115: POP 00000116: PUSH2 0x00a9 00000119: PUSH2 0x0326 0000011c: JUMP 0000011d: JUMPDEST 0000011e: CALLVALUE 0000011f: DUP1 00000120: ISZERO 00000121: PUSH2 0x0129 00000124: JUMPI 00000125: PUSH1 0x00 00000127: DUP1 00000128: REVERT 00000129: JUMPDEST 0000012a: POP 0000012b: PUSH2 0x00a9 0000012e: PUSH2 0x0138 00000131: CALLDATASIZE 00000132: PUSH1 0x04 00000134: PUSH2 0x08c0 00000137: JUMP 00000138: JUMPDEST 00000139: PUSH2 0x03d9 0000013c: JUMP 0000013d: JUMPDEST 0000013e: CALLVALUE 0000013f: DUP1 00000140: ISZERO 00000141: PUSH2 0x0149 00000144: JUMPI 00000145: PUSH1 0x00 00000147: DUP1 00000148: REVERT 00000149: JUMPDEST 0000014a: POP 0000014b: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 0000016c: SLOAD 0000016d: PUSH1 0x40 0000016f: MLOAD 00000170: PUSH1 0x01 00000172: PUSH1 0x01 00000174: PUSH1 0xa0 00000176: SHL 00000177: SUB 00000178: SWAP1 00000179: SWAP2 0000017a: AND 0000017b: DUP2 0000017c: MSTORE 0000017d: PUSH1 0x20 0000017f: ADD 00000180: PUSH2 0x00ea 00000183: JUMP 00000184: JUMPDEST 00000185: CALLVALUE 00000186: DUP1 00000187: ISZERO 00000188: PUSH2 0x0190 0000018b: JUMPI 0000018c: PUSH1 0x00 0000018e: DUP1 0000018f: REVERT 00000190: JUMPDEST 00000191: POP 00000192: PUSH2 0x00e0 00000195: PUSH8 0x03782dace9d90000 0000019e: DUP2 0000019f: JUMP 000001a0: JUMPDEST 000001a1: PUSH2 0x00a9 000001a4: PUSH2 0x01ae 000001a7: CALLDATASIZE 000001a8: PUSH1 0x04 000001aa: PUSH2 0x0971 000001ad: JUMP 000001ae: JUMPDEST 000001af: PUSH2 0x04b2 000001b2: JUMP 000001b3: JUMPDEST 000001b4: CALLVALUE 000001b5: DUP1 000001b6: ISZERO 000001b7: PUSH2 0x01bf 000001ba: JUMPI 000001bb: PUSH1 0x00 000001bd: DUP1 000001be: REVERT 000001bf: JUMPDEST 000001c0: POP 000001c1: PUSH3 0x0186a2 000001c5: SLOAD 000001c6: PUSH2 0x01cf 000001c9: SWAP1 000001ca: PUSH1 0xff 000001cc: AND 000001cd: DUP2 000001ce: JUMP 000001cf: JUMPDEST 000001d0: PUSH1 0x40 000001d2: MLOAD 000001d3: SWAP1 000001d4: ISZERO 000001d5: ISZERO 000001d6: DUP2 000001d7: MSTORE 000001d8: PUSH1 0x20 000001da: ADD 000001db: PUSH2 0x00ea 000001de: JUMP 000001df: JUMPDEST 000001e0: PUSH1 0x00 000001e2: PUSH2 0x0212 000001e5: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000206: SLOAD 00000207: PUSH1 0x01 00000209: PUSH1 0x01 0000020b: PUSH1 0xa0 0000020d: SHL 0000020e: SUB 0000020f: AND 00000210: SWAP1 00000211: JUMP 00000212: JUMPDEST 00000213: SWAP1 00000214: POP 00000215: CALLDATASIZE 00000216: PUSH1 0x00 00000218: DUP1 00000219: CALLDATACOPY 0000021a: PUSH1 0x00 0000021c: DUP1 0000021d: CALLDATASIZE 0000021e: PUSH1 0x00 00000220: DUP5 00000221: GAS 00000222: DELEGATECALL 00000223: RETURNDATASIZE 00000224: PUSH1 0x00 00000226: DUP1 00000227: RETURNDATACOPY 00000228: DUP1 00000229: DUP1 0000022a: ISZERO 0000022b: PUSH2 0x0233 0000022e: JUMPI 0000022f: RETURNDATASIZE 00000230: PUSH1 0x00 00000232: RETURN 00000233: JUMPDEST 00000234: RETURNDATASIZE 00000235: PUSH1 0x00 00000237: REVERT 00000238: JUMPDEST 00000239: POP 0000023a: POP 0000023b: POP 0000023c: JUMP 0000023d: JUMPDEST 0000023e: ADDRESS 0000023f: PUSH1 0x01 00000241: PUSH1 0x01 00000243: PUSH1 0xa0 00000245: SHL 00000246: SUB 00000247: AND 00000248: PUSH4 0x13effa0f 0000024d: PUSH1 0x40 0000024f: MLOAD 00000250: DUP2 00000251: PUSH4 0xffffffff 00000256: AND 00000257: PUSH1 0xe0 00000259: SHL 0000025a: DUP2 0000025b: MSTORE 0000025c: PUSH1 0x04 0000025e: ADD 0000025f: PUSH1 0x20 00000261: PUSH1 0x40 00000263: MLOAD 00000264: DUP1 00000265: DUP4 00000266: SUB 00000267: DUP2 00000268: DUP7 00000269: DUP1 0000026a: EXTCODESIZE 0000026b: ISZERO 0000026c: DUP1 0000026d: ISZERO 0000026e: PUSH2 0x0276 00000271: JUMPI 00000272: PUSH1 0x00 00000274: DUP1 00000275: REVERT 00000276: JUMPDEST 00000277: POP 00000278: GAS 00000279: STATICCALL 0000027a: ISZERO 0000027b: DUP1 0000027c: ISZERO 0000027d: PUSH2 0x028a 00000280: JUMPI 00000281: RETURNDATASIZE 00000282: PUSH1 0x00 00000284: DUP1 00000285: RETURNDATACOPY 00000286: RETURNDATASIZE 00000287: PUSH1 0x00 00000289: REVERT 0000028a: JUMPDEST 0000028b: POP 0000028c: POP 0000028d: POP 0000028e: POP 0000028f: PUSH1 0x40 00000291: MLOAD 00000292: RETURNDATASIZE 00000293: PUSH1 0x1f 00000295: NOT 00000296: PUSH1 0x1f 00000298: DUP3 00000299: ADD 0000029a: AND 0000029b: DUP3 0000029c: ADD 0000029d: DUP1 0000029e: PUSH1 0x40 000002a0: MSTORE 000002a1: POP 000002a2: DUP2 000002a3: ADD 000002a4: SWAP1 000002a5: PUSH2 0x02ae 000002a8: SWAP2 000002a9: SWAP1 000002aa: PUSH2 0x098a 000002ad: JUMP 000002ae: JUMPDEST 000002af: PUSH1 0x01 000002b1: PUSH1 0x01 000002b3: PUSH1 0xa0 000002b5: SHL 000002b6: SUB 000002b7: AND 000002b8: CALLER 000002b9: PUSH1 0x01 000002bb: PUSH1 0x01 000002bd: PUSH1 0xa0 000002bf: SHL 000002c0: SUB 000002c1: AND 000002c2: EQ 000002c3: PUSH2 0x02ff 000002c6: JUMPI 000002c7: PUSH1 0x40 000002c9: MLOAD 000002ca: PUSH3 0x461bcd 000002ce: PUSH1 0xe5 000002d0: SHL 000002d1: DUP2 000002d2: MSTORE 000002d3: PUSH1 0x20 000002d5: PUSH1 0x04 000002d7: DUP3 000002d8: ADD 000002d9: MSTORE 000002da: PUSH1 0x09 000002dc: PUSH1 0x24 000002de: DUP3 000002df: ADD 000002e0: MSTORE 000002e1: PUSH9 0x2737ba1037bbb732b9 000002eb: PUSH1 0xb9 000002ed: SHL 000002ee: PUSH1 0x44 000002f0: DUP3 000002f1: ADD 000002f2: MSTORE 000002f3: PUSH1 0x64 000002f5: ADD 000002f6: JUMPDEST 000002f7: PUSH1 0x40 000002f9: MLOAD 000002fa: DUP1 000002fb: SWAP2 000002fc: SUB 000002fd: SWAP1 000002fe: REVERT 000002ff: JUMPDEST 00000300: PUSH3 0x0186a2 00000304: DUP1 00000305: SLOAD 00000306: PUSH1 0xff 00000308: NOT 00000309: AND 0000030a: SWAP2 0000030b: ISZERO 0000030c: ISZERO 0000030d: SWAP2 0000030e: SWAP1 0000030f: SWAP2 00000310: OR 00000311: SWAP1 00000312: SSTORE 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH1 0x00 00000317: PUSH2 0x0321 0000031a: PUSH3 0x0186a1 0000031e: SLOAD 0000031f: SWAP1 00000320: JUMP 00000321: JUMPDEST 00000322: SWAP1 00000323: POP 00000324: SWAP1 00000325: JUMP 00000326: JUMPDEST 00000327: PUSH1 0x02 00000329: PUSH3 0x0186a0 0000032d: SLOAD 0000032e: EQ 0000032f: ISZERO 00000330: PUSH2 0x037b 00000333: JUMPI 00000334: PUSH1 0x40 00000336: MLOAD 00000337: PUSH3 0x461bcd 0000033b: PUSH1 0xe5 0000033d: SHL 0000033e: DUP2 0000033f: MSTORE 00000340: PUSH1 0x20 00000342: PUSH1 0x04 00000344: DUP3 00000345: ADD 00000346: MSTORE 00000347: PUSH1 0x1f 00000349: PUSH1 0x24 0000034b: DUP3 0000034c: ADD 0000034d: MSTORE 0000034e: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 0000036f: PUSH1 0x44 00000371: DUP3 00000372: ADD 00000373: MSTORE 00000374: PUSH1 0x64 00000376: ADD 00000377: PUSH2 0x02f6 0000037a: JUMP 0000037b: JUMPDEST 0000037c: PUSH1 0x02 0000037e: PUSH3 0x0186a0 00000382: SSTORE 00000383: SELFBALANCE 00000384: PUSH2 0x03aa 00000387: PUSH2 0x038e 0000038a: PUSH2 0x0668 0000038d: JUMP 0000038e: JUMPDEST 0000038f: PUSH1 0x64 00000391: PUSH2 0x039b 00000394: DUP5 00000395: PUSH1 0x32 00000397: PUSH2 0x09b3 0000039a: JUMP 0000039b: JUMPDEST 0000039c: PUSH2 0x03a5 0000039f: SWAP2 000003a0: SWAP1 000003a1: PUSH2 0x09e0 000003a4: JUMP 000003a5: JUMPDEST 000003a6: PUSH2 0x06db 000003a9: JUMP 000003aa: JUMPDEST 000003ab: PUSH2 0x03cf 000003ae: PUSH20 0x2def8d6397c424bce77198168ecb297ec1bf7a5d 000003c3: PUSH1 0x64 000003c5: PUSH2 0x039b 000003c8: DUP5 000003c9: PUSH1 0x32 000003cb: PUSH2 0x09b3 000003ce: JUMP 000003cf: JUMPDEST 000003d0: POP 000003d1: PUSH1 0x01 000003d3: PUSH3 0x0186a0 000003d7: SSTORE 000003d8: JUMP 000003d9: JUMPDEST 000003da: ADDRESS 000003db: PUSH1 0x01 000003dd: PUSH1 0x01 000003df: PUSH1 0xa0 000003e1: SHL 000003e2: SUB 000003e3: AND 000003e4: PUSH4 0x13effa0f 000003e9: PUSH1 0x40 000003eb: MLOAD 000003ec: DUP2 000003ed: PUSH4 0xffffffff 000003f2: AND 000003f3: PUSH1 0xe0 000003f5: SHL 000003f6: DUP2 000003f7: MSTORE 000003f8: PUSH1 0x04 000003fa: ADD 000003fb: PUSH1 0x20 000003fd: PUSH1 0x40 000003ff: MLOAD 00000400: DUP1 00000401: DUP4 00000402: SUB 00000403: DUP2 00000404: DUP7 00000405: DUP1 00000406: EXTCODESIZE 00000407: ISZERO 00000408: DUP1 00000409: ISZERO 0000040a: PUSH2 0x0412 0000040d: JUMPI 0000040e: PUSH1 0x00 00000410: DUP1 00000411: REVERT 00000412: JUMPDEST 00000413: POP 00000414: GAS 00000415: STATICCALL 00000416: ISZERO 00000417: DUP1 00000418: ISZERO 00000419: PUSH2 0x0426 0000041c: JUMPI 0000041d: RETURNDATASIZE 0000041e: PUSH1 0x00 00000420: DUP1 00000421: RETURNDATACOPY 00000422: RETURNDATASIZE 00000423: PUSH1 0x00 00000425: REVERT 00000426: JUMPDEST 00000427: POP 00000428: POP 00000429: POP 0000042a: POP 0000042b: PUSH1 0x40 0000042d: MLOAD 0000042e: RETURNDATASIZE 0000042f: PUSH1 0x1f 00000431: NOT 00000432: PUSH1 0x1f 00000434: DUP3 00000435: ADD 00000436: AND 00000437: DUP3 00000438: ADD 00000439: DUP1 0000043a: PUSH1 0x40 0000043c: MSTORE 0000043d: POP 0000043e: DUP2 0000043f: ADD 00000440: SWAP1 00000441: PUSH2 0x044a 00000444: SWAP2 00000445: SWAP1 00000446: PUSH2 0x098a 00000449: JUMP 0000044a: JUMPDEST 0000044b: PUSH1 0x01 0000044d: PUSH1 0x01 0000044f: PUSH1 0xa0 00000451: SHL 00000452: SUB 00000453: AND 00000454: CALLER 00000455: PUSH1 0x01 00000457: PUSH1 0x01 00000459: PUSH1 0xa0 0000045b: SHL 0000045c: SUB 0000045d: AND 0000045e: EQ 0000045f: PUSH2 0x0496 00000462: JUMPI 00000463: PUSH1 0x40 00000465: MLOAD 00000466: PUSH3 0x461bcd 0000046a: PUSH1 0xe5 0000046c: SHL 0000046d: DUP2 0000046e: MSTORE 0000046f: PUSH1 0x20 00000471: PUSH1 0x04 00000473: DUP3 00000474: ADD 00000475: MSTORE 00000476: PUSH1 0x09 00000478: PUSH1 0x24 0000047a: DUP3 0000047b: ADD 0000047c: MSTORE 0000047d: PUSH9 0x2737ba1037bbb732b9 00000487: PUSH1 0xb9 00000489: SHL 0000048a: PUSH1 0x44 0000048c: DUP3 0000048d: ADD 0000048e: MSTORE 0000048f: PUSH1 0x64 00000491: ADD 00000492: PUSH2 0x02f6 00000495: JUMP 00000496: JUMPDEST 00000497: PUSH2 0x04af 0000049a: DUP2 0000049b: PUSH1 0x40 0000049d: MLOAD 0000049e: DUP1 0000049f: PUSH1 0x20 000004a1: ADD 000004a2: PUSH1 0x40 000004a4: MSTORE 000004a5: DUP1 000004a6: PUSH1 0x00 000004a8: DUP2 000004a9: MSTORE 000004aa: POP 000004ab: PUSH2 0x07f4 000004ae: JUMP 000004af: JUMPDEST 000004b0: POP 000004b1: JUMP 000004b2: JUMPDEST 000004b3: PUSH1 0x02 000004b5: PUSH3 0x0186a0 000004b9: SLOAD 000004ba: EQ 000004bb: ISZERO 000004bc: PUSH2 0x0507 000004bf: JUMPI 000004c0: PUSH1 0x40 000004c2: MLOAD 000004c3: PUSH3 0x461bcd 000004c7: PUSH1 0xe5 000004c9: SHL 000004ca: DUP2 000004cb: MSTORE 000004cc: PUSH1 0x20 000004ce: PUSH1 0x04 000004d0: DUP3 000004d1: ADD 000004d2: MSTORE 000004d3: PUSH1 0x1f 000004d5: PUSH1 0x24 000004d7: DUP3 000004d8: ADD 000004d9: MSTORE 000004da: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000004fb: PUSH1 0x44 000004fd: DUP3 000004fe: ADD 000004ff: MSTORE 00000500: PUSH1 0x64 00000502: ADD 00000503: PUSH2 0x02f6 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH1 0x02 0000050a: PUSH3 0x0186a0 0000050e: SSTORE 0000050f: PUSH3 0x0186a2 00000513: SLOAD 00000514: PUSH1 0xff 00000516: AND 00000517: PUSH2 0x0554 0000051a: JUMPI 0000051b: PUSH1 0x40 0000051d: MLOAD 0000051e: PUSH3 0x461bcd 00000522: PUSH1 0xe5 00000524: SHL 00000525: DUP2 00000526: MSTORE 00000527: PUSH1 0x20 00000529: PUSH1 0x04 0000052b: DUP3 0000052c: ADD 0000052d: MSTORE 0000052e: PUSH1 0x0f 00000530: PUSH1 0x24 00000532: DUP3 00000533: ADD 00000534: MSTORE 00000535: PUSH15 0x53616c65206e6f7420616374697665 00000545: PUSH1 0x88 00000547: SHL 00000548: PUSH1 0x44 0000054a: DUP3 0000054b: ADD 0000054c: MSTORE 0000054d: PUSH1 0x64 0000054f: ADD 00000550: PUSH2 0x02f6 00000553: JUMP 00000554: JUMPDEST 00000555: PUSH1 0x64 00000557: PUSH2 0x055e 0000055a: PUSH2 0x0314 0000055d: JUMP 0000055e: JUMPDEST 0000055f: LT 00000560: PUSH2 0x05a0 00000563: JUMPI 00000564: PUSH1 0x40 00000566: MLOAD 00000567: PUSH3 0x461bcd 0000056b: PUSH1 0xe5 0000056d: SHL 0000056e: DUP2 0000056f: MSTORE 00000570: PUSH1 0x20 00000572: PUSH1 0x04 00000574: DUP3 00000575: ADD 00000576: MSTORE 00000577: PUSH1 0x12 00000579: PUSH1 0x24 0000057b: DUP3 0000057c: ADD 0000057d: MSTORE 0000057e: PUSH18 0x45786365656473206d617820737570706c79 00000591: PUSH1 0x70 00000593: SHL 00000594: PUSH1 0x44 00000596: DUP3 00000597: ADD 00000598: MSTORE 00000599: PUSH1 0x64 0000059b: ADD 0000059c: PUSH2 0x02f6 0000059f: JUMP 000005a0: JUMPDEST 000005a1: PUSH8 0x03782dace9d90000 000005aa: CALLVALUE 000005ab: LT 000005ac: ISZERO 000005ad: PUSH2 0x0608 000005b0: JUMPI 000005b1: PUSH1 0x40 000005b3: MLOAD 000005b4: PUSH3 0x461bcd 000005b8: PUSH1 0xe5 000005ba: SHL 000005bb: DUP2 000005bc: MSTORE 000005bd: PUSH1 0x20 000005bf: PUSH1 0x04 000005c1: DUP3 000005c2: ADD 000005c3: MSTORE 000005c4: PUSH1 0x27 000005c6: PUSH1 0x24 000005c8: DUP3 000005c9: ADD 000005ca: MSTORE 000005cb: PUSH32 0x496e73756666696369656e74207061796d656e742c20302e3235204554482070 000005ec: PUSH1 0x44 000005ee: DUP3 000005ef: ADD 000005f0: MSTORE 000005f1: PUSH7 0x6572206974656d 000005f9: PUSH1 0xc8 000005fb: SHL 000005fc: PUSH1 0x64 000005fe: DUP3 000005ff: ADD 00000600: MSTORE 00000601: PUSH1 0x84 00000603: ADD 00000604: PUSH2 0x02f6 00000607: JUMP 00000608: JUMPDEST 00000609: PUSH1 0x64 0000060b: DUP2 0000060c: LT 0000060d: PUSH2 0x064b 00000610: JUMPI 00000611: PUSH1 0x40 00000613: MLOAD 00000614: PUSH3 0x461bcd 00000618: PUSH1 0xe5 0000061a: SHL 0000061b: DUP2 0000061c: MSTORE 0000061d: PUSH1 0x20 0000061f: PUSH1 0x04 00000621: DUP3 00000622: ADD 00000623: MSTORE 00000624: PUSH1 0x10 00000626: PUSH1 0x24 00000628: DUP3 00000629: ADD 0000062a: MSTORE 0000062b: PUSH16 0x125b9d985b1a59081d1bdad95b881a59 0000063c: PUSH1 0x82 0000063e: SHL 0000063f: PUSH1 0x44 00000641: DUP3 00000642: ADD 00000643: MSTORE 00000644: PUSH1 0x64 00000646: ADD 00000647: PUSH2 0x02f6 0000064a: JUMP 0000064b: JUMPDEST 0000064c: PUSH2 0x0655 0000064f: CALLER 00000650: DUP3 00000651: PUSH2 0x084e 00000654: JUMP 00000655: JUMPDEST 00000656: PUSH2 0x03cf 00000659: PUSH3 0x0186a1 0000065d: DUP1 0000065e: SLOAD 0000065f: PUSH1 0x01 00000661: ADD 00000662: SWAP1 00000663: SSTORE 00000664: JUMP 00000665: JUMPDEST 00000666: SWAP1 00000667: JUMP 00000668: JUMPDEST 00000669: PUSH1 0x00 0000066b: ADDRESS 0000066c: PUSH1 0x01 0000066e: PUSH1 0x01 00000670: PUSH1 0xa0 00000672: SHL 00000673: SUB 00000674: AND 00000675: PUSH4 0x13effa0f 0000067a: PUSH1 0x40 0000067c: MLOAD 0000067d: DUP2 0000067e: PUSH4 0xffffffff 00000683: AND 00000684: PUSH1 0xe0 00000686: SHL 00000687: DUP2 00000688: MSTORE 00000689: PUSH1 0x04 0000068b: ADD 0000068c: PUSH1 0x20 0000068e: PUSH1 0x40 00000690: MLOAD 00000691: DUP1 00000692: DUP4 00000693: SUB 00000694: DUP2 00000695: DUP7 00000696: DUP1 00000697: EXTCODESIZE 00000698: ISZERO 00000699: DUP1 0000069a: ISZERO 0000069b: PUSH2 0x06a3 0000069e: JUMPI 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: REVERT 000006a3: JUMPDEST 000006a4: POP 000006a5: GAS 000006a6: STATICCALL 000006a7: ISZERO 000006a8: DUP1 000006a9: ISZERO 000006aa: PUSH2 0x06b7 000006ad: JUMPI 000006ae: RETURNDATASIZE 000006af: PUSH1 0x00 000006b1: DUP1 000006b2: RETURNDATACOPY 000006b3: RETURNDATASIZE 000006b4: PUSH1 0x00 000006b6: REVERT 000006b7: JUMPDEST 000006b8: POP 000006b9: POP 000006ba: POP 000006bb: POP 000006bc: PUSH1 0x40 000006be: MLOAD 000006bf: RETURNDATASIZE 000006c0: PUSH1 0x1f 000006c2: NOT 000006c3: PUSH1 0x1f 000006c5: DUP3 000006c6: ADD 000006c7: AND 000006c8: DUP3 000006c9: ADD 000006ca: DUP1 000006cb: PUSH1 0x40 000006cd: MSTORE 000006ce: POP 000006cf: DUP2 000006d0: ADD 000006d1: SWAP1 000006d2: PUSH2 0x0321 000006d5: SWAP2 000006d6: SWAP1 000006d7: PUSH2 0x098a 000006da: JUMP 000006db: JUMPDEST 000006dc: DUP1 000006dd: SELFBALANCE 000006de: LT 000006df: ISZERO 000006e0: PUSH2 0x072b 000006e3: JUMPI 000006e4: PUSH1 0x40 000006e6: MLOAD 000006e7: PUSH3 0x461bcd 000006eb: PUSH1 0xe5 000006ed: SHL 000006ee: DUP2 000006ef: MSTORE 000006f0: PUSH1 0x20 000006f2: PUSH1 0x04 000006f4: DUP3 000006f5: ADD 000006f6: MSTORE 000006f7: PUSH1 0x1d 000006f9: PUSH1 0x24 000006fb: DUP3 000006fc: ADD 000006fd: MSTORE 000006fe: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 0000071f: PUSH1 0x44 00000721: DUP3 00000722: ADD 00000723: MSTORE 00000724: PUSH1 0x64 00000726: ADD 00000727: PUSH2 0x02f6 0000072a: JUMP 0000072b: JUMPDEST 0000072c: PUSH1 0x00 0000072e: DUP3 0000072f: PUSH1 0x01 00000731: PUSH1 0x01 00000733: PUSH1 0xa0 00000735: SHL 00000736: SUB 00000737: AND 00000738: DUP3 00000739: PUSH1 0x40 0000073b: MLOAD 0000073c: PUSH1 0x00 0000073e: PUSH1 0x40 00000740: MLOAD 00000741: DUP1 00000742: DUP4 00000743: SUB 00000744: DUP2 00000745: DUP6 00000746: DUP8 00000747: GAS 00000748: CALL 00000749: SWAP3 0000074a: POP 0000074b: POP 0000074c: POP 0000074d: RETURNDATASIZE 0000074e: DUP1 0000074f: PUSH1 0x00 00000751: DUP2 00000752: EQ 00000753: PUSH2 0x0778 00000756: JUMPI 00000757: PUSH1 0x40 00000759: MLOAD 0000075a: SWAP2 0000075b: POP 0000075c: PUSH1 0x1f 0000075e: NOT 0000075f: PUSH1 0x3f 00000761: RETURNDATASIZE 00000762: ADD 00000763: AND 00000764: DUP3 00000765: ADD 00000766: PUSH1 0x40 00000768: MSTORE 00000769: RETURNDATASIZE 0000076a: DUP3 0000076b: MSTORE 0000076c: RETURNDATASIZE 0000076d: PUSH1 0x00 0000076f: PUSH1 0x20 00000771: DUP5 00000772: ADD 00000773: RETURNDATACOPY 00000774: PUSH2 0x077d 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH1 0x60 0000077b: SWAP2 0000077c: POP 0000077d: JUMPDEST 0000077e: POP 0000077f: POP 00000780: SWAP1 00000781: POP 00000782: DUP1 00000783: PUSH2 0x0238 00000786: JUMPI 00000787: PUSH1 0x40 00000789: MLOAD 0000078a: PUSH3 0x461bcd 0000078e: PUSH1 0xe5 00000790: SHL 00000791: DUP2 00000792: MSTORE 00000793: PUSH1 0x20 00000795: PUSH1 0x04 00000797: DUP3 00000798: ADD 00000799: MSTORE 0000079a: PUSH1 0x3a 0000079c: PUSH1 0x24 0000079e: DUP3 0000079f: ADD 000007a0: MSTORE 000007a1: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 000007c2: PUSH1 0x44 000007c4: DUP3 000007c5: ADD 000007c6: MSTORE 000007c7: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 000007e8: PUSH1 0x64 000007ea: DUP3 000007eb: ADD 000007ec: MSTORE 000007ed: PUSH1 0x84 000007ef: ADD 000007f0: PUSH2 0x02f6 000007f3: JUMP 000007f4: JUMPDEST 000007f5: PUSH1 0x40 000007f7: MLOAD 000007f8: PUSH3 0x93c581 000007fc: PUSH1 0xe1 000007fe: SHL 000007ff: DUP2 00000800: MSTORE 00000801: ADDRESS 00000802: SWAP1 00000803: PUSH4 0x01278b02 00000808: SWAP1 00000809: PUSH2 0x0818 0000080c: SWAP1 0000080d: DUP6 0000080e: SWAP1 0000080f: DUP6 00000810: SWAP1 00000811: PUSH1 0x04 00000813: ADD 00000814: PUSH2 0x0a4f 00000817: JUMP 00000818: JUMPDEST 00000819: PUSH1 0x00 0000081b: PUSH1 0x40 0000081d: MLOAD 0000081e: DUP1 0000081f: DUP4 00000820: SUB 00000821: DUP2 00000822: PUSH1 0x00 00000824: DUP8 00000825: DUP1 00000826: EXTCODESIZE 00000827: ISZERO 00000828: DUP1 00000829: ISZERO 0000082a: PUSH2 0x0832 0000082d: JUMPI 0000082e: PUSH1 0x00 00000830: DUP1 00000831: REVERT 00000832: JUMPDEST 00000833: POP 00000834: GAS 00000835: CALL 00000836: ISZERO 00000837: DUP1 00000838: ISZERO 00000839: PUSH2 0x0846 0000083c: JUMPI 0000083d: RETURNDATASIZE 0000083e: PUSH1 0x00 00000840: DUP1 00000841: RETURNDATACOPY 00000842: RETURNDATASIZE 00000843: PUSH1 0x00 00000845: REVERT 00000846: JUMPDEST 00000847: POP 00000848: POP 00000849: POP 0000084a: POP 0000084b: POP 0000084c: POP 0000084d: JUMP 0000084e: JUMPDEST 0000084f: PUSH1 0x40 00000851: MLOAD 00000852: PUSH4 0x3dc8ded7 00000857: PUSH1 0xe0 00000859: SHL 0000085a: DUP2 0000085b: MSTORE 0000085c: PUSH1 0x01 0000085e: PUSH1 0x01 00000860: PUSH1 0xa0 00000862: SHL 00000863: SUB 00000864: DUP4 00000865: AND 00000866: PUSH1 0x04 00000868: DUP3 00000869: ADD 0000086a: MSTORE 0000086b: PUSH1 0x24 0000086d: DUP2 0000086e: ADD 0000086f: DUP3 00000870: SWAP1 00000871: MSTORE 00000872: ADDRESS 00000873: SWAP1 00000874: PUSH4 0x3dc8ded7 00000879: SWAP1 0000087a: PUSH1 0x44 0000087c: ADD 0000087d: PUSH2 0x0818 00000880: JUMP 00000881: JUMPDEST 00000882: PUSH1 0x00 00000884: PUSH1 0x20 00000886: DUP3 00000887: DUP5 00000888: SUB 00000889: SLT 0000088a: ISZERO 0000088b: PUSH2 0x0893 0000088e: JUMPI 0000088f: PUSH1 0x00 00000891: DUP1 00000892: REVERT 00000893: JUMPDEST 00000894: DUP2 00000895: CALLDATALOAD 00000896: DUP1 00000897: ISZERO 00000898: ISZERO 00000899: DUP2 0000089a: EQ 0000089b: PUSH2 0x08a3 0000089e: JUMPI 0000089f: PUSH1 0x00 000008a1: DUP1 000008a2: REVERT 000008a3: JUMPDEST 000008a4: SWAP4 000008a5: SWAP3 000008a6: POP 000008a7: POP 000008a8: POP 000008a9: JUMP 000008aa: JUMPDEST 000008ab: PUSH4 0x4e487b71 000008b0: PUSH1 0xe0 000008b2: SHL 000008b3: PUSH1 0x00 000008b5: MSTORE 000008b6: PUSH1 0x41 000008b8: PUSH1 0x04 000008ba: MSTORE 000008bb: PUSH1 0x24 000008bd: PUSH1 0x00 000008bf: REVERT 000008c0: JUMPDEST 000008c1: PUSH1 0x00 000008c3: PUSH1 0x20 000008c5: DUP3 000008c6: DUP5 000008c7: SUB 000008c8: SLT 000008c9: ISZERO 000008ca: PUSH2 0x08d2 000008cd: JUMPI 000008ce: PUSH1 0x00 000008d0: DUP1 000008d1: REVERT 000008d2: JUMPDEST 000008d3: DUP2 000008d4: CALLDATALOAD 000008d5: PUSH8 0xffffffffffffffff 000008de: DUP1 000008df: DUP3 000008e0: GT 000008e1: ISZERO 000008e2: PUSH2 0x08ea 000008e5: JUMPI 000008e6: PUSH1 0x00 000008e8: DUP1 000008e9: REVERT 000008ea: JUMPDEST 000008eb: DUP2 000008ec: DUP5 000008ed: ADD 000008ee: SWAP2 000008ef: POP 000008f0: DUP5 000008f1: PUSH1 0x1f 000008f3: DUP4 000008f4: ADD 000008f5: SLT 000008f6: PUSH2 0x08fe 000008f9: JUMPI 000008fa: PUSH1 0x00 000008fc: DUP1 000008fd: REVERT 000008fe: JUMPDEST 000008ff: DUP2 00000900: CALLDATALOAD 00000901: DUP2 00000902: DUP2 00000903: GT 00000904: ISZERO 00000905: PUSH2 0x0910 00000908: JUMPI 00000909: PUSH2 0x0910 0000090c: PUSH2 0x08aa 0000090f: JUMP 00000910: JUMPDEST 00000911: PUSH1 0x40 00000913: MLOAD 00000914: PUSH1 0x1f 00000916: DUP3 00000917: ADD 00000918: PUSH1 0x1f 0000091a: NOT 0000091b: SWAP1 0000091c: DUP2 0000091d: AND 0000091e: PUSH1 0x3f 00000920: ADD 00000921: AND 00000922: DUP2 00000923: ADD 00000924: SWAP1 00000925: DUP4 00000926: DUP3 00000927: GT 00000928: DUP2 00000929: DUP4 0000092a: LT 0000092b: OR 0000092c: ISZERO 0000092d: PUSH2 0x0938 00000930: JUMPI 00000931: PUSH2 0x0938 00000934: PUSH2 0x08aa 00000937: JUMP 00000938: JUMPDEST 00000939: DUP2 0000093a: PUSH1 0x40 0000093c: MSTORE 0000093d: DUP3 0000093e: DUP2 0000093f: MSTORE 00000940: DUP8 00000941: PUSH1 0x20 00000943: DUP5 00000944: DUP8 00000945: ADD 00000946: ADD 00000947: GT 00000948: ISZERO 00000949: PUSH2 0x0951 0000094c: JUMPI 0000094d: PUSH1 0x00 0000094f: DUP1 00000950: REVERT 00000951: JUMPDEST 00000952: DUP3 00000953: PUSH1 0x20 00000955: DUP7 00000956: ADD 00000957: PUSH1 0x20 00000959: DUP4 0000095a: ADD 0000095b: CALLDATACOPY 0000095c: PUSH1 0x00 0000095e: SWAP3 0000095f: DUP2 00000960: ADD 00000961: PUSH1 0x20 00000963: ADD 00000964: SWAP3 00000965: SWAP1 00000966: SWAP3 00000967: MSTORE 00000968: POP 00000969: SWAP6 0000096a: SWAP5 0000096b: POP 0000096c: POP 0000096d: POP 0000096e: POP 0000096f: POP 00000970: JUMP 00000971: JUMPDEST 00000972: PUSH1 0x00 00000974: PUSH1 0x20 00000976: DUP3 00000977: DUP5 00000978: SUB 00000979: SLT 0000097a: ISZERO 0000097b: PUSH2 0x0983 0000097e: JUMPI 0000097f: PUSH1 0x00 00000981: DUP1 00000982: REVERT 00000983: JUMPDEST 00000984: POP 00000985: CALLDATALOAD 00000986: SWAP2 00000987: SWAP1 00000988: POP 00000989: JUMP 0000098a: JUMPDEST 0000098b: PUSH1 0x00 0000098d: PUSH1 0x20 0000098f: DUP3 00000990: DUP5 00000991: SUB 00000992: SLT 00000993: ISZERO 00000994: PUSH2 0x099c 00000997: JUMPI 00000998: PUSH1 0x00 0000099a: DUP1 0000099b: REVERT 0000099c: JUMPDEST 0000099d: DUP2 0000099e: MLOAD 0000099f: PUSH1 0x01 000009a1: PUSH1 0x01 000009a3: PUSH1 0xa0 000009a5: SHL 000009a6: SUB 000009a7: DUP2 000009a8: AND 000009a9: DUP2 000009aa: EQ 000009ab: PUSH2 0x08a3 000009ae: JUMPI 000009af: PUSH1 0x00 000009b1: DUP1 000009b2: REVERT 000009b3: JUMPDEST 000009b4: PUSH1 0x00 000009b6: DUP2 000009b7: PUSH1 0x00 000009b9: NOT 000009ba: DIV 000009bb: DUP4 000009bc: GT 000009bd: DUP3 000009be: ISZERO 000009bf: ISZERO 000009c0: AND 000009c1: ISZERO 000009c2: PUSH2 0x09db 000009c5: JUMPI 000009c6: PUSH4 0x4e487b71 000009cb: PUSH1 0xe0 000009cd: SHL 000009ce: PUSH1 0x00 000009d0: MSTORE 000009d1: PUSH1 0x11 000009d3: PUSH1 0x04 000009d5: MSTORE 000009d6: PUSH1 0x24 000009d8: PUSH1 0x00 000009da: REVERT 000009db: JUMPDEST 000009dc: POP 000009dd: MUL 000009de: SWAP1 000009df: JUMP 000009e0: JUMPDEST 000009e1: PUSH1 0x00 000009e3: DUP3 000009e4: PUSH2 0x09fd 000009e7: JUMPI 000009e8: PUSH4 0x4e487b71 000009ed: PUSH1 0xe0 000009ef: SHL 000009f0: PUSH1 0x00 000009f2: MSTORE 000009f3: PUSH1 0x12 000009f5: PUSH1 0x04 000009f7: MSTORE 000009f8: PUSH1 0x24 000009fa: PUSH1 0x00 000009fc: REVERT 000009fd: JUMPDEST 000009fe: POP 000009ff: DIV 00000a00: SWAP1 00000a01: JUMP 00000a02: JUMPDEST 00000a03: PUSH1 0x00 00000a05: DUP2 00000a06: MLOAD 00000a07: DUP1 00000a08: DUP5 00000a09: MSTORE 00000a0a: PUSH1 0x00 00000a0c: JUMPDEST 00000a0d: DUP2 00000a0e: DUP2 00000a0f: LT 00000a10: ISZERO 00000a11: PUSH2 0x0a28 00000a14: JUMPI 00000a15: PUSH1 0x20 00000a17: DUP2 00000a18: DUP6 00000a19: ADD 00000a1a: DUP2 00000a1b: ADD 00000a1c: MLOAD 00000a1d: DUP7 00000a1e: DUP4 00000a1f: ADD 00000a20: DUP3 00000a21: ADD 00000a22: MSTORE 00000a23: ADD 00000a24: PUSH2 0x0a0c 00000a27: JUMP 00000a28: JUMPDEST 00000a29: DUP2 00000a2a: DUP2 00000a2b: GT 00000a2c: ISZERO 00000a2d: PUSH2 0x0a3a 00000a30: JUMPI 00000a31: PUSH1 0x00 00000a33: PUSH1 0x20 00000a35: DUP4 00000a36: DUP8 00000a37: ADD 00000a38: ADD 00000a39: MSTORE 00000a3a: JUMPDEST 00000a3b: POP 00000a3c: PUSH1 0x1f 00000a3e: ADD 00000a3f: PUSH1 0x1f 00000a41: NOT 00000a42: AND 00000a43: SWAP3 00000a44: SWAP1 00000a45: SWAP3 00000a46: ADD 00000a47: PUSH1 0x20 00000a49: ADD 00000a4a: SWAP3 00000a4b: SWAP2 00000a4c: POP 00000a4d: POP 00000a4e: JUMP 00000a4f: JUMPDEST 00000a50: PUSH1 0x40 00000a52: DUP2 00000a53: MSTORE 00000a54: PUSH1 0x00 00000a56: PUSH2 0x0a62 00000a59: PUSH1 0x40 00000a5b: DUP4 00000a5c: ADD 00000a5d: DUP6 00000a5e: PUSH2 0x0a02 00000a61: JUMP 00000a62: JUMPDEST 00000a63: DUP3 00000a64: DUP2 00000a65: SUB 00000a66: PUSH1 0x20 00000a68: DUP5 00000a69: ADD 00000a6a: MSTORE 00000a6b: PUSH2 0x0a74 00000a6e: DUP2 00000a6f: DUP6 00000a70: PUSH2 0x0a02 00000a73: JUMP 00000a74: JUMPDEST 00000a75: SWAP6 00000a76: SWAP5 00000a77: POP 00000a78: POP 00000a79: POP 00000a7a: POP 00000a7b: POP 00000a7c: JUMP 00000a7d: INVALID 00000a7e: LOG2 00000a7f: PUSH5 0x6970667358 00000a85: UNKNOWN(0x22) 00000a86: SLT 00000a87: KECCAK256 00000a88: PUSH17 0xf2b23f3cdd7529c18e2322423c794df0e1 00000a9a: UNKNOWN(0xD4) 00000a9b: DUP14 00000a9c: UNKNOWN(0xB3) 00000a9d: SDIV 00000a9e: SWAP5 00000a9f: SGT 00000aa0: EXP 00000aa1: DUP3 00000aa2: UNKNOWN(0xD2) 00000aa3: UNKNOWN(0x26) 00000aa4: DUP14 00000aa5: UNKNOWN(0xB5) 00000aa6: DUP10 00000aa7: LT 00000aa8: PUSH5 0x736f6c6343 00000aae: STOP 00000aaf: ADDMOD 00000ab0: MULMOD 00000ab1: STOP 00000ab2: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x9d5a636b7ad433c7775126f2ca0079cbfa2e9b8f3ca63d39752f7b4e13571e5e
call_targets:
0x43955024b1985e2b933a59021500ae5f55b04091
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 2,
"trace_id": "0x9d5a636b7ad433c7775126f2ca0079cbfa2e9b8f3ca63d39752f7b4e13571e5e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x43955024b1985e2b933a59021500ae5f55b04091"
],
"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": "0x55f804b3",
"selector": "0x55f804b3",
"calldata_variants": [
"0x55f804b3",
"0x55f804b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d859f3e",
"selector": "0x8d859f3e",
"calldata_variants": [
"0x8d859f3e",
"0x8d859f3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb8d2444",
"selector": "0xeb8d2444",
"calldata_variants": [
"0xeb8d2444",
"0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02c88989",
"selector": "0x02c88989",
"calldata_variants": [
"0x02c88989",
"0x02c889890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x32cb6b0c",
"selector": "0x32cb6b0c",
"calldata_variants": [
"0x32cb6b0c",
"0x32cb6b0c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 546,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xd79ff1af1d5c3706563e27e8c2c911543e85624e2c6a4dc9273657c0a5c5893b
call_targets:
0xf7bf4a39484e55155fc5b11876b30d59b292edbe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd79ff1af1d5c3706563e27e8c2c911543e85624e2c6a4dc9273657c0a5c5893b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf7bf4a39484e55155fc5b11876b30d59b292edbe"
],
"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": "0x55f804b3",
"selector": "0x55f804b3",
"calldata_variants": [
"0x55f804b3",
"0x55f804b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d859f3e",
"selector": "0x8d859f3e",
"calldata_variants": [
"0x8d859f3e",
"0x8d859f3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb8d2444",
"selector": "0xeb8d2444",
"calldata_variants": [
"0xeb8d2444",
"0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02c88989",
"selector": "0x02c88989",
"calldata_variants": [
"0x02c88989",
"0x02c889890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x32cb6b0c",
"selector": "0x32cb6b0c",
"calldata_variants": [
"0x32cb6b0c",
"0x32cb6b0c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1864,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2101,
"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: 0xd79ff1af1d5c3706563e27e8c2c911543e85624e2c6a4dc9273657c0a5c5893b
call_targets:
0xf7bf4a39484e55155fc5b11876b30d59b292edbe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd79ff1af1d5c3706563e27e8c2c911543e85624e2c6a4dc9273657c0a5c5893b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf7bf4a39484e55155fc5b11876b30d59b292edbe"
],
"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": "0x55f804b3",
"selector": "0x55f804b3",
"calldata_variants": [
"0x55f804b3",
"0x55f804b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d859f3e",
"selector": "0x8d859f3e",
"calldata_variants": [
"0x8d859f3e",
"0x8d859f3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb8d2444",
"selector": "0xeb8d2444",
"calldata_variants": [
"0xeb8d2444",
"0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02c88989",
"selector": "0x02c88989",
"calldata_variants": [
"0x02c88989",
"0x02c889890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x32cb6b0c",
"selector": "0x32cb6b0c",
"calldata_variants": [
"0x32cb6b0c",
"0x32cb6b0c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1864,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2101,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|