@sofagent/rules 1.3.8 → 1.3.9

package/dist/approval-mode.js

@@ -6,7 +6,7 @@
 //（allow-all / deny-all / read-only / always-ask）。
 //
 // 四种模式行为：
-//   allow-with-audit  全部放行 + 写审计日志（默认模式 = v1.3.8 行为，不破坏既有）
+//   allow-with-audit  全部放行 + 写审计日志（默认模式 = v1.3.9 行为，不破坏既有）
 //   deny-all          全部拦截（调试/安全演练）
 //   read-only         只读工具（permission='r'）自动放行，读写需人工确认（Benchmark 评测）
 //   always-ask        每次工具调用都问人（危险操作密集场景）

package/dist/ast/engine.d.ts

@@ -0,0 +1,52 @@
+import type { AstFinding, AstScanInput } from './types';
+export interface AstEngineOptions {
+    /** 只跑这些规则 ID（缺省跑全部内置规则） */
+    ruleIds?: string[];
+    /** TS 不可用时的降级行为：返回 WARN finding（默认） */
+    onTsUnavailable?: 'warn' | 'throw';
+}
+/**
+ * AST 规则引擎——把扫描内容落临时文件、驱动 TS7 server 解析、
+ * 逐规则遍历语法树产出 finding。
+ */
+export declare class AstRuleEngine {
+    private readonly rules;
+    private readonly onTsUnavailable;
+    private tsApi;
+    private tsApiFailed;
+    private syntaxKind;
+    private tmpRoot;
+    /** extractExports 临时文件序号（每次调用唯一路径——TS7 snapshot 同路径缓存规避） */
+    private extractSeq;
+    constructor(options?: AstEngineOptions);
+    /** 支持的代码文件后缀（TS7 可解析） */
+    private static readonly CODE_EXTS;
+    /**
+     * 扫描一批文件——AST 规则走 TS 解析，文本规则直接消费内容。
+     * 返回 findings（可能为空；TS 不可用时按策略降级）。
+     */
+    scan(inputs: readonly AstScanInput[]): AstFinding[];
+    /** 释放资源（TS server 进程 + 临时目录） */
+    close(): void;
+    private getTsApi;
+    /** SyntaxKind 名字→数字（供规则判型；未加载成功时返回 -1 恒不匹配） */
+    kindOf(name: string): number;
+    /**
+     * 提取 TS 源文件的 export 符号清单（v1.3.9 四：API 语义解析复用）。
+     * 覆盖形态：export {} 块 / export 声明（const·function·class·type·interface）/
+     * export default / export *。
+     *
+     * @returns 符号名 + 语句所在行（1-based）——供 @public/@internal 分级标记对齐
+     */
+    extractExports(path: string, content: string): Array<{
+        name: string;
+        line: number;
+    }>;
+    private ensureTmpRoot;
+    /**
+     * 临时文件路径：序号前缀防同名冲突 + basename 消毒防路径穿越。
+     * 扩展名保留（TS7 靠后缀推断 scriptKind），未知后缀归一为 .ts。
+     */
+    private makeTmpPath;
+}
+//# sourceMappingURL=engine.d.ts.map

package/dist/ast/engine.js

