019b3844-9b04-7043-a338-660ad5832e8f
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 |
|---|---|---|---|---|
| 14359 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 14360 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 109670 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 109671 | capability.graph | complete | 1 / 3 | 1 week ago |
| 109672 | detector.run | complete | 1 / 3 | 1 week ago |
| 109673 | 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 0x004e 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x019fa4f1 00000019: EQ 0000001a: PUSH2 0x0065 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x2e1997b6 00000024: EQ 00000025: PUSH2 0x0085 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x5c60da1b 0000002f: EQ 00000030: PUSH2 0x00af 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x621f6309 0000003a: EQ 0000003b: PUSH2 0x00dc 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xabe5e587 00000045: EQ 00000046: PUSH2 0x00fc 00000049: JUMPI 0000004a: PUSH2 0x005d 0000004d: JUMP 0000004e: JUMPDEST 0000004f: CALLDATASIZE 00000050: PUSH2 0x005d 00000053: JUMPI 00000054: PUSH2 0x005b 00000057: PUSH2 0x0111 0000005a: JUMP 0000005b: JUMPDEST 0000005c: STOP 0000005d: JUMPDEST 0000005e: PUSH2 0x005b 00000061: PUSH2 0x0111 00000064: JUMP 00000065: JUMPDEST 00000066: CALLVALUE 00000067: DUP1 00000068: ISZERO 00000069: PUSH2 0x0071 0000006c: JUMPI 0000006d: PUSH1 0x00 0000006f: DUP1 00000070: REVERT 00000071: JUMPDEST 00000072: POP 00000073: PUSH2 0x005b 00000076: PUSH2 0x0080 00000079: CALLDATASIZE 0000007a: PUSH1 0x04 0000007c: PUSH2 0x05e2 0000007f: JUMP 00000080: JUMPDEST 00000081: PUSH2 0x0143 00000084: JUMP 00000085: JUMPDEST 00000086: CALLVALUE 00000087: DUP1 00000088: ISZERO 00000089: PUSH2 0x0091 0000008c: JUMPI 0000008d: PUSH1 0x00 0000008f: DUP1 00000090: REVERT 00000091: JUMPDEST 00000092: POP 00000093: PUSH2 0x009a 00000096: PUSH2 0x0223 00000099: JUMP 0000009a: JUMPDEST 0000009b: PUSH1 0x40 0000009d: MLOAD 0000009e: SWAP1 0000009f: ISZERO 000000a0: ISZERO 000000a1: DUP2 000000a2: MSTORE 000000a3: PUSH1 0x20 000000a5: ADD 000000a6: JUMPDEST 000000a7: PUSH1 0x40 000000a9: MLOAD 000000aa: DUP1 000000ab: SWAP2 000000ac: SUB 000000ad: SWAP1 000000ae: RETURN 000000af: JUMPDEST 000000b0: CALLVALUE 000000b1: DUP1 000000b2: ISZERO 000000b3: PUSH2 0x00bb 000000b6: JUMPI 000000b7: PUSH1 0x00 000000b9: DUP1 000000ba: REVERT 000000bb: JUMPDEST 000000bc: POP 000000bd: PUSH2 0x00c4 000000c0: PUSH2 0x023d 000000c3: JUMP 000000c4: JUMPDEST 000000c5: PUSH1 0x40 000000c7: MLOAD 000000c8: PUSH1 0x01 000000ca: PUSH1 0x01 000000cc: PUSH1 0xa0 000000ce: SHL 000000cf: SUB 000000d0: SWAP1 000000d1: SWAP2 000000d2: AND 000000d3: DUP2 000000d4: MSTORE 000000d5: PUSH1 0x20 000000d7: ADD 000000d8: PUSH2 0x00a6 000000db: JUMP 000000dc: JUMPDEST 000000dd: CALLVALUE 000000de: DUP1 000000df: ISZERO 000000e0: PUSH2 0x00e8 000000e3: JUMPI 000000e4: PUSH1 0x00 000000e6: DUP1 000000e7: REVERT 000000e8: JUMPDEST 000000e9: POP 000000ea: PUSH2 0x005b 000000ed: PUSH2 0x00f7 000000f0: CALLDATASIZE 000000f1: PUSH1 0x04 000000f3: PUSH2 0x05fc 000000f6: JUMP 000000f7: JUMPDEST 000000f8: PUSH2 0x026c 000000fb: JUMP 000000fc: JUMPDEST 000000fd: CALLVALUE 000000fe: DUP1 000000ff: ISZERO 00000100: PUSH2 0x0108 00000103: JUMPI 00000104: PUSH1 0x00 00000106: DUP1 00000107: REVERT 00000108: JUMPDEST 00000109: POP 0000010a: PUSH2 0x00c4 0000010d: PUSH2 0x035b 00000110: JUMP 00000111: JUMPDEST 00000112: PUSH2 0x0141 00000115: PUSH2 0x013c 00000118: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000139: SLOAD 0000013a: SWAP1 0000013b: JUMP 0000013c: JUMPDEST 0000013d: PUSH2 0x039a 00000140: JUMP 00000141: JUMPDEST 00000142: JUMP 00000143: JUMPDEST 00000144: PUSH1 0x00 00000146: PUSH2 0x014d 00000149: PUSH2 0x03be 0000014c: JUMP 0000014d: JUMPDEST 0000014e: SWAP1 0000014f: POP 00000150: CALLER 00000151: PUSH1 0x01 00000153: PUSH1 0x01 00000155: PUSH1 0xa0 00000157: SHL 00000158: SUB 00000159: DUP3 0000015a: AND 0000015b: EQ 0000015c: PUSH2 0x01a2 0000015f: JUMPI 00000160: PUSH1 0x40 00000162: MLOAD 00000163: PUSH3 0x461bcd 00000167: PUSH1 0xe5 00000169: SHL 0000016a: DUP2 0000016b: MSTORE 0000016c: PUSH1 0x20 0000016e: PUSH1 0x04 00000170: DUP3 00000171: ADD 00000172: MSTORE 00000173: PUSH1 0x13 00000175: PUSH1 0x24 00000177: DUP3 00000178: ADD 00000179: MSTORE 0000017a: PUSH19 0x1c1c9bde1e4e881d5b985d5d1a1bdc9a5e9959 0000018e: PUSH1 0x6a 00000190: SHL 00000191: PUSH1 0x44 00000193: DUP3 00000194: ADD 00000195: MSTORE 00000196: PUSH1 0x64 00000198: ADD 00000199: JUMPDEST 0000019a: PUSH1 0x40 0000019c: MLOAD 0000019d: DUP1 0000019e: SWAP2 0000019f: SUB 000001a0: SWAP1 000001a1: REVERT 000001a2: JUMPDEST 000001a3: PUSH1 0x40 000001a5: DUP1 000001a6: MLOAD 000001a7: PUSH1 0x01 000001a9: PUSH1 0x01 000001ab: PUSH1 0xa0 000001ad: SHL 000001ae: SUB 000001af: DUP1 000001b0: DUP5 000001b1: AND 000001b2: DUP3 000001b3: MSTORE 000001b4: DUP5 000001b5: AND 000001b6: PUSH1 0x20 000001b8: DUP3 000001b9: ADD 000001ba: MSTORE 000001bb: PUSH32 0x7e644d79422f17c01e4894b5f4f588d331ebfa28653d42ae832dc59e38c9798f 000001dc: SWAP2 000001dd: ADD 000001de: PUSH1 0x40 000001e0: MLOAD 000001e1: DUP1 000001e2: SWAP2 000001e3: SUB 000001e4: SWAP1 000001e5: LOG1 000001e6: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 00000207: DUP1 00000208: SLOAD 00000209: PUSH1 0x01 0000020b: PUSH1 0x01 0000020d: PUSH1 0xa0 0000020f: SHL 00000210: SUB 00000211: NOT 00000212: AND 00000213: PUSH1 0x01 00000215: PUSH1 0x01 00000217: PUSH1 0xa0 00000219: SHL 0000021a: SUB 0000021b: DUP5 0000021c: AND 0000021d: OR 0000021e: SWAP1 0000021f: SSTORE 00000220: POP 00000221: POP 00000222: JUMP 00000223: JUMPDEST 00000224: PUSH1 0x00 00000226: DUP1 00000227: PUSH2 0x022e 0000022a: PUSH2 0x03be 0000022d: JUMP 0000022e: JUMPDEST 0000022f: PUSH1 0x01 00000231: PUSH1 0x01 00000233: PUSH1 0xa0 00000235: SHL 00000236: SUB 00000237: AND 00000238: EQ 00000239: SWAP1 0000023a: POP 0000023b: SWAP1 0000023c: JUMP 0000023d: JUMPDEST 0000023e: PUSH1 0x00 00000240: PUSH2 0x0267 00000243: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000264: SLOAD 00000265: SWAP1 00000266: JUMP 00000267: JUMPDEST 00000268: SWAP1 00000269: POP 0000026a: SWAP1 0000026b: JUMP 0000026c: JUMPDEST 0000026d: PUSH1 0x00 0000026f: PUSH2 0x0276 00000272: PUSH2 0x03be 00000275: JUMP 00000276: JUMPDEST 00000277: SWAP1 00000278: POP 00000279: PUSH1 0x01 0000027b: PUSH1 0x01 0000027d: PUSH1 0xa0 0000027f: SHL 00000280: SUB 00000281: DUP2 00000282: AND 00000283: PUSH2 0x02c0 00000286: JUMPI 00000287: PUSH1 0x40 00000289: MLOAD 0000028a: PUSH3 0x461bcd 0000028e: PUSH1 0xe5 00000290: SHL 00000291: DUP2 00000292: MSTORE 00000293: PUSH1 0x20 00000295: PUSH1 0x04 00000297: DUP3 00000298: ADD 00000299: MSTORE 0000029a: PUSH1 0x0f 0000029c: PUSH1 0x24 0000029e: DUP3 0000029f: ADD 000002a0: MSTORE 000002a1: PUSH15 0x1c1c9bde1e4e881bdcdcda599a5959 000002b1: PUSH1 0x8a 000002b3: SHL 000002b4: PUSH1 0x44 000002b6: DUP3 000002b7: ADD 000002b8: MSTORE 000002b9: PUSH1 0x64 000002bb: ADD 000002bc: PUSH2 0x0199 000002bf: JUMP 000002c0: JUMPDEST 000002c1: CALLER 000002c2: PUSH1 0x01 000002c4: PUSH1 0x01 000002c6: PUSH1 0xa0 000002c8: SHL 000002c9: SUB 000002ca: DUP3 000002cb: AND 000002cc: EQ 000002cd: PUSH2 0x030e 000002d0: JUMPI 000002d1: PUSH1 0x40 000002d3: MLOAD 000002d4: PUSH3 0x461bcd 000002d8: PUSH1 0xe5 000002da: SHL 000002db: DUP2 000002dc: MSTORE 000002dd: PUSH1 0x20 000002df: PUSH1 0x04 000002e1: DUP3 000002e2: ADD 000002e3: MSTORE 000002e4: PUSH1 0x13 000002e6: PUSH1 0x24 000002e8: DUP3 000002e9: ADD 000002ea: MSTORE 000002eb: PUSH19 0x1c1c9bde1e4e881d5b985d5d1a1bdc9a5e9959 000002ff: PUSH1 0x6a 00000301: SHL 00000302: PUSH1 0x44 00000304: DUP3 00000305: ADD 00000306: MSTORE 00000307: PUSH1 0x64 00000309: ADD 0000030a: PUSH2 0x0199 0000030d: JUMP 0000030e: JUMPDEST 0000030f: PUSH2 0x0317 00000312: DUP4 00000313: PUSH2 0x03ec 00000316: JUMP 00000317: JUMPDEST 00000318: DUP2 00000319: MLOAD 0000031a: ISZERO 0000031b: PUSH2 0x0356 0000031e: JUMPI 0000031f: PUSH2 0x0354 00000322: DUP4 00000323: DUP4 00000324: PUSH1 0x40 00000326: MLOAD 00000327: DUP1 00000328: PUSH1 0x40 0000032a: ADD 0000032b: PUSH1 0x40 0000032d: MSTORE 0000032e: DUP1 0000032f: PUSH1 0x13 00000331: DUP2 00000332: MSTORE 00000333: PUSH1 0x20 00000335: ADD 00000336: PUSH19 0x1c1c9bde1e4e881cd95d1d5c0819985a5b1959 0000034a: PUSH1 0x6a 0000034c: SHL 0000034d: DUP2 0000034e: MSTORE 0000034f: POP 00000350: PUSH2 0x042c 00000353: JUMP 00000354: JUMPDEST 00000355: POP 00000356: JUMPDEST 00000357: POP 00000358: POP 00000359: POP 0000035a: JUMP 0000035b: JUMPDEST 0000035c: PUSH1 0x00 0000035e: PUSH2 0x0267 00000361: PUSH2 0x03be 00000364: JUMP 00000365: JUMPDEST 00000366: PUSH1 0x60 00000368: PUSH2 0x038a 0000036b: DUP4 0000036c: DUP4 0000036d: PUSH1 0x40 0000036f: MLOAD 00000370: DUP1 00000371: PUSH1 0x60 00000373: ADD 00000374: PUSH1 0x40 00000376: MSTORE 00000377: DUP1 00000378: PUSH1 0x27 0000037a: DUP2 0000037b: MSTORE 0000037c: PUSH1 0x20 0000037e: ADD 0000037f: PUSH2 0x074b 00000382: PUSH1 0x27 00000384: SWAP2 00000385: CODECOPY 00000386: PUSH2 0x042c 00000389: JUMP 0000038a: JUMPDEST 0000038b: SWAP4 0000038c: SWAP3 0000038d: POP 0000038e: POP 0000038f: POP 00000390: JUMP 00000391: JUMPDEST 00000392: EXTCODESIZE 00000393: ISZERO 00000394: ISZERO 00000395: SWAP1 00000396: JUMP 00000397: JUMPDEST 00000398: SWAP1 00000399: JUMP 0000039a: JUMPDEST 0000039b: CALLDATASIZE 0000039c: PUSH1 0x00 0000039e: DUP1 0000039f: CALLDATACOPY 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: CALLDATASIZE 000003a4: PUSH1 0x00 000003a6: DUP5 000003a7: GAS 000003a8: DELEGATECALL 000003a9: RETURNDATASIZE 000003aa: PUSH1 0x00 000003ac: DUP1 000003ad: RETURNDATACOPY 000003ae: DUP1 000003af: DUP1 000003b0: ISZERO 000003b1: PUSH2 0x03b9 000003b4: JUMPI 000003b5: RETURNDATASIZE 000003b6: PUSH1 0x00 000003b8: RETURN 000003b9: JUMPDEST 000003ba: RETURNDATASIZE 000003bb: PUSH1 0x00 000003bd: REVERT 000003be: JUMPDEST 000003bf: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 000003e0: SLOAD 000003e1: PUSH1 0x01 000003e3: PUSH1 0x01 000003e5: PUSH1 0xa0 000003e7: SHL 000003e8: SUB 000003e9: AND 000003ea: SWAP1 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH2 0x03f5 000003f0: DUP2 000003f1: PUSH2 0x0500 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH1 0x40 000003f8: MLOAD 000003f9: PUSH1 0x01 000003fb: PUSH1 0x01 000003fd: PUSH1 0xa0 000003ff: SHL 00000400: SUB 00000401: DUP3 00000402: AND 00000403: SWAP1 00000404: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 00000425: SWAP1 00000426: PUSH1 0x00 00000428: SWAP1 00000429: LOG2 0000042a: POP 0000042b: JUMP 0000042c: JUMPDEST 0000042d: PUSH1 0x60 0000042f: DUP4 00000430: EXTCODESIZE 00000431: PUSH2 0x048b 00000434: JUMPI 00000435: PUSH1 0x40 00000437: MLOAD 00000438: PUSH3 0x461bcd 0000043c: PUSH1 0xe5 0000043e: SHL 0000043f: DUP2 00000440: MSTORE 00000441: PUSH1 0x20 00000443: PUSH1 0x04 00000445: DUP3 00000446: ADD 00000447: MSTORE 00000448: PUSH1 0x26 0000044a: PUSH1 0x24 0000044c: DUP3 0000044d: ADD 0000044e: MSTORE 0000044f: PUSH32 0x416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f 00000470: PUSH1 0x44 00000472: DUP3 00000473: ADD 00000474: MSTORE 00000475: PUSH6 0x1b9d1c9858dd 0000047c: PUSH1 0xd2 0000047e: SHL 0000047f: PUSH1 0x64 00000481: DUP3 00000482: ADD 00000483: MSTORE 00000484: PUSH1 0x84 00000486: ADD 00000487: PUSH2 0x0199 0000048a: JUMP 0000048b: JUMPDEST 0000048c: PUSH1 0x00 0000048e: DUP1 0000048f: DUP6 00000490: PUSH1 0x01 00000492: PUSH1 0x01 00000494: PUSH1 0xa0 00000496: SHL 00000497: SUB 00000498: AND 00000499: DUP6 0000049a: PUSH1 0x40 0000049c: MLOAD 0000049d: PUSH2 0x04a6 000004a0: SWAP2 000004a1: SWAP1 000004a2: PUSH2 0x06b9 000004a5: JUMP 000004a6: JUMPDEST 000004a7: PUSH1 0x00 000004a9: PUSH1 0x40 000004ab: MLOAD 000004ac: DUP1 000004ad: DUP4 000004ae: SUB 000004af: DUP2 000004b0: DUP6 000004b1: GAS 000004b2: DELEGATECALL 000004b3: SWAP2 000004b4: POP 000004b5: POP 000004b6: RETURNDATASIZE 000004b7: DUP1 000004b8: PUSH1 0x00 000004ba: DUP2 000004bb: EQ 000004bc: PUSH2 0x04e1 000004bf: JUMPI 000004c0: PUSH1 0x40 000004c2: MLOAD 000004c3: SWAP2 000004c4: POP 000004c5: PUSH1 0x1f 000004c7: NOT 000004c8: PUSH1 0x3f 000004ca: RETURNDATASIZE 000004cb: ADD 000004cc: AND 000004cd: DUP3 000004ce: ADD 000004cf: PUSH1 0x40 000004d1: MSTORE 000004d2: RETURNDATASIZE 000004d3: DUP3 000004d4: MSTORE 000004d5: RETURNDATASIZE 000004d6: PUSH1 0x00 000004d8: PUSH1 0x20 000004da: DUP5 000004db: ADD 000004dc: RETURNDATACOPY 000004dd: PUSH2 0x04e6 000004e0: JUMP 000004e1: JUMPDEST 000004e2: PUSH1 0x60 000004e4: SWAP2 000004e5: POP 000004e6: JUMPDEST 000004e7: POP 000004e8: SWAP2 000004e9: POP 000004ea: SWAP2 000004eb: POP 000004ec: PUSH2 0x04f6 000004ef: DUP3 000004f0: DUP3 000004f1: DUP7 000004f2: PUSH2 0x058d 000004f5: JUMP 000004f6: JUMPDEST 000004f7: SWAP7 000004f8: SWAP6 000004f9: POP 000004fa: POP 000004fb: POP 000004fc: POP 000004fd: POP 000004fe: POP 000004ff: JUMP 00000500: JUMPDEST 00000501: DUP1 00000502: EXTCODESIZE 00000503: PUSH2 0x0569 00000506: JUMPI 00000507: PUSH1 0x40 00000509: MLOAD 0000050a: PUSH3 0x461bcd 0000050e: PUSH1 0xe5 00000510: SHL 00000511: DUP2 00000512: MSTORE 00000513: PUSH1 0x20 00000515: PUSH1 0x04 00000517: DUP3 00000518: ADD 00000519: MSTORE 0000051a: PUSH1 0x32 0000051c: PUSH1 0x24 0000051e: DUP3 0000051f: ADD 00000520: MSTORE 00000521: PUSH32 0x4552433139363750726f78793a206e657720696d706c656d656e746174696f6e 00000542: PUSH1 0x44 00000544: DUP3 00000545: ADD 00000546: MSTORE 00000547: PUSH18 0x081a5cc81b9bdd08184818dbdb9d1c9858dd 0000055a: PUSH1 0x72 0000055c: SHL 0000055d: PUSH1 0x64 0000055f: DUP3 00000560: ADD 00000561: MSTORE 00000562: PUSH1 0x84 00000564: ADD 00000565: PUSH2 0x0199 00000568: JUMP 00000569: JUMPDEST 0000056a: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 0000058b: SSTORE 0000058c: JUMP 0000058d: JUMPDEST 0000058e: PUSH1 0x60 00000590: DUP4 00000591: ISZERO 00000592: PUSH2 0x059c 00000595: JUMPI 00000596: POP 00000597: DUP2 00000598: PUSH2 0x038a 0000059b: JUMP 0000059c: JUMPDEST 0000059d: DUP3 0000059e: MLOAD 0000059f: ISZERO 000005a0: PUSH2 0x05ac 000005a3: JUMPI 000005a4: DUP3 000005a5: MLOAD 000005a6: DUP1 000005a7: DUP5 000005a8: PUSH1 0x20 000005aa: ADD 000005ab: REVERT 000005ac: JUMPDEST 000005ad: DUP2 000005ae: PUSH1 0x40 000005b0: MLOAD 000005b1: PUSH3 0x461bcd 000005b5: PUSH1 0xe5 000005b7: SHL 000005b8: DUP2 000005b9: MSTORE 000005ba: PUSH1 0x04 000005bc: ADD 000005bd: PUSH2 0x0199 000005c0: SWAP2 000005c1: SWAP1 000005c2: PUSH2 0x06d5 000005c5: JUMP 000005c6: JUMPDEST 000005c7: DUP1 000005c8: CALLDATALOAD 000005c9: PUSH1 0x01 000005cb: PUSH1 0x01 000005cd: PUSH1 0xa0 000005cf: SHL 000005d0: SUB 000005d1: DUP2 000005d2: AND 000005d3: DUP2 000005d4: EQ 000005d5: PUSH2 0x05dd 000005d8: JUMPI 000005d9: PUSH1 0x00 000005db: DUP1 000005dc: REVERT 000005dd: JUMPDEST 000005de: SWAP2 000005df: SWAP1 000005e0: POP 000005e1: JUMP 000005e2: JUMPDEST 000005e3: PUSH1 0x00 000005e5: PUSH1 0x20 000005e7: DUP3 000005e8: DUP5 000005e9: SUB 000005ea: SLT 000005eb: ISZERO 000005ec: PUSH2 0x05f3 000005ef: JUMPI 000005f0: DUP1 000005f1: DUP2 000005f2: REVERT 000005f3: JUMPDEST 000005f4: PUSH2 0x038a 000005f7: DUP3 000005f8: PUSH2 0x05c6 000005fb: JUMP 000005fc: JUMPDEST 000005fd: PUSH1 0x00 000005ff: DUP1 00000600: PUSH1 0x40 00000602: DUP4 00000603: DUP6 00000604: SUB 00000605: SLT 00000606: ISZERO 00000607: PUSH2 0x060e 0000060a: JUMPI 0000060b: DUP1 0000060c: DUP2 0000060d: REVERT 0000060e: JUMPDEST 0000060f: PUSH2 0x0617 00000612: DUP4 00000613: PUSH2 0x05c6 00000616: JUMP 00000617: JUMPDEST 00000618: SWAP2 00000619: POP 0000061a: PUSH1 0x20 0000061c: DUP4 0000061d: ADD 0000061e: CALLDATALOAD 0000061f: PUSH8 0xffffffffffffffff 00000628: DUP1 00000629: DUP3 0000062a: GT 0000062b: ISZERO 0000062c: PUSH2 0x0633 0000062f: JUMPI 00000630: DUP3 00000631: DUP4 00000632: REVERT 00000633: JUMPDEST 00000634: DUP2 00000635: DUP6 00000636: ADD 00000637: SWAP2 00000638: POP 00000639: DUP6 0000063a: PUSH1 0x1f 0000063c: DUP4 0000063d: ADD 0000063e: SLT 0000063f: PUSH2 0x0646 00000642: JUMPI 00000643: DUP3 00000644: DUP4 00000645: REVERT 00000646: JUMPDEST 00000647: DUP2 00000648: CALLDATALOAD 00000649: DUP2 0000064a: DUP2 0000064b: GT 0000064c: ISZERO 0000064d: PUSH2 0x0658 00000650: JUMPI 00000651: PUSH2 0x0658 00000654: PUSH2 0x0734 00000657: JUMP 00000658: JUMPDEST 00000659: PUSH1 0x40 0000065b: MLOAD 0000065c: PUSH1 0x1f 0000065e: DUP3 0000065f: ADD 00000660: PUSH1 0x1f 00000662: NOT 00000663: SWAP1 00000664: DUP2 00000665: AND 00000666: PUSH1 0x3f 00000668: ADD 00000669: AND 0000066a: DUP2 0000066b: ADD 0000066c: SWAP1 0000066d: DUP4 0000066e: DUP3 0000066f: GT 00000670: DUP2 00000671: DUP4 00000672: LT 00000673: OR 00000674: ISZERO 00000675: PUSH2 0x0680 00000678: JUMPI 00000679: PUSH2 0x0680 0000067c: PUSH2 0x0734 0000067f: JUMP 00000680: JUMPDEST 00000681: DUP2 00000682: PUSH1 0x40 00000684: MSTORE 00000685: DUP3 00000686: DUP2 00000687: MSTORE 00000688: DUP9 00000689: PUSH1 0x20 0000068b: DUP5 0000068c: DUP8 0000068d: ADD 0000068e: ADD 0000068f: GT 00000690: ISZERO 00000691: PUSH2 0x0698 00000694: JUMPI 00000695: DUP6 00000696: DUP7 00000697: REVERT 00000698: JUMPDEST 00000699: DUP3 0000069a: PUSH1 0x20 0000069c: DUP7 0000069d: ADD 0000069e: PUSH1 0x20 000006a0: DUP4 000006a1: ADD 000006a2: CALLDATACOPY 000006a3: DUP6 000006a4: PUSH1 0x20 000006a6: DUP5 000006a7: DUP4 000006a8: ADD 000006a9: ADD 000006aa: MSTORE 000006ab: DUP1 000006ac: SWAP6 000006ad: POP 000006ae: POP 000006af: POP 000006b0: POP 000006b1: POP 000006b2: POP 000006b3: SWAP3 000006b4: POP 000006b5: SWAP3 000006b6: SWAP1 000006b7: POP 000006b8: JUMP 000006b9: JUMPDEST 000006ba: PUSH1 0x00 000006bc: DUP3 000006bd: MLOAD 000006be: PUSH2 0x06cb 000006c1: DUP2 000006c2: DUP5 000006c3: PUSH1 0x20 000006c5: DUP8 000006c6: ADD 000006c7: PUSH2 0x0708 000006ca: JUMP 000006cb: JUMPDEST 000006cc: SWAP2 000006cd: SWAP1 000006ce: SWAP2 000006cf: ADD 000006d0: SWAP3 000006d1: SWAP2 000006d2: POP 000006d3: POP 000006d4: JUMP 000006d5: JUMPDEST 000006d6: PUSH1 0x20 000006d8: DUP2 000006d9: MSTORE 000006da: PUSH1 0x00 000006dc: DUP3 000006dd: MLOAD 000006de: DUP1 000006df: PUSH1 0x20 000006e1: DUP5 000006e2: ADD 000006e3: MSTORE 000006e4: PUSH2 0x06f4 000006e7: DUP2 000006e8: PUSH1 0x40 000006ea: DUP6 000006eb: ADD 000006ec: PUSH1 0x20 000006ee: DUP8 000006ef: ADD 000006f0: PUSH2 0x0708 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x1f 000006f7: ADD 000006f8: PUSH1 0x1f 000006fa: NOT 000006fb: AND 000006fc: SWAP2 000006fd: SWAP1 000006fe: SWAP2 000006ff: ADD 00000700: PUSH1 0x40 00000702: ADD 00000703: SWAP3 00000704: SWAP2 00000705: POP 00000706: POP 00000707: JUMP 00000708: JUMPDEST 00000709: PUSH1 0x00 0000070b: JUMPDEST 0000070c: DUP4 0000070d: DUP2 0000070e: LT 0000070f: ISZERO 00000710: PUSH2 0x0723 00000713: JUMPI 00000714: DUP2 00000715: DUP2 00000716: ADD 00000717: MLOAD 00000718: DUP4 00000719: DUP3 0000071a: ADD 0000071b: MSTORE 0000071c: PUSH1 0x20 0000071e: ADD 0000071f: PUSH2 0x070b 00000722: JUMP 00000723: JUMPDEST 00000724: DUP4 00000725: DUP2 00000726: GT 00000727: ISZERO 00000728: PUSH2 0x0354 0000072b: JUMPI 0000072c: POP 0000072d: POP 0000072e: PUSH1 0x00 00000730: SWAP2 00000731: ADD 00000732: MSTORE 00000733: JUMP 00000734: JUMPDEST 00000735: PUSH4 0x4e487b71 0000073a: PUSH1 0xe0 0000073c: SHL 0000073d: PUSH1 0x00 0000073f: MSTORE 00000740: PUSH1 0x41 00000742: PUSH1 0x04 00000744: MSTORE 00000745: PUSH1 0x24 00000747: PUSH1 0x00 00000749: REVERT 0000074a: INVALID 0000074b: COINBASE 0000074c: PUSH5 0x6472657373 00000752: GASPRICE 00000753: KECCAK256 00000754: PUSH13 0x6f772d6c6576656c2064656c65 00000762: PUSH8 0x6174652063616c6c 0000076b: KECCAK256 0000076c: PUSH7 0x61696c6564a264 00000774: PUSH10 0x7066735822122024a6be 0000077f: UNKNOWN(0xEA) 00000780: EQ 00000781: DUP10 00000782: UNKNOWN(0xDE) 00000783: UNKNOWN(0xCA) 00000784: RETURNDATACOPY 00000785: NOT 00000786: PUSH21 0x0de637312fd7d60c6671ec423222e03ab300c5f2ab 0000079c: PUSH5 0x736f6c6343 000007a2: STOP 000007a3: ADDMOD 000007a4: DIV 000007a5: STOP 000007a6: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x15c328c5cb4963029c900fbdaaa82ff1abd7648fe422cdc0c555f474e84091c4
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 60,
"trace_id": "0x15c328c5cb4963029c900fbdaaa82ff1abd7648fe422cdc0c555f474e84091c4",
"confirmed": false,
"trace_mode": "callTracer",
"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": "0x019fa4f1",
"selector": "0x019fa4f1",
"calldata_variants": [
"0x019fa4f1",
"0x019fa4f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1997b6",
"selector": "0x2e1997b6",
"calldata_variants": [
"0x2e1997b6",
"0x2e1997b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x621f6309",
"selector": "0x621f6309",
"calldata_variants": [
"0x621f6309",
"0x621f63090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabe5e587",
"selector": "0xabe5e587",
"calldata_variants": [
"0xabe5e587",
"0xabe5e5870000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 936,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1202,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|