mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-10-18 05:19:29 +08:00
Chris Tate
23b6cb8819
createHash, createHmac, crypto.hash, pbkdf2, pbkdf2Sync, hkdf and hkdfSync accept every digest crypto.getHashes() lists in Node 24: SHA-512/224, SHA-512/256, SHA-256/192, SHA3-224 to SHA3-512, Keccak-224 to Keccak-512, SHAKE128, SHAKE256, KECCAK-KMAC-128, KECCAK-KMAC-256, RIPEMD-160, BLAKE2b-512, BLAKE2s-256, SM3 and MD5-SHA1. The new runtime unit scr_hash.c implements Keccak, RIPEMD-160, BLAKE2b, BLAKE2s and SM3, and is registered in both runtime pack matrices and the C-compile path. Names resolve as Node 24.22 resolves them: case-insensitively, with OpenSSL's provider aliases and object identifiers, ending at the first NUL, and with trailing spaces allowed except on the RSA signature aliases. "dss1" and "DSS1" are SHA-1, and createHash and crypto.hash accept "dss1" in any case. The compiler no longer refuses literal digest names outside SHA-1/SHA-2 and MD5; unknown names throw Node's errors at run time. SHAKE and KMAC digests use their default output lengths. createHmac rejects them with Node's OpenSSL error, pbkdf2 with "xof digests not allowed", and hkdf with "Deriving bits failed". pbkdf2 with a key length of 0 now fails with "Deriving bits failed" as in Node 24.22, and the callback forms pass these failures to the callback. PBKDF2 computes the keyed HMAC states once instead of on every iteration, and digest contexts are cleared with memset and a compiler barrier instead of a byte loop. The Keccak permutation, the RIPEMD-160 and BLAKE2 compression functions and the SM3 rounds are unrolled with constant indices.
99 lines
4.1 KiB
TypeScript
99 lines
4.1 KiB
TypeScript
import { execFile } from "node:child_process";
|
|
import { mkdir, readFile } from "node:fs/promises";
|
|
import { join } from "node:path";
|
|
import { promisify } from "node:util";
|
|
import { beforeAll, expect, test } from "vitest";
|
|
|
|
const execFileAsync = promisify(execFile);
|
|
const testDir = import.meta.dirname;
|
|
const bin = join(testDir, "build", "test_string");
|
|
|
|
// Compiles the C-side oracle test once for both tests below. Built with
|
|
// ASan + the RC audit so the oracle run also proves the new string
|
|
// functions neither leak nor double-free across ~26k calls.
|
|
beforeAll(async () => {
|
|
await mkdir(join(testDir, "build"), { recursive: true });
|
|
await execFileAsync("clang", [
|
|
"-std=c11",
|
|
"-O1",
|
|
"-Wall",
|
|
"-Wextra",
|
|
"-fsanitize=address",
|
|
"-DSCR_RC_AUDIT",
|
|
"-DSCR_SIDX_TEST",
|
|
...(process.platform === "linux" ? ["-D_GNU_SOURCE"] : []),
|
|
"-o",
|
|
bin,
|
|
join(testDir, "test_string.c"),
|
|
join(testDir, "../src/scr_string.c"),
|
|
join(testDir, "../src/scr_number.c"),
|
|
// scr_str_split returns a real string[]: the array module and its
|
|
// own dependencies join the link (the array.test.ts set).
|
|
join(testDir, "../src/scr_array.c"),
|
|
// Checked-value collection equality shares the native JSON value runtime.
|
|
join(testDir, "../src/scr_json.c"),
|
|
join(testDir, "../src/scr_map.c"),
|
|
join(testDir, "../src/scr_union.c"),
|
|
join(testDir, "../src/scr_bigint.c"),
|
|
join(testDir, "../src/scr_closure.c"),
|
|
join(testDir, "../src/scr_bytes.c"),
|
|
join(testDir, "../src/scr_shared.c"),
|
|
join(testDir, "../src/scr_lib.c"),
|
|
join(testDir, "../src/scr_hash.c"),
|
|
join(testDir, "../src/scr_console.c"),
|
|
join(testDir, "../src/scr_path.c"),
|
|
join(testDir, "../src/scr_url.c"),
|
|
join(testDir, "../src/scr_url_params.c"),
|
|
join(testDir, "../src/scr_error.c"),
|
|
join(testDir, "../src/scr_exception.c"),
|
|
join(testDir, "../src/scr_object.c"),
|
|
join(testDir, "../src/scr_cycle.c"),
|
|
join(testDir, "../src/scr_alloc.c"),
|
|
...(process.platform === "linux" ? ["-lm"] : []),
|
|
]);
|
|
});
|
|
|
|
// Runs against the committed case file generated from Node via
|
|
// gen-string-cases.mjs. The first test below also verifies the checked-in
|
|
// oracle against the generator, so a stale result cannot pass. Covers UTF-16
|
|
// length/charCodeAt/indexOf/includes/startsWith/endsWith/slice/repeat/
|
|
// trim/trimStart/trimEnd/split/padStart/padEnd/charAt plus parseInt over
|
|
// ASCII, Latin-1, CJK, astral, and combining-mark strings, including the
|
|
// documented lone-surrogate → U+FFFD divergence.
|
|
//
|
|
// parseInt cases whose Node answer differs between arm64 and x64 are
|
|
// recorded once per architecture ("parseInt.arm64" / "parseInt.x64", see
|
|
// ARCH_PARSEINT in gen-string-cases.mjs), so the generated file is the same
|
|
// on either machine and the C harness checks this architecture's answer.
|
|
test("committed string oracle matches Node", async () => {
|
|
const caseFile = join(testDir, "string-cases.txt");
|
|
const [{ stdout }, committed] = await Promise.all([
|
|
execFileAsync(process.execPath, [join(testDir, "gen-string-cases.mjs")], {
|
|
maxBuffer: 2 * 1024 * 1024,
|
|
}),
|
|
readFile(caseFile, "utf8"),
|
|
]);
|
|
const generated = stdout.split("\n");
|
|
const expected = committed.split("\n");
|
|
expect(generated).toHaveLength(expected.length);
|
|
expect(generated.filter((line, index) => line !== expected[index])).toEqual([]);
|
|
});
|
|
|
|
test("string methods match Node on committed oracle cases", async () => {
|
|
const r = await execFileAsync(bin, [join(testDir, "string-cases.txt")]).then(
|
|
(v) => ({ stderr: v.stderr }),
|
|
(e: Error & { stderr?: string }) => ({ stderr: e.stderr ?? "" }),
|
|
);
|
|
expect(r.stderr.trim()).toMatch(/^(\d+)\/\1 cases passed$/);
|
|
});
|
|
|
|
// repeat(count) with count < 0 or Infinity is Node's catchable RangeError
|
|
// ("Invalid count value: -1"); the runtime leaves it pending.
|
|
test.each([
|
|
["--crash-repeat", "-1"],
|
|
["--crash-repeat-inf", "Infinity"],
|
|
])("repeat throws a catchable RangeError (%s)", async (mode, shown) => {
|
|
const { stderr } = await execFileAsync(bin, [mode]);
|
|
expect(stderr).toContain(`Uncaught RangeError: Invalid count value: ${shown}`);
|
|
});
|