@@ -0,0 +1,291 @@
+"use strict";
+// ============================================================
+// engine.ts · AST 规则引擎核心
+// v1.3.9（一）：官方 AST 规则引擎参考实现（sofagent-ruleset-ast）
+//
+// 依赖说明（TypeScript 7 原生端 API 变迁）：
+// TypeScript 7（Go 原生移植）移除了 5.x 的 createSourceFile 同步解析 API，
+// 官方替代入口是 `typescript/unstable/sync` 的 API 类——
+//   new API() → updateSnapshot({openFiles}) → getDefaultProjectForFile → program.getSourceFile
+// 服务端要求文件真实存在于磁盘，因此引擎把扫描内容写入临时目录再解析。
+// 虚拟 FS（typescript/unstable/fs）对 openFiles 的项目解析不生效（实测），
+// 临时文件是 TS7 下唯一稳定的内存内容解析通道。
+//
+// 安全约束：
+// - 临时文件名 = 序号 + 消毒后的 basename——diff 路径可能含 ../ 穿越，必须消毒
+// - typescript 以 peerDependency 声明，require 失败时引擎降级为 WARN（不硬崩）
+// - 引擎单例持有 API 实例（server 进程复用），close() 显式回收
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AstRuleEngine = void 0;
+const fs_1 = require("fs");
+const os_1 = require("os");
+const path_1 = require("path");
+const rules_1 = require("./rules");
+/** 从 typescript/unstable/sync 动态加载 API 构造器（失败返回 null 走降级） */
+function loadTsApi() {
+    try {
+        // eslint-disable-next-line @typescript-eslint/no-var-requires
+        const mod = require('typescript/unstable/sync');
+        return typeof mod.API === 'function' ? mod.API : null;
+    }
+    catch {
+        return null;
+    }
+}
+/** SyntaxKind 数字→名字 映射（tree-walk 判型用） */
+function loadSyntaxKind() {
+    try {
+        // eslint-disable-next-line @typescript-eslint/no-var-requires
+        const ast = require('typescript/unstable/ast');
+        return ast.SyntaxKind ?? {};
+    }
+    catch {
+        return {};
+    }
+}
+// ── 引擎本体 ──
+/**
+ * AST 规则引擎——把扫描内容落临时文件、驱动 TS7 server 解析、
+ * 逐规则遍历语法树产出 finding。
+ */
+class AstRuleEngine {
+    rules;
+    onTsUnavailable;
+    tsApi = null;
+    tsApiFailed = false;
+    syntaxKind = {};
+    tmpRoot = null;
+    /** extractExports 临时文件序号（每次调用唯一路径——TS7 snapshot 同路径缓存规避） */
+    extractSeq = 0;
+    constructor(options = {}) {
+        const all = rules_1.builtinAstRules;
+        const filter = options.ruleIds;
+        this.rules = filter ? all.filter((r) => filter.includes(r.id)) : all;
+        this.onTsUnavailable = options.onTsUnavailable ?? 'warn';
+    }
+    /** 支持的代码文件后缀（TS7 可解析） */
+    static CODE_EXTS = new Set([
+        '.ts', '.tsx', '.js', '.jsx', '.mjs', '.cjs',
+    ]);
+    /**
+     * 扫描一批文件——AST 规则走 TS 解析，文本规则直接消费内容。
+     * 返回 findings（可能为空；TS 不可用时按策略降级）。
+     */
+    scan(inputs) {
+        const findings = [];
+        const codeInputs = [];
+        // 第一步：分派——代码文件准备临时落盘，其余走文本规则
+        this.ensureTmpRoot();
+        inputs.forEach((input, idx) => {
+            const ext = (0, path_1.extname)(input.path).toLowerCase();
+            if (AstRuleEngine.CODE_EXTS.has(ext)) {
+                codeInputs.push({ input, tmpPath: this.makeTmpPath(idx, input.path) });
+            }
+        });
+        // 第二步：文本规则（不依赖 TS server，先跑）
+        for (const input of inputs) {
+            for (const rule of this.rules) {
+                if (!rule.checkText)
+                    continue;
+                if (rule.filePattern && !rule.filePattern.test(input.path))
+                    continue;
+                const hits = [];
+                rule.checkText({
+                    path: input.path,
+                    text: input.content,
+                    report: (line, message) => hits.push({ ruleId: rule.id, file: input.path, line, message, severity: rule.severity }),
+                });
+                findings.push(...hits);
+            }
+        }
+        // 第三步：AST 规则（需要 TS server）
+        if (codeInputs.length > 0) {
+            const api = this.getTsApi();
+            if (!api) {
+                // TS 不可用——按策略降级（默认 WARN，让盲区可见而非静默跳过）
+                if (this.onTsUnavailable === 'throw') {
+                    throw new Error('[ast-engine] typescript/unstable/sync 不可用——AST 规则无法执行。' +
+                        '请安装 typescript >= 7.0.0（peerDependency）。');
+                }
+                for (const { input } of codeInputs) {
+                    for (const rule of this.rules) {
+                        if (!rule.checkCode)
+                            continue;
+                        findings.push({
+                            ruleId: rule.id,
+                            file: input.path,
+                            line: 1,
+                            message: 'typescript 不可用，AST 规则未执行（降级 WARN，消除盲区）',
+                            severity: 'WARN',
+                        });
+                    }
+                }
+                return findings;
+            }
+            // 落盘 + 单次 snapshot 批量打开（server 进程复用）
+            for (const { input, tmpPath } of codeInputs) {
+                (0, fs_1.writeFileSync)(tmpPath, input.content, 'utf-8');
+            }
+            const snapshot = api.updateSnapshot({ openFiles: codeInputs.map((c) => c.tmpPath) });
+            for (const { input, tmpPath } of codeInputs) {
+                const project = snapshot.getDefaultProjectForFile(tmpPath);
+                const sf = project?.program.getSourceFile(tmpPath);
+                if (!sf)
+                    continue;
+                for (const rule of this.rules) {
+                    if (!rule.checkCode)
+                        continue;
+                    if (rule.filePattern && !rule.filePattern.test(input.path))
+                        continue;
+                    const hits = [];
+                    rule.checkCode({
+                        path: input.path,
+                        sourceFile: sf,
+                        text: sf.text,
+                        kind: (name) => this.kindOf(name),
+                        report: (node, message) => {
+                            const { line } = sf.getLineAndCharacterOfPosition(node.getStart());
+                            hits.push({
+                                ruleId: rule.id,
+                                file: input.path,
+                                line: line + 1,
+                                message,
+                                severity: rule.severity,
+                            });
+                        },
+                        reportLine: (line, message) => hits.push({ ruleId: rule.id, file: input.path, line, message, severity: rule.severity }),
+                    });
+                    findings.push(...hits);
+                }
+            }
+        }
+        return findings;
+    }
+    /** 释放资源（TS server 进程 + 临时目录） */
+    close() {
+        if (this.tsApi) {
+            try {
+                this.tsApi.close();
+            }
+            catch { /* server 已退出则忽略 */ }
+            this.tsApi = null;
+        }
+        if (this.tmpRoot) {
+            try {
+                (0, fs_1.rmSync)(this.tmpRoot, { recursive: true, force: true });
+            }
+            catch { /* 并发清理竞态可忽略 */ }
+            this.tmpRoot = null;
+        }
+    }
+    // ── 内部工具 ──
+    getTsApi() {
+        if (this.tsApi)
+            return this.tsApi;
+        if (this.tsApiFailed)
+            return null;
+        const Ctor = loadTsApi();
+        if (!Ctor) {
+            this.tsApiFailed = true;
+            return null;
+        }
+        this.syntaxKind = loadSyntaxKind();
+        this.tsApi = new Ctor();
+        return this.tsApi;
+    }
+    /** SyntaxKind 名字→数字（供规则判型；未加载成功时返回 -1 恒不匹配） */
+    kindOf(name) {
+        return this.syntaxKind[name] ?? -1;
+    }
+    /**
+     * 提取 TS 源文件的 export 符号清单（v1.3.9 四：API 语义解析复用）。
+     * 覆盖形态：export {} 块 / export 声明（const·function·class·type·interface）/
+     * export default / export *。
+     *
+     * @returns 符号名 + 语句所在行（1-based）——供 @public/@internal 分级标记对齐
+     */
+    extractExports(path, content) {
+        const out = [];
+        const api = this.getTsApi();
+        if (!api)
+            return out; // TS 不可用——调用方自行降级（公共 API 检查用正则兜底）
+        this.ensureTmpRoot();
+        // 🔴 每次调用用唯一临时路径：TS7 snapshot 对同路径已打开文件缓存首次内容，
+        // 复用路径会读到上一个调用者的内容（fileChanges 才能改内容——直接换路径最稳）
+        const seq = ++this.extractSeq;
+        const tmpPath = this.makeTmpPath(seq, `${seq}-${path}`);
+        (0, fs_1.writeFileSync)(tmpPath, content, 'utf-8');
+        const snapshot = api.updateSnapshot({ openFiles: [tmpPath] });
+        const project = snapshot.getDefaultProjectForFile(tmpPath);
+        const sf = project?.program.getSourceFile(tmpPath);
+        if (!sf)
+            return out;
+        const kindIs = (n, k) => !!n && n.kind === this.kindOf(k);
+        const lineOf = (n) => sf.getLineAndCharacterOfPosition(n.getStart()).line + 1;
+        for (const stmt of sf.statements ?? []) {
+            // 形态一：export { a, b } from './x' / export { a, b }
+            if (kindIs(stmt, 'ExportDeclaration')) {
+                const named = stmt.exportClause;
+                if (kindIs(named, 'NamedExports')) {
+                    const elements = named.elements ?? [];
+                    for (const el of elements) {
+                        // ExportSpecifier：name 是对外导出名（importer 可见），propertyName 是本地名
+                        // （export { local as exported } → 取 exported；无 as 时 name 即导出名）
+                        const exported = el;
+                        const name = exported.name?.text ?? exported.propertyName?.text;
+                        if (name)
+                            out.push({ name, line: lineOf(stmt) });
+                    }
+                }
+                else {
+                    out.push({ name: '*', line: lineOf(stmt) }); // export * from
+                }
+                continue;
+            }
+            // 形态二：export default
+            if (kindIs(stmt, 'ExportAssignment')) {
+                out.push({ name: 'default', line: lineOf(stmt) });
+                continue;
+            }
+            // 形态三：export const/let（VariableStatement 带 export 修饰符）
+            if (kindIs(stmt, 'VariableStatement')) {
+                const declList = stmt.declarationList;
+                const decls = declList?.declarations ?? [];
+                for (const d of decls) {
+                    const name = d.name?.text;
+                    if (name)
+                        out.push({ name, line: lineOf(stmt) });
+                }
+                continue;
+            }
+            // 形态四：export function/class/type/interface/enum —— 有 name 的声明
+            const name = stmt.name?.text;
+            if (name && [
+                'FunctionDeclaration', 'ClassDeclaration', 'TypeAliasDeclaration',
+                'InterfaceDeclaration', 'EnumDeclaration', 'ModuleDeclaration',
+            ].some((k) => kindIs(stmt, k))) {
+                out.push({ name, line: lineOf(stmt) });
+            }
+        }
+        return out;
+    }
+    ensureTmpRoot() {
+        if (!this.tmpRoot) {
+            this.tmpRoot = (0, fs_1.mkdtempSync)((0, path_1.join)((0, os_1.tmpdir)(), 'sofagent-ast-'));
+        }
+    }
+    /**
+     * 临时文件路径：序号前缀防同名冲突 + basename 消毒防路径穿越。
+     * 扩展名保留（TS7 靠后缀推断 scriptKind），未知后缀归一为 .ts。
+     */
+    makeTmpPath(idx, originalPath) {
+        const safeBase = (0, path_1.basename)(originalPath).replace(/[^\w.-]/g, '_') || 'file.ts';
+        const ext = (0, path_1.extname)(safeBase).toLowerCase();
+        const normalized = AstRuleEngine.CODE_EXTS.has(ext) ? safeBase : `${safeBase}.ts`;
+        (0, fs_1.mkdirSync)(this.tmpRoot, { recursive: true });
+        return (0, path_1.join)(this.tmpRoot, `${idx}-${normalized}`);
+    }
+}
+exports.AstRuleEngine = AstRuleEngine;
+//# sourceMappingURL=engine.js.map

