e4c3d72396
Replace initializer-history and full-path enumeration with a finite projection join at each source read. Retain conservative local returned-reference effects and disclose precision loss through static, semantic and captured-web results. Close full-binding callback cycles while preserving narrowed read semantics. Fixes #4348 Fixes #5138 Refs #4349 Refs #4364 Co-authored-by: Kaoru0822 <208281322+kaoru0822-kitauji@users.noreply.github.com> Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com> Co-authored-by: Fuxuan-CN <3072252442@qq.com>
109 lines
3.3 KiB
TypeScript
109 lines
3.3 KiB
TypeScript
import { writeFile } from "node:fs/promises";
|
|
import { join } from "node:path";
|
|
import { expect } from "vitest";
|
|
|
|
import { parseEvidence } from "../../../src/domain/evidence.js";
|
|
import { javascriptApplicationAnalysisResultSchema } from "../../../src/domain/javascript/javascriptApplicationAnalysis.js";
|
|
import { connectLocalToolsMcp } from "../../fixtures/localToolsMcp.js";
|
|
import { createTestTempDirectory } from "../../fixtures/temporaryDirectory.js";
|
|
import { cliTest } from "../../support/cli/cliFixture.js";
|
|
|
|
const verify = (value: unknown) => {
|
|
const result = javascriptApplicationAnalysisResultSchema.parse(
|
|
parseEvidence(value).normalized_result,
|
|
);
|
|
expect(result.statistics).toMatchObject({
|
|
parsed_javascript_files: 3,
|
|
skipped_javascript_files: 0,
|
|
parse_failures: 0,
|
|
});
|
|
const endpoints = result.graph.nodes
|
|
.filter(({ kind }) => kind === "endpoint")
|
|
.flatMap(({ observations }) =>
|
|
observations.map(({ properties }) => ({
|
|
value: properties.value,
|
|
interpretation: properties.interpretation,
|
|
})),
|
|
);
|
|
expect(endpoints).toContainEqual({
|
|
value: "/preserved",
|
|
interpretation: undefined,
|
|
});
|
|
expect(endpoints).toContainEqual({
|
|
value: "/possibly-patched",
|
|
interpretation: "candidate",
|
|
});
|
|
expect(endpoints).toContainEqual({
|
|
value: "/growing",
|
|
interpretation: "candidate",
|
|
});
|
|
expect(endpoints.some(({ value }) => value === "/intrinsic")).toBe(false);
|
|
expect(result.semantic_graph.unknowns).toContainEqual(
|
|
expect.objectContaining({
|
|
reason: "dynamic-property",
|
|
detail: expect.stringContaining("returned-reference projections"),
|
|
}),
|
|
);
|
|
};
|
|
|
|
cliTest(
|
|
"retains static facts and possible prototype effects across a recursive alias web in CLI and MCP",
|
|
async ({ cli }) => {
|
|
const root = await createTestTempDirectory(
|
|
"rea-returned-reference-cycles-",
|
|
);
|
|
await writeFile(
|
|
join(root, "cycles.js"),
|
|
`function local() { return {}; }
|
|
function exposed() { return Map.prototype; }
|
|
let a = local, b = exposed;
|
|
function patch(flag) {
|
|
${Array.from({ length: 28 }, (_, index) =>
|
|
index % 2 === 0 ? "a = b;" : "b = a;",
|
|
).join("\n")}
|
|
a().get = fetch;
|
|
}
|
|
fetch("/preserved");
|
|
new Map().get("/possibly-patched");`,
|
|
);
|
|
await writeFile(
|
|
join(root, "independent.js"),
|
|
'const records = new Map(); records.get("/intrinsic");',
|
|
);
|
|
await writeFile(
|
|
join(root, "growing.js"),
|
|
`function expose() { return Map.prototype; }
|
|
let cursor = { target: expose };
|
|
function walk(flag) {
|
|
while (flag) cursor = cursor.next;
|
|
patch(cursor.target());
|
|
}
|
|
new Map().get("/growing");`,
|
|
);
|
|
const response = await cli.run({
|
|
arguments: [
|
|
"analyze-javascript-application",
|
|
root,
|
|
"--max-heap-mb",
|
|
"256",
|
|
"--analysis-timeout-ms",
|
|
"30000",
|
|
"--format",
|
|
"json",
|
|
],
|
|
});
|
|
expect(response.exitCode, response.stderr).toBe(0);
|
|
verify(response.json);
|
|
|
|
const { call } = await connectLocalToolsMcp();
|
|
const analyzed = await call("analyze_javascript_application", {
|
|
input_path: root,
|
|
max_heap_mb: 256,
|
|
analysis_timeout_ms: 30_000,
|
|
});
|
|
expect(analyzed.isError, JSON.stringify(analyzed.content)).not.toBe(true);
|
|
verify(analyzed.structuredContent);
|
|
},
|
|
90_000,
|
|
);
|