019b477e-d7a1-7128-b150-565868cb0bf1
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 |
|---|---|---|---|---|
| 28927 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28928 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 72256 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 72257 | capability.graph | complete | 1 / 3 | 1 week ago |
| 72258 | detector.run | complete | 1 / 3 | 1 week ago |
| 72259 | 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 0x00ab 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xa86b06e5 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa86b06e5 00000024: EQ 00000025: PUSH2 0x01a9 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbd1e6382 0000002f: EQ 00000030: PUSH2 0x01c9 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc415b95c 0000003a: EQ 0000003b: PUSH2 0x01e9 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd54e65fb 00000045: EQ 00000046: PUSH2 0x01fe 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xdf2ab5bb 00000050: EQ 00000051: PUSH2 0x0213 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf0f44260 0000005b: EQ 0000005c: PUSH2 0x0233 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x02fb1eec 0000006b: EQ 0000006c: PUSH2 0x00b7 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x06394c9b 00000076: EQ 00000077: PUSH2 0x00ee 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x4018e9f6 00000081: EQ 00000082: PUSH2 0x0110 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x570ca735 0000008c: EQ 0000008d: PUSH2 0x0131 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x580094b7 00000097: EQ 00000098: PUSH2 0x0169 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x61d027b3 000000a2: EQ 000000a3: PUSH2 0x0189 000000a6: JUMPI 000000a7: PUSH1 0x00 000000a9: DUP1 000000aa: REVERT 000000ab: JUMPDEST 000000ac: CALLDATASIZE 000000ad: PUSH2 0x00b2 000000b0: JUMPI 000000b1: STOP 000000b2: JUMPDEST 000000b3: PUSH1 0x00 000000b5: DUP1 000000b6: REVERT 000000b7: JUMPDEST 000000b8: CALLVALUE 000000b9: DUP1 000000ba: ISZERO 000000bb: PUSH2 0x00c3 000000be: JUMPI 000000bf: PUSH1 0x00 000000c1: DUP1 000000c2: REVERT 000000c3: JUMPDEST 000000c4: POP 000000c5: PUSH2 0x00d7 000000c8: PUSH2 0x00d2 000000cb: CALLDATASIZE 000000cc: PUSH1 0x04 000000ce: PUSH2 0x0873 000000d1: JUMP 000000d2: JUMPDEST 000000d3: PUSH2 0x0253 000000d6: JUMP 000000d7: JUMPDEST 000000d8: PUSH1 0x40 000000da: MLOAD 000000db: PUSH1 0xff 000000dd: SWAP1 000000de: SWAP2 000000df: AND 000000e0: DUP2 000000e1: MSTORE 000000e2: PUSH1 0x20 000000e4: ADD 000000e5: JUMPDEST 000000e6: PUSH1 0x40 000000e8: MLOAD 000000e9: DUP1 000000ea: SWAP2 000000eb: SUB 000000ec: SWAP1 000000ed: RETURN 000000ee: JUMPDEST 000000ef: CALLVALUE 000000f0: DUP1 000000f1: ISZERO 000000f2: PUSH2 0x00fa 000000f5: JUMPI 000000f6: PUSH1 0x00 000000f8: DUP1 000000f9: REVERT 000000fa: JUMPDEST 000000fb: POP 000000fc: PUSH2 0x010e 000000ff: PUSH2 0x0109 00000102: CALLDATASIZE 00000103: PUSH1 0x04 00000105: PUSH2 0x07c0 00000108: JUMP 00000109: JUMPDEST 0000010a: PUSH2 0x028d 0000010d: JUMP 0000010e: JUMPDEST 0000010f: STOP 00000110: JUMPDEST 00000111: CALLVALUE 00000112: DUP1 00000113: ISZERO 00000114: PUSH2 0x011c 00000117: JUMPI 00000118: PUSH1 0x00 0000011a: DUP1 0000011b: REVERT 0000011c: JUMPDEST 0000011d: POP 0000011e: PUSH1 0x01 00000120: SLOAD 00000121: PUSH2 0x00d7 00000124: SWAP1 00000125: PUSH1 0x01 00000127: PUSH1 0xa0 00000129: SHL 0000012a: SWAP1 0000012b: DIV 0000012c: PUSH1 0xff 0000012e: AND 0000012f: DUP2 00000130: JUMP 00000131: JUMPDEST 00000132: CALLVALUE 00000133: DUP1 00000134: ISZERO 00000135: PUSH2 0x013d 00000138: JUMPI 00000139: PUSH1 0x00 0000013b: DUP1 0000013c: REVERT 0000013d: JUMPDEST 0000013e: POP 0000013f: PUSH1 0x00 00000141: SLOAD 00000142: PUSH2 0x0151 00000145: SWAP1 00000146: PUSH1 0x01 00000148: PUSH1 0x01 0000014a: PUSH1 0xa0 0000014c: SHL 0000014d: SUB 0000014e: AND 0000014f: DUP2 00000150: JUMP 00000151: JUMPDEST 00000152: PUSH1 0x40 00000154: MLOAD 00000155: PUSH1 0x01 00000157: PUSH1 0x01 00000159: PUSH1 0xa0 0000015b: SHL 0000015c: SUB 0000015d: SWAP1 0000015e: SWAP2 0000015f: AND 00000160: DUP2 00000161: MSTORE 00000162: PUSH1 0x20 00000164: ADD 00000165: PUSH2 0x00e5 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 0x010e 0000017a: PUSH2 0x0184 0000017d: CALLDATASIZE 0000017e: PUSH1 0x04 00000180: PUSH2 0x0844 00000183: JUMP 00000184: JUMPDEST 00000185: PUSH2 0x02e2 00000188: JUMP 00000189: JUMPDEST 0000018a: CALLVALUE 0000018b: DUP1 0000018c: ISZERO 0000018d: PUSH2 0x0195 00000190: JUMPI 00000191: PUSH1 0x00 00000193: DUP1 00000194: REVERT 00000195: JUMPDEST 00000196: POP 00000197: PUSH1 0x02 00000199: SLOAD 0000019a: PUSH2 0x0151 0000019d: SWAP1 0000019e: PUSH1 0x01 000001a0: PUSH1 0x01 000001a2: PUSH1 0xa0 000001a4: SHL 000001a5: SUB 000001a6: AND 000001a7: DUP2 000001a8: JUMP 000001a9: JUMPDEST 000001aa: CALLVALUE 000001ab: DUP1 000001ac: ISZERO 000001ad: PUSH2 0x01b5 000001b0: JUMPI 000001b1: PUSH1 0x00 000001b3: DUP1 000001b4: REVERT 000001b5: JUMPDEST 000001b6: POP 000001b7: PUSH1 0x01 000001b9: SLOAD 000001ba: PUSH2 0x0151 000001bd: SWAP1 000001be: PUSH1 0x01 000001c0: PUSH1 0x01 000001c2: PUSH1 0xa0 000001c4: SHL 000001c5: SUB 000001c6: AND 000001c7: DUP2 000001c8: JUMP 000001c9: JUMPDEST 000001ca: CALLVALUE 000001cb: DUP1 000001cc: ISZERO 000001cd: PUSH2 0x01d5 000001d0: JUMPI 000001d1: PUSH1 0x00 000001d3: DUP1 000001d4: REVERT 000001d5: JUMPDEST 000001d6: POP 000001d7: PUSH2 0x010e 000001da: PUSH2 0x01e4 000001dd: CALLDATASIZE 000001de: PUSH1 0x04 000001e0: PUSH2 0x08e8 000001e3: JUMP 000001e4: JUMPDEST 000001e5: PUSH2 0x039d 000001e8: JUMP 000001e9: JUMPDEST 000001ea: CALLVALUE 000001eb: DUP1 000001ec: ISZERO 000001ed: PUSH2 0x01f5 000001f0: JUMPI 000001f1: PUSH1 0x00 000001f3: DUP1 000001f4: REVERT 000001f5: JUMPDEST 000001f6: POP 000001f7: PUSH2 0x0151 000001fa: PUSH2 0x03e7 000001fd: JUMP 000001fe: JUMPDEST 000001ff: CALLVALUE 00000200: DUP1 00000201: ISZERO 00000202: PUSH2 0x020a 00000205: JUMPI 00000206: PUSH1 0x00 00000208: DUP1 00000209: REVERT 0000020a: JUMPDEST 0000020b: POP 0000020c: PUSH2 0x010e 0000020f: PUSH2 0x0410 00000212: JUMP 00000213: JUMPDEST 00000214: CALLVALUE 00000215: DUP1 00000216: ISZERO 00000217: PUSH2 0x021f 0000021a: JUMPI 0000021b: PUSH1 0x00 0000021d: DUP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: POP 00000221: PUSH2 0x010e 00000224: PUSH2 0x022e 00000227: CALLDATASIZE 00000228: PUSH1 0x04 0000022a: PUSH2 0x07e3 0000022d: JUMP 0000022e: JUMPDEST 0000022f: PUSH2 0x0483 00000232: JUMP 00000233: JUMPDEST 00000234: CALLVALUE 00000235: DUP1 00000236: ISZERO 00000237: PUSH2 0x023f 0000023a: JUMPI 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: POP 00000241: PUSH2 0x010e 00000244: PUSH2 0x024e 00000247: CALLDATASIZE 00000248: PUSH1 0x04 0000024a: PUSH2 0x07c0 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH2 0x04c1 00000252: JUMP 00000253: JUMPDEST 00000254: PUSH1 0x01 00000256: SLOAD 00000257: PUSH1 0x00 00000259: SWAP1 0000025a: PUSH1 0xff 0000025c: PUSH1 0x01 0000025e: PUSH1 0xa0 00000260: SHL 00000261: SWAP1 00000262: SWAP2 00000263: DIV 00000264: DUP2 00000265: AND 00000266: SWAP1 00000267: DUP4 00000268: AND 00000269: GT 0000026a: ISZERO 0000026b: PUSH2 0x0275 0000026e: JUMPI 0000026f: POP 00000270: DUP1 00000271: PUSH2 0x0284 00000274: JUMP 00000275: JUMPDEST 00000276: POP 00000277: PUSH1 0x01 00000279: SLOAD 0000027a: PUSH1 0x01 0000027c: PUSH1 0xa0 0000027e: SHL 0000027f: SWAP1 00000280: DIV 00000281: PUSH1 0xff 00000283: AND 00000284: JUMPDEST 00000285: SWAP6 00000286: SWAP5 00000287: POP 00000288: POP 00000289: POP 0000028a: POP 0000028b: POP 0000028c: JUMP 0000028d: JUMPDEST 0000028e: PUSH1 0x00 00000290: SLOAD 00000291: PUSH1 0x01 00000293: PUSH1 0x01 00000295: PUSH1 0xa0 00000297: SHL 00000298: SUB 00000299: AND 0000029a: CALLER 0000029b: EQ 0000029c: PUSH2 0x02c0 0000029f: JUMPI 000002a0: PUSH1 0x40 000002a2: MLOAD 000002a3: PUSH3 0x461bcd 000002a7: PUSH1 0xe5 000002a9: SHL 000002aa: DUP2 000002ab: MSTORE 000002ac: PUSH1 0x04 000002ae: ADD 000002af: PUSH2 0x02b7 000002b2: SWAP1 000002b3: PUSH2 0x0951 000002b6: JUMP 000002b7: JUMPDEST 000002b8: PUSH1 0x40 000002ba: MLOAD 000002bb: DUP1 000002bc: SWAP2 000002bd: SUB 000002be: SWAP1 000002bf: REVERT 000002c0: JUMPDEST 000002c1: PUSH1 0x01 000002c3: DUP1 000002c4: SLOAD 000002c5: PUSH1 0x01 000002c7: PUSH1 0x01 000002c9: PUSH1 0xa0 000002cb: SHL 000002cc: SUB 000002cd: NOT 000002ce: AND 000002cf: PUSH1 0x01 000002d1: PUSH1 0x01 000002d3: PUSH1 0xa0 000002d5: SHL 000002d6: SUB 000002d7: SWAP3 000002d8: SWAP1 000002d9: SWAP3 000002da: AND 000002db: SWAP2 000002dc: SWAP1 000002dd: SWAP2 000002de: OR 000002df: SWAP1 000002e0: SSTORE 000002e1: JUMP 000002e2: JUMPDEST 000002e3: PUSH1 0x00 000002e5: SLOAD 000002e6: PUSH1 0x01 000002e8: PUSH1 0x01 000002ea: PUSH1 0xa0 000002ec: SHL 000002ed: SUB 000002ee: AND 000002ef: CALLER 000002f0: EQ 000002f1: PUSH2 0x030c 000002f4: JUMPI 000002f5: PUSH1 0x40 000002f7: MLOAD 000002f8: PUSH3 0x461bcd 000002fc: PUSH1 0xe5 000002fe: SHL 000002ff: DUP2 00000300: MSTORE 00000301: PUSH1 0x04 00000303: ADD 00000304: PUSH2 0x02b7 00000307: SWAP1 00000308: PUSH2 0x0951 0000030b: JUMP 0000030c: JUMPDEST 0000030d: PUSH1 0x01 0000030f: PUSH1 0x01 00000311: PUSH1 0xa0 00000313: SHL 00000314: SUB 00000315: DUP2 00000316: AND 00000317: PUSH2 0x0362 0000031a: JUMPI 0000031b: PUSH1 0x40 0000031d: MLOAD 0000031e: PUSH3 0x461bcd 00000322: PUSH1 0xe5 00000324: SHL 00000325: DUP2 00000326: MSTORE 00000327: PUSH1 0x20 00000329: PUSH1 0x04 0000032b: DUP3 0000032c: ADD 0000032d: MSTORE 0000032e: PUSH1 0x1c 00000330: PUSH1 0x24 00000332: DUP3 00000333: ADD 00000334: MSTORE 00000335: PUSH32 0x7472616e7366657220746f20746865207a65726f206164647265737300000000 00000356: PUSH1 0x44 00000358: DUP3 00000359: ADD 0000035a: MSTORE 0000035b: PUSH1 0x64 0000035d: ADD 0000035e: PUSH2 0x02b7 00000361: JUMP 00000362: JUMPDEST 00000363: PUSH1 0x40 00000365: MLOAD 00000366: PUSH1 0x01 00000368: PUSH1 0x01 0000036a: PUSH1 0xa0 0000036c: SHL 0000036d: SUB 0000036e: DUP3 0000036f: AND 00000370: SWAP1 00000371: DUP4 00000372: ISZERO 00000373: PUSH2 0x08fc 00000376: MUL 00000377: SWAP1 00000378: DUP5 00000379: SWAP1 0000037a: PUSH1 0x00 0000037c: DUP2 0000037d: DUP2 0000037e: DUP2 0000037f: DUP6 00000380: DUP9 00000381: DUP9 00000382: CALL 00000383: SWAP4 00000384: POP 00000385: POP 00000386: POP 00000387: POP 00000388: ISZERO 00000389: DUP1 0000038a: ISZERO 0000038b: PUSH2 0x0398 0000038e: JUMPI 0000038f: RETURNDATASIZE 00000390: PUSH1 0x00 00000392: DUP1 00000393: RETURNDATACOPY 00000394: RETURNDATASIZE 00000395: PUSH1 0x00 00000397: REVERT 00000398: JUMPDEST 00000399: POP 0000039a: POP 0000039b: POP 0000039c: JUMP 0000039d: JUMPDEST 0000039e: PUSH1 0x00 000003a0: SLOAD 000003a1: PUSH1 0x01 000003a3: PUSH1 0x01 000003a5: PUSH1 0xa0 000003a7: SHL 000003a8: SUB 000003a9: AND 000003aa: CALLER 000003ab: EQ 000003ac: PUSH2 0x03c7 000003af: JUMPI 000003b0: PUSH1 0x40 000003b2: MLOAD 000003b3: PUSH3 0x461bcd 000003b7: PUSH1 0xe5 000003b9: SHL 000003ba: DUP2 000003bb: MSTORE 000003bc: PUSH1 0x04 000003be: ADD 000003bf: PUSH2 0x02b7 000003c2: SWAP1 000003c3: PUSH2 0x0951 000003c6: JUMP 000003c7: JUMPDEST 000003c8: PUSH1 0x01 000003ca: DUP1 000003cb: SLOAD 000003cc: PUSH1 0xff 000003ce: SWAP1 000003cf: SWAP3 000003d0: AND 000003d1: PUSH1 0x01 000003d3: PUSH1 0xa0 000003d5: SHL 000003d6: MUL 000003d7: PUSH1 0xff 000003d9: PUSH1 0xa0 000003db: SHL 000003dc: NOT 000003dd: SWAP1 000003de: SWAP3 000003df: AND 000003e0: SWAP2 000003e1: SWAP1 000003e2: SWAP2 000003e3: OR 000003e4: SWAP1 000003e5: SSTORE 000003e6: JUMP 000003e7: JUMPDEST 000003e8: PUSH1 0x02 000003ea: SLOAD 000003eb: PUSH1 0x00 000003ed: SWAP1 000003ee: PUSH1 0x01 000003f0: PUSH1 0x01 000003f2: PUSH1 0xa0 000003f4: SHL 000003f5: SUB 000003f6: AND 000003f7: ISZERO 000003f8: PUSH2 0x040b 000003fb: JUMPI 000003fc: POP 000003fd: PUSH1 0x02 000003ff: SLOAD 00000400: PUSH1 0x01 00000402: PUSH1 0x01 00000404: PUSH1 0xa0 00000406: SHL 00000407: SUB 00000408: AND 00000409: SWAP1 0000040a: JUMP 0000040b: JUMPDEST 0000040c: POP 0000040d: ADDRESS 0000040e: SWAP1 0000040f: JUMP 00000410: JUMPDEST 00000411: PUSH1 0x01 00000413: SLOAD 00000414: PUSH1 0x01 00000416: PUSH1 0x01 00000418: PUSH1 0xa0 0000041a: SHL 0000041b: SUB 0000041c: AND 0000041d: CALLER 0000041e: EQ 0000041f: PUSH2 0x045f 00000422: JUMPI 00000423: PUSH1 0x40 00000425: MLOAD 00000426: PUSH3 0x461bcd 0000042a: PUSH1 0xe5 0000042c: SHL 0000042d: DUP2 0000042e: MSTORE 0000042f: PUSH1 0x20 00000431: PUSH1 0x04 00000433: DUP3 00000434: ADD 00000435: MSTORE 00000436: PUSH1 0x12 00000438: PUSH1 0x24 0000043a: DUP3 0000043b: ADD 0000043c: MSTORE 0000043d: PUSH18 0x37b7363c903732bc3a1037b832b930ba37b9 00000450: PUSH1 0x71 00000452: SHL 00000453: PUSH1 0x44 00000455: DUP3 00000456: ADD 00000457: MSTORE 00000458: PUSH1 0x64 0000045a: ADD 0000045b: PUSH2 0x02b7 0000045e: JUMP 0000045f: JUMPDEST 00000460: PUSH1 0x01 00000462: SLOAD 00000463: PUSH1 0x00 00000465: DUP1 00000466: SLOAD 00000467: PUSH1 0x01 00000469: PUSH1 0x01 0000046b: PUSH1 0xa0 0000046d: SHL 0000046e: SUB 0000046f: NOT 00000470: AND 00000471: PUSH1 0x01 00000473: PUSH1 0x01 00000475: PUSH1 0xa0 00000477: SHL 00000478: SUB 00000479: SWAP1 0000047a: SWAP3 0000047b: AND 0000047c: SWAP2 0000047d: SWAP1 0000047e: SWAP2 0000047f: OR 00000480: SWAP1 00000481: SSTORE 00000482: JUMP 00000483: JUMPDEST 00000484: PUSH1 0x00 00000486: SLOAD 00000487: PUSH1 0x01 00000489: PUSH1 0x01 0000048b: PUSH1 0xa0 0000048d: SHL 0000048e: SUB 0000048f: AND 00000490: CALLER 00000491: EQ 00000492: PUSH2 0x04ad 00000495: JUMPI 00000496: PUSH1 0x40 00000498: MLOAD 00000499: PUSH3 0x461bcd 0000049d: PUSH1 0xe5 0000049f: SHL 000004a0: DUP2 000004a1: MSTORE 000004a2: PUSH1 0x04 000004a4: ADD 000004a5: PUSH2 0x02b7 000004a8: SWAP1 000004a9: PUSH2 0x0951 000004ac: JUMP 000004ad: JUMPDEST 000004ae: PUSH2 0x0398 000004b1: PUSH1 0x01 000004b3: PUSH1 0x01 000004b5: PUSH1 0xa0 000004b7: SHL 000004b8: SUB 000004b9: DUP5 000004ba: AND 000004bb: DUP3 000004bc: DUP5 000004bd: PUSH2 0x050d 000004c0: JUMP 000004c1: JUMPDEST 000004c2: PUSH1 0x00 000004c4: SLOAD 000004c5: PUSH1 0x01 000004c7: PUSH1 0x01 000004c9: PUSH1 0xa0 000004cb: SHL 000004cc: SUB 000004cd: AND 000004ce: CALLER 000004cf: EQ 000004d0: PUSH2 0x04eb 000004d3: JUMPI 000004d4: PUSH1 0x40 000004d6: MLOAD 000004d7: PUSH3 0x461bcd 000004db: PUSH1 0xe5 000004dd: SHL 000004de: DUP2 000004df: MSTORE 000004e0: PUSH1 0x04 000004e2: ADD 000004e3: PUSH2 0x02b7 000004e6: SWAP1 000004e7: PUSH2 0x0951 000004ea: JUMP 000004eb: JUMPDEST 000004ec: PUSH1 0x02 000004ee: DUP1 000004ef: SLOAD 000004f0: PUSH1 0x01 000004f2: PUSH1 0x01 000004f4: PUSH1 0xa0 000004f6: SHL 000004f7: SUB 000004f8: NOT 000004f9: AND 000004fa: PUSH1 0x01 000004fc: PUSH1 0x01 000004fe: PUSH1 0xa0 00000500: SHL 00000501: SUB 00000502: SWAP3 00000503: SWAP1 00000504: SWAP3 00000505: AND 00000506: SWAP2 00000507: SWAP1 00000508: SWAP2 00000509: OR 0000050a: SWAP1 0000050b: SSTORE 0000050c: JUMP 0000050d: JUMPDEST 0000050e: PUSH1 0x40 00000510: DUP1 00000511: MLOAD 00000512: PUSH1 0x01 00000514: PUSH1 0x01 00000516: PUSH1 0xa0 00000518: SHL 00000519: SUB 0000051a: DUP5 0000051b: DUP2 0000051c: AND 0000051d: PUSH1 0x24 0000051f: DUP4 00000520: ADD 00000521: MSTORE 00000522: PUSH1 0x44 00000524: DUP1 00000525: DUP4 00000526: ADD 00000527: DUP6 00000528: SWAP1 00000529: MSTORE 0000052a: DUP4 0000052b: MLOAD 0000052c: DUP1 0000052d: DUP5 0000052e: SUB 0000052f: SWAP1 00000530: SWAP2 00000531: ADD 00000532: DUP2 00000533: MSTORE 00000534: PUSH1 0x64 00000536: SWAP1 00000537: SWAP3 00000538: ADD 00000539: DUP4 0000053a: MSTORE 0000053b: PUSH1 0x20 0000053d: DUP1 0000053e: DUP4 0000053f: ADD 00000540: DUP1 00000541: MLOAD 00000542: PUSH1 0x01 00000544: PUSH1 0x01 00000546: PUSH1 0xe0 00000548: SHL 00000549: SUB 0000054a: AND 0000054b: PUSH4 0xa9059cbb 00000550: PUSH1 0xe0 00000552: SHL 00000553: OR 00000554: SWAP1 00000555: MSTORE 00000556: DUP4 00000557: MLOAD 00000558: DUP1 00000559: DUP6 0000055a: ADD 0000055b: SWAP1 0000055c: SWAP5 0000055d: MSTORE 0000055e: DUP1 0000055f: DUP5 00000560: MSTORE 00000561: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000582: SWAP1 00000583: DUP5 00000584: ADD 00000585: MSTORE 00000586: PUSH2 0x0398 00000589: SWAP3 0000058a: DUP7 0000058b: SWAP3 0000058c: SWAP2 0000058d: PUSH1 0x00 0000058f: SWAP2 00000590: PUSH2 0x059d 00000593: SWAP2 00000594: DUP6 00000595: AND 00000596: SWAP1 00000597: DUP5 00000598: SWAP1 00000599: PUSH2 0x061d 0000059c: JUMP 0000059d: JUMPDEST 0000059e: SWAP1 0000059f: POP 000005a0: DUP1 000005a1: MLOAD 000005a2: PUSH1 0x00 000005a4: EQ 000005a5: DUP1 000005a6: PUSH2 0x05be 000005a9: JUMPI 000005aa: POP 000005ab: DUP1 000005ac: DUP1 000005ad: PUSH1 0x20 000005af: ADD 000005b0: SWAP1 000005b1: MLOAD 000005b2: DUP2 000005b3: ADD 000005b4: SWAP1 000005b5: PUSH2 0x05be 000005b8: SWAP2 000005b9: SWAP1 000005ba: PUSH2 0x0824 000005bd: JUMP 000005be: JUMPDEST 000005bf: PUSH2 0x0398 000005c2: JUMPI 000005c3: PUSH1 0x40 000005c5: MLOAD 000005c6: PUSH3 0x461bcd 000005ca: PUSH1 0xe5 000005cc: SHL 000005cd: DUP2 000005ce: MSTORE 000005cf: PUSH1 0x20 000005d1: PUSH1 0x04 000005d3: DUP3 000005d4: ADD 000005d5: MSTORE 000005d6: PUSH1 0x2a 000005d8: PUSH1 0x24 000005da: DUP3 000005db: ADD 000005dc: MSTORE 000005dd: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 000005fe: PUSH1 0x44 00000600: DUP3 00000601: ADD 00000602: MSTORE 00000603: PUSH10 0x1bdd081cdd58d8d95959 0000060e: PUSH1 0xb2 00000610: SHL 00000611: PUSH1 0x64 00000613: DUP3 00000614: ADD 00000615: MSTORE 00000616: PUSH1 0x84 00000618: ADD 00000619: PUSH2 0x02b7 0000061c: JUMP 0000061d: JUMPDEST 0000061e: PUSH1 0x60 00000620: PUSH2 0x062c 00000623: DUP5 00000624: DUP5 00000625: PUSH1 0x00 00000627: DUP6 00000628: PUSH2 0x0634 0000062b: JUMP 0000062c: JUMPDEST 0000062d: SWAP5 0000062e: SWAP4 0000062f: POP 00000630: POP 00000631: POP 00000632: POP 00000633: JUMP 00000634: JUMPDEST 00000635: PUSH1 0x60 00000637: DUP3 00000638: SELFBALANCE 00000639: LT 0000063a: ISZERO 0000063b: PUSH2 0x0695 0000063e: JUMPI 0000063f: PUSH1 0x40 00000641: MLOAD 00000642: PUSH3 0x461bcd 00000646: PUSH1 0xe5 00000648: SHL 00000649: DUP2 0000064a: MSTORE 0000064b: PUSH1 0x20 0000064d: PUSH1 0x04 0000064f: DUP3 00000650: ADD 00000651: MSTORE 00000652: PUSH1 0x26 00000654: PUSH1 0x24 00000656: DUP3 00000657: ADD 00000658: MSTORE 00000659: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 0000067a: PUSH1 0x44 0000067c: DUP3 0000067d: ADD 0000067e: MSTORE 0000067f: PUSH6 0x1c8818d85b1b 00000686: PUSH1 0xd2 00000688: SHL 00000689: PUSH1 0x64 0000068b: DUP3 0000068c: ADD 0000068d: MSTORE 0000068e: PUSH1 0x84 00000690: ADD 00000691: PUSH2 0x02b7 00000694: JUMP 00000695: JUMPDEST 00000696: PUSH1 0x00 00000698: DUP1 00000699: DUP7 0000069a: PUSH1 0x01 0000069c: PUSH1 0x01 0000069e: PUSH1 0xa0 000006a0: SHL 000006a1: SUB 000006a2: AND 000006a3: DUP6 000006a4: DUP8 000006a5: PUSH1 0x40 000006a7: MLOAD 000006a8: PUSH2 0x06b1 000006ab: SWAP2 000006ac: SWAP1 000006ad: PUSH2 0x0902 000006b0: JUMP 000006b1: JUMPDEST 000006b2: PUSH1 0x00 000006b4: PUSH1 0x40 000006b6: MLOAD 000006b7: DUP1 000006b8: DUP4 000006b9: SUB 000006ba: DUP2 000006bb: DUP6 000006bc: DUP8 000006bd: GAS 000006be: CALL 000006bf: SWAP3 000006c0: POP 000006c1: POP 000006c2: POP 000006c3: RETURNDATASIZE 000006c4: DUP1 000006c5: PUSH1 0x00 000006c7: DUP2 000006c8: EQ 000006c9: PUSH2 0x06ee 000006cc: JUMPI 000006cd: PUSH1 0x40 000006cf: MLOAD 000006d0: SWAP2 000006d1: POP 000006d2: PUSH1 0x1f 000006d4: NOT 000006d5: PUSH1 0x3f 000006d7: RETURNDATASIZE 000006d8: ADD 000006d9: AND 000006da: DUP3 000006db: ADD 000006dc: PUSH1 0x40 000006de: MSTORE 000006df: RETURNDATASIZE 000006e0: DUP3 000006e1: MSTORE 000006e2: RETURNDATASIZE 000006e3: PUSH1 0x00 000006e5: PUSH1 0x20 000006e7: DUP5 000006e8: ADD 000006e9: RETURNDATACOPY 000006ea: PUSH2 0x06f3 000006ed: JUMP 000006ee: JUMPDEST 000006ef: PUSH1 0x60 000006f1: SWAP2 000006f2: POP 000006f3: JUMPDEST 000006f4: POP 000006f5: SWAP2 000006f6: POP 000006f7: SWAP2 000006f8: POP 000006f9: PUSH2 0x0704 000006fc: DUP8 000006fd: DUP4 000006fe: DUP4 000006ff: DUP8 00000700: PUSH2 0x070f 00000703: JUMP 00000704: JUMPDEST 00000705: SWAP8 00000706: SWAP7 00000707: POP 00000708: POP 00000709: POP 0000070a: POP 0000070b: POP 0000070c: POP 0000070d: POP 0000070e: JUMP 0000070f: JUMPDEST 00000710: PUSH1 0x60 00000712: DUP4 00000713: ISZERO 00000714: PUSH2 0x077b 00000717: JUMPI 00000718: DUP3 00000719: MLOAD 0000071a: PUSH2 0x0774 0000071d: JUMPI 0000071e: PUSH1 0x01 00000720: PUSH1 0x01 00000722: PUSH1 0xa0 00000724: SHL 00000725: SUB 00000726: DUP6 00000727: AND 00000728: EXTCODESIZE 00000729: PUSH2 0x0774 0000072c: JUMPI 0000072d: PUSH1 0x40 0000072f: MLOAD 00000730: PUSH3 0x461bcd 00000734: PUSH1 0xe5 00000736: SHL 00000737: DUP2 00000738: MSTORE 00000739: PUSH1 0x20 0000073b: PUSH1 0x04 0000073d: DUP3 0000073e: ADD 0000073f: MSTORE 00000740: PUSH1 0x1d 00000742: PUSH1 0x24 00000744: DUP3 00000745: ADD 00000746: MSTORE 00000747: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000768: PUSH1 0x44 0000076a: DUP3 0000076b: ADD 0000076c: MSTORE 0000076d: PUSH1 0x64 0000076f: ADD 00000770: PUSH2 0x02b7 00000773: JUMP 00000774: JUMPDEST 00000775: POP 00000776: DUP2 00000777: PUSH2 0x062c 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH2 0x062c 0000077f: DUP4 00000780: DUP4 00000781: DUP2 00000782: MLOAD 00000783: ISZERO 00000784: PUSH2 0x0790 00000787: JUMPI 00000788: DUP2 00000789: MLOAD 0000078a: DUP1 0000078b: DUP4 0000078c: PUSH1 0x20 0000078e: ADD 0000078f: REVERT 00000790: JUMPDEST 00000791: DUP1 00000792: PUSH1 0x40 00000794: MLOAD 00000795: PUSH3 0x461bcd 00000799: PUSH1 0xe5 0000079b: SHL 0000079c: DUP2 0000079d: MSTORE 0000079e: PUSH1 0x04 000007a0: ADD 000007a1: PUSH2 0x02b7 000007a4: SWAP2 000007a5: SWAP1 000007a6: PUSH2 0x091e 000007a9: JUMP 000007aa: JUMPDEST 000007ab: DUP1 000007ac: CALLDATALOAD 000007ad: PUSH1 0xff 000007af: DUP2 000007b0: AND 000007b1: DUP2 000007b2: EQ 000007b3: PUSH2 0x07bb 000007b6: JUMPI 000007b7: PUSH1 0x00 000007b9: DUP1 000007ba: REVERT 000007bb: JUMPDEST 000007bc: SWAP2 000007bd: SWAP1 000007be: POP 000007bf: JUMP 000007c0: JUMPDEST 000007c1: PUSH1 0x00 000007c3: PUSH1 0x20 000007c5: DUP3 000007c6: DUP5 000007c7: SUB 000007c8: SLT 000007c9: ISZERO 000007ca: PUSH2 0x07d1 000007cd: JUMPI 000007ce: DUP1 000007cf: DUP2 000007d0: REVERT 000007d1: JUMPDEST 000007d2: DUP2 000007d3: CALLDATALOAD 000007d4: PUSH2 0x07dc 000007d7: DUP2 000007d8: PUSH2 0x09a8 000007db: JUMP 000007dc: JUMPDEST 000007dd: SWAP4 000007de: SWAP3 000007df: POP 000007e0: POP 000007e1: POP 000007e2: JUMP 000007e3: JUMPDEST 000007e4: PUSH1 0x00 000007e6: DUP1 000007e7: PUSH1 0x00 000007e9: PUSH1 0x60 000007eb: DUP5 000007ec: DUP7 000007ed: SUB 000007ee: SLT 000007ef: ISZERO 000007f0: PUSH2 0x07f7 000007f3: JUMPI 000007f4: DUP2 000007f5: DUP3 000007f6: REVERT 000007f7: JUMPDEST 000007f8: DUP4 000007f9: CALLDATALOAD 000007fa: PUSH2 0x0802 000007fd: DUP2 000007fe: PUSH2 0x09a8 00000801: JUMP 00000802: JUMPDEST 00000803: SWAP3 00000804: POP 00000805: PUSH1 0x20 00000807: DUP5 00000808: ADD 00000809: CALLDATALOAD 0000080a: SWAP2 0000080b: POP 0000080c: PUSH1 0x40 0000080e: DUP5 0000080f: ADD 00000810: CALLDATALOAD 00000811: PUSH2 0x0819 00000814: DUP2 00000815: PUSH2 0x09a8 00000818: JUMP 00000819: JUMPDEST 0000081a: DUP1 0000081b: SWAP2 0000081c: POP 0000081d: POP 0000081e: SWAP3 0000081f: POP 00000820: SWAP3 00000821: POP 00000822: SWAP3 00000823: JUMP 00000824: JUMPDEST 00000825: PUSH1 0x00 00000827: PUSH1 0x20 00000829: DUP3 0000082a: DUP5 0000082b: SUB 0000082c: SLT 0000082d: ISZERO 0000082e: PUSH2 0x0835 00000831: JUMPI 00000832: DUP1 00000833: DUP2 00000834: REVERT 00000835: JUMPDEST 00000836: DUP2 00000837: MLOAD 00000838: DUP1 00000839: ISZERO 0000083a: ISZERO 0000083b: DUP2 0000083c: EQ 0000083d: PUSH2 0x07dc 00000840: JUMPI 00000841: DUP2 00000842: DUP3 00000843: REVERT 00000844: JUMPDEST 00000845: PUSH1 0x00 00000847: DUP1 00000848: PUSH1 0x40 0000084a: DUP4 0000084b: DUP6 0000084c: SUB 0000084d: SLT 0000084e: ISZERO 0000084f: PUSH2 0x0856 00000852: JUMPI 00000853: DUP2 00000854: DUP3 00000855: REVERT 00000856: JUMPDEST 00000857: DUP3 00000858: CALLDATALOAD 00000859: SWAP2 0000085a: POP 0000085b: PUSH1 0x20 0000085d: DUP4 0000085e: ADD 0000085f: CALLDATALOAD 00000860: PUSH2 0x0868 00000863: DUP2 00000864: PUSH2 0x09a8 00000867: JUMP 00000868: JUMPDEST 00000869: DUP1 0000086a: SWAP2 0000086b: POP 0000086c: POP 0000086d: SWAP3 0000086e: POP 0000086f: SWAP3 00000870: SWAP1 00000871: POP 00000872: JUMP 00000873: JUMPDEST 00000874: PUSH1 0x00 00000876: DUP1 00000877: PUSH1 0x00 00000879: DUP1 0000087a: PUSH1 0x00 0000087c: PUSH1 0xa0 0000087e: DUP7 0000087f: DUP9 00000880: SUB 00000881: SLT 00000882: ISZERO 00000883: PUSH2 0x088a 00000886: JUMPI 00000887: DUP1 00000888: DUP2 00000889: REVERT 0000088a: JUMPDEST 0000088b: DUP6 0000088c: CALLDATALOAD 0000088d: PUSH8 0xffffffffffffffff 00000896: DUP2 00000897: AND 00000898: DUP2 00000899: EQ 0000089a: PUSH2 0x08a1 0000089d: JUMPI 0000089e: DUP2 0000089f: DUP3 000008a0: REVERT 000008a1: JUMPDEST 000008a2: SWAP5 000008a3: POP 000008a4: PUSH1 0x20 000008a6: DUP7 000008a7: ADD 000008a8: CALLDATALOAD 000008a9: PUSH2 0x08b1 000008ac: DUP2 000008ad: PUSH2 0x09a8 000008b0: JUMP 000008b1: JUMPDEST 000008b2: SWAP4 000008b3: POP 000008b4: PUSH1 0x40 000008b6: DUP7 000008b7: ADD 000008b8: CALLDATALOAD 000008b9: SWAP3 000008ba: POP 000008bb: PUSH1 0x60 000008bd: DUP7 000008be: ADD 000008bf: CALLDATALOAD 000008c0: PUSH2 0xffff 000008c3: DUP2 000008c4: AND 000008c5: DUP2 000008c6: EQ 000008c7: PUSH2 0x08ce 000008ca: JUMPI 000008cb: DUP2 000008cc: DUP3 000008cd: REVERT 000008ce: JUMPDEST 000008cf: SWAP2 000008d0: POP 000008d1: PUSH2 0x08dc 000008d4: PUSH1 0x80 000008d6: DUP8 000008d7: ADD 000008d8: PUSH2 0x07aa 000008db: JUMP 000008dc: JUMPDEST 000008dd: SWAP1 000008de: POP 000008df: SWAP3 000008e0: SWAP6 000008e1: POP 000008e2: SWAP3 000008e3: SWAP6 000008e4: SWAP1 000008e5: SWAP4 000008e6: POP 000008e7: JUMP 000008e8: JUMPDEST 000008e9: PUSH1 0x00 000008eb: PUSH1 0x20 000008ed: DUP3 000008ee: DUP5 000008ef: SUB 000008f0: SLT 000008f1: ISZERO 000008f2: PUSH2 0x08f9 000008f5: JUMPI 000008f6: DUP1 000008f7: DUP2 000008f8: REVERT 000008f9: JUMPDEST 000008fa: PUSH2 0x07dc 000008fd: DUP3 000008fe: PUSH2 0x07aa 00000901: JUMP 00000902: JUMPDEST 00000903: PUSH1 0x00 00000905: DUP3 00000906: MLOAD 00000907: PUSH2 0x0914 0000090a: DUP2 0000090b: DUP5 0000090c: PUSH1 0x20 0000090e: DUP8 0000090f: ADD 00000910: PUSH2 0x0978 00000913: JUMP 00000914: JUMPDEST 00000915: SWAP2 00000916: SWAP1 00000917: SWAP2 00000918: ADD 00000919: SWAP3 0000091a: SWAP2 0000091b: POP 0000091c: POP 0000091d: JUMP 0000091e: JUMPDEST 0000091f: PUSH1 0x20 00000921: DUP2 00000922: MSTORE 00000923: PUSH1 0x00 00000925: DUP3 00000926: MLOAD 00000927: DUP1 00000928: PUSH1 0x20 0000092a: DUP5 0000092b: ADD 0000092c: MSTORE 0000092d: PUSH2 0x093d 00000930: DUP2 00000931: PUSH1 0x40 00000933: DUP6 00000934: ADD 00000935: PUSH1 0x20 00000937: DUP8 00000938: ADD 00000939: PUSH2 0x0978 0000093c: JUMP 0000093d: JUMPDEST 0000093e: PUSH1 0x1f 00000940: ADD 00000941: PUSH1 0x1f 00000943: NOT 00000944: AND 00000945: SWAP2 00000946: SWAP1 00000947: SWAP2 00000948: ADD 00000949: PUSH1 0x40 0000094b: ADD 0000094c: SWAP3 0000094d: SWAP2 0000094e: POP 0000094f: POP 00000950: JUMP 00000951: JUMPDEST 00000952: PUSH1 0x20 00000954: DUP1 00000955: DUP3 00000956: MSTORE 00000957: PUSH1 0x0d 00000959: SWAP1 0000095a: DUP3 0000095b: ADD 0000095c: MSTORE 0000095d: PUSH13 0x37b7363c9037b832b930ba37b9 0000096b: PUSH1 0x99 0000096d: SHL 0000096e: PUSH1 0x40 00000970: DUP3 00000971: ADD 00000972: MSTORE 00000973: PUSH1 0x60 00000975: ADD 00000976: SWAP1 00000977: JUMP 00000978: JUMPDEST 00000979: PUSH1 0x00 0000097b: JUMPDEST 0000097c: DUP4 0000097d: DUP2 0000097e: LT 0000097f: ISZERO 00000980: PUSH2 0x0993 00000983: JUMPI 00000984: DUP2 00000985: DUP2 00000986: ADD 00000987: MLOAD 00000988: DUP4 00000989: DUP3 0000098a: ADD 0000098b: MSTORE 0000098c: PUSH1 0x20 0000098e: ADD 0000098f: PUSH2 0x097b 00000992: JUMP 00000993: JUMPDEST 00000994: DUP4 00000995: DUP2 00000996: GT 00000997: ISZERO 00000998: PUSH2 0x09a2 0000099b: JUMPI 0000099c: PUSH1 0x00 0000099e: DUP5 0000099f: DUP5 000009a0: ADD 000009a1: MSTORE 000009a2: JUMPDEST 000009a3: POP 000009a4: POP 000009a5: POP 000009a6: POP 000009a7: JUMP 000009a8: JUMPDEST 000009a9: PUSH1 0x01 000009ab: PUSH1 0x01 000009ad: PUSH1 0xa0 000009af: SHL 000009b0: SUB 000009b1: DUP2 000009b2: AND 000009b3: DUP2 000009b4: EQ 000009b5: PUSH2 0x09bd 000009b8: JUMPI 000009b9: PUSH1 0x00 000009bb: DUP1 000009bc: REVERT 000009bd: JUMPDEST 000009be: POP 000009bf: JUMP 000009c0: INVALID 000009c1: LOG2 000009c2: PUSH5 0x6970667358 000009c8: UNKNOWN(0x22) 000009c9: SLT 000009ca: KECCAK256 000009cb: UNKNOWN(0xC6) 000009cc: UNKNOWN(0xC6) 000009cd: PUSH5 0x842d558874 000009d3: CALL 000009d4: UNKNOWN(0xE2) 000009d5: DUP6 000009d6: SUB 000009d7: PUSH22 0xc6643a0a5c8a06d717d4b34c7f31046e8ac4d164736f 000009ee: PUSH13
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf66012bde10a9c2f29181f3a56bf917a55c3ac97afa355585c5aa2daede404a8
call_targets:
0xf93191d350117723dbeda5484a3b0996d285cecf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf66012bde10a9c2f29181f3a56bf917a55c3ac97afa355585c5aa2daede404a8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf93191d350117723dbeda5484a3b0996d285cecf"
],
"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": "0xa86b06e5",
"selector": "0xa86b06e5",
"calldata_variants": [
"0xa86b06e5",
"0xa86b06e50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd1e6382",
"selector": "0xbd1e6382",
"calldata_variants": [
"0xbd1e6382",
"0xbd1e63820000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc415b95c",
"selector": "0xc415b95c",
"calldata_variants": [
"0xc415b95c",
"0xc415b95c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd54e65fb",
"selector": "0xd54e65fb",
"calldata_variants": [
"0xd54e65fb",
"0xd54e65fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf2ab5bb",
"selector": "0xdf2ab5bb",
"calldata_variants": [
"0xdf2ab5bb",
"0xdf2ab5bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0f44260",
"selector": "0xf0f44260",
"calldata_variants": [
"0xf0f44260",
"0xf0f442600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02fb1eec",
"selector": "0x02fb1eec",
"calldata_variants": [
"0x02fb1eec",
"0x02fb1eec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06394c9b",
"selector": "0x06394c9b",
"calldata_variants": [
"0x06394c9b",
"0x06394c9b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 898,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1726,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2515,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf66012bde10a9c2f29181f3a56bf917a55c3ac97afa355585c5aa2daede404a8
call_targets:
0xf93191d350117723dbeda5484a3b0996d285cecf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf66012bde10a9c2f29181f3a56bf917a55c3ac97afa355585c5aa2daede404a8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf93191d350117723dbeda5484a3b0996d285cecf"
],
"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": "0xa86b06e5",
"selector": "0xa86b06e5",
"calldata_variants": [
"0xa86b06e5",
"0xa86b06e50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd1e6382",
"selector": "0xbd1e6382",
"calldata_variants": [
"0xbd1e6382",
"0xbd1e63820000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc415b95c",
"selector": "0xc415b95c",
"calldata_variants": [
"0xc415b95c",
"0xc415b95c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd54e65fb",
"selector": "0xd54e65fb",
"calldata_variants": [
"0xd54e65fb",
"0xd54e65fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf2ab5bb",
"selector": "0xdf2ab5bb",
"calldata_variants": [
"0xdf2ab5bb",
"0xdf2ab5bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0f44260",
"selector": "0xf0f44260",
"calldata_variants": [
"0xf0f44260",
"0xf0f442600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02fb1eec",
"selector": "0x02fb1eec",
"calldata_variants": [
"0x02fb1eec",
"0x02fb1eec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06394c9b",
"selector": "0x06394c9b",
"calldata_variants": [
"0x06394c9b",
"0x06394c9b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 898,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1726,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2515,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|