package/dist/ast/fixtures/vuln-db.json

@@ -0,0 +1,25 @@
+{
+    "_comment": "离线样例漏洞清单（fixture）——OWASP ASI04 供应链 SBOM 检测的数据源。仅含少量公开 CVE 样例用于规则验证，不是漏洞库全量数据；CI 不联网拉取外部漏洞数据库（发版 prompt 明确约束）。ranges 为空格分隔的 AND 条件，每条形如 <x / <=x / >x / >=x / =x。",
+    "npm": {
+        "lodash": [
+            { "ranges": ["<4.17.21"], "id": "CVE-2021-23337", "summary": "命令注入（模板编译）" }
+        ],
+        "minimist": [
+            { "ranges": ["<1.2.6"], "id": "CVE-2021-44906", "summary": "原型污染" }
+        ],
+        "node-fetch": [
+            { "ranges": ["<2.6.7", ">=3.0.0 <3.2.10"], "id": "CVE-2022-0235", "summary": "凭据泄漏（重定向跟随）" }
+        ],
+        "axios": [
+            { "ranges": [">=1.3.0 <1.6.0"], "id": "CVE-2023-45857", "summary": "SSRF / 凭据泄漏" }
+        ],
+        "ws": [
+            { "ranges": [">=7.0.0 <7.4.6"], "id": "CVE-2021-32640", "summary": "DoS（畸形 HTTP 头）" }
+        ]
+    },
+    "go": {
+        "github.com/gorilla/websocket": [
+            { "ranges": ["<1.4.1"], "id": "GO-2020-0035", "summary": "DoS（超大帧）" }
+        ]
+    }
+}

