019b3844-b055-721f-8836-cd5ad874a222
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 |
|---|---|---|---|---|
| 18139 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 18140 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 61366 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 61367 | capability.graph | complete | 1 / 3 | 1 week ago |
| 61368 | detector.run | complete | 1 / 3 | 1 week ago |
| 61369 | 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 0x0029 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xa619486e 00000019: EQ 0000001a: PUSH2 0x0055 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xd1f57894 00000024: EQ 00000025: PUSH2 0x0081 00000028: JUMPI 00000029: JUMPDEST 0000002a: PUSH1 0x00 0000002c: DUP1 0000002d: SLOAD 0000002e: PUSH1 0x01 00000030: PUSH1 0x01 00000032: PUSH1 0xa0 00000034: SHL 00000035: SUB 00000036: AND 00000037: CALLDATASIZE 00000038: DUP3 00000039: DUP1 0000003a: CALLDATACOPY 0000003b: DUP2 0000003c: DUP3 0000003d: CALLDATASIZE 0000003e: DUP5 0000003f: DUP5 00000040: GAS 00000041: DELEGATECALL 00000042: SWAP1 00000043: POP 00000044: RETURNDATASIZE 00000045: DUP3 00000046: DUP4 00000047: RETURNDATACOPY 00000048: DUP1 00000049: PUSH2 0x0050 0000004c: JUMPI 0000004d: RETURNDATASIZE 0000004e: DUP3 0000004f: REVERT 00000050: JUMPDEST 00000051: POP 00000052: RETURNDATASIZE 00000053: DUP2 00000054: RETURN 00000055: JUMPDEST 00000056: CALLVALUE 00000057: DUP1 00000058: ISZERO 00000059: PUSH2 0x0061 0000005c: JUMPI 0000005d: PUSH1 0x00 0000005f: DUP1 00000060: REVERT 00000061: JUMPDEST 00000062: POP 00000063: PUSH1 0x00 00000065: SLOAD 00000066: PUSH1 0x40 00000068: DUP1 00000069: MLOAD 0000006a: PUSH1 0x01 0000006c: PUSH1 0x01 0000006e: PUSH1 0xa0 00000070: SHL 00000071: SUB 00000072: SWAP1 00000073: SWAP3 00000074: AND 00000075: DUP3 00000076: MSTORE 00000077: MLOAD 00000078: SWAP1 00000079: DUP2 0000007a: SWAP1 0000007b: SUB 0000007c: PUSH1 0x20 0000007e: ADD 0000007f: SWAP1 00000080: RETURN 00000081: JUMPDEST 00000082: CALLVALUE 00000083: DUP1 00000084: ISZERO 00000085: PUSH2 0x008d 00000088: JUMPI 00000089: PUSH1 0x00 0000008b: DUP1 0000008c: REVERT 0000008d: JUMPDEST 0000008e: POP 0000008f: PUSH2 0x00a1 00000092: PUSH2 0x009c 00000095: CALLDATASIZE 00000096: PUSH1 0x04 00000098: PUSH2 0x02d8 0000009b: JUMP 0000009c: JUMPDEST 0000009d: PUSH2 0x00a3 000000a0: JUMP 000000a1: JUMPDEST 000000a2: STOP 000000a3: JUMPDEST 000000a4: PUSH1 0x00 000000a6: SLOAD 000000a7: PUSH1 0x01 000000a9: PUSH1 0x01 000000ab: PUSH1 0xa0 000000ad: SHL 000000ae: SUB 000000af: AND 000000b0: ISZERO 000000b1: PUSH2 0x00f7 000000b4: JUMPI 000000b5: PUSH1 0x40 000000b7: MLOAD 000000b8: PUSH3 0x461bcd 000000bc: PUSH1 0xe5 000000be: SHL 000000bf: DUP2 000000c0: MSTORE 000000c1: PUSH1 0x20 000000c3: PUSH1 0x04 000000c5: DUP3 000000c6: ADD 000000c7: MSTORE 000000c8: PUSH1 0x13 000000ca: PUSH1 0x24 000000cc: DUP3 000000cd: ADD 000000ce: MSTORE 000000cf: PUSH19 0x496e697469616c697a656420616c7265616479 000000e3: PUSH1 0x68 000000e5: SHL 000000e6: PUSH1 0x44 000000e8: DUP3 000000e9: ADD 000000ea: MSTORE 000000eb: PUSH1 0x64 000000ed: ADD 000000ee: JUMPDEST 000000ef: PUSH1 0x40 000000f1: MLOAD 000000f2: DUP1 000000f3: SWAP2 000000f4: SUB 000000f5: SWAP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: PUSH1 0x01 000000fa: PUSH1 0x01 000000fc: PUSH1 0xa0 000000fe: SHL 000000ff: SUB 00000100: DUP3 00000101: AND 00000102: PUSH2 0x0158 00000105: JUMPI 00000106: PUSH1 0x40 00000108: MLOAD 00000109: PUSH3 0x461bcd 0000010d: PUSH1 0xe5 0000010f: SHL 00000110: DUP2 00000111: MSTORE 00000112: PUSH1 0x20 00000114: PUSH1 0x04 00000116: DUP3 00000117: ADD 00000118: MSTORE 00000119: PUSH1 0x22 0000011b: PUSH1 0x24 0000011d: DUP3 0000011e: ADD 0000011f: MSTORE 00000120: PUSH32 0x496e76616c69642073696e676c65746f6e20616464726573732070726f766964 00000141: PUSH1 0x44 00000143: DUP3 00000144: ADD 00000145: MSTORE 00000146: PUSH2 0x1959 00000149: PUSH1 0xf2 0000014b: SHL 0000014c: PUSH1 0x64 0000014e: DUP3 0000014f: ADD 00000150: MSTORE 00000151: PUSH1 0x84 00000153: ADD 00000154: PUSH2 0x00ee 00000157: JUMP 00000158: JUMPDEST 00000159: PUSH1 0x00 0000015b: DUP1 0000015c: SLOAD 0000015d: PUSH1 0x01 0000015f: PUSH1 0x01 00000161: PUSH1 0xa0 00000163: SHL 00000164: SUB 00000165: NOT 00000166: AND 00000167: PUSH1 0x01 00000169: PUSH1 0x01 0000016b: PUSH1 0xa0 0000016d: SHL 0000016e: SUB 0000016f: DUP5 00000170: AND 00000171: OR 00000172: DUP2 00000173: SSTORE 00000174: DUP2 00000175: MLOAD 00000176: DUP2 00000177: SWAP1 00000178: PUSH2 0x018a 0000017b: SWAP1 0000017c: PUSH1 0x20 0000017e: SWAP1 0000017f: DUP6 00000180: ADD 00000181: DUP2 00000182: ADD 00000183: SWAP1 00000184: DUP6 00000185: ADD 00000186: PUSH2 0x038f 00000189: JUMP 0000018a: JUMPDEST 0000018b: SWAP2 0000018c: POP 0000018d: SWAP2 0000018e: POP 0000018f: PUSH1 0x00 00000191: DUP1 00000192: DUP6 00000193: PUSH1 0x01 00000195: PUSH1 0x01 00000197: PUSH1 0xa0 00000199: SHL 0000019a: SUB 0000019b: AND 0000019c: DUP5 0000019d: DUP5 0000019e: PUSH1 0x40 000001a0: MLOAD 000001a1: PUSH1 0x24 000001a3: ADD 000001a4: PUSH2 0x01ae 000001a7: SWAP3 000001a8: SWAP2 000001a9: SWAP1 000001aa: PUSH2 0x0448 000001ad: JUMP 000001ae: JUMPDEST 000001af: PUSH1 0x40 000001b1: DUP1 000001b2: MLOAD 000001b3: PUSH1 0x1f 000001b5: NOT 000001b6: DUP2 000001b7: DUP5 000001b8: SUB 000001b9: ADD 000001ba: DUP2 000001bb: MSTORE 000001bc: SWAP2 000001bd: DUP2 000001be: MSTORE 000001bf: PUSH1 0x20 000001c1: DUP3 000001c2: ADD 000001c3: DUP1 000001c4: MLOAD 000001c5: PUSH1 0x01 000001c7: PUSH1 0x01 000001c9: PUSH1 0xe0 000001cb: SHL 000001cc: SUB 000001cd: AND 000001ce: PUSH4 0x347d5e25 000001d3: PUSH1 0xe2 000001d5: SHL 000001d6: OR 000001d7: SWAP1 000001d8: MSTORE 000001d9: MLOAD 000001da: PUSH2 0x01e3 000001dd: SWAP2 000001de: SWAP1 000001df: PUSH2 0x0474 000001e2: JUMP 000001e3: JUMPDEST 000001e4: PUSH1 0x00 000001e6: PUSH1 0x40 000001e8: MLOAD 000001e9: DUP1 000001ea: DUP4 000001eb: SUB 000001ec: DUP2 000001ed: DUP6 000001ee: GAS 000001ef: DELEGATECALL 000001f0: SWAP2 000001f1: POP 000001f2: POP 000001f3: RETURNDATASIZE 000001f4: DUP1 000001f5: PUSH1 0x00 000001f7: DUP2 000001f8: EQ 000001f9: PUSH2 0x021e 000001fc: JUMPI 000001fd: PUSH1 0x40 000001ff: MLOAD 00000200: SWAP2 00000201: POP 00000202: PUSH1 0x1f 00000204: NOT 00000205: PUSH1 0x3f 00000207: RETURNDATASIZE 00000208: ADD 00000209: AND 0000020a: DUP3 0000020b: ADD 0000020c: PUSH1 0x40 0000020e: MSTORE 0000020f: RETURNDATASIZE 00000210: DUP3 00000211: MSTORE 00000212: RETURNDATASIZE 00000213: PUSH1 0x00 00000215: PUSH1 0x20 00000217: DUP5 00000218: ADD 00000219: RETURNDATACOPY 0000021a: PUSH2 0x0223 0000021d: JUMP 0000021e: JUMPDEST 0000021f: PUSH1 0x60 00000221: SWAP2 00000222: POP 00000223: JUMPDEST 00000224: POP 00000225: SWAP2 00000226: POP 00000227: SWAP2 00000228: POP 00000229: DUP2 0000022a: DUP2 0000022b: SWAP1 0000022c: PUSH2 0x0248 0000022f: JUMPI 00000230: PUSH1 0x40 00000232: MLOAD 00000233: PUSH3 0x461bcd 00000237: PUSH1 0xe5 00000239: SHL 0000023a: DUP2 0000023b: MSTORE 0000023c: PUSH1 0x04 0000023e: ADD 0000023f: PUSH2 0x00ee 00000242: SWAP2 00000243: SWAP1 00000244: PUSH2 0x0490 00000247: JUMP 00000248: JUMPDEST 00000249: POP 0000024a: POP 0000024b: POP 0000024c: POP 0000024d: POP 0000024e: POP 0000024f: POP 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH1 0x01 00000254: PUSH1 0x01 00000256: PUSH1 0xa0 00000258: SHL 00000259: SUB 0000025a: DUP2 0000025b: AND 0000025c: DUP2 0000025d: EQ 0000025e: PUSH2 0x0266 00000261: JUMPI 00000262: PUSH1 0x00 00000264: DUP1 00000265: REVERT 00000266: JUMPDEST 00000267: POP 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH4 0x4e487b71 0000026f: PUSH1 0xe0 00000271: SHL 00000272: PUSH1 0x00 00000274: MSTORE 00000275: PUSH1 0x41 00000277: PUSH1 0x04 00000279: MSTORE 0000027a: PUSH1 0x24 0000027c: PUSH1 0x00 0000027e: REVERT 0000027f: JUMPDEST 00000280: PUSH1 0x40 00000282: MLOAD 00000283: PUSH1 0x1f 00000285: DUP3 00000286: ADD 00000287: PUSH1 0x1f 00000289: NOT 0000028a: AND 0000028b: DUP2 0000028c: ADD 0000028d: PUSH8 0xffffffffffffffff 00000296: DUP2 00000297: GT 00000298: DUP3 00000299: DUP3 0000029a: LT 0000029b: OR 0000029c: ISZERO 0000029d: PUSH2 0x02a8 000002a0: JUMPI 000002a1: PUSH2 0x02a8 000002a4: PUSH2 0x0269 000002a7: JUMP 000002a8: JUMPDEST 000002a9: PUSH1 0x40 000002ab: MSTORE 000002ac: SWAP2 000002ad: SWAP1 000002ae: POP 000002af: JUMP 000002b0: JUMPDEST 000002b1: PUSH1 0x00 000002b3: PUSH8 0xffffffffffffffff 000002bc: DUP3 000002bd: GT 000002be: ISZERO 000002bf: PUSH2 0x02ca 000002c2: JUMPI 000002c3: PUSH2 0x02ca 000002c6: PUSH2 0x0269 000002c9: JUMP 000002ca: JUMPDEST 000002cb: POP 000002cc: PUSH1 0x1f 000002ce: ADD 000002cf: PUSH1 0x1f 000002d1: NOT 000002d2: AND 000002d3: PUSH1 0x20 000002d5: ADD 000002d6: SWAP1 000002d7: JUMP 000002d8: JUMPDEST 000002d9: PUSH1 0x00 000002db: DUP1 000002dc: PUSH1 0x40 000002de: DUP4 000002df: DUP6 000002e0: SUB 000002e1: SLT 000002e2: ISZERO 000002e3: PUSH2 0x02eb 000002e6: JUMPI 000002e7: PUSH1 0x00 000002e9: DUP1 000002ea: REVERT 000002eb: JUMPDEST 000002ec: DUP3 000002ed: CALLDATALOAD 000002ee: PUSH2 0x02f6 000002f1: DUP2 000002f2: PUSH2 0x0251 000002f5: JUMP 000002f6: JUMPDEST 000002f7: SWAP2 000002f8: POP 000002f9: PUSH1 0x20 000002fb: DUP4 000002fc: ADD 000002fd: CALLDATALOAD 000002fe: PUSH8 0xffffffffffffffff 00000307: DUP2 00000308: GT 00000309: ISZERO 0000030a: PUSH2 0x0312 0000030d: JUMPI 0000030e: PUSH1 0x00 00000310: DUP1 00000311: REVERT 00000312: JUMPDEST 00000313: DUP4 00000314: ADD 00000315: PUSH1 0x1f 00000317: DUP2 00000318: ADD 00000319: DUP6 0000031a: SGT 0000031b: PUSH2 0x0323 0000031e: JUMPI 0000031f: PUSH1 0x00 00000321: DUP1 00000322: REVERT 00000323: JUMPDEST 00000324: DUP1 00000325: CALLDATALOAD 00000326: PUSH2 0x0336 00000329: PUSH2 0x0331 0000032c: DUP3 0000032d: PUSH2 0x02b0 00000330: JUMP 00000331: JUMPDEST 00000332: PUSH2 0x027f 00000335: JUMP 00000336: JUMPDEST 00000337: DUP2 00000338: DUP2 00000339: MSTORE 0000033a: DUP7 0000033b: PUSH1 0x20 0000033d: DUP4 0000033e: DUP6 0000033f: ADD 00000340: ADD 00000341: GT 00000342: ISZERO 00000343: PUSH2 0x034b 00000346: JUMPI 00000347: PUSH1 0x00 00000349: DUP1 0000034a: REVERT 0000034b: JUMPDEST 0000034c: DUP2 0000034d: PUSH1 0x20 0000034f: DUP5 00000350: ADD 00000351: PUSH1 0x20 00000353: DUP4 00000354: ADD 00000355: CALLDATACOPY 00000356: PUSH1 0x00 00000358: PUSH1 0x20 0000035a: DUP4 0000035b: DUP4 0000035c: ADD 0000035d: ADD 0000035e: MSTORE 0000035f: DUP1 00000360: SWAP4 00000361: POP 00000362: POP 00000363: POP 00000364: POP 00000365: SWAP3 00000366: POP 00000367: SWAP3 00000368: SWAP1 00000369: POP 0000036a: JUMP 0000036b: JUMPDEST 0000036c: PUSH1 0x00 0000036e: JUMPDEST 0000036f: DUP4 00000370: DUP2 00000371: LT 00000372: ISZERO 00000373: PUSH2 0x0386 00000376: JUMPI 00000377: DUP2 00000378: DUP2 00000379: ADD 0000037a: MLOAD 0000037b: DUP4 0000037c: DUP3 0000037d: ADD 0000037e: MSTORE 0000037f: PUSH1 0x20 00000381: ADD 00000382: PUSH2 0x036e 00000385: JUMP 00000386: JUMPDEST 00000387: POP 00000388: POP 00000389: PUSH1 0x00 0000038b: SWAP2 0000038c: ADD 0000038d: MSTORE 0000038e: JUMP 0000038f: JUMPDEST 00000390: PUSH1 0x00 00000392: DUP1 00000393: PUSH1 0x40 00000395: DUP4 00000396: DUP6 00000397: SUB 00000398: SLT 00000399: ISZERO 0000039a: PUSH2 0x03a2 0000039d: JUMPI 0000039e: PUSH1 0x00 000003a0: DUP1 000003a1: REVERT 000003a2: JUMPDEST 000003a3: DUP3 000003a4: MLOAD 000003a5: PUSH2 0x03ad 000003a8: DUP2 000003a9: PUSH2 0x0251 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH1 0x20 000003b0: DUP5 000003b1: ADD 000003b2: MLOAD 000003b3: SWAP1 000003b4: SWAP3 000003b5: POP 000003b6: PUSH8 0xffffffffffffffff 000003bf: DUP2 000003c0: GT 000003c1: ISZERO 000003c2: PUSH2 0x03ca 000003c5: JUMPI 000003c6: PUSH1 0x00 000003c8: DUP1 000003c9: REVERT 000003ca: JUMPDEST 000003cb: DUP4 000003cc: ADD 000003cd: PUSH1 0x1f 000003cf: DUP2 000003d0: ADD 000003d1: DUP6 000003d2: SGT 000003d3: PUSH2 0x03db 000003d6: JUMPI 000003d7: PUSH1 0x00 000003d9: DUP1 000003da: REVERT 000003db: JUMPDEST 000003dc: DUP1 000003dd: MLOAD 000003de: PUSH2 0x03e9 000003e1: PUSH2 0x0331 000003e4: DUP3 000003e5: PUSH2 0x02b0 000003e8: JUMP 000003e9: JUMPDEST 000003ea: DUP2 000003eb: DUP2 000003ec: MSTORE 000003ed: DUP7 000003ee: PUSH1 0x20 000003f0: DUP4 000003f1: DUP6 000003f2: ADD 000003f3: ADD 000003f4: GT 000003f5: ISZERO 000003f6: PUSH2 0x03fe 000003f9: JUMPI 000003fa: PUSH1 0x00 000003fc: DUP1 000003fd: REVERT 000003fe: JUMPDEST 000003ff: PUSH2 0x040f 00000402: DUP3 00000403: PUSH1 0x20 00000405: DUP4 00000406: ADD 00000407: PUSH1 0x20 00000409: DUP7 0000040a: ADD 0000040b: PUSH2 0x036b 0000040e: JUMP 0000040f: JUMPDEST 00000410: DUP1 00000411: SWAP4 00000412: POP 00000413: POP 00000414: POP 00000415: POP 00000416: SWAP3 00000417: POP 00000418: SWAP3 00000419: SWAP1 0000041a: POP 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH1 0x00 0000041f: DUP2 00000420: MLOAD 00000421: DUP1 00000422: DUP5 00000423: MSTORE 00000424: PUSH2 0x0434 00000427: DUP2 00000428: PUSH1 0x20 0000042a: DUP7 0000042b: ADD 0000042c: PUSH1 0x20 0000042e: DUP7 0000042f: ADD 00000430: PUSH2 0x036b 00000433: JUMP 00000434: JUMPDEST 00000435: PUSH1 0x1f 00000437: ADD 00000438: PUSH1 0x1f 0000043a: NOT 0000043b: AND 0000043c: SWAP3 0000043d: SWAP1 0000043e: SWAP3 0000043f: ADD 00000440: PUSH1 0x20 00000442: ADD 00000443: SWAP3 00000444: SWAP2 00000445: POP 00000446: POP 00000447: JUMP 00000448: JUMPDEST 00000449: PUSH1 0x01 0000044b: PUSH1 0x01 0000044d: PUSH1 0xa0 0000044f: SHL 00000450: SUB 00000451: DUP4 00000452: AND 00000453: DUP2 00000454: MSTORE 00000455: PUSH1 0x40 00000457: PUSH1 0x20 00000459: DUP3 0000045a: ADD 0000045b: DUP2 0000045c: SWAP1 0000045d: MSTORE 0000045e: PUSH1 0x00 00000460: SWAP1 00000461: PUSH2 0x046c 00000464: SWAP1 00000465: DUP4 00000466: ADD 00000467: DUP5 00000468: PUSH2 0x041c 0000046b: JUMP 0000046c: JUMPDEST 0000046d: SWAP5 0000046e: SWAP4 0000046f: POP 00000470: POP 00000471: POP 00000472: POP 00000473: JUMP 00000474: JUMPDEST 00000475: PUSH1 0x00 00000477: DUP3 00000478: MLOAD 00000479: PUSH2 0x0486 0000047c: DUP2 0000047d: DUP5 0000047e: PUSH1 0x20 00000480: DUP8 00000481: ADD 00000482: PUSH2 0x036b 00000485: JUMP 00000486: JUMPDEST 00000487: SWAP2 00000488: SWAP1 00000489: SWAP2 0000048a: ADD 0000048b: SWAP3 0000048c: SWAP2 0000048d: POP 0000048e: POP 0000048f: JUMP 00000490: JUMPDEST 00000491: PUSH1 0x20 00000493: DUP2 00000494: MSTORE 00000495: PUSH1 0x00 00000497: PUSH2 0x04a3 0000049a: PUSH1 0x20 0000049c: DUP4 0000049d: ADD 0000049e: DUP5 0000049f: PUSH2 0x041c 000004a2: JUMP 000004a3: JUMPDEST 000004a4: SWAP4 000004a5: SWAP3 000004a6: POP 000004a7: POP 000004a8: POP 000004a9: JUMP 000004aa: INVALID 000004ab: LOG2 000004ac: PUSH5 0x6970667358 000004b2: UNKNOWN(0x22) 000004b3: SLT 000004b4: KECCAK256 000004b5: UNKNOWN(0x2F) 000004b6: UNKNOWN(0x2C) 000004b7: PUSH7 0x1bb10389280f3f 000004bf: UNKNOWN(0xDA) 000004c0: DUP11 000004c1: DUP14 000004c2: ADDRESS 000004c3: CLZ 000004c4: UNKNOWN(0x0F) 000004c5: COINBASE 000004c6: UNKNOWN(0xEA) 000004c7: UNKNOWN(0xD5) 000004c8: UNKNOWN(0xED) 000004c9: PUSH29
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: 0x9259d99570a482a64e480b77a0a470f597908ebc383a6ee8c6c52de2bd4c0044
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 24,
"trace_id": "0x9259d99570a482a64e480b77a0a470f597908ebc383a6ee8c6c52de2bd4c0044",
"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": "0xa619486e",
"selector": "0xa619486e",
"calldata_variants": [
"0xa619486e",
"0xa619486e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1f57894",
"selector": "0xd1f57894",
"calldata_variants": [
"0xd1f57894",
"0xd1f578940000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 65,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 495,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|