@moonquake2004/dsh-security 0.1.7 → 0.2.0

package/src/integrations/tool-exec.mjs

@@ -0,0 +1,130 @@
+/**
+ * 外部工具调用助手（跨平台）——供 EXT-* 集成共用
+ *
+ * 复审修复（docs/ecosystem-audit-2026-09.md §3(c)/§4.4），两处共性问题：
+ *
+ * 1. `which` 探测不可移植：Windows 没有 `which`，旧实现的 `isAvailable()` 在 Windows 上
+ *    永远返回 false（连带把「工具未安装」和「平台不支持」混为一谈）。
+ *    这里改为纯 Node 的 PATH 扫描：POSIX 校验可执行位，Windows 额外按 PATHEXT 匹配
+ *    .COM/.EXE/.BAT/.CMD。不启动任何子进程，因此探测本身不会执行第三方代码。
+ *
+ * 2. `execFileSync` 会把「非零退出码」变成异常：poison-guard 用 exit 1 表示「发现投毒」、
+ *    reducer 用 exit 1 表示「归约失败并给出了 error envelope」，两者在非零退出时**都仍然
+ *    往 stdout 写结构化 JSON**。用 execFileSync 时这些 stdout 随异常一起丢掉，
+ *    真实发现退化成一句没有信息的 skip。
+ *    这里改用 `spawnSync` 包装，永不抛异常，把 stdout/stderr/退出码/signal 一并交回调用方判断。
+ */
+
+import { spawnSync } from 'node:child_process';
+import { accessSync, constants, statSync } from 'node:fs';
+import { delimiter, extname, isAbsolute, join } from 'node:path';
+
+const WINDOWS = process.platform === 'win32';
+
+/** 默认的 Windows 可执行扩展名（PATH 中没有 PATHEXT 时的回退） */
+const DEFAULT_PATHEXT = '.COM;.EXE;.BAT;.CMD';
+
+/**
+ * 在 PATH 中查找可执行文件，返回绝对路径；找不到返回 null。
+ * 纯 fs 扫描，不 fork 子进程——探测第三方工具可用性时不应执行第三方代码。
+ *
+ * @param {string} bin 可执行文件名（也可传含路径分隔符的相对/绝对路径）
+ * @param {NodeJS.ProcessEnv} [env]
+ * @returns {string|null}
+ */
+export function findExecutable(bin, env = process.env) {
+  if (!bin || typeof bin !== 'string') return null;
+
+  const explicitPath = isAbsolute(bin) || bin.includes('/') || bin.includes('\\');
+  const dirs = explicitPath
+    ? ['']
+    : String(env.PATH ?? env.Path ?? '').split(delimiter).filter(Boolean);
+
+  const exts = WINDOWS
+    ? String(env.PATHEXT ?? DEFAULT_PATHEXT).split(';').map(e => e.trim()).filter(Boolean)
+    : [''];
+
+  for (const dir of dirs) {
+    const base = dir ? join(dir, bin) : bin;
+    const candidates = [base];
+    // 已带扩展名（如 dsh-plugin-reducer.cmd）时不再叠加 PATHEXT
+    if (WINDOWS && !extname(base)) {
+      for (const ext of exts) candidates.push(base + ext.toLowerCase(), base + ext.toUpperCase());
+    }
+    for (const candidate of candidates) {
+      try {
+        if (!statSync(candidate).isFile()) continue;
+        // POSIX：必须是可执行文件；Windows：X_OK 无实义，但 accessSync 仍可用于存在性确认
+        if (!WINDOWS) accessSync(candidate, constants.X_OK);
+        return candidate;
+      } catch { /* 试下一个候选 */ }
+    }
+  }
+  return null;
+}
+
+/**
+ * 执行外部命令并返回结构化结果——**永不抛异常**。
+ *
+ * @param {string} bin
+ * @param {string[]} args
+ * @param {{timeoutMs?: number, env?: object, cwd?: string, maxBuffer?: number}} [options]
+ * @returns {{status: number|null, signal: string|null, stdout: string, stderr: string, error: Error|null}}
+ */
+export function execCapture(bin, args, options = {}) {
+  const { timeoutMs = 60000, env, cwd, maxBuffer = 16 * 1024 * 1024 } = options;
+  const result = spawnSync(bin, args, {
+    encoding: 'utf8',
+    timeout: timeoutMs,
+    maxBuffer,
+    stdio: ['ignore', 'pipe', 'pipe'],
+    ...(env ? { env } : {}),
+    ...(cwd ? { cwd } : {}),
+    // Windows 上 npm 安装的可执行文件是 .cmd/.bat 垫片，不经过 shell 无法直接 spawn
+    shell: WINDOWS,
+  });
+
+  return {
+    status: result.status ?? null,
+    signal: result.signal ?? null,
+    stdout: typeof result.stdout === 'string' ? result.stdout : '',
+    stderr: typeof result.stderr === 'string' ? result.stderr : '',
+    error: result.error ?? null,
+  };
+}
+
+/**
+ * 把一次失败执行压缩成一行可读原因（用于 skip 的 reason）。
+ * @param {{status: number|null, signal: string|null, stderr: string, error: Error|null}} res
+ */
+export function describeFailure(res) {
+  const bits = [];
+  if (res?.error?.message) bits.push(String(res.error.message).slice(0, 120));
+  if (res?.signal) bits.push(`signal=${res.signal}`);
+  bits.push(`exit=${res?.status ?? 'null'}`);
+  const lastStderrLine = String(res?.stderr ?? '').trim().split('\n').filter(Boolean).pop();
+  if (lastStderrLine) bits.push(lastStderrLine.slice(0, 120));
+  return bits.join(', ');
+}
+
+/**
+ * 解析 stdout 上的 JSON，返回 {ok, value}；不抛异常。
+ * 工具约定「一行 JSON envelope」或任意 JSON 文档，这里整段解析。
+ * @param {string} text
+ */
+export function parseJson(text) {
+  const trimmed = String(text ?? '').trim();
+  if (trimmed === '') return { ok: false, value: undefined };
+  try {
+    return { ok: true, value: JSON.parse(trimmed) };
+  } catch {
+    return { ok: false, value: undefined };
+  }
+}
+
+/** JS 值的类型名，用于「契约已变化」类 skip 的原因描述 */
+export function typeName(value) {
+  if (value === null) return 'null';
+  if (Array.isArray(value)) return 'array';
+  return typeof value;
+}