package/dist/ast/index.d.ts

@@ -0,0 +1,10 @@
+export { AstRuleEngine } from './engine';
+export type { AstEngineOptions } from './engine';
+export { walk, is, nodeText, collectImports } from './walk';
+export { builtinAstRules, astRuleById } from './rules';
+export { buildSbom, parsePackageJson, parseGoMod } from './rules/asi04-sbom';
+export type { SbomEntry } from './rules/asi04-sbom';
+export { inRange, compareVersions, parseVersion } from './rules/semver';
+export { run as runAstPlugin, default } from './plugin-adapter';
+export type { AstRule, AstFinding, AstScanInput, AstSeverity, AstRuleContext, AstTextRuleContext, AstNodeHost, } from './types';
+//# sourceMappingURL=index.d.ts.map

package/dist/ast/index.js

@@ -0,0 +1,32 @@
+"use strict";
+// ============================================================
+// ast/index.ts · AST 规则引擎 barrel export
+// v1.3.9（一）：官方 AST 规则引擎参考实现（sofagent-ruleset-ast）
+// ============================================================
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.default = exports.runAstPlugin = exports.parseVersion = exports.compareVersions = exports.inRange = exports.parseGoMod = exports.parsePackageJson = exports.buildSbom = exports.astRuleById = exports.builtinAstRules = exports.collectImports = exports.nodeText = exports.is = exports.walk = exports.AstRuleEngine = void 0;
+var engine_1 = require("./engine");
+Object.defineProperty(exports, "AstRuleEngine", { enumerable: true, get: function () { return engine_1.AstRuleEngine; } });
+var walk_1 = require("./walk");
+Object.defineProperty(exports, "walk", { enumerable: true, get: function () { return walk_1.walk; } });
+Object.defineProperty(exports, "is", { enumerable: true, get: function () { return walk_1.is; } });
+Object.defineProperty(exports, "nodeText", { enumerable: true, get: function () { return walk_1.nodeText; } });
+Object.defineProperty(exports, "collectImports", { enumerable: true, get: function () { return walk_1.collectImports; } });
+var rules_1 = require("./rules");
+Object.defineProperty(exports, "builtinAstRules", { enumerable: true, get: function () { return rules_1.builtinAstRules; } });
+Object.defineProperty(exports, "astRuleById", { enumerable: true, get: function () { return rules_1.astRuleById; } });
+var asi04_sbom_1 = require("./rules/asi04-sbom");
+Object.defineProperty(exports, "buildSbom", { enumerable: true, get: function () { return asi04_sbom_1.buildSbom; } });
+Object.defineProperty(exports, "parsePackageJson", { enumerable: true, get: function () { return asi04_sbom_1.parsePackageJson; } });
+Object.defineProperty(exports, "parseGoMod", { enumerable: true, get: function () { return asi04_sbom_1.parseGoMod; } });
+var semver_1 = require("./rules/semver");
+Object.defineProperty(exports, "inRange", { enumerable: true, get: function () { return semver_1.inRange; } });
+Object.defineProperty(exports, "compareVersions", { enumerable: true, get: function () { return semver_1.compareVersions; } });
+Object.defineProperty(exports, "parseVersion", { enumerable: true, get: function () { return semver_1.parseVersion; } });
+var plugin_adapter_1 = require("./plugin-adapter");
+Object.defineProperty(exports, "runAstPlugin", { enumerable: true, get: function () { return plugin_adapter_1.run; } });
+Object.defineProperty(exports, "default", { enumerable: true, get: function () { return __importDefault(plugin_adapter_1).default; } });
+//# sourceMappingURL=index.js.map

