019b3836-489c-723a-85fe-d0ed52c470a0
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 |
|---|---|---|---|---|
| 6479 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 6480 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 50064 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 50065 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 50066 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 50067 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0056 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x38af3eed 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x006e 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x516dde43 00000025: EQ 00000026: PUSH2 0x0080 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x6e353a1d 00000030: EQ 00000031: PUSH2 0x0089 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x984474fb 0000003b: EQ 0000003c: PUSH2 0x00ab 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x9cc9299e 00000046: EQ 00000047: PUSH2 0x00b4 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0xb69ef8a8 00000051: EQ 00000052: PUSH2 0x00d2 00000055: JUMPI 00000056: JUMPDEST 00000057: PUSH2 0x00db 0000005a: PUSH1 0x03 0000005c: SLOAD 0000005d: PUSH1 0x00 0000005f: SWAP1 00000060: DUP2 00000061: SWAP1 00000062: DUP2 00000063: SWAP1 00000064: TIMESTAMP 00000065: LT 00000066: PUSH2 0x00dd 00000069: JUMPI 0000006a: PUSH2 0x0002 0000006d: JUMP 0000006e: JUMPDEST 0000006f: PUSH2 0x0331 00000072: PUSH1 0x00 00000074: SLOAD 00000075: PUSH1 0x01 00000077: PUSH1 0xa0 00000079: PUSH1 0x02 0000007b: EXP 0000007c: SUB 0000007d: AND 0000007e: DUP2 0000007f: JUMP 00000080: JUMPDEST 00000081: PUSH2 0x0331 00000084: PUSH1 0x03 00000086: SLOAD 00000087: DUP2 00000088: JUMP 00000089: JUMPDEST 0000008a: PUSH2 0x00db 0000008d: PUSH1 0x04 0000008f: CALLDATALOAD 00000090: PUSH1 0x00 00000092: DUP1 00000093: SLOAD 00000094: CALLER 00000095: PUSH1 0x01 00000097: PUSH1 0xa0 00000099: PUSH1 0x02 0000009b: EXP 0000009c: SUB 0000009d: SWAP1 0000009e: DUP2 0000009f: AND 000000a0: SWAP2 000000a1: AND 000000a2: EQ 000000a3: PUSH2 0x0354 000000a6: JUMPI 000000a7: PUSH2 0x0002 000000aa: JUMP 000000ab: JUMPDEST 000000ac: PUSH2 0x0331 000000af: PUSH1 0x02 000000b1: SLOAD 000000b2: DUP2 000000b3: JUMP 000000b4: JUMPDEST 000000b5: PUSH2 0x00db 000000b8: PUSH1 0x00 000000ba: SLOAD 000000bb: CALLER 000000bc: PUSH1 0x01 000000be: PUSH1 0xa0 000000c0: PUSH1 0x02 000000c2: EXP 000000c3: SUB 000000c4: SWAP1 000000c5: DUP2 000000c6: AND 000000c7: SWAP2 000000c8: AND 000000c9: EQ 000000ca: PUSH2 0x033b 000000cd: JUMPI 000000ce: PUSH2 0x0002 000000d1: JUMP 000000d2: JUMPDEST 000000d3: PUSH2 0x0331 000000d6: PUSH1 0x04 000000d8: SLOAD 000000d9: DUP2 000000da: JUMP 000000db: JUMPDEST 000000dc: STOP 000000dd: JUMPDEST 000000de: PUSH7 0x038d7ea4c68000 000000e6: CALLVALUE 000000e7: LT 000000e8: ISZERO 000000e9: PUSH2 0x00f1 000000ec: JUMPI 000000ed: PUSH2 0x0002 000000f0: JUMP 000000f1: JUMPDEST 000000f2: PUSH1 0x02 000000f4: SLOAD 000000f5: PUSH1 0x01 000000f7: SLOAD 000000f8: DUP3 000000f9: SLOAD 000000fa: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000 0000011b: PUSH1 0x60 0000011d: SWAP1 0000011e: DUP2 0000011f: MSTORE 00000120: PUSH1 0x01 00000122: PUSH1 0xa0 00000124: PUSH1 0x02 00000126: EXP 00000127: SUB 00000128: SWAP2 00000129: DUP3 0000012a: AND 0000012b: PUSH1 0x64 0000012d: MSTORE 0000012e: ADDRESS 0000012f: DUP3 00000130: AND 00000131: PUSH1 0x84 00000133: MSTORE 00000134: PUSH7 0x2386f26fc10000 0000013c: CALLVALUE 0000013d: MUL 0000013e: SWAP4 0000013f: SWAP1 00000140: SWAP4 00000141: DIV 00000142: SWAP6 00000143: POP 00000144: AND 00000145: SWAP1 00000146: PUSH4 0xdd62ed3e 0000014b: SWAP1 0000014c: PUSH1 0xa4 0000014e: SWAP1 0000014f: PUSH1 0x20 00000151: SWAP1 00000152: PUSH1 0x44 00000154: DUP2 00000155: DUP8 00000156: DUP8 00000157: PUSH2 0x61da 0000015a: GAS 0000015b: SUB 0000015c: CALL 0000015d: ISZERO 0000015e: PUSH2 0x0002 00000161: JUMPI 00000162: POP 00000163: POP 00000164: PUSH1 0x40 00000166: MLOAD 00000167: MLOAD 00000168: PUSH1 0x04 0000016a: DUP2 0000016b: SWAP1 0000016c: SSTORE 0000016d: DUP3 0000016e: EQ 0000016f: ISZERO 00000170: SWAP1 00000171: POP 00000172: PUSH2 0x017a 00000175: JUMPI 00000176: PUSH2 0x0002 00000179: JUMP 0000017a: JUMPDEST 0000017b: CALLER 0000017c: SWAP2 0000017d: POP 0000017e: DUP3 0000017f: PUSH1 0x04 00000181: PUSH1 0x00 00000183: POP 00000184: SLOAD 00000185: LT 00000186: ISZERO 00000187: ISZERO 00000188: PUSH2 0x0240 0000018b: JUMPI 0000018c: PUSH1 0x01 0000018e: PUSH1 0x00 00000190: SWAP1 00000191: SLOAD 00000192: SWAP1 00000193: PUSH2 0x0100 00000196: EXP 00000197: SWAP1 00000198: DIV 00000199: PUSH1 0x01 0000019b: PUSH1 0xa0 0000019d: PUSH1 0x02 0000019f: EXP 000001a0: SUB 000001a1: AND 000001a2: PUSH1 0x01 000001a4: PUSH1 0xa0 000001a6: PUSH1 0x02 000001a8: EXP 000001a9: SUB 000001aa: AND 000001ab: PUSH4 0x23b872dd 000001b0: PUSH1 0x00 000001b2: PUSH1 0x00 000001b4: SWAP1 000001b5: SLOAD 000001b6: SWAP1 000001b7: PUSH2 0x0100 000001ba: EXP 000001bb: SWAP1 000001bc: DIV 000001bd: PUSH1 0x01 000001bf: PUSH1 0xa0 000001c1: PUSH1 0x02 000001c3: EXP 000001c4: SUB 000001c5: AND 000001c6: CALLER 000001c7: DUP7 000001c8: PUSH1 0x40 000001ca: MLOAD 000001cb: DUP5 000001cc: PUSH1 0xe0 000001ce: PUSH1 0x02 000001d0: EXP 000001d1: MUL 000001d2: DUP2 000001d3: MSTORE 000001d4: PUSH1 0x04 000001d6: ADD 000001d7: DUP1 000001d8: DUP5 000001d9: PUSH1 0x01 000001db: PUSH1 0xa0 000001dd: PUSH1 0x02 000001df: EXP 000001e0: SUB 000001e1: AND 000001e2: DUP2 000001e3: MSTORE 000001e4: PUSH1 0x20 000001e6: ADD 000001e7: DUP4 000001e8: PUSH1 0x01 000001ea: PUSH1 0xa0 000001ec: PUSH1 0x02 000001ee: EXP 000001ef: SUB 000001f0: AND 000001f1: DUP2 000001f2: MSTORE 000001f3: PUSH1 0x20 000001f5: ADD 000001f6: DUP3 000001f7: DUP2 000001f8: MSTORE 000001f9: PUSH1 0x20 000001fb: ADD 000001fc: SWAP4 000001fd: POP 000001fe: POP 000001ff: POP 00000200: POP 00000201: PUSH1 0x20 00000203: PUSH1 0x40 00000205: MLOAD 00000206: DUP1 00000207: DUP4 00000208: SUB 00000209: DUP2 0000020a: PUSH1 0x00 0000020c: DUP8 0000020d: PUSH2 0x61da 00000210: GAS 00000211: SUB 00000212: CALL 00000213: ISZERO 00000214: PUSH2 0x0002 00000217: JUMPI 00000218: POP 00000219: POP 0000021a: PUSH1 0x40 0000021c: MLOAD 0000021d: DUP3 0000021e: SLOAD 0000021f: PUSH1 0x01 00000221: PUSH1 0xa0 00000223: PUSH1 0x02 00000225: EXP 00000226: SUB 00000227: AND 00000228: SWAP2 00000229: POP 0000022a: DUP3 0000022b: SWAP1 0000022c: CALLVALUE 0000022d: SWAP1 0000022e: DUP3 0000022f: DUP2 00000230: DUP2 00000231: DUP2 00000232: DUP6 00000233: DUP9 00000234: DUP4 00000235: CALL 00000236: SWAP4 00000237: POP 00000238: POP 00000239: POP 0000023a: POP 0000023b: POP 0000023c: PUSH2 0x032c 0000023f: JUMP 00000240: JUMPDEST 00000241: PUSH1 0x01 00000243: PUSH1 0x00 00000245: SWAP1 00000246: SLOAD 00000247: SWAP1 00000248: PUSH2 0x0100 0000024b: EXP 0000024c: SWAP1 0000024d: DIV 0000024e: PUSH1 0x01 00000250: PUSH1 0xa0 00000252: PUSH1 0x02 00000254: EXP 00000255: SUB 00000256: AND 00000257: PUSH1 0x01 00000259: PUSH1 0xa0 0000025b: PUSH1 0x02 0000025d: EXP 0000025e: SUB 0000025f: AND 00000260: PUSH4 0x23b872dd 00000265: PUSH1 0x00 00000267: PUSH1 0x00 00000269: SWAP1 0000026a: SLOAD 0000026b: SWAP1 0000026c: PUSH2 0x0100 0000026f: EXP 00000270: SWAP1 00000271: DIV 00000272: PUSH1 0x01 00000274: PUSH1 0xa0 00000276: PUSH1 0x02 00000278: EXP 00000279: SUB 0000027a: AND 0000027b: CALLER 0000027c: PUSH1 0x04 0000027e: PUSH1 0x00 00000280: POP 00000281: SLOAD 00000282: PUSH1 0x40 00000284: MLOAD 00000285: DUP5 00000286: PUSH1 0xe0 00000288: PUSH1 0x02 0000028a: EXP 0000028b: MUL 0000028c: DUP2 0000028d: MSTORE 0000028e: PUSH1 0x04 00000290: ADD 00000291: DUP1 00000292: DUP5 00000293: PUSH1 0x01 00000295: PUSH1 0xa0 00000297: PUSH1 0x02 00000299: EXP 0000029a: SUB 0000029b: AND 0000029c: DUP2 0000029d: MSTORE 0000029e: PUSH1 0x20 000002a0: ADD 000002a1: DUP4 000002a2: PUSH1 0x01 000002a4: PUSH1 0xa0 000002a6: PUSH1 0x02 000002a8: EXP 000002a9: SUB 000002aa: AND 000002ab: DUP2 000002ac: MSTORE 000002ad: PUSH1 0x20 000002af: ADD 000002b0: DUP3 000002b1: DUP2 000002b2: MSTORE 000002b3: PUSH1 0x20 000002b5: ADD 000002b6: SWAP4 000002b7: POP 000002b8: POP 000002b9: POP 000002ba: POP 000002bb: PUSH1 0x20 000002bd: PUSH1 0x40 000002bf: MLOAD 000002c0: DUP1 000002c1: DUP4 000002c2: SUB 000002c3: DUP2 000002c4: PUSH1 0x00 000002c6: DUP8 000002c7: PUSH2 0x61da 000002ca: GAS 000002cb: SUB 000002cc: CALL 000002cd: ISZERO 000002ce: PUSH2 0x0002 000002d1: JUMPI 000002d2: POP 000002d3: POP 000002d4: PUSH1 0x40 000002d6: MLOAD 000002d7: PUSH1 0x02 000002d9: SLOAD 000002da: PUSH1 0x04 000002dc: SLOAD 000002dd: PUSH7 0x2386f26fc10000 000002e5: SWAP1 000002e6: DUP8 000002e7: SUB 000002e8: SWAP1 000002e9: SWAP2 000002ea: MUL 000002eb: DIV 000002ec: SWAP3 000002ed: PUSH1 0x01 000002ef: PUSH1 0xa0 000002f1: PUSH1 0x02 000002f3: EXP 000002f4: SUB 000002f5: DUP6 000002f6: AND 000002f7: SWAP3 000002f8: POP 000002f9: SWAP1 000002fa: DUP4 000002fb: SWAP1 000002fc: DUP3 000002fd: DUP2 000002fe: DUP2 000002ff: DUP2 00000300: DUP6 00000301: DUP9 00000302: DUP4 00000303: CALL 00000304: POP 00000305: POP 00000306: DUP2 00000307: SLOAD 00000308: PUSH1 0x40 0000030a: MLOAD 0000030b: PUSH1 0x01 0000030d: PUSH1 0xa0 0000030f: PUSH1 0x02 00000311: EXP 00000312: SUB 00000313: SWAP2 00000314: SWAP1 00000315: SWAP2 00000316: AND 00000317: SWAP4 00000318: POP 00000319: CALLVALUE 0000031a: SWAP2 0000031b: SWAP1 0000031c: SWAP2 0000031d: SUB 0000031e: SWAP1 0000031f: DUP3 00000320: DUP2 00000321: DUP2 00000322: DUP2 00000323: DUP6 00000324: DUP9 00000325: DUP4 00000326: CALL 00000327: POP 00000328: POP 00000329: POP 0000032a: POP 0000032b: POP 0000032c: JUMPDEST 0000032d: POP 0000032e: POP 0000032f: POP 00000330: JUMP 00000331: JUMPDEST 00000332: PUSH1 0x60 00000334: SWAP1 00000335: DUP2 00000336: MSTORE 00000337: PUSH1 0x20 00000339: SWAP1 0000033a: RETURN 0000033b: JUMPDEST 0000033c: PUSH1 0x03 0000033e: SLOAD 0000033f: TIMESTAMP 00000340: LT 00000341: PUSH2 0x0352 00000344: JUMPI 00000345: PUSH1 0x00 00000347: SLOAD 00000348: PUSH1 0x01 0000034a: PUSH1 0xa0 0000034c: PUSH1 0x02 0000034e: EXP 0000034f: SUB 00000350: AND 00000351: SELFDESTRUCT 00000352: JUMPDEST 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH1 0x01 00000357: SLOAD 00000358: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000379: PUSH1 0x60 0000037b: SWAP1 0000037c: DUP2 0000037d: MSTORE 0000037e: ADDRESS 0000037f: PUSH1 0x01 00000381: PUSH1 0xa0 00000383: PUSH1 0x02 00000385: EXP 00000386: SUB 00000387: SWAP1 00000388: DUP2 00000389: AND 0000038a: PUSH1 0x64 0000038c: MSTORE 0000038d: SWAP1 0000038e: SWAP2 0000038f: AND 00000390: SWAP1 00000391: PUSH4 0x70a08231 00000396: SWAP1 00000397: PUSH1 0x84 00000399: SWAP1 0000039a: PUSH1 0x20 0000039c: SWAP1 0000039d: PUSH1 0x24 0000039f: DUP2 000003a0: DUP8 000003a1: DUP8 000003a2: PUSH2 0x61da 000003a5: GAS 000003a6: SUB 000003a7: CALL 000003a8: ISZERO 000003a9: PUSH2 0x0002 000003ac: JUMPI 000003ad: POP 000003ae: POP 000003af: PUSH1 0x40 000003b1: DUP1 000003b2: MLOAD 000003b3: DUP1 000003b4: MLOAD 000003b5: PUSH1 0x01 000003b7: SLOAD 000003b8: DUP6 000003b9: SLOAD 000003ba: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000003db: DUP5 000003dc: MSTORE 000003dd: PUSH1 0x01 000003df: PUSH1 0xa0 000003e1: PUSH1 0x02 000003e3: EXP 000003e4: SUB 000003e5: SWAP1 000003e6: DUP2 000003e7: AND 000003e8: PUSH1 0x04 000003ea: DUP6 000003eb: ADD 000003ec: MSTORE 000003ed: PUSH1 0x24 000003ef: DUP5 000003f0: ADD 000003f1: DUP4 000003f2: SWAP1 000003f3: MSTORE 000003f4: SWAP4 000003f5: MLOAD 000003f6: SWAP2 000003f7: SWAP6 000003f8: SWAP4 000003f9: AND 000003fa: SWAP4 000003fb: POP 000003fc: PUSH4 0xa9059cbb 00000401: SWAP3 00000402: PUSH1 0x44 00000404: DUP4 00000405: DUP2 00000406: ADD 00000407: SWAP4 00000408: PUSH1 0x20 0000040a: SWAP4 0000040b: SWAP3 0000040c: SWAP1 0000040d: DUP4 0000040e: SWAP1 0000040f: SUB 00000410: SWAP1 00000411: SWAP2 00000412: ADD 00000413: SWAP1 00000414: DUP3 00000415: SWAP1 00000416: DUP8 00000417: PUSH2 0x61da 0000041a: GAS 0000041b: SUB 0000041c: CALL 0000041d: ISZERO 0000041e: PUSH2 0x0002 00000421: JUMPI 00000422: POP 00000423: POP 00000424: POP 00000425: POP 00000426: POP 00000427: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb87a52124b18c8a3d3aa9670d227dcec7efb3dd06692cc359ed45d379306e890
call_targets:
0xaf35c5cc6d0faa1a93b068b8ba1bbaffb40e38f3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb87a52124b18c8a3d3aa9670d227dcec7efb3dd06692cc359ed45d379306e890",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaf35c5cc6d0faa1a93b068b8ba1bbaffb40e38f3"
],
"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": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x516dde43",
"selector": "0x516dde43",
"calldata_variants": [
"0x516dde43",
"0x516dde430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e353a1d",
"selector": "0x6e353a1d",
"calldata_variants": [
"0x6e353a1d",
"0x6e353a1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x984474fb",
"selector": "0x984474fb",
"calldata_variants": [
"0x984474fb",
"0x984474fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9cc9299e",
"selector": "0x9cc9299e",
"calldata_variants": [
"0x9cc9299e",
"0x9cc9299e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb69ef8a8",
"selector": "0xb69ef8a8",
"calldata_variants": [
"0xb69ef8a8",
"0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 348,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 530,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 565,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [],
"untrusted_call_count": 8
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xb87a52124b18c8a3d3aa9670d227dcec7efb3dd06692cc359ed45d379306e890
call_targets:
0xaf35c5cc6d0faa1a93b068b8ba1bbaffb40e38f3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb87a52124b18c8a3d3aa9670d227dcec7efb3dd06692cc359ed45d379306e890",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaf35c5cc6d0faa1a93b068b8ba1bbaffb40e38f3"
],
"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": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x516dde43",
"selector": "0x516dde43",
"calldata_variants": [
"0x516dde43",
"0x516dde430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e353a1d",
"selector": "0x6e353a1d",
"calldata_variants": [
"0x6e353a1d",
"0x6e353a1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x984474fb",
"selector": "0x984474fb",
"calldata_variants": [
"0x984474fb",
"0x984474fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9cc9299e",
"selector": "0x9cc9299e",
"calldata_variants": [
"0x9cc9299e",
"0x9cc9299e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb69ef8a8",
"selector": "0xb69ef8a8",
"calldata_variants": [
"0xb69ef8a8",
"0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 348,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 530,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 565,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x76772ad896fd7b24b380b63463c263ff57b438de67afa9597540d22abdc095aa
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 12,
"trace_id": "0x76772ad896fd7b24b380b63463c263ff57b438de67afa9597540d22abdc095aa",
"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": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x516dde43",
"selector": "0x516dde43",
"calldata_variants": [
"0x516dde43",
"0x516dde430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e353a1d",
"selector": "0x6e353a1d",
"calldata_variants": [
"0x6e353a1d",
"0x6e353a1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x984474fb",
"selector": "0x984474fb",
"calldata_variants": [
"0x984474fb",
"0x984474fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9cc9299e",
"selector": "0x9cc9299e",
"calldata_variants": [
"0x9cc9299e",
"0x9cc9299e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb69ef8a8",
"selector": "0xb69ef8a8",
"calldata_variants": [
"0xb69ef8a8",
"0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|