019b477e-b1c1-72fd-97f9-17a7b245989e
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 |
|---|---|---|---|---|
| 22201 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22202 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66170 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66171 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66172 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66173 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x006c 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x11aee380 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0198 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x21e5e2c4 00000046: EQ 00000047: PUSH2 0x01c4 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x3ccfd60b 00000051: EQ 00000052: PUSH2 0x01f7 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0xd3c86f54 0000005c: EQ 0000005d: PUSH2 0x020e 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xf12b3f02 00000067: EQ 00000068: PUSH2 0x022f 0000006b: JUMPI 0000006c: JUMPDEST 0000006d: PUSH1 0x00 0000006f: JUMPDEST 00000070: PUSH1 0x02 00000072: SLOAD 00000073: DUP2 00000074: LT 00000075: ISZERO 00000076: PUSH2 0x015f 00000079: JUMPI 0000007a: PUSH2 0x011a 0000007d: PUSH2 0x00d4 00000080: PUSH1 0x64 00000082: PUSH2 0x00c8 00000085: CALLVALUE 00000086: PUSH1 0x00 00000088: DUP1 00000089: PUSH1 0x02 0000008b: DUP9 0000008c: DUP2 0000008d: SLOAD 0000008e: DUP2 0000008f: LT 00000090: ISZERO 00000091: ISZERO 00000092: PUSH2 0x0097 00000095: JUMPI 00000096: INVALID 00000097: JUMPDEST 00000098: PUSH1 0x00 0000009a: SWAP2 0000009b: DUP3 0000009c: MSTORE 0000009d: PUSH1 0x20 0000009f: DUP1 000000a0: DUP4 000000a1: KECCAK256 000000a2: SWAP1 000000a3: SWAP2 000000a4: ADD 000000a5: SLOAD 000000a6: PUSH1 0x01 000000a8: PUSH1 0xa0 000000aa: PUSH1 0x02 000000ac: EXP 000000ad: SUB 000000ae: AND 000000af: DUP4 000000b0: MSTORE 000000b1: DUP3 000000b2: ADD 000000b3: SWAP3 000000b4: SWAP1 000000b5: SWAP3 000000b6: MSTORE 000000b7: PUSH1 0x40 000000b9: ADD 000000ba: SWAP1 000000bb: KECCAK256 000000bc: SLOAD 000000bd: SWAP1 000000be: PUSH4 0xffffffff 000000c3: PUSH2 0x0263 000000c6: AND 000000c7: JUMP 000000c8: JUMPDEST 000000c9: SWAP1 000000ca: PUSH4 0xffffffff 000000cf: PUSH2 0x0292 000000d2: AND 000000d3: JUMP 000000d4: JUMPDEST 000000d5: PUSH1 0x00 000000d7: DUP1 000000d8: PUSH1 0x02 000000da: DUP6 000000db: DUP2 000000dc: SLOAD 000000dd: DUP2 000000de: LT 000000df: ISZERO 000000e0: ISZERO 000000e1: PUSH2 0x00e6 000000e4: JUMPI 000000e5: INVALID 000000e6: JUMPDEST 000000e7: PUSH1 0x00 000000e9: SWAP2 000000ea: DUP3 000000eb: MSTORE 000000ec: PUSH1 0x20 000000ee: DUP1 000000ef: DUP4 000000f0: KECCAK256 000000f1: SWAP1 000000f2: SWAP2 000000f3: ADD 000000f4: SLOAD 000000f5: PUSH1 0x01 000000f7: PUSH1 0xa0 000000f9: PUSH1 0x02 000000fb: EXP 000000fc: SUB 000000fd: AND 000000fe: DUP4 000000ff: MSTORE 00000100: DUP3 00000101: ADD 00000102: SWAP3 00000103: SWAP1 00000104: SWAP3 00000105: MSTORE 00000106: PUSH1 0x40 00000108: ADD 00000109: SWAP1 0000010a: KECCAK256 0000010b: PUSH1 0x01 0000010d: ADD 0000010e: SLOAD 0000010f: SWAP1 00000110: PUSH4 0xffffffff 00000115: PUSH2 0x02a7 00000118: AND 00000119: JUMP 0000011a: JUMPDEST 0000011b: PUSH1 0x00 0000011d: DUP1 0000011e: PUSH1 0x02 00000120: DUP5 00000121: DUP2 00000122: SLOAD 00000123: DUP2 00000124: LT 00000125: ISZERO 00000126: ISZERO 00000127: PUSH2 0x012c 0000012a: JUMPI 0000012b: INVALID 0000012c: JUMPDEST 0000012d: PUSH1 0x00 0000012f: SWAP2 00000130: DUP3 00000131: MSTORE 00000132: PUSH1 0x20 00000134: DUP1 00000135: DUP4 00000136: KECCAK256 00000137: SWAP1 00000138: SWAP2 00000139: ADD 0000013a: SLOAD 0000013b: PUSH1 0x01 0000013d: PUSH1 0xa0 0000013f: PUSH1 0x02 00000141: EXP 00000142: SUB 00000143: AND 00000144: DUP4 00000145: MSTORE 00000146: DUP3 00000147: ADD 00000148: SWAP3 00000149: SWAP1 0000014a: SWAP3 0000014b: MSTORE 0000014c: PUSH1 0x40 0000014e: ADD 0000014f: SWAP1 00000150: KECCAK256 00000151: PUSH1 0x01 00000153: SWAP1 00000154: DUP2 00000155: ADD 00000156: SWAP2 00000157: SWAP1 00000158: SWAP2 00000159: SSTORE 0000015a: ADD 0000015b: PUSH2 0x006f 0000015e: JUMP 0000015f: JUMPDEST 00000160: PUSH1 0x40 00000162: DUP1 00000163: MLOAD 00000164: CALLVALUE 00000165: DUP2 00000166: MSTORE 00000167: SWAP1 00000168: MLOAD 00000169: CALLER 0000016a: SWAP2 0000016b: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 0000018c: SWAP2 0000018d: SWAP1 0000018e: DUP2 0000018f: SWAP1 00000190: SUB 00000191: PUSH1 0x20 00000193: ADD 00000194: SWAP1 00000195: LOG2 00000196: POP 00000197: STOP 00000198: JUMPDEST 00000199: CALLVALUE 0000019a: DUP1 0000019b: ISZERO 0000019c: PUSH2 0x01a4 0000019f: JUMPI 000001a0: PUSH1 0x00 000001a2: DUP1 000001a3: REVERT 000001a4: JUMPDEST 000001a5: POP 000001a6: PUSH2 0x01ad 000001a9: PUSH2 0x02b4 000001ac: JUMP 000001ad: JUMPDEST 000001ae: PUSH1 0x40 000001b0: DUP1 000001b1: MLOAD 000001b2: PUSH2 0xffff 000001b5: SWAP1 000001b6: SWAP3 000001b7: AND 000001b8: DUP3 000001b9: MSTORE 000001ba: MLOAD 000001bb: SWAP1 000001bc: DUP2 000001bd: SWAP1 000001be: SUB 000001bf: PUSH1 0x20 000001c1: ADD 000001c2: SWAP1 000001c3: RETURN 000001c4: JUMPDEST 000001c5: CALLVALUE 000001c6: DUP1 000001c7: ISZERO 000001c8: PUSH2 0x01d0 000001cb: JUMPI 000001cc: PUSH1 0x00 000001ce: DUP1 000001cf: REVERT 000001d0: JUMPDEST 000001d1: POP 000001d2: PUSH2 0x01e5 000001d5: PUSH1 0x01 000001d7: PUSH1 0xa0 000001d9: PUSH1 0x02 000001db: EXP 000001dc: SUB 000001dd: PUSH1 0x04 000001df: CALLDATALOAD 000001e0: AND 000001e1: PUSH2 0x02be 000001e4: JUMP 000001e5: JUMPDEST 000001e6: PUSH1 0x40 000001e8: DUP1 000001e9: MLOAD 000001ea: SWAP2 000001eb: DUP3 000001ec: MSTORE 000001ed: MLOAD 000001ee: SWAP1 000001ef: DUP2 000001f0: SWAP1 000001f1: SUB 000001f2: PUSH1 0x20 000001f4: ADD 000001f5: SWAP1 000001f6: RETURN 000001f7: JUMPDEST 000001f8: CALLVALUE 000001f9: DUP1 000001fa: ISZERO 000001fb: PUSH2 0x0203 000001fe: JUMPI 000001ff: PUSH1 0x00 00000201: DUP1 00000202: REVERT 00000203: JUMPDEST 00000204: POP 00000205: PUSH2 0x020c 00000208: PUSH2 0x02d9 0000020b: JUMP 0000020c: JUMPDEST 0000020d: STOP 0000020e: JUMPDEST 0000020f: CALLVALUE 00000210: DUP1 00000211: ISZERO 00000212: PUSH2 0x021a 00000215: JUMPI 00000216: PUSH1 0x00 00000218: DUP1 00000219: REVERT 0000021a: JUMPDEST 0000021b: POP 0000021c: PUSH2 0x01e5 0000021f: PUSH1 0x01 00000221: PUSH1 0xa0 00000223: PUSH1 0x02 00000225: EXP 00000226: SUB 00000227: PUSH1 0x04 00000229: CALLDATALOAD 0000022a: AND 0000022b: PUSH2 0x0423 0000022e: JUMP 0000022f: JUMPDEST 00000230: CALLVALUE 00000231: DUP1 00000232: ISZERO 00000233: PUSH2 0x023b 00000236: JUMPI 00000237: PUSH1 0x00 00000239: DUP1 0000023a: REVERT 0000023b: JUMPDEST 0000023c: POP 0000023d: PUSH2 0x0247 00000240: PUSH1 0x04 00000242: CALLDATALOAD 00000243: PUSH2 0x0450 00000246: JUMP 00000247: JUMPDEST 00000248: PUSH1 0x40 0000024a: DUP1 0000024b: MLOAD 0000024c: PUSH1 0x01 0000024e: PUSH1 0xa0 00000250: PUSH1 0x02 00000252: EXP 00000253: SUB 00000254: SWAP1 00000255: SWAP3 00000256: AND 00000257: DUP3 00000258: MSTORE 00000259: MLOAD 0000025a: SWAP1 0000025b: DUP2 0000025c: SWAP1 0000025d: SUB 0000025e: PUSH1 0x20 00000260: ADD 00000261: SWAP1 00000262: RETURN 00000263: JUMPDEST 00000264: PUSH1 0x00 00000266: DUP3 00000267: ISZERO 00000268: ISZERO 00000269: PUSH2 0x0274 0000026c: JUMPI 0000026d: POP 0000026e: PUSH1 0x00 00000270: PUSH2 0x028c 00000273: JUMP 00000274: JUMPDEST 00000275: POP 00000276: DUP2 00000277: DUP2 00000278: MUL 00000279: DUP2 0000027a: DUP4 0000027b: DUP3 0000027c: DUP2 0000027d: ISZERO 0000027e: ISZERO 0000027f: PUSH2 0x0284 00000282: JUMPI 00000283: INVALID 00000284: JUMPDEST 00000285: DIV 00000286: EQ 00000287: PUSH2 0x028c 0000028a: JUMPI 0000028b: INVALID 0000028c: JUMPDEST 0000028d: SWAP3 0000028e: SWAP2 0000028f: POP 00000290: POP 00000291: JUMP 00000292: JUMPDEST 00000293: PUSH1 0x00 00000295: DUP2 00000296: DUP4 00000297: DUP2 00000298: ISZERO 00000299: ISZERO 0000029a: PUSH2 0x029f 0000029d: JUMPI 0000029e: INVALID 0000029f: JUMPDEST 000002a0: DIV 000002a1: SWAP4 000002a2: SWAP3 000002a3: POP 000002a4: POP 000002a5: POP 000002a6: JUMP 000002a7: JUMPDEST 000002a8: DUP2 000002a9: DUP2 000002aa: ADD 000002ab: DUP3 000002ac: DUP2 000002ad: LT 000002ae: ISZERO 000002af: PUSH2 0x028c 000002b2: JUMPI 000002b3: INVALID 000002b4: JUMPDEST 000002b5: PUSH1 0x01 000002b7: SLOAD 000002b8: PUSH2 0xffff 000002bb: AND 000002bc: DUP2 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH1 0x01 000002c1: PUSH1 0xa0 000002c3: PUSH1 0x02 000002c5: EXP 000002c6: SUB 000002c7: AND 000002c8: PUSH1 0x00 000002ca: SWAP1 000002cb: DUP2 000002cc: MSTORE 000002cd: PUSH1 0x20 000002cf: DUP2 000002d0: SWAP1 000002d1: MSTORE 000002d2: PUSH1 0x40 000002d4: SWAP1 000002d5: KECCAK256 000002d6: SLOAD 000002d7: SWAP1 000002d8: JUMP 000002d9: JUMPDEST 000002da: CALLER 000002db: PUSH1 0x00 000002dd: SWAP1 000002de: DUP2 000002df: MSTORE 000002e0: PUSH1 0x20 000002e2: DUP2 000002e3: SWAP1 000002e4: MSTORE 000002e5: PUSH1 0x40 000002e7: DUP2 000002e8: KECCAK256 000002e9: PUSH1 0x01 000002eb: SWAP1 000002ec: DUP2 000002ed: ADD 000002ee: SLOAD 000002ef: GT 000002f0: PUSH2 0x0380 000002f3: JUMPI 000002f4: PUSH1 0x40 000002f6: DUP1 000002f7: MLOAD 000002f8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000319: DUP2 0000031a: MSTORE 0000031b: PUSH1 0x20 0000031d: PUSH1 0x04 0000031f: DUP3 00000320: ADD 00000321: MSTORE 00000322: PUSH1 0x29 00000324: PUSH1 0x24 00000326: DUP3 00000327: ADD 00000328: MSTORE 00000329: PUSH32 0x4e6f20756e706169642062616c616e6365206f72206e6f742061206d656d6265 0000034a: PUSH1 0x44 0000034c: DUP3 0000034d: ADD 0000034e: MSTORE 0000034f: PUSH32 0x72206163636f756e740000000000000000000000000000000000000000000000 00000370: PUSH1 0x64 00000372: DUP3 00000373: ADD 00000374: MSTORE 00000375: SWAP1 00000376: MLOAD 00000377: SWAP1 00000378: DUP2 00000379: SWAP1 0000037a: SUB 0000037b: PUSH1 0x84 0000037d: ADD 0000037e: SWAP1 0000037f: REVERT 00000380: JUMPDEST 00000381: CALLER 00000382: PUSH1 0x00 00000384: SWAP1 00000385: DUP2 00000386: MSTORE 00000387: PUSH1 0x20 00000389: DUP2 0000038a: SWAP1 0000038b: MSTORE 0000038c: PUSH1 0x40 0000038e: SWAP1 0000038f: KECCAK256 00000390: PUSH1 0x01 00000392: SWAP1 00000393: DUP2 00000394: ADD 00000395: SLOAD 00000396: PUSH2 0x03a4 00000399: SWAP2 0000039a: PUSH4 0xffffffff 0000039f: PUSH2 0x0478 000003a2: AND 000003a3: JUMP 000003a4: JUMPDEST 000003a5: CALLER 000003a6: PUSH1 0x00 000003a8: DUP2 000003a9: DUP2 000003aa: MSTORE 000003ab: PUSH1 0x20 000003ad: DUP2 000003ae: DUP2 000003af: MSTORE 000003b0: PUSH1 0x40 000003b2: SWAP2 000003b3: DUP3 000003b4: SWAP1 000003b5: KECCAK256 000003b6: PUSH1 0x01 000003b8: SWAP1 000003b9: DUP2 000003ba: ADD 000003bb: SSTORE 000003bc: DUP2 000003bd: MLOAD 000003be: DUP5 000003bf: DUP2 000003c0: MSTORE 000003c1: SWAP2 000003c2: MLOAD 000003c3: SWAP4 000003c4: SWAP5 000003c5: POP 000003c6: SWAP2 000003c7: SWAP3 000003c8: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 000003e9: SWAP3 000003ea: SWAP2 000003eb: DUP2 000003ec: SWAP1 000003ed: SUB 000003ee: SWAP1 000003ef: SWAP2 000003f0: ADD 000003f1: SWAP1 000003f2: LOG2 000003f3: PUSH1 0x40 000003f5: MLOAD 000003f6: CALLER 000003f7: SWAP1 000003f8: DUP3 000003f9: ISZERO 000003fa: PUSH2 0x08fc 000003fd: MUL 000003fe: SWAP1 000003ff: DUP4 00000400: SWAP1 00000401: PUSH1 0x00 00000403: DUP2 00000404: DUP2 00000405: DUP2 00000406: DUP6 00000407: DUP9 00000408: DUP9 00000409: CALL 0000040a: SWAP4 0000040b: POP 0000040c: POP 0000040d: POP 0000040e: POP 0000040f: ISZERO 00000410: DUP1 00000411: ISZERO 00000412: PUSH2 0x041f 00000415: JUMPI 00000416: RETURNDATASIZE 00000417: PUSH1 0x00 00000419: DUP1 0000041a: RETURNDATACOPY 0000041b: RETURNDATASIZE 0000041c: PUSH1 0x00 0000041e: REVERT 0000041f: JUMPDEST 00000420: POP 00000421: POP 00000422: JUMP 00000423: JUMPDEST 00000424: PUSH1 0x01 00000426: PUSH1 0xa0 00000428: PUSH1 0x02 0000042a: EXP 0000042b: SUB 0000042c: DUP2 0000042d: AND 0000042e: PUSH1 0x00 00000430: SWAP1 00000431: DUP2 00000432: MSTORE 00000433: PUSH1 0x20 00000435: DUP2 00000436: SWAP1 00000437: MSTORE 00000438: PUSH1 0x40 0000043a: DUP2 0000043b: KECCAK256 0000043c: PUSH1 0x01 0000043e: SWAP1 0000043f: DUP2 00000440: ADD 00000441: SLOAD 00000442: PUSH2 0x028c 00000445: SWAP2 00000446: PUSH4 0xffffffff 0000044b: PUSH2 0x0478 0000044e: AND 0000044f: JUMP 00000450: JUMPDEST 00000451: PUSH1 0x02 00000453: DUP1 00000454: SLOAD 00000455: DUP3 00000456: SWAP1 00000457: DUP2 00000458: LT 00000459: PUSH2 0x045e 0000045c: JUMPI 0000045d: INVALID 0000045e: JUMPDEST 0000045f: PUSH1 0x00 00000461: SWAP2 00000462: DUP3 00000463: MSTORE 00000464: PUSH1 0x20 00000466: SWAP1 00000467: SWAP2 00000468: KECCAK256 00000469: ADD 0000046a: SLOAD 0000046b: PUSH1 0x01 0000046d: PUSH1 0xa0 0000046f: PUSH1 0x02 00000471: EXP 00000472: SUB 00000473: AND 00000474: SWAP1 00000475: POP 00000476: DUP2 00000477: JUMP 00000478: JUMPDEST 00000479: PUSH1 0x00 0000047b: DUP3 0000047c: DUP3 0000047d: GT 0000047e: ISZERO 0000047f: PUSH2 0x0484 00000482: JUMPI 00000483: INVALID 00000484: JUMPDEST 00000485: POP 00000486: SWAP1 00000487: SUB 00000488: SWAP1 00000489: JUMP 0000048a: STOP 0000048b: LOG1 0000048c: PUSH6 0x627a7a723058 00000493: KECCAK256 00000494: UNKNOWN(0x4E) 00000495: UNKNOWN(0xA6) 00000496: UNKNOWN(0xDA) 00000497: SWAP10 00000498: AND 00000499: UNKNOWN(0xAA) 0000049a: DIV 0000049b: UNKNOWN(0x2E) 0000049c: SELFDESTRUCT 0000049d: NOT 0000049e: XOR 0000049f: MUL 000004a0: SWAP14 000004a1: UNKNOWN(0x21) 000004a2: UNKNOWN(0xE4) 000004a3: UNKNOWN(0xAA) 000004a4: CODECOPY 000004a5: UNKNOWN(0xB9) 000004a6: GT 000004a7: SDIV 000004a8: PUSH9 0x634cb5203f6e3d34be 000004b2: OR 000004b3: UNKNOWN(0xAC) 000004b4: STOP 000004b5: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x74a70ac635250a0be0994779933ab8df5d7ace24958b30dc1f275bfcaded6543
call_targets:
0x8b807547cd78e6211bff32f9ef115363fe36eb16
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x74a70ac635250a0be0994779933ab8df5d7ace24958b30dc1f275bfcaded6543",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8b807547cd78e6211bff32f9ef115363fe36eb16"
],
"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": "0x11aee380",
"selector": "0x11aee380",
"calldata_variants": [
"0x11aee380",
"0x11aee3800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21e5e2c4",
"selector": "0x21e5e2c4",
"calldata_variants": [
"0x21e5e2c4",
"0x21e5e2c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3c86f54",
"selector": "0xd3c86f54",
"calldata_variants": [
"0xd3c86f54",
"0xd3c86f540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf12b3f02",
"selector": "0xf12b3f02",
"calldata_variants": [
"0xf12b3f02",
"0xf12b3f020000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1033,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x74a70ac635250a0be0994779933ab8df5d7ace24958b30dc1f275bfcaded6543
call_targets:
0x8b807547cd78e6211bff32f9ef115363fe36eb16
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x74a70ac635250a0be0994779933ab8df5d7ace24958b30dc1f275bfcaded6543",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8b807547cd78e6211bff32f9ef115363fe36eb16"
],
"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": "0x11aee380",
"selector": "0x11aee380",
"calldata_variants": [
"0x11aee380",
"0x11aee3800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21e5e2c4",
"selector": "0x21e5e2c4",
"calldata_variants": [
"0x21e5e2c4",
"0x21e5e2c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3c86f54",
"selector": "0xd3c86f54",
"calldata_variants": [
"0xd3c86f54",
"0xd3c86f540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf12b3f02",
"selector": "0xf12b3f02",
"calldata_variants": [
"0xf12b3f02",
"0xf12b3f020000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1033,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x8589c3873e087e9dc3e007e4eb4899df910ef76bef68bc0c5289d876bc17844d
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 10,
"trace_id": "0x8589c3873e087e9dc3e007e4eb4899df910ef76bef68bc0c5289d876bc17844d",
"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": "0x11aee380",
"selector": "0x11aee380",
"calldata_variants": [
"0x11aee380",
"0x11aee3800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21e5e2c4",
"selector": "0x21e5e2c4",
"calldata_variants": [
"0x21e5e2c4",
"0x21e5e2c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3c86f54",
"selector": "0xd3c86f54",
"calldata_variants": [
"0xd3c86f54",
"0xd3c86f540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf12b3f02",
"selector": "0xf12b3f02",
"calldata_variants": [
"0xf12b3f02",
"0xf12b3f020000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|