package/dist/ast/plugin-adapter.d.ts

@@ -0,0 +1,35 @@
+/** 插件上下文（与 @sofagent/audit 的 PluginContext 结构对齐，鸭子类型避免包间硬依赖） */
+interface PluginContextShape {
+    diffFiles: Array<{
+        path: string;
+        status?: string;
+        lines?: string[];
+        /** v1.3.9 十二：超大 diff spill 落盘后的取回定位符 */
+        spillFile?: string;
+    }>;
+    options?: {
+        /** 仓库根目录——提供时优先读磁盘上的完整文件（行号精确），否则用 diff 重建 */
+        cwd?: string;
+        /** 只跑这些规则 ID */
+        ruleIds?: string[];
+    };
+}
+/** 插件返回的单条检测结果（与 PluginResult 对齐） */
+interface PluginResultShape {
+    file: string;
+    line?: number;
+    message: string;
+}
+/**
+ * 插件主入口（plugin-runner 经 require('@sofagent/rules/ast') 加载）。
+ * 引擎实例每次调用重建——审计是低频动作，server 启动开销可接受，
+ * 换取无状态与进程卫生。
+ */
+declare function run(ctx: PluginContextShape): PluginResultShape[];
+export { run };
+/** CommonJS 兼容导出：plugin-runner 认 function 或 { run } 两种形态 */
+declare const _default: {
+    run: typeof run;
+};
+export default _default;
+//# sourceMappingURL=plugin-adapter.d.ts.map

