019ba9a5-c826-71ee-b8ac-c542841a022f
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 |
|---|---|---|---|---|
| 37570 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37571 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37572 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37573 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37574 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37575 | detector.run | complete | 1 / 3 | 3 months ago |
| 37576 | validation.fork | complete | 1 / 3 | 3 months ago |
| 37705 | report.consolidate | failed | 6 / 6 | 3 months ago |
{
"status": "etherscan_only",
"etherscan_hint": {
"source": "etherscan",
"etherscan": {
"proxy_flag": true,
"implementation": "0xca1b6dc58c8fe92c4ced26a5e083a1ceeb728226"
}
},
"implementation": "0xca1b6dc58c8fe92c4ced26a5e083a1ceeb728226"
}
No slither job recorded yet.
Traceback (most recent call last):
File "/var/www/tripwire/worker/worker.py", line 196, in main
payload = dispatch_job(job_type, job_id, job_meta, run_data, config, laravel_client)
File "/var/www/tripwire/worker/worker.py", line 119, in dispatch_job
return report_consolidate.run(job_id, job_meta, run_data, config, log, laravel_client)
~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/var/www/tripwire/worker/jobs/report_consolidate.py", line 560, in run
raise RuntimeError("implementation_not_ready")
RuntimeError: implementation_not_ready
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x007f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x734c938f 00000019: GT 0000001a: PUSH2 0x004e 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x734c938f 00000024: EQ 00000025: PUSH2 0x0169 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xcab65f01 0000002f: EQ 00000030: PUSH2 0x01b7 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe9c4a3ac 0000003a: EQ 0000003b: PUSH2 0x01ed 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xeed88b8d 00000045: EQ 00000046: PUSH2 0x01f5 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x06fdde03 00000055: EQ 00000056: PUSH2 0x008b 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x150b7a02 00000060: EQ 00000061: PUSH2 0x00e0 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x5bfad5af 0000006b: EQ 0000006c: PUSH2 0x0124 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x5c975abb 00000076: EQ 00000077: PUSH2 0x0146 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: CALLDATASIZE 00000081: PUSH2 0x0086 00000084: JUMPI 00000085: STOP 00000086: JUMPDEST 00000087: PUSH1 0x00 00000089: DUP1 0000008a: REVERT 0000008b: JUMPDEST 0000008c: CALLVALUE 0000008d: DUP1 0000008e: ISZERO 0000008f: PUSH2 0x0097 00000092: JUMPI 00000093: PUSH1 0x00 00000095: DUP1 00000096: REVERT 00000097: JUMPDEST 00000098: POP 00000099: PUSH2 0x00ca 0000009c: PUSH1 0x40 0000009e: MLOAD 0000009f: DUP1 000000a0: PUSH1 0x40 000000a2: ADD 000000a3: PUSH1 0x40 000000a5: MSTORE 000000a6: DUP1 000000a7: PUSH1 0x13 000000a9: DUP2 000000aa: MSTORE 000000ab: PUSH1 0x20 000000ad: ADD 000000ae: PUSH19 0x2132b7322220a790283937ba37b1b7b6102b19 000000c2: PUSH1 0x69 000000c4: SHL 000000c5: DUP2 000000c6: MSTORE 000000c7: POP 000000c8: DUP2 000000c9: JUMP 000000ca: JUMPDEST 000000cb: PUSH1 0x40 000000cd: MLOAD 000000ce: PUSH2 0x00d7 000000d1: SWAP2 000000d2: SWAP1 000000d3: PUSH2 0x05ac 000000d6: JUMP 000000d7: JUMPDEST 000000d8: PUSH1 0x40 000000da: MLOAD 000000db: DUP1 000000dc: SWAP2 000000dd: SUB 000000de: SWAP1 000000df: RETURN 000000e0: JUMPDEST 000000e1: CALLVALUE 000000e2: DUP1 000000e3: ISZERO 000000e4: PUSH2 0x00ec 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: POP 000000ee: PUSH2 0x010b 000000f1: PUSH2 0x00fb 000000f4: CALLDATASIZE 000000f5: PUSH1 0x04 000000f7: PUSH2 0x060d 000000fa: JUMP 000000fb: JUMPDEST 000000fc: PUSH4 0x0a85bd01 00000101: PUSH1 0xe1 00000103: SHL 00000104: SWAP5 00000105: SWAP4 00000106: POP 00000107: POP 00000108: POP 00000109: POP 0000010a: JUMP 0000010b: JUMPDEST 0000010c: PUSH1 0x40 0000010e: MLOAD 0000010f: PUSH1 0x01 00000111: PUSH1 0x01 00000113: PUSH1 0xe0 00000115: SHL 00000116: SUB 00000117: NOT 00000118: SWAP1 00000119: SWAP2 0000011a: AND 0000011b: DUP2 0000011c: MSTORE 0000011d: PUSH1 0x20 0000011f: ADD 00000120: PUSH2 0x00d7 00000123: JUMP 00000124: JUMPDEST 00000125: CALLVALUE 00000126: DUP1 00000127: ISZERO 00000128: PUSH2 0x0130 0000012b: JUMPI 0000012c: PUSH1 0x00 0000012e: DUP1 0000012f: REVERT 00000130: JUMPDEST 00000131: POP 00000132: PUSH2 0x0144 00000135: PUSH2 0x013f 00000138: CALLDATASIZE 00000139: PUSH1 0x04 0000013b: PUSH2 0x06ed 0000013e: JUMP 0000013f: JUMPDEST 00000140: PUSH2 0x0215 00000143: JUMP 00000144: JUMPDEST 00000145: STOP 00000146: JUMPDEST 00000147: CALLVALUE 00000148: DUP1 00000149: ISZERO 0000014a: PUSH2 0x0152 0000014d: JUMPI 0000014e: PUSH1 0x00 00000150: DUP1 00000151: REVERT 00000152: JUMPDEST 00000153: POP 00000154: PUSH1 0x32 00000156: SLOAD 00000157: PUSH1 0xff 00000159: AND 0000015a: PUSH1 0x40 0000015c: MLOAD 0000015d: SWAP1 0000015e: ISZERO 0000015f: ISZERO 00000160: DUP2 00000161: MSTORE 00000162: PUSH1 0x20 00000164: ADD 00000165: PUSH2 0x00d7 00000168: JUMP 00000169: JUMPDEST 0000016a: CALLVALUE 0000016b: DUP1 0000016c: ISZERO 0000016d: PUSH2 0x0175 00000170: JUMPI 00000171: PUSH1 0x00 00000173: DUP1 00000174: REVERT 00000175: JUMPDEST 00000176: POP 00000177: PUSH2 0x019f 0000017a: PUSH2 0x0184 0000017d: CALLDATASIZE 0000017e: PUSH1 0x04 00000180: PUSH2 0x072e 00000183: JUMP 00000184: JUMPDEST 00000185: PUSH1 0x00 00000187: SWAP1 00000188: DUP2 00000189: MSTORE 0000018a: PUSH1 0x02 0000018c: PUSH1 0x20 0000018e: MSTORE 0000018f: PUSH1 0x40 00000191: SWAP1 00000192: KECCAK256 00000193: SLOAD 00000194: PUSH1 0x01 00000196: PUSH1 0x01 00000198: PUSH1 0xa0 0000019a: SHL 0000019b: SUB 0000019c: AND 0000019d: SWAP1 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH1 0x40 000001a2: MLOAD 000001a3: PUSH1 0x01 000001a5: PUSH1 0x01 000001a7: PUSH1 0xa0 000001a9: SHL 000001aa: SUB 000001ab: SWAP1 000001ac: SWAP2 000001ad: AND 000001ae: DUP2 000001af: MSTORE 000001b0: PUSH1 0x20 000001b2: ADD 000001b3: PUSH2 0x00d7 000001b6: JUMP 000001b7: JUMPDEST 000001b8: CALLVALUE 000001b9: DUP1 000001ba: ISZERO 000001bb: PUSH2 0x01c3 000001be: JUMPI 000001bf: PUSH1 0x00 000001c1: DUP1 000001c2: REVERT 000001c3: JUMPDEST 000001c4: POP 000001c5: PUSH2 0x019f 000001c8: PUSH2 0x01d2 000001cb: CALLDATASIZE 000001cc: PUSH1 0x04 000001ce: PUSH2 0x072e 000001d1: JUMP 000001d2: JUMPDEST 000001d3: PUSH1 0x00 000001d5: SWAP1 000001d6: DUP2 000001d7: MSTORE 000001d8: PUSH1 0x01 000001da: PUSH1 0x20 000001dc: MSTORE 000001dd: PUSH1 0x40 000001df: SWAP1 000001e0: KECCAK256 000001e1: SLOAD 000001e2: PUSH1 0x01 000001e4: PUSH1 0x01 000001e6: PUSH1 0xa0 000001e8: SHL 000001e9: SUB 000001ea: AND 000001eb: SWAP1 000001ec: JUMP 000001ed: JUMPDEST 000001ee: PUSH2 0x0144 000001f1: PUSH2 0x0288 000001f4: JUMP 000001f5: JUMPDEST 000001f6: CALLVALUE 000001f7: DUP1 000001f8: ISZERO 000001f9: PUSH2 0x0201 000001fc: JUMPI 000001fd: PUSH1 0x00 000001ff: DUP1 00000200: REVERT 00000201: JUMPDEST 00000202: POP 00000203: PUSH2 0x0144 00000206: PUSH2 0x0210 00000209: CALLDATASIZE 0000020a: PUSH1 0x04 0000020c: PUSH2 0x0747 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH2 0x0399 00000214: JUMP 00000215: JUMPDEST 00000216: PUSH2 0x021d 00000219: PUSH2 0x0450 0000021c: JUMP 0000021d: JUMPDEST 0000021e: PUSH1 0x40 00000220: MLOAD 00000221: PUSH4 0xeed88b8d 00000226: PUSH1 0xe0 00000228: SHL 00000229: DUP2 0000022a: MSTORE 0000022b: PUSH1 0x01 0000022d: PUSH1 0x01 0000022f: PUSH1 0xa0 00000231: SHL 00000232: SUB 00000233: DUP4 00000234: DUP2 00000235: AND 00000236: PUSH1 0x04 00000238: DUP4 00000239: ADD 0000023a: MSTORE 0000023b: PUSH1 0x24 0000023d: DUP3 0000023e: ADD 0000023f: DUP4 00000240: SWAP1 00000241: MSTORE 00000242: DUP5 00000243: SWAP2 00000244: SWAP1 00000245: DUP3 00000246: AND 00000247: SWAP1 00000248: PUSH4 0xeed88b8d 0000024d: SWAP1 0000024e: PUSH1 0x44 00000250: ADD 00000251: PUSH1 0x00 00000253: PUSH1 0x40 00000255: MLOAD 00000256: DUP1 00000257: DUP4 00000258: SUB 00000259: DUP2 0000025a: PUSH1 0x00 0000025c: DUP8 0000025d: DUP1 0000025e: EXTCODESIZE 0000025f: ISZERO 00000260: DUP1 00000261: ISZERO 00000262: PUSH2 0x026a 00000265: JUMPI 00000266: PUSH1 0x00 00000268: DUP1 00000269: REVERT 0000026a: JUMPDEST 0000026b: POP 0000026c: GAS 0000026d: CALL 0000026e: ISZERO 0000026f: DUP1 00000270: ISZERO 00000271: PUSH2 0x027e 00000274: JUMPI 00000275: RETURNDATASIZE 00000276: PUSH1 0x00 00000278: DUP1 00000279: RETURNDATACOPY 0000027a: RETURNDATASIZE 0000027b: PUSH1 0x00 0000027d: REVERT 0000027e: JUMPDEST 0000027f: POP 00000280: POP 00000281: POP 00000282: POP 00000283: POP 00000284: POP 00000285: POP 00000286: POP 00000287: JUMP 00000288: JUMPDEST 00000289: CALLER 0000028a: PUSH1 0x00 0000028c: SWAP1 0000028d: DUP2 0000028e: MSTORE 0000028f: PUSH1 0x03 00000291: PUSH1 0x20 00000293: SWAP1 00000294: DUP2 00000295: MSTORE 00000296: PUSH1 0x40 00000298: SWAP2 00000299: DUP3 0000029a: SWAP1 0000029b: KECCAK256 0000029c: SLOAD 0000029d: DUP3 0000029e: MLOAD 0000029f: DUP1 000002a0: DUP5 000002a1: ADD 000002a2: SWAP1 000002a3: SWAP4 000002a4: MSTORE 000002a5: PUSH1 0x02 000002a7: DUP4 000002a8: MSTORE 000002a9: PUSH2 0x1999 000002ac: PUSH1 0xf1 000002ae: SHL 000002af: SWAP2 000002b0: DUP4 000002b1: ADD 000002b2: SWAP2 000002b3: SWAP1 000002b4: SWAP2 000002b5: MSTORE 000002b6: PUSH4 0xffffffff 000002bb: DUP2 000002bc: AND 000002bd: SWAP2 000002be: PUSH5 0x0100000000 000002c4: SWAP1 000002c5: SWAP2 000002c6: DIV 000002c7: PUSH1 0x01 000002c9: PUSH1 0x01 000002cb: PUSH1 0xa0 000002cd: SHL 000002ce: SUB 000002cf: AND 000002d0: SWAP1 000002d1: DUP3 000002d2: PUSH2 0x02f7 000002d5: JUMPI 000002d6: PUSH1 0x40 000002d8: MLOAD 000002d9: PUSH3 0x461bcd 000002dd: PUSH1 0xe5 000002df: SHL 000002e0: DUP2 000002e1: MSTORE 000002e2: PUSH1 0x04 000002e4: ADD 000002e5: PUSH2 0x02ee 000002e8: SWAP2 000002e9: SWAP1 000002ea: PUSH2 0x05ac 000002ed: JUMP 000002ee: JUMPDEST 000002ef: PUSH1 0x40 000002f1: MLOAD 000002f2: DUP1 000002f3: SWAP2 000002f4: SUB 000002f5: SWAP1 000002f6: REVERT 000002f7: JUMPDEST 000002f8: POP 000002f9: PUSH1 0x01 000002fb: PUSH1 0x01 000002fd: PUSH1 0xa0 000002ff: SHL 00000300: SUB 00000301: DUP2 00000302: AND 00000303: PUSH2 0x0327 00000306: JUMPI 00000307: POP 00000308: PUSH4 0xffffffff 0000030d: DUP2 0000030e: AND 0000030f: PUSH1 0x00 00000311: SWAP1 00000312: DUP2 00000313: MSTORE 00000314: PUSH1 0x01 00000316: PUSH1 0x20 00000318: MSTORE 00000319: PUSH1 0x40 0000031b: SWAP1 0000031c: KECCAK256 0000031d: SLOAD 0000031e: PUSH1 0x01 00000320: PUSH1 0x01 00000322: PUSH1 0xa0 00000324: SHL 00000325: SUB 00000326: AND 00000327: JUMPDEST 00000328: PUSH1 0x40 0000032a: DUP1 0000032b: MLOAD 0000032c: DUP1 0000032d: DUP3 0000032e: ADD 0000032f: SWAP1 00000330: SWAP2 00000331: MSTORE 00000332: PUSH1 0x02 00000334: DUP2 00000335: MSTORE 00000336: PUSH2 0x3333 00000339: PUSH1 0xf0 0000033b: SHL 0000033c: PUSH1 0x20 0000033e: DUP3 0000033f: ADD 00000340: MSTORE 00000341: CALLDATASIZE 00000342: SWAP1 00000343: PUSH1 0x1c 00000345: DUP3 00000346: LT 00000347: ISZERO 00000348: PUSH2 0x0364 0000034b: JUMPI 0000034c: PUSH1 0x40 0000034e: MLOAD 0000034f: PUSH3 0x461bcd 00000353: PUSH1 0xe5 00000355: SHL 00000356: DUP2 00000357: MSTORE 00000358: PUSH1 0x04 0000035a: ADD 0000035b: PUSH2 0x02ee 0000035e: SWAP2 0000035f: SWAP1 00000360: PUSH2 0x05ac 00000363: JUMP 00000364: JUMPDEST 00000365: POP 00000366: PUSH1 0x04 00000368: CALLDATASIZE 00000369: SUB 0000036a: DUP1 0000036b: PUSH1 0x04 0000036d: PUSH1 0x00 0000036f: CALLDATACOPY 00000370: CALLER 00000371: PUSH1 0x60 00000373: SHL 00000374: DUP2 00000375: MSTORE 00000376: PUSH1 0x00 00000378: DUP1 00000379: PUSH1 0x14 0000037b: DUP4 0000037c: ADD 0000037d: PUSH1 0x00 0000037f: DUP7 00000380: GAS 00000381: DELEGATECALL 00000382: SWAP1 00000383: POP 00000384: RETURNDATASIZE 00000385: PUSH1 0x00 00000387: DUP1 00000388: RETURNDATACOPY 00000389: DUP1 0000038a: DUP1 0000038b: ISZERO 0000038c: PUSH2 0x0394 0000038f: JUMPI 00000390: RETURNDATASIZE 00000391: PUSH1 0x00 00000393: RETURN 00000394: JUMPDEST 00000395: RETURNDATASIZE 00000396: PUSH1 0x00 00000398: REVERT 00000399: JUMPDEST 0000039a: PUSH2 0x03a1 0000039d: PUSH2 0x0450 000003a0: JUMP 000003a1: JUMPDEST 000003a2: PUSH1 0x40 000003a4: DUP1 000003a5: MLOAD 000003a6: PUSH1 0x00 000003a8: DUP1 000003a9: DUP3 000003aa: MSTORE 000003ab: PUSH1 0x20 000003ad: DUP3 000003ae: ADD 000003af: SWAP1 000003b0: SWAP3 000003b1: MSTORE 000003b2: PUSH1 0x01 000003b4: PUSH1 0x01 000003b6: PUSH1 0xa0 000003b8: SHL 000003b9: SUB 000003ba: DUP5 000003bb: AND 000003bc: SWAP1 000003bd: DUP4 000003be: SWAP1 000003bf: PUSH1 0x40 000003c1: MLOAD 000003c2: PUSH2 0x03cb 000003c5: SWAP2 000003c6: SWAP1 000003c7: PUSH2 0x0773 000003ca: JUMP 000003cb: JUMPDEST 000003cc: PUSH1 0x00 000003ce: PUSH1 0x40 000003d0: MLOAD 000003d1: DUP1 000003d2: DUP4 000003d3: SUB 000003d4: DUP2 000003d5: DUP6 000003d6: DUP8 000003d7: GAS 000003d8: CALL 000003d9: SWAP3 000003da: POP 000003db: POP 000003dc: POP 000003dd: RETURNDATASIZE 000003de: DUP1 000003df: PUSH1 0x00 000003e1: DUP2 000003e2: EQ 000003e3: PUSH2 0x0408 000003e6: JUMPI 000003e7: PUSH1 0x40 000003e9: MLOAD 000003ea: SWAP2 000003eb: POP 000003ec: PUSH1 0x1f 000003ee: NOT 000003ef: PUSH1 0x3f 000003f1: RETURNDATASIZE 000003f2: ADD 000003f3: AND 000003f4: DUP3 000003f5: ADD 000003f6: PUSH1 0x40 000003f8: MSTORE 000003f9: RETURNDATASIZE 000003fa: DUP3 000003fb: MSTORE 000003fc: RETURNDATASIZE 000003fd: PUSH1 0x00 000003ff: PUSH1 0x20 00000401: DUP5 00000402: ADD 00000403: RETURNDATACOPY 00000404: PUSH2 0x040d 00000407: JUMP 00000408: JUMPDEST 00000409: PUSH1 0x60 0000040b: SWAP2 0000040c: POP 0000040d: JUMPDEST 0000040e: POP 0000040f: POP 00000410: SWAP1 00000411: POP 00000412: DUP1 00000413: PUSH1 0x40 00000415: MLOAD 00000416: DUP1 00000417: PUSH1 0x40 00000419: ADD 0000041a: PUSH1 0x40 0000041c: MSTORE 0000041d: DUP1 0000041e: PUSH1 0x01 00000420: DUP2 00000421: MSTORE 00000422: PUSH1 0x20 00000424: ADD 00000425: PUSH1 0x19 00000427: PUSH1 0xf9 00000429: SHL 0000042a: DUP2 0000042b: MSTORE 0000042c: POP 0000042d: SWAP1 0000042e: PUSH2 0x044a 00000431: JUMPI 00000432: PUSH1 0x40 00000434: MLOAD 00000435: PUSH3 0x461bcd 00000439: PUSH1 0xe5 0000043b: SHL 0000043c: DUP2 0000043d: MSTORE 0000043e: PUSH1 0x04 00000440: ADD 00000441: PUSH2 0x02ee 00000444: SWAP2 00000445: SWAP1 00000446: PUSH2 0x05ac 00000449: JUMP 0000044a: JUMPDEST 0000044b: POP 0000044c: POP 0000044d: POP 0000044e: POP 0000044f: JUMP 00000450: JUMPDEST 00000451: PUSH32 0xce044ef5c897ad3fe9fcce02f9f2b7dc69de8685dee403b46b4b685baa720200 00000472: DUP1 00000473: SLOAD 00000474: PUSH1 0x40 00000476: DUP1 00000477: MLOAD 00000478: PUSH4 0x383e6b8b 0000047d: PUSH1 0xe1 0000047f: SHL 00000480: DUP2 00000481: MSTORE 00000482: SWAP1 00000483: MLOAD 00000484: PUSH1 0x00 00000486: SWAP3 00000487: PUSH1 0x01 00000489: PUSH1 0x01 0000048b: PUSH1 0xa0 0000048d: SHL 0000048e: SUB 0000048f: AND 00000490: SWAP2 00000491: PUSH4 0x707cd716 00000496: SWAP2 00000497: PUSH1 0x04 00000499: DUP1 0000049a: DUP4 0000049b: ADD 0000049c: SWAP3 0000049d: PUSH1 0x20 0000049f: SWAP3 000004a0: SWAP2 000004a1: SWAP1 000004a2: DUP3 000004a3: SWAP1 000004a4: SUB 000004a5: ADD 000004a6: DUP2 000004a7: DUP7 000004a8: GAS 000004a9: STATICCALL 000004aa: ISZERO 000004ab: DUP1 000004ac: ISZERO 000004ad: PUSH2 0x04ba 000004b0: JUMPI 000004b1: RETURNDATASIZE 000004b2: PUSH1 0x00 000004b4: DUP1 000004b5: RETURNDATACOPY 000004b6: RETURNDATASIZE 000004b7: PUSH1 0x00 000004b9: REVERT 000004ba: JUMPDEST 000004bb: POP 000004bc: POP 000004bd: POP 000004be: POP 000004bf: PUSH1 0x40 000004c1: MLOAD 000004c2: RETURNDATASIZE 000004c3: PUSH1 0x1f 000004c5: NOT 000004c6: PUSH1 0x1f 000004c8: DUP3 000004c9: ADD 000004ca: AND 000004cb: DUP3 000004cc: ADD 000004cd: DUP1 000004ce: PUSH1 0x40 000004d0: MSTORE 000004d1: POP 000004d2: DUP2 000004d3: ADD 000004d4: SWAP1 000004d5: PUSH2 0x04de 000004d8: SWAP2 000004d9: SWAP1 000004da: PUSH2 0x078f 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH1 0x40 000004e1: MLOAD 000004e2: PUSH4 0x7be53ca1 000004e7: PUSH1 0xe0 000004e9: SHL 000004ea: DUP2 000004eb: MSTORE 000004ec: CALLER 000004ed: PUSH1 0x04 000004ef: DUP3 000004f0: ADD 000004f1: MSTORE 000004f2: SWAP1 000004f3: SWAP2 000004f4: POP 000004f5: PUSH1 0x01 000004f7: PUSH1 0x01 000004f9: PUSH1 0xa0 000004fb: SHL 000004fc: SUB 000004fd: DUP3 000004fe: AND 000004ff: SWAP1 00000500: PUSH4 0x7be53ca1 00000505: SWAP1 00000506: PUSH1 0x24 00000508: ADD 00000509: PUSH1 0x20 0000050b: PUSH1 0x40 0000050d: MLOAD 0000050e: DUP1 0000050f: DUP4 00000510: SUB 00000511: DUP2 00000512: DUP7 00000513: GAS 00000514: STATICCALL 00000515: ISZERO 00000516: DUP1 00000517: ISZERO 00000518: PUSH2 0x0525 0000051b: JUMPI 0000051c: RETURNDATASIZE 0000051d: PUSH1 0x00 0000051f: DUP1 00000520: RETURNDATACOPY 00000521: RETURNDATASIZE 00000522: PUSH1 0x00 00000524: REVERT 00000525: JUMPDEST 00000526: POP 00000527: POP 00000528: POP 00000529: POP 0000052a: PUSH1 0x40 0000052c: MLOAD 0000052d: RETURNDATASIZE 0000052e: PUSH1 0x1f 00000530: NOT 00000531: PUSH1 0x1f 00000533: DUP3 00000534: ADD 00000535: AND 00000536: DUP3 00000537: ADD 00000538: DUP1 00000539: PUSH1 0x40 0000053b: MSTORE 0000053c: POP 0000053d: DUP2 0000053e: ADD 0000053f: SWAP1 00000540: PUSH2 0x0549 00000543: SWAP2 00000544: SWAP1 00000545: PUSH2 0x07b3 00000548: JUMP 00000549: JUMPDEST 0000054a: PUSH1 0x40 0000054c: MLOAD 0000054d: DUP1 0000054e: PUSH1 0x40 00000550: ADD 00000551: PUSH1 0x40 00000553: MSTORE 00000554: DUP1 00000555: PUSH1 0x03 00000557: DUP2 00000558: MSTORE 00000559: PUSH1 0x20 0000055b: ADD 0000055c: PUSH3 0x323033 00000560: PUSH1 0xe8 00000562: SHL 00000563: DUP2 00000564: MSTORE 00000565: POP 00000566: SWAP1 00000567: PUSH2 0x0583 0000056a: JUMPI 0000056b: PUSH1 0x40 0000056d: MLOAD 0000056e: PUSH3 0x461bcd 00000572: PUSH1 0xe5 00000574: SHL 00000575: DUP2 00000576: MSTORE 00000577: PUSH1 0x04 00000579: ADD 0000057a: PUSH2 0x02ee 0000057d: SWAP2 0000057e: SWAP1 0000057f: PUSH2 0x05ac 00000582: JUMP 00000583: JUMPDEST 00000584: POP 00000585: POP 00000586: POP 00000587: JUMP 00000588: JUMPDEST 00000589: PUSH1 0x00 0000058b: JUMPDEST 0000058c: DUP4 0000058d: DUP2 0000058e: LT 0000058f: ISZERO 00000590: PUSH2 0x05a3 00000593: JUMPI 00000594: DUP2 00000595: DUP2 00000596: ADD 00000597: MLOAD 00000598: DUP4 00000599: DUP3 0000059a: ADD 0000059b: MSTORE 0000059c: PUSH1 0x20 0000059e: ADD 0000059f: PUSH2 0x058b 000005a2: JUMP 000005a3: JUMPDEST 000005a4: POP 000005a5: POP 000005a6: PUSH1 0x00 000005a8: SWAP2 000005a9: ADD 000005aa: MSTORE 000005ab: JUMP 000005ac: JUMPDEST 000005ad: PUSH1 0x20 000005af: DUP2 000005b0: MSTORE 000005b1: PUSH1 0x00 000005b3: DUP3 000005b4: MLOAD 000005b5: DUP1 000005b6: PUSH1 0x20 000005b8: DUP5 000005b9: ADD 000005ba: MSTORE 000005bb: PUSH2 0x05cb 000005be: DUP2 000005bf: PUSH1 0x40 000005c1: DUP6 000005c2: ADD 000005c3: PUSH1 0x20 000005c5: DUP8 000005c6: ADD 000005c7: PUSH2 0x0588 000005ca: JUMP 000005cb: JUMPDEST 000005cc: PUSH1 0x1f 000005ce: ADD 000005cf: PUSH1 0x1f 000005d1: NOT 000005d2: AND 000005d3: SWAP2 000005d4: SWAP1 000005d5: SWAP2 000005d6: ADD 000005d7: PUSH1 0x40 000005d9: ADD 000005da: SWAP3 000005db: SWAP2 000005dc: POP 000005dd: POP 000005de: JUMP 000005df: JUMPDEST 000005e0: PUSH1 0x01 000005e2: PUSH1 0x01 000005e4: PUSH1 0xa0 000005e6: SHL 000005e7: SUB 000005e8: DUP2 000005e9: AND 000005ea: DUP2 000005eb: EQ 000005ec: PUSH2 0x05f4 000005ef: JUMPI 000005f0: PUSH1 0x00 000005f2: DUP1 000005f3: REVERT 000005f4: JUMPDEST 000005f5: POP 000005f6: JUMP 000005f7: JUMPDEST 000005f8: PUSH4 0x4e487b71 000005fd: PUSH1 0xe0 000005ff: SHL 00000600: PUSH1 0x00 00000602: MSTORE 00000603: PUSH1 0x41 00000605: PUSH1 0x04 00000607: MSTORE 00000608: PUSH1 0x24 0000060a: PUSH1 0x00 0000060c: REVERT 0000060d: JUMPDEST 0000060e: PUSH1 0x00 00000610: DUP1 00000611: PUSH1 0x00 00000613: DUP1 00000614: PUSH1 0x80 00000616: DUP6 00000617: DUP8 00000618: SUB 00000619: SLT 0000061a: ISZERO 0000061b: PUSH2 0x0623 0000061e: JUMPI 0000061f: PUSH1 0x00 00000621: DUP1 00000622: REVERT 00000623: JUMPDEST 00000624: DUP5 00000625: CALLDATALOAD 00000626: PUSH2 0x062e 00000629: DUP2 0000062a: PUSH2 0x05df 0000062d: JUMP 0000062e: JUMPDEST 0000062f: SWAP4 00000630: POP 00000631: PUSH1 0x20 00000633: DUP6 00000634: ADD 00000635: CALLDATALOAD 00000636: PUSH2 0x063e 00000639: DUP2 0000063a: PUSH2 0x05df 0000063d: JUMP 0000063e: JUMPDEST 0000063f: SWAP3 00000640: POP 00000641: PUSH1 0x40 00000643: DUP6 00000644: ADD 00000645: CALLDATALOAD 00000646: SWAP2 00000647: POP 00000648: PUSH1 0x60 0000064a: DUP6 0000064b: ADD 0000064c: CALLDATALOAD 0000064d: PUSH8 0xffffffffffffffff 00000656: DUP1 00000657: DUP3 00000658: GT 00000659: ISZERO 0000065a: PUSH2 0x0662 0000065d: JUMPI 0000065e: PUSH1 0x00 00000660: DUP1 00000661: REVERT 00000662: JUMPDEST 00000663: DUP2 00000664: DUP8 00000665: ADD 00000666: SWAP2 00000667: POP 00000668: DUP8 00000669: PUSH1 0x1f 0000066b: DUP4 0000066c: ADD 0000066d: SLT 0000066e: PUSH2 0x0676 00000671: JUMPI 00000672: PUSH1 0x00 00000674: DUP1 00000675: REVERT 00000676: JUMPDEST 00000677: DUP2 00000678: CALLDATALOAD 00000679: DUP2 0000067a: DUP2 0000067b: GT 0000067c: ISZERO 0000067d: PUSH2 0x0688 00000680: JUMPI 00000681: PUSH2 0x0688 00000684: PUSH2 0x05f7 00000687: JUMP 00000688: JUMPDEST 00000689: PUSH1 0x40 0000068b: MLOAD 0000068c: PUSH1 0x1f 0000068e: DUP3 0000068f: ADD 00000690: PUSH1 0x1f 00000692: NOT 00000693: SWAP1 00000694: DUP2 00000695: AND 00000696: PUSH1 0x3f 00000698: ADD 00000699: AND 0000069a: DUP2 0000069b: ADD 0000069c: SWAP1 0000069d: DUP4 0000069e: DUP3 0000069f: GT 000006a0: DUP2 000006a1: DUP4 000006a2: LT 000006a3: OR 000006a4: ISZERO 000006a5: PUSH2 0x06b0 000006a8: JUMPI 000006a9: PUSH2 0x06b0 000006ac: PUSH2 0x05f7 000006af: JUMP 000006b0: JUMPDEST 000006b1: DUP2 000006b2: PUSH1 0x40 000006b4: MSTORE 000006b5: DUP3 000006b6: DUP2 000006b7: MSTORE 000006b8: DUP11 000006b9: PUSH1 0x20 000006bb: DUP5 000006bc: DUP8 000006bd: ADD 000006be: ADD 000006bf: GT 000006c0: ISZERO 000006c1: PUSH2 0x06c9 000006c4: JUMPI 000006c5: PUSH1 0x00 000006c7: DUP1 000006c8: REVERT 000006c9: JUMPDEST 000006ca: DUP3 000006cb: PUSH1 0x20 000006cd: DUP7 000006ce: ADD 000006cf: PUSH1 0x20 000006d1: DUP4 000006d2: ADD 000006d3: CALLDATACOPY 000006d4: PUSH1 0x00 000006d6: PUSH1 0x20 000006d8: DUP5 000006d9: DUP4 000006da: ADD 000006db: ADD 000006dc: MSTORE 000006dd: DUP1 000006de: SWAP6 000006df: POP 000006e0: POP 000006e1: POP 000006e2: POP 000006e3: POP 000006e4: POP 000006e5: SWAP3 000006e6: SWAP6 000006e7: SWAP2 000006e8: SWAP5 000006e9: POP 000006ea: SWAP3 000006eb: POP 000006ec: JUMP 000006ed: JUMPDEST 000006ee: PUSH1 0x00 000006f0: DUP1 000006f1: PUSH1 0x00 000006f3: PUSH1 0x60 000006f5: DUP5 000006f6: DUP7 000006f7: SUB 000006f8: SLT 000006f9: ISZERO 000006fa: PUSH2 0x0702 000006fd: JUMPI 000006fe: PUSH1 0x00 00000700: DUP1 00000701: REVERT 00000702: JUMPDEST 00000703: DUP4 00000704: CALLDATALOAD 00000705: PUSH2 0x070d 00000708: DUP2 00000709: PUSH2 0x05df 0000070c: JUMP 0000070d: JUMPDEST 0000070e: SWAP3 0000070f: POP 00000710: PUSH1 0x20 00000712: DUP5 00000713: ADD 00000714: CALLDATALOAD 00000715: PUSH2 0x071d 00000718: DUP2 00000719: PUSH2 0x05df 0000071c: JUMP 0000071d: JUMPDEST 0000071e: SWAP3 0000071f: SWAP6 00000720: SWAP3 00000721: SWAP5 00000722: POP 00000723: POP 00000724: POP 00000725: PUSH1 0x40 00000727: SWAP2 00000728: SWAP1 00000729: SWAP2 0000072a: ADD 0000072b: CALLDATALOAD 0000072c: SWAP1 0000072d: JUMP 0000072e: JUMPDEST 0000072f: PUSH1 0x00 00000731: PUSH1 0x20 00000733: DUP3 00000734: DUP5 00000735: SUB 00000736: SLT 00000737: ISZERO 00000738: PUSH2 0x0740 0000073b: JUMPI 0000073c: PUSH1 0x00 0000073e: DUP1 0000073f: REVERT 00000740: JUMPDEST 00000741: POP 00000742: CALLDATALOAD 00000743: SWAP2 00000744: SWAP1 00000745: POP 00000746: JUMP 00000747: JUMPDEST 00000748: PUSH1 0x00 0000074a: DUP1 0000074b: PUSH1 0x40 0000074d: DUP4 0000074e: DUP6 0000074f: SUB 00000750: SLT 00000751: ISZERO 00000752: PUSH2 0x075a 00000755: JUMPI 00000756: PUSH1 0x00 00000758: DUP1 00000759: REVERT 0000075a: JUMPDEST 0000075b: DUP3 0000075c: CALLDATALOAD 0000075d: PUSH2 0x0765 00000760: DUP2 00000761: PUSH2 0x05df 00000764: JUMP 00000765: JUMPDEST 00000766: SWAP5 00000767: PUSH1 0x20 00000769: SWAP4 0000076a: SWAP1 0000076b: SWAP4 0000076c: ADD 0000076d: CALLDATALOAD 0000076e: SWAP4 0000076f: POP 00000770: POP 00000771: POP 00000772: JUMP 00000773: JUMPDEST 00000774: PUSH1 0x00 00000776: DUP3 00000777: MLOAD 00000778: PUSH2 0x0785 0000077b: DUP2 0000077c: DUP5 0000077d: PUSH1 0x20 0000077f: DUP8 00000780: ADD 00000781: PUSH2 0x0588 00000784: JUMP 00000785: JUMPDEST 00000786: SWAP2 00000787: SWAP1 00000788: SWAP2 00000789: ADD 0000078a: SWAP3 0000078b: SWAP2 0000078c: POP 0000078d: POP 0000078e: JUMP 0000078f: JUMPDEST 00000790: PUSH1 0x00 00000792: PUSH1 0x20 00000794: DUP3 00000795: DUP5 00000796: SUB 00000797: SLT 00000798: ISZERO 00000799: PUSH2 0x07a1 0000079c: JUMPI 0000079d: PUSH1 0x00 0000079f: DUP1 000007a0: REVERT 000007a1: JUMPDEST 000007a2: DUP2 000007a3: MLOAD 000007a4: PUSH2 0x07ac 000007a7: DUP2 000007a8: PUSH2 0x05df 000007ab: JUMP 000007ac: JUMPDEST 000007ad: SWAP4 000007ae: SWAP3 000007af: POP 000007b0: POP 000007b1: POP 000007b2: JUMP 000007b3: JUMPDEST 000007b4: PUSH1 0x00 000007b6: PUSH1 0x20 000007b8: DUP3 000007b9: DUP5 000007ba: SUB 000007bb: SLT 000007bc: ISZERO 000007bd: PUSH2 0x07c5 000007c0: JUMPI 000007c1: PUSH1 0x00 000007c3: DUP1 000007c4: REVERT 000007c5: JUMPDEST 000007c6: DUP2 000007c7: MLOAD 000007c8: DUP1 000007c9: ISZERO 000007ca: ISZERO 000007cb: DUP2 000007cc: EQ 000007cd: PUSH2 0x07ac 000007d0: JUMPI 000007d1: PUSH1 0x00 000007d3: DUP1 000007d4: REVERT 000007d5: INVALID 000007d6: LOG2 000007d7: PUSH5 0x6970667358 000007dd: UNKNOWN(0x22) 000007de: SLT 000007df: KECCAK256 000007e0: UNKNOWN(0x26) 000007e1: PUSH27 0x087dacb3ad5758daff8be59841bf10a8048066a5421215cbee8eea 000007fd: RETURNDATASIZE 000007fe: UNKNOWN(0x23) 000007ff: POP 00000800: PUSH5 0x736f6c6343 00000806: STOP 00000807: ADDMOD 00000808: NOT 00000809: STOP 0000080a: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | yes | yes |
viewtrace_id: 0x2abc97b11d6f18e2521ae7d2c3e9701aa8bf420556fb7bb0080e2261637ed808
call_targets:
0x69ef2d395c6bd4566dbb0e5431847b98b391193a, 0xef26962dc80a0217f7740c44182ecc03169e09e2
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "confirmed",
"attempts": 39,
"trace_id": "0x2abc97b11d6f18e2521ae7d2c3e9701aa8bf420556fb7bb0080e2261637ed808",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x69ef2d395c6bd4566dbb0e5431847b98b391193a",
"0xef26962dc80a0217f7740c44182ecc03169e09e2"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x734c938f",
"selector": "0x734c938f",
"calldata_variants": [
"0x734c938f",
"0x734c938f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcab65f01",
"selector": "0xcab65f01",
"calldata_variants": [
"0xcab65f01",
"0xcab65f010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9c4a3ac",
"selector": "0xe9c4a3ac",
"calldata_variants": [
"0xe9c4a3ac",
"0xe9c4a3ac0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeed88b8d",
"selector": "0xeed88b8d",
"calldata_variants": [
"0xeed88b8d",
"0xeed88b8d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x150b7a02",
"selector": "0x150b7a02",
"calldata_variants": [
"0x150b7a02",
"0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5bfad5af",
"selector": "0x5bfad5af",
"calldata_variants": [
"0x5bfad5af",
"0x5bfad5af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 897,
"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: 0x4d16c86960a0a9347cadafad0f06cf7f8ae0805815cead2e928e81cb4982a5f2
call_targets:
0x0b870d974fb968b2e06798abbd2563c80933d148
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4d16c86960a0a9347cadafad0f06cf7f8ae0805815cead2e928e81cb4982a5f2",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0b870d974fb968b2e06798abbd2563c80933d148"
],
"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": "0x734c938f",
"selector": "0x734c938f",
"calldata_variants": [
"0x734c938f",
"0x734c938f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcab65f01",
"selector": "0xcab65f01",
"calldata_variants": [
"0xcab65f01",
"0xcab65f010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9c4a3ac",
"selector": "0xe9c4a3ac",
"calldata_variants": [
"0xe9c4a3ac",
"0xe9c4a3ac0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeed88b8d",
"selector": "0xeed88b8d",
"calldata_variants": [
"0xeed88b8d",
"0xeed88b8d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x150b7a02",
"selector": "0x150b7a02",
"calldata_variants": [
"0x150b7a02",
"0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5bfad5af",
"selector": "0x5bfad5af",
"calldata_variants": [
"0x5bfad5af",
"0x5bfad5af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 621,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 984,
"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: 0x4d16c86960a0a9347cadafad0f06cf7f8ae0805815cead2e928e81cb4982a5f2
call_targets:
0x0b870d974fb968b2e06798abbd2563c80933d148
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4d16c86960a0a9347cadafad0f06cf7f8ae0805815cead2e928e81cb4982a5f2",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0b870d974fb968b2e06798abbd2563c80933d148"
],
"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": "0x734c938f",
"selector": "0x734c938f",
"calldata_variants": [
"0x734c938f",
"0x734c938f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcab65f01",
"selector": "0xcab65f01",
"calldata_variants": [
"0xcab65f01",
"0xcab65f010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9c4a3ac",
"selector": "0xe9c4a3ac",
"calldata_variants": [
"0xe9c4a3ac",
"0xe9c4a3ac0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeed88b8d",
"selector": "0xeed88b8d",
"calldata_variants": [
"0xeed88b8d",
"0xeed88b8d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x150b7a02",
"selector": "0x150b7a02",
"calldata_variants": [
"0x150b7a02",
"0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5bfad5af",
"selector": "0x5bfad5af",
"calldata_variants": [
"0x5bfad5af",
"0x5bfad5af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 621,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 984,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|