019b477e-ac87-7044-a15e-ada01e3977d0
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 |
|---|---|---|---|---|
| 21235 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21236 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 101583 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 101584 | capability.graph | complete | 1 / 3 | 1 week ago |
| 101585 | detector.run | complete | 1 / 3 | 1 week ago |
| 101586 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0048 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x459775be 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x0091 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x4b81e100 0000002d: EQ 0000002e: PUSH2 0x00cd 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x8da5cb5b 00000038: EQ 00000039: PUSH2 0x016a 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0xf2fde38b 00000043: EQ 00000044: PUSH2 0x0199 00000047: JUMPI 00000048: JUMPDEST 00000049: PUSH1 0x00 0000004b: CALLVALUE 0000004c: GT 0000004d: ISZERO 0000004e: PUSH2 0x008f 00000051: JUMPI 00000052: CALLER 00000053: PUSH1 0x01 00000055: PUSH1 0xa0 00000057: PUSH1 0x02 00000059: EXP 0000005a: SUB 0000005b: AND 0000005c: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 0000007d: CALLVALUE 0000007e: PUSH1 0x40 00000080: MLOAD 00000081: SWAP1 00000082: DUP2 00000083: MSTORE 00000084: PUSH1 0x20 00000086: ADD 00000087: PUSH1 0x40 00000089: MLOAD 0000008a: DUP1 0000008b: SWAP2 0000008c: SUB 0000008d: SWAP1 0000008e: LOG2 0000008f: JUMPDEST 00000090: STOP 00000091: JUMPDEST 00000092: CALLVALUE 00000093: ISZERO 00000094: PUSH2 0x009c 00000097: JUMPI 00000098: PUSH1 0x00 0000009a: DUP1 0000009b: REVERT 0000009c: JUMPDEST 0000009d: PUSH2 0x00b9 000000a0: PUSH1 0x01 000000a2: PUSH1 0xa0 000000a4: PUSH1 0x02 000000a6: EXP 000000a7: SUB 000000a8: PUSH1 0x04 000000aa: CALLDATALOAD 000000ab: DUP2 000000ac: AND 000000ad: SWAP1 000000ae: PUSH1 0x24 000000b0: CALLDATALOAD 000000b1: AND 000000b2: PUSH1 0x44 000000b4: CALLDATALOAD 000000b5: PUSH2 0x01b8 000000b8: JUMP 000000b9: JUMPDEST 000000ba: PUSH1 0x40 000000bc: MLOAD 000000bd: SWAP1 000000be: ISZERO 000000bf: ISZERO 000000c0: DUP2 000000c1: MSTORE 000000c2: PUSH1 0x20 000000c4: ADD 000000c5: PUSH1 0x40 000000c7: MLOAD 000000c8: DUP1 000000c9: SWAP2 000000ca: SUB 000000cb: SWAP1 000000cc: RETURN 000000cd: JUMPDEST 000000ce: CALLVALUE 000000cf: ISZERO 000000d0: PUSH2 0x00d8 000000d3: JUMPI 000000d4: PUSH1 0x00 000000d6: DUP1 000000d7: REVERT 000000d8: JUMPDEST 000000d9: PUSH2 0x00b9 000000dc: PUSH1 0x04 000000de: DUP1 000000df: CALLDATALOAD 000000e0: PUSH1 0x01 000000e2: PUSH1 0xa0 000000e4: PUSH1 0x02 000000e6: EXP 000000e7: SUB 000000e8: AND 000000e9: SWAP1 000000ea: PUSH1 0x44 000000ec: PUSH1 0x24 000000ee: DUP1 000000ef: CALLDATALOAD 000000f0: SWAP1 000000f1: DUP2 000000f2: ADD 000000f3: SWAP1 000000f4: DUP4 000000f5: ADD 000000f6: CALLDATALOAD 000000f7: DUP1 000000f8: PUSH1 0x20 000000fa: DUP1 000000fb: DUP3 000000fc: MUL 000000fd: ADD 000000fe: PUSH1 0x40 00000100: MLOAD 00000101: SWAP1 00000102: DUP2 00000103: ADD 00000104: PUSH1 0x40 00000106: MSTORE 00000107: DUP1 00000108: SWAP4 00000109: SWAP3 0000010a: SWAP2 0000010b: SWAP1 0000010c: DUP2 0000010d: DUP2 0000010e: MSTORE 0000010f: PUSH1 0x20 00000111: ADD 00000112: DUP4 00000113: DUP4 00000114: PUSH1 0x20 00000116: MUL 00000117: DUP1 00000118: DUP3 00000119: DUP5 0000011a: CALLDATACOPY 0000011b: DUP3 0000011c: ADD 0000011d: SWAP2 0000011e: POP 0000011f: POP 00000120: POP 00000121: POP 00000122: POP 00000123: POP 00000124: SWAP2 00000125: SWAP1 00000126: DUP1 00000127: CALLDATALOAD 00000128: SWAP1 00000129: PUSH1 0x20 0000012b: ADD 0000012c: SWAP1 0000012d: DUP3 0000012e: ADD 0000012f: DUP1 00000130: CALLDATALOAD 00000131: SWAP1 00000132: PUSH1 0x20 00000134: ADD 00000135: SWAP1 00000136: DUP1 00000137: DUP1 00000138: PUSH1 0x20 0000013a: MUL 0000013b: PUSH1 0x20 0000013d: ADD 0000013e: PUSH1 0x40 00000140: MLOAD 00000141: SWAP1 00000142: DUP2 00000143: ADD 00000144: PUSH1 0x40 00000146: MSTORE 00000147: DUP1 00000148: SWAP4 00000149: SWAP3 0000014a: SWAP2 0000014b: SWAP1 0000014c: DUP2 0000014d: DUP2 0000014e: MSTORE 0000014f: PUSH1 0x20 00000151: ADD 00000152: DUP4 00000153: DUP4 00000154: PUSH1 0x20 00000156: MUL 00000157: DUP1 00000158: DUP3 00000159: DUP5 0000015a: CALLDATACOPY 0000015b: POP 0000015c: SWAP5 0000015d: SWAP7 0000015e: POP 0000015f: PUSH2 0x0280 00000162: SWAP6 00000163: POP 00000164: POP 00000165: POP 00000166: POP 00000167: POP 00000168: POP 00000169: JUMP 0000016a: JUMPDEST 0000016b: CALLVALUE 0000016c: ISZERO 0000016d: PUSH2 0x0175 00000170: JUMPI 00000171: PUSH1 0x00 00000173: DUP1 00000174: REVERT 00000175: JUMPDEST 00000176: PUSH2 0x017d 00000179: PUSH2 0x03c1 0000017c: JUMP 0000017d: JUMPDEST 0000017e: PUSH1 0x40 00000180: MLOAD 00000181: PUSH1 0x01 00000183: PUSH1 0xa0 00000185: PUSH1 0x02 00000187: EXP 00000188: SUB 00000189: SWAP1 0000018a: SWAP2 0000018b: AND 0000018c: DUP2 0000018d: MSTORE 0000018e: PUSH1 0x20 00000190: ADD 00000191: PUSH1 0x40 00000193: MLOAD 00000194: DUP1 00000195: SWAP2 00000196: SUB 00000197: SWAP1 00000198: RETURN 00000199: JUMPDEST 0000019a: CALLVALUE 0000019b: ISZERO 0000019c: PUSH2 0x01a4 0000019f: JUMPI 000001a0: PUSH1 0x00 000001a2: DUP1 000001a3: REVERT 000001a4: JUMPDEST 000001a5: PUSH2 0x008f 000001a8: PUSH1 0x01 000001aa: PUSH1 0xa0 000001ac: PUSH1 0x02 000001ae: EXP 000001af: SUB 000001b0: PUSH1 0x04 000001b2: CALLDATALOAD 000001b3: AND 000001b4: PUSH2 0x03d0 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH1 0x00 000001bb: DUP1 000001bc: SLOAD 000001bd: DUP2 000001be: SWAP1 000001bf: CALLER 000001c0: PUSH1 0x01 000001c2: PUSH1 0xa0 000001c4: PUSH1 0x02 000001c6: EXP 000001c7: SUB 000001c8: SWAP1 000001c9: DUP2 000001ca: AND 000001cb: SWAP2 000001cc: AND 000001cd: EQ 000001ce: PUSH2 0x01d6 000001d1: JUMPI 000001d2: PUSH1 0x00 000001d4: DUP1 000001d5: REVERT 000001d6: JUMPDEST 000001d7: POP 000001d8: DUP4 000001d9: PUSH1 0x01 000001db: PUSH1 0xa0 000001dd: PUSH1 0x02 000001df: EXP 000001e0: SUB 000001e1: DUP5 000001e2: AND 000001e3: ISZERO 000001e4: DUP1 000001e5: ISZERO 000001e6: SWAP1 000001e7: PUSH2 0x01f0 000001ea: JUMPI 000001eb: POP 000001ec: PUSH1 0x00 000001ee: DUP4 000001ef: GT 000001f0: JUMPDEST 000001f1: ISZERO 000001f2: PUSH2 0x0278 000001f5: JUMPI 000001f6: DUP1 000001f7: PUSH1 0x01 000001f9: PUSH1 0xa0 000001fb: PUSH1 0x02 000001fd: EXP 000001fe: SUB 000001ff: AND 00000200: PUSH4 0xa9059cbb 00000205: DUP6 00000206: DUP6 00000207: PUSH8 0x0de0b6b3a7640000 00000210: MUL 00000211: PUSH1 0x00 00000213: PUSH1 0x40 00000215: MLOAD 00000216: PUSH1 0x20 00000218: ADD 00000219: MSTORE 0000021a: PUSH1 0x40 0000021c: MLOAD 0000021d: PUSH1 0xe0 0000021f: PUSH1 0x02 00000221: EXP 00000222: PUSH4 0xffffffff 00000227: DUP6 00000228: AND 00000229: MUL 0000022a: DUP2 0000022b: MSTORE 0000022c: PUSH1 0x01 0000022e: PUSH1 0xa0 00000230: PUSH1 0x02 00000232: EXP 00000233: SUB 00000234: SWAP1 00000235: SWAP3 00000236: AND 00000237: PUSH1 0x04 00000239: DUP4 0000023a: ADD 0000023b: MSTORE 0000023c: PUSH1 0x24 0000023e: DUP3 0000023f: ADD 00000240: MSTORE 00000241: PUSH1 0x44 00000243: ADD 00000244: PUSH1 0x20 00000246: PUSH1 0x40 00000248: MLOAD 00000249: DUP1 0000024a: DUP4 0000024b: SUB 0000024c: DUP2 0000024d: PUSH1 0x00 0000024f: DUP8 00000250: DUP1 00000251: EXTCODESIZE 00000252: ISZERO 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: PUSH2 0x02c6 00000260: GAS 00000261: SUB 00000262: CALL 00000263: ISZERO 00000264: ISZERO 00000265: PUSH2 0x026d 00000268: JUMPI 00000269: PUSH1 0x00 0000026b: DUP1 0000026c: REVERT 0000026d: JUMPDEST 0000026e: POP 0000026f: POP 00000270: POP 00000271: PUSH1 0x40 00000273: MLOAD 00000274: DUP1 00000275: MLOAD 00000276: POP 00000277: POP 00000278: JUMPDEST 00000279: POP 0000027a: SWAP4 0000027b: SWAP3 0000027c: POP 0000027d: POP 0000027e: POP 0000027f: JUMP 00000280: JUMPDEST 00000281: PUSH1 0x00 00000283: DUP1 00000284: SLOAD 00000285: DUP2 00000286: SWAP1 00000287: DUP2 00000288: SWAP1 00000289: DUP2 0000028a: SWAP1 0000028b: CALLER 0000028c: PUSH1 0x01 0000028e: PUSH1 0xa0 00000290: PUSH1 0x02 00000292: EXP 00000293: SUB 00000294: SWAP1 00000295: DUP2 00000296: AND 00000297: SWAP2 00000298: AND 00000299: EQ 0000029a: PUSH2 0x02a2 0000029d: JUMPI 0000029e: PUSH1 0x00 000002a0: DUP1 000002a1: REVERT 000002a2: JUMPDEST 000002a3: DUP5 000002a4: MLOAD 000002a5: DUP7 000002a6: MLOAD 000002a7: EQ 000002a8: PUSH2 0x02b4 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: SWAP4 000002af: POP 000002b0: PUSH2 0x03b7 000002b3: JUMP 000002b4: JUMPDEST 000002b5: DUP7 000002b6: SWAP3 000002b7: POP 000002b8: PUSH1 0x00 000002ba: SWAP2 000002bb: POP 000002bc: JUMPDEST 000002bd: DUP6 000002be: MLOAD 000002bf: DUP3 000002c0: LT 000002c1: ISZERO 000002c2: PUSH2 0x03b2 000002c5: JUMPI 000002c6: DUP6 000002c7: DUP3 000002c8: DUP2 000002c9: MLOAD 000002ca: DUP2 000002cb: LT 000002cc: PUSH2 0x02d1 000002cf: JUMPI 000002d0: INVALID 000002d1: JUMPDEST 000002d2: SWAP1 000002d3: PUSH1 0x20 000002d5: ADD 000002d6: SWAP1 000002d7: PUSH1 0x20 000002d9: MUL 000002da: ADD 000002db: MLOAD 000002dc: SWAP1 000002dd: POP 000002de: PUSH1 0x01 000002e0: PUSH1 0xa0 000002e2: PUSH1 0x02 000002e4: EXP 000002e5: SUB 000002e6: DUP2 000002e7: AND 000002e8: ISZERO 000002e9: DUP1 000002ea: ISZERO 000002eb: SWAP1 000002ec: PUSH2 0x030a 000002ef: JUMPI 000002f0: POP 000002f1: PUSH1 0x00 000002f3: DUP6 000002f4: DUP4 000002f5: DUP2 000002f6: MLOAD 000002f7: DUP2 000002f8: LT 000002f9: PUSH2 0x02fe 000002fc: JUMPI 000002fd: INVALID 000002fe: JUMPDEST 000002ff: SWAP1 00000300: PUSH1 0x20 00000302: ADD 00000303: SWAP1 00000304: PUSH1 0x20 00000306: MUL 00000307: ADD 00000308: MLOAD 00000309: GT 0000030a: JUMPDEST 0000030b: ISZERO 0000030c: PUSH2 0x03a7 0000030f: JUMPI 00000310: DUP3 00000311: PUSH1 0x01 00000313: PUSH1 0xa0 00000315: PUSH1 0x02 00000317: EXP 00000318: SUB 00000319: AND 0000031a: PUSH4 0xa9059cbb 0000031f: DUP3 00000320: DUP8 00000321: DUP6 00000322: DUP2 00000323: MLOAD 00000324: DUP2 00000325: LT 00000326: PUSH2 0x032b 00000329: JUMPI 0000032a: INVALID 0000032b: JUMPDEST 0000032c: SWAP1 0000032d: PUSH1 0x20 0000032f: ADD 00000330: SWAP1 00000331: PUSH1 0x20 00000333: MUL 00000334: ADD 00000335: MLOAD 00000336: PUSH8 0x0de0b6b3a7640000 0000033f: MUL 00000340: PUSH1 0x00 00000342: PUSH1 0x40 00000344: MLOAD 00000345: PUSH1 0x20 00000347: ADD 00000348: MSTORE 00000349: PUSH1 0x40 0000034b: MLOAD 0000034c: PUSH1 0xe0 0000034e: PUSH1 0x02 00000350: EXP 00000351: PUSH4 0xffffffff 00000356: DUP6 00000357: AND 00000358: MUL 00000359: DUP2 0000035a: MSTORE 0000035b: PUSH1 0x01 0000035d: PUSH1 0xa0 0000035f: PUSH1 0x02 00000361: EXP 00000362: SUB 00000363: SWAP1 00000364: SWAP3 00000365: AND 00000366: PUSH1 0x04 00000368: DUP4 00000369: ADD 0000036a: MSTORE 0000036b: PUSH1 0x24 0000036d: DUP3 0000036e: ADD 0000036f: MSTORE 00000370: PUSH1 0x44 00000372: ADD 00000373: PUSH1 0x20 00000375: PUSH1 0x40 00000377: MLOAD 00000378: DUP1 00000379: DUP4 0000037a: SUB 0000037b: DUP2 0000037c: PUSH1 0x00 0000037e: DUP8 0000037f: DUP1 00000380: EXTCODESIZE 00000381: ISZERO 00000382: ISZERO 00000383: PUSH2 0x038b 00000386: JUMPI 00000387: PUSH1 0x00 00000389: DUP1 0000038a: REVERT 0000038b: JUMPDEST 0000038c: PUSH2 0x02c6 0000038f: GAS 00000390: SUB 00000391: CALL 00000392: ISZERO 00000393: ISZERO 00000394: PUSH2 0x039c 00000397: JUMPI 00000398: PUSH1 0x00 0000039a: DUP1 0000039b: REVERT 0000039c: JUMPDEST 0000039d: POP 0000039e: POP 0000039f: POP 000003a0: PUSH1 0x40 000003a2: MLOAD 000003a3: DUP1 000003a4: MLOAD 000003a5: POP 000003a6: POP 000003a7: JUMPDEST 000003a8: PUSH1 0x01 000003aa: SWAP1 000003ab: SWAP2 000003ac: ADD 000003ad: SWAP1 000003ae: PUSH2 0x02bc 000003b1: JUMP 000003b2: JUMPDEST 000003b3: PUSH1 0x01 000003b5: SWAP4 000003b6: POP 000003b7: JUMPDEST 000003b8: POP 000003b9: POP 000003ba: POP 000003bb: SWAP4 000003bc: SWAP3 000003bd: POP 000003be: POP 000003bf: POP 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH1 0x00 000003c4: SLOAD 000003c5: PUSH1 0x01 000003c7: PUSH1 0xa0 000003c9: PUSH1 0x02 000003cb: EXP 000003cc: SUB 000003cd: AND 000003ce: DUP2 000003cf: JUMP 000003d0: JUMPDEST 000003d1: PUSH1 0x00 000003d3: SLOAD 000003d4: CALLER 000003d5: PUSH1 0x01 000003d7: PUSH1 0xa0 000003d9: PUSH1 0x02 000003db: EXP 000003dc: SUB 000003dd: SWAP1 000003de: DUP2 000003df: AND 000003e0: SWAP2 000003e1: AND 000003e2: EQ 000003e3: PUSH2 0x03eb 000003e6: JUMPI 000003e7: PUSH1 0x00 000003e9: DUP1 000003ea: REVERT 000003eb: JUMPDEST 000003ec: PUSH1 0x01 000003ee: PUSH1 0xa0 000003f0: PUSH1 0x02 000003f2: EXP 000003f3: SUB 000003f4: DUP2 000003f5: AND 000003f6: ISZERO 000003f7: ISZERO 000003f8: PUSH2 0x0400 000003fb: JUMPI 000003fc: PUSH1 0x00 000003fe: DUP1 000003ff: REVERT 00000400: JUMPDEST 00000401: PUSH1 0x00 00000403: SLOAD 00000404: PUSH1 0x01 00000406: PUSH1 0xa0 00000408: PUSH1 0x02 0000040a: EXP 0000040b: SUB 0000040c: DUP1 0000040d: DUP4 0000040e: AND 0000040f: SWAP2 00000410: AND 00000411: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000432: PUSH1 0x40 00000434: MLOAD 00000435: PUSH1 0x40 00000437: MLOAD 00000438: DUP1 00000439: SWAP2 0000043a: SUB 0000043b: SWAP1 0000043c: LOG3 0000043d: PUSH1 0x00 0000043f: DUP1 00000440: SLOAD 00000441: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000456: NOT 00000457: AND 00000458: PUSH1 0x01 0000045a: PUSH1 0xa0 0000045c: PUSH1 0x02 0000045e: EXP 0000045f: SUB 00000460: SWAP3 00000461: SWAP1 00000462: SWAP3 00000463: AND 00000464: SWAP2 00000465: SWAP1 00000466: SWAP2 00000467: OR 00000468: SWAP1 00000469: SSTORE 0000046a: JUMP 0000046b: STOP 0000046c: LOG1 0000046d: PUSH6 0x627a7a723058 00000474: KECCAK256 00000475: UNKNOWN(0xAA) 00000476: UNKNOWN(0xAC) 00000477: UNKNOWN(0xD3) 00000478: CALLER 00000479: UNKNOWN(0xD3) 0000047a: UNKNOWN(0xDE) 0000047b: JUMP 0000047c: BLOCKHASH 0000047d: STATICCALL 0000047e: UNKNOWN(0xBB) 0000047f: UNKNOWN(0xE9) 00000480: SELFDESTRUCT 00000481: UNKNOWN(0xE1) 00000482: PUSH5 0x0c8156aab1 00000488: REVERT 00000489: UNKNOWN(0xF7) 0000048a: UNKNOWN(0xEE) 0000048b: UNKNOWN(0xFC) 0000048c: MOD 0000048d: UNKNOWN(0xCE) 0000048e: PUSH1 0xcf 00000490: PUSH14
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x425988c6b7530c999ea65878100e4f97027f32f57f27363408dafab349ea4a64
call_targets:
0x42d7e7c56a46e8790bf3714610550d35f2bb876e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x425988c6b7530c999ea65878100e4f97027f32f57f27363408dafab349ea4a64",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x42d7e7c56a46e8790bf3714610550d35f2bb876e"
],
"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": "0x459775be",
"selector": "0x459775be",
"calldata_variants": [
"0x459775be",
"0x459775be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b81e100",
"selector": "0x4b81e100",
"calldata_variants": [
"0x4b81e100",
"0x4b81e1000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 610,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 913,
"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: 0x425988c6b7530c999ea65878100e4f97027f32f57f27363408dafab349ea4a64
call_targets:
0x42d7e7c56a46e8790bf3714610550d35f2bb876e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x425988c6b7530c999ea65878100e4f97027f32f57f27363408dafab349ea4a64",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x42d7e7c56a46e8790bf3714610550d35f2bb876e"
],
"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": "0x459775be",
"selector": "0x459775be",
"calldata_variants": [
"0x459775be",
"0x459775be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b81e100",
"selector": "0x4b81e100",
"calldata_variants": [
"0x4b81e100",
"0x4b81e1000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 610,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 913,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0xbde1f6296bb294bfeea0042d09776f4a96b5d1879923f986a9d7525200f3ed4c
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 8,
"trace_id": "0xbde1f6296bb294bfeea0042d09776f4a96b5d1879923f986a9d7525200f3ed4c",
"confirmed": false,
"trace_mode": "structLogs",
"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": "0x459775be",
"selector": "0x459775be",
"calldata_variants": [
"0x459775be",
"0x459775be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b81e100",
"selector": "0x4b81e100",
"calldata_variants": [
"0x4b81e100",
"0x4b81e1000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|