package/dist/ast/plugin-adapter.js

@@ -0,0 +1,71 @@
+"use strict";
+// ============================================================
+// plugin-adapter.ts · v1.2.9 插件协议适配器
+// v1.3.9（一）：官方 AST 引擎以 `sofagent-ruleset-ast` 形态接入——
+// 规则集 JSON 声明 type:plugin + plugin:"@sofagent/rules/ast"，
+// 与 git-diff pattern 规则同管线（ruleset-loader → plugin-runner）
+//
+// 插件协议（与 plugin-runner.ts 对齐）：
+//   ctx = { diffFiles, options }  →  PluginResult[]
+//   PluginResult = { file, line?, message }
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.run = run;
+const fs_1 = require("fs");
+const path_1 = require("path");
+const engine_1 = require("./engine");
+/**
+ * 从 diff 行重建「新增内容」（+ 开头行，去掉 diff 头 +++ 行）。
+ * 行号是新增行序——磁盘文件缺失时的近似定位。
+ */
+function reconstructFromDiff(lines) {
+    return lines
+        .filter((l) => l.startsWith('+') && !l.startsWith('+++'))
+        .map((l) => l.slice(1))
+        .join('\n');
+}
+/**
+ * 插件主入口（plugin-runner 经 require('@sofagent/rules/ast') 加载）。
+ * 引擎实例每次调用重建——审计是低频动作，server 启动开销可接受，
+ * 换取无状态与进程卫生。
+ */
+function run(ctx) {
+    const options = ctx.options ?? {};
+    const engine = new engine_1.AstRuleEngine({ ruleIds: options.ruleIds });
+    try {
+        const inputs = [];
+        for (const f of ctx.diffFiles) {
+            if (f.status === 'deleted')
+                continue; // 删除的文件没有「新增内容」可审
+            // 优先读磁盘完整文件（行号精确）；读不到再走 diff 重建（近似行号）
+            let content = null;
+            if (options.cwd) {
+                try {
+                    content = (0, fs_1.readFileSync)((0, path_1.join)(options.cwd, f.path), 'utf-8');
+                }
+                catch {
+                    content = null; // 文件不在工作树（如审计历史 commit）——走重建
+                }
+            }
+            if (content === null) {
+                content = reconstructFromDiff(f.lines ?? []);
+            }
+            if (content.trim().length === 0)
+                continue;
+            inputs.push({ path: f.path, content });
+        }
+        if (inputs.length === 0)
+            return [];
+        return engine.scan(inputs).map((f) => ({
+            file: f.file,
+            line: f.line,
+            message: `[${f.ruleId}] ${f.message}`,
+        }));
+    }
+    finally {
+        engine.close();
+    }
+}
+/** CommonJS 兼容导出：plugin-runner 认 function 或 { run } 两种形态 */
+exports.default = { run };
+//# sourceMappingURL=plugin-adapter.js.map