package/src/registry.mjs

@@ -152,6 +152,9 @@ export async function createDefaultRegistry(loadExternal = true, options = {}) {
     import('./checks/sp8-dist-tag-health.mjs'),
     import('./checks/sp9-dual-instance-guard.mjs'),
     import('./checks/sp10-poison-pattern.mjs'),
+    import('./checks/sp11-patch-security-override.mjs'),
+    import('./checks/sp12-config-as-code-tag.mjs'),
+    import('./checks/sp13-tools-mode-sandbox.mjs'),
   ]);
   for (const mod of modules) {
     for (const val of Object.values(mod)) {

package/src/session-reader.mjs

@@ -61,3 +61,137 @@ export async function scanSessionLines(sessionFile, onLine) {
   }
   return lineCount;
 }
+
+/* ================= 世代感知的会话定位 + 归一化载荷（形态规范见 docs/session-shape-v3.md） =================
+ * 2026-09 回归教训：DSH 起用 session.v<N>.jsonl.zstd（当前 v3），旧定位器只认 session.jsonl[.zstd]，
+ * 导致整套 SR/SS 检查在分析 2 天前的旧世代日志。此后定位必须世代感知。
+ */
+
+import { existsSync, readdirSync, statSync } from 'node:fs';
+import { join } from 'node:path';
+
+/** 会话文件名：session.jsonl[.zstd] / session.v<N>.jsonl[.zstd]（无 .vN 视为世代 0）。 */
+export const SESSION_FILE_RE = /^session(?:\.v(\d+))?\.jsonl(\.zstd|\.zst)?$/;
+
+/** 从文件名解析世代号；非会话文件返回 -1。 */
+export function sessionGeneration(fileName) {
+  const m = SESSION_FILE_RE.exec(fileName);
+  return m ? Number(m[1] ?? 0) : -1;
+}
+
+/** 同一会话目录内取最高世代的日志文件（.zstd 优先）；无匹配返回 null。 */
+function bestLogInDir(dir) {
+  let entries;
+  try { entries = readdirSync(dir); } catch { return null; }
+  let best = null;
+  for (const name of entries) {
+    const gen = sessionGeneration(name);
+    if (gen < 0) continue;
+    const f = join(dir, name);
+    let st;
+    try { st = statSync(f); } catch { continue; }
+    if (!st.isFile()) continue;
+    const isZstd = /\.zst(d)?$/.test(name) ? 1 : 0;
+    if (!best || gen > best.generation || (gen === best.generation && isZstd > best.isZstd)) {
+      best = { file: f, generation: gen, isZstd, mtimeMs: st.mtimeMs };
+    }
+  }
+  return best;
+}
+
+/**
+ * 定位最新会话日志（世代感知）。
+ * - 同一会话目录：取最高世代（而非文件名字典序）
+ * - 跨目录：按 mtime 取最新
+ * - 忽略 session.lock；兼容散落在 user 目录下的 session.jsonl
+ * @param {string} dshHome DSH home（含 sessions/）
+ * @returns {{file: string, generation: number, mtimeMs: number}|null}
+ */
+export function findLatestSession(dshHome) {
+  const root = join(dshHome, 'sessions');
+  if (!existsSync(root)) return null;
+  let best = null;
+  let projects;
+  try { projects = readdirSync(root); } catch { return null; }
+  for (const proj of projects) {
+    if (proj === 'session.lock') continue;
+    const pdir = join(root, proj);
+    let subs;
+    try { subs = readdirSync(pdir, { withFileTypes: true }); } catch { continue; }
+    for (const sub of subs) {
+      if (!sub.isDirectory()) {
+        // 散文件：sessions/<proj>/session*.jsonl*
+        if (sub.isFile() && sessionGeneration(sub.name) >= 0) {
+          const f = join(pdir, sub.name);
+          let st; try { st = statSync(f); } catch { continue; }
+          if (!best || st.mtimeMs > best.mtimeMs) best = { file: f, generation: sessionGeneration(sub.name), mtimeMs: st.mtimeMs };
+        }
+        continue;
+      }
+      const cand = bestLogInDir(join(pdir, sub.name));
+      if (cand && (!best || cand.mtimeMs > best.mtimeMs)) best = cand;
+    }
+  }
+  return best;
+}
+
+/**
+ * 归一化事件载荷 —— SR/SS 检查**只应从这里取字段**，不要各自猜字段名。
+ * 兼容 v3（data.arguments 为 JSON 字符串、结果嵌在 data.message）与旧世代（扁平 args/input/output/result/text）。
+ * @returns {{kind:'call'|'result'|'other', type:string, name:string|null, argsText:string,
+ *            callId:string|null, resultText:string, turn:number|null, step:number|null, seq:number|null}}
+ */
+export function extractEvent(event) {
+  const data = (event && typeof event.data === 'object' && event.data) || {};
+  const type = String(event?.type ?? '');
+  const kind = type === 'tool/call' ? 'call' : type === 'tool/result' ? 'result' : 'other';
+
+  let argsText = '';
+  const rawArgs = data.arguments ?? data.args ?? data.input;
+  if (typeof rawArgs === 'string') argsText = rawArgs;
+  else if (rawArgs != null) { try { argsText = JSON.stringify(rawArgs); } catch { argsText = String(rawArgs); } }
+
+  const msg = (typeof data.message === 'object' && data.message) || null;
+  const blocks = msg && Array.isArray(msg.content) ? msg.content : [];
+  const callId = data.callId
+    ?? msg?.source?.callId
+    ?? blocks.find((b) => b && typeof b.toolCallId === 'string')?.toolCallId
+    ?? null;
+
+  const parts = [];
+  for (const blk of blocks) {
+    if (!blk || typeof blk !== 'object') continue;
+    if (Array.isArray(blk.content)) {
+      for (const inner of blk.content) if (inner && typeof inner.text === 'string') parts.push(inner.text);
+    } else if (typeof blk.text === 'string') parts.push(blk.text);
+    if (typeof blk.output === 'string') parts.push(blk.output);
+  }
+  let resultText = parts.join('\n');
+  if (!resultText) {
+    const flat = data.output ?? data.result ?? data.text;
+    if (typeof flat === 'string') resultText = flat;
+    else if (flat != null) { try { resultText = JSON.stringify(flat); } catch { /* 忽略 */ } }
+  }
+
+  const turn = typeof data.turn === 'number' ? data.turn : (typeof event?.turn === 'number' ? event.turn : null);
+  const step = typeof data.step === 'number' ? data.step : (typeof event?.step === 'number' ? event.step : null);
+  return { kind, type, name: data.name ?? data.tool ?? null, argsText, callId, resultText, turn, step, seq: typeof event?.seq === 'number' ? event.seq : null };
+}
+
+/**
+ * 是否"命令执行类"工具 —— 静态沙箱/提权/外泄规则只应作用于这类工具。
+ * 否则文档工具（write/edit）里**引用**路径（如审计文档里写 `/etc/passwd`）会被误判为逃逸行为
+ * （2026-09 实测：解除失明后 SR1 在真实日志上报 361 处，绝大多数是这种"提到而非执行"）。
+ * 判定：工具名像 shell，或参数 JSON 顶层含 command/script/cmd。
+ */
+export function isShellTool(name, argsText) {
+  if (typeof name === 'string' && /(^|[^a-z])(bash|sh|shell|zsh|exec|terminal|command|run|script|process)/i.test(name)) return true;
+  if (typeof argsText === 'string' && argsText) {
+    try {
+      const o = JSON.parse(argsText);
+      if (o && typeof o === 'object' && !Array.isArray(o)
+          && (typeof o.command === 'string' || typeof o.script === 'string' || typeof o.cmd === 'string')) return true;
+    } catch { /* 非 JSON 参数：按非 shell 处理 */ }
+  }
+  return false;
+}