package/dist/ast/rules/asi01-prompt-injection.d.ts

@@ -0,0 +1,3 @@
+import type { AstRule } from '../types';
+export declare const asi01PromptInjectionRule: AstRule;
+//# sourceMappingURL=asi01-prompt-injection.d.ts.map

package/dist/ast/rules/asi01-prompt-injection.js

@@ -0,0 +1,65 @@
+"use strict";
+// ============================================================
+// asi01-prompt-injection.ts · OWASP ASI01 目标劫持检测
+// v1.3.9（一）：扫描 SKILL.md / fde.md 等 system prompt 类文件中的
+// 对抗性注入模式——「忽略上述指令」类指令覆盖（Microsoft AGT 启发）
+//
+// 边界说明：markdown 没有 TS AST，语义级检测落在
+// 「指令覆盖模式 + 角色劫持模式 + 结构伪装模式」三类文本特征上
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.asi01PromptInjectionRule = void 0;
+/** 注入模式三类（命中任一即报）——模式统一容忍空白（\s*），配合 normalizeLine 归一化 */
+const INJECTION_PATTERNS = [
+    // 一、指令覆盖类：「忽略上述指令」的多种语言形态
+    // v1.3.9 阶段四修复（fresh-eyes 视角7）：模式加 \s* 容忍注入空白——「忽略 上述 指令」「忽略
+    // 上述 指令」等空白折叠变体不再绕过（归一化见 normalizeLine）。
+    { re: /忽略\s*(以上|上述|之前|前面|先前|上面)\s*(的)?\s*(所有|全部)?\s*(指令|规则|要求|约束|设定)/, label: '指令覆盖' },
+    { re: /无视\s*(以上|上述|之前|前面)\s*(的)?\s*(所有|全部)?\s*(指令|规则|要求|约束)/, label: '指令覆盖' },
+    { re: /(?<![\w])(ignore|disregard|forget|override)\s+(?:(?:all|any|the|previous|prior|above|earlier|preceding|system)\s+)*(?:instructions?|rules?|constraints?|prompts?|directions?|guardrails?)/i, label: '指令覆盖' },
+    { re: /(?<![\w])disregard\s+(all|any|the)\s+(safety|security|content)/i, label: '安全约束覆盖' },
+    // 二、角色劫持类：强制改写 agent 身份
+    { re: /(你现在\s*是|从现在开始\s*你是|你不再\s*是你|你的新\s*(身份|角色|任务)\s*是)/, label: '角色劫持' },
+    { re: /(?<![\w])you\s+are\s+now\s+(a|an|the)\s+(?!silicon|machine)/i, label: '角色劫持' },
+    { re: /(?<![\w])(pretend|act)\s+(to\s+be|as\s+if\s+you\s+(are|were))\s+(a|an|the)/i, label: '角色劫持' },
+    // 三、结构伪装类：伪造系统消息边界（分隔符逃逸）
+    { re: /<\/?(system|assistant|instruction|工具|系统)\s*(>|消息|提示)/i, label: '结构伪装' },
+    { re: /###\s*(system\s*prompt|系统提示词|真实指令)/i, label: '结构伪装' },
+];
+/**
+ * 归一化行——对抗编码变体绕过（v1.3.9 阶段四 fresh-eyes 视角7 修复）：
+ * ① 剥离零宽字符（ZWSP U+200B / ZWNJ U+200C / ZWJ U+200D / WJ U+2060 / BOM U+FEFF）
+ *    ——攻击者用零宽字符插入「忽略[ZWSP]上述指令」即绕过原正则；
+ * ② 全角空格（U+3000）→ 半角；
+ * ③ 折叠连续空白（多个空格/Tab → 单个空格）。
+ * 注：同形字替换（西里尔 а vs 拉丁 a）超出纯正则能力，留 L3 语义检测（与 LIMITATIONS A9 口径一致）。
+ */
+function normalizeLine(raw) {
+    return raw
+        .replace(/[\u200B\u200C\u200D\u2060\uFEFF]/g, '')
+        .replace(/\u3000/g, ' ')
+        .replace(/[ \t]+/g, ' ')
+        .trim();
+}
+/** ASI01 适用文件：system prompt 载体（SKILL.md / fde.md / role-*.md） */
+const PROMPT_FILE = /(SKILL\.md|fde\.md|role-[^/]+\.md|system[-_]?prompt)/i;
+exports.asi01PromptInjectionRule = {
+    id: 'asi01-prompt-injection',
+    name: 'OWASP ASI01 目标劫持检测',
+    severity: 'FAIL',
+    description: '扫描 system prompt 类文件中的对抗性注入模式（指令覆盖/角色劫持/结构伪装，含编码变体归一化）',
+    filePattern: PROMPT_FILE,
+    checkText(ctx) {
+        const lines = ctx.text.split('\n');
+        lines.forEach((line, idx) => {
+            const normalized = normalizeLine(line);
+            for (const { re, label } of INJECTION_PATTERNS) {
+                if (re.test(normalized)) {
+                    ctx.report(idx + 1, `[ASI01·${label}] 检测到疑似 prompt 注入：${line.trim().slice(0, 80)}`);
+                    break; // 每行只报一次，避免同一行多模式重复计数
+                }
+            }
+        });
+    },
+};
+//# sourceMappingURL=asi01-prompt-injection.js.map

package/dist/ast/rules/asi04-sbom.d.ts

@@ -0,0 +1,30 @@
+import type { AstRule } from '../types';
+/** SBOM 单条依赖 */
+export interface SbomEntry {
+    /** 依赖名（npm 包名 / go module path） */
+    name: string;
+    /** 版本（清单里写的原样版本，含 ^/~ 前缀会被剥离） */
+    version: string;
+    /** 生态：npm / go */
+    ecosystem: 'npm' | 'go';
+    /** 来源行号（1-based） */
+    line: number;
+}
+/**
+ * 解析 package-lock.json → SBOM 条目（精确锁定版本——v2/v3 的 packages 对象；v1 兜底 dependencies 嵌套）。
+ * v1.3.9 阶段四修复（fresh-eyes 视角7）：ASI04 此前只扫 manifest 的 range（^4.17.20），
+ * range 宽则误报、窄则漏报（注释自承「精确锁定版本在 lock 文件里」）。本函数用 lockfile
+ * 的精确版本做漏洞匹配——消除假阳/假阴；manifest 仅作无 lockfile 时的 fallback。
+ */
+export declare function parsePackageLock(text: string): SbomEntry[];
+/**
+ * 解析 package.json → SBOM 条目。
+ * 版本声明形如 "^4.17.20"——无 lockfile 时剥离前缀近似（保守：命中漏洞标「range 不确定」）。
+ */
+export declare function parsePackageJson(text: string): SbomEntry[];
+/** 解析 go.mod → SBOM 条目（require 行 + require 块两种形态） */
+export declare function parseGoMod(text: string): SbomEntry[];
+/** 生成 SBOM（按清单类型分派）——lockfile 优先（精确），manifest 兜底（range） */
+export declare function buildSbom(path: string, text: string): SbomEntry[];
+export declare const asi04SbomRule: AstRule;
+//# sourceMappingURL=asi04-sbom.d.ts.map