hex-audit 0.4.0

package/dist/analysis/context-assembler.d.ts

@@ -0,0 +1,16 @@
+import type { Config, Deps, Stats } from '../types/index.js';
+export interface ContextOptions {
+    target?: string;
+    estimate?: boolean;
+    outputFile?: string;
+}
+/**
+ * Assemble context for AI prompts from scope files.
+ */
+export declare function assembleContext(config: Config, stats: Stats | null, deps: Deps | null, options: ContextOptions): string;
+/**
+ * Estimate token count for the assembled context.
+ * Uses a simple heuristic: ~4 characters per token.
+ */
+export declare function estimateTokens(text: string): number;
+//# sourceMappingURL=context-assembler.d.ts.map

package/dist/analysis/context-assembler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-assembler.d.ts","sourceRoot":"","sources":["../../src/analysis/context-assembler.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE7D,MAAM,WAAW,cAAc;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,KAAK,GAAG,IAAI,EACnB,IAAI,EAAE,IAAI,GAAG,IAAI,EACjB,OAAO,EAAE,cAAc,GACtB,MAAM,CAwBR;AA8DD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEnD"}

package/dist/analysis/context-assembler.js

@@ -0,0 +1,88 @@
+import fs from 'node:fs';
+import path from 'node:path';
+import { normalizePath } from '../core/paths.js';
+/**
+ * Assemble context for AI prompts from scope files.
+ */
+export function assembleContext(config, stats, deps, options) {
+    const projectDir = config.project.project_dir;
+    const commit = config.project.commit;
+    const name = config.project.name;
+    const lines = [];
+    lines.push(`# Context: ${name} @ ${commit}`);
+    lines.push('');
+    if (options.target && deps) {
+        // Targeted context: include target contract and its dependencies
+        const targetContracts = getTargetDependencies(options.target, deps);
+        const targetFiles = getFilesForContracts(targetContracts, stats);
+        for (const file of targetFiles) {
+            appendFileContext(lines, projectDir, file, stats);
+        }
+    }
+    else {
+        // Full context: all scope files
+        for (const file of config.project.scope) {
+            appendFileContext(lines, projectDir, file, stats);
+        }
+    }
+    return lines.join('\n');
+}
+/**
+ * Get all contracts that a target depends on, from the dependency graph.
+ */
+function getTargetDependencies(target, deps) {
+    const visited = new Set();
+    const queue = [target];
+    while (queue.length > 0) {
+        const current = queue.shift();
+        if (visited.has(current))
+            continue;
+        visited.add(current);
+        const node = deps.graph[current];
+        if (!node)
+            continue;
+        for (const dep of [...node.inherits, ...node.imports, ...node.calls]) {
+            if (!visited.has(dep))
+                queue.push(dep);
+        }
+    }
+    return [...visited];
+}
+/**
+ * Get file paths for a set of contract names.
+ */
+function getFilesForContracts(contracts, stats) {
+    if (!stats)
+        return [];
+    const files = new Set();
+    for (const c of contracts) {
+        const entry = stats.per_contract.find((e) => e.contract === c);
+        if (entry)
+            files.add(entry.file);
+    }
+    return [...files];
+}
+/**
+ * Append a file's content to the context output.
+ */
+function appendFileContext(lines, projectDir, relativeFile, stats) {
+    const filePath = path.resolve(projectDir, relativeFile);
+    if (!fs.existsSync(filePath))
+        return;
+    const content = fs.readFileSync(filePath, 'utf-8');
+    const nsloc = stats?.per_contract.find((e) => e.file === relativeFile)?.nsloc;
+    const nslocLabel = nsloc ? ` (${nsloc} nSLOC)` : '';
+    lines.push(`## File: ${normalizePath(relativeFile)}${nslocLabel}`);
+    lines.push('```solidity');
+    lines.push(content);
+    lines.push('```');
+    lines.push('');
+}
+/**
+ * Estimate token count for the assembled context.
+ * Uses a simple heuristic: ~4 characters per token.
+ */
+export function estimateTokens(text) {
+    return Math.ceil(text.length / 4);
+}
+//# sourceMappingURL=context-assembler.js.map

package/dist/analysis/context-assembler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-assembler.js","sourceRoot":"","sources":["../../src/analysis/context-assembler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAc,MAAM,kBAAkB,CAAC;AAS7D;;GAEG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAc,EACd,KAAmB,EACnB,IAAiB,EACjB,OAAuB;IAEvB,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;IAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;IAEjC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,MAAM,MAAM,EAAE,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,OAAO,CAAC,MAAM,IAAI,IAAI,EAAE,CAAC;QAC3B,iEAAiE;QACjE,MAAM,eAAe,GAAG,qBAAqB,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACpE,MAAM,WAAW,GAAG,oBAAoB,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;QACjE,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;SAAM,CAAC;QACN,gCAAgC;QAChC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACxC,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAAC,MAAc,EAAE,IAAU;IACvD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;IAEvB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QACnC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAErB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACrE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC;AACtB,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,SAAmB,EAAE,KAAmB;IACpE,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IAEtB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC;QAC/D,IAAI,KAAK;YAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CACxB,KAAe,EACf,UAAkB,EAClB,YAAoB,EACpB,KAAmB;IAEnB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACxD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO;IAErC,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,EAAE,KAAK,CAAC;IAC9E,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAEpD,KAAK,CAAC,IAAI,CAAC,YAAY,aAAa,CAAC,YAAY,CAAC,GAAG,UAAU,EAAE,CAAC,CAAC;IACnE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACpC,CAAC"}

package/dist/analysis/dependency-graph.d.ts

@@ -0,0 +1,31 @@
+import type { ParsedImport, ParsedContract } from '../parsers/solidity-parser.js';
+export interface DependencyData {
+    graph: Record<string, {
+        inherits: string[];
+        imports: string[];
+        calls: string[];
+    }>;
+    clusters: Array<{
+        id: string;
+        contracts: string[];
+        total_nsloc: number;
+    }>;
+    inheritanceTrees: string[][];
+    topologicalOrder: string[];
+}
+/**
+ * Load remappings from remappings.txt or foundry.toml.
+ */
+export declare function loadRemappings(projectDir: string): Map<string, string>;
+/**
+ * Resolve an import path using remappings.
+ */
+export declare function resolveImportPath(importPath: string, remappings: Map<string, string>): string;
+/**
+ * Build the dependency graph from parsed files.
+ */
+export declare function buildDependencyGraph(fileData: Map<string, {
+    contracts: ParsedContract[];
+    imports: ParsedImport[];
+}>, nslocMap: Map<string, number>): DependencyData;
+//# sourceMappingURL=dependency-graph.d.ts.map

package/dist/analysis/dependency-graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency-graph.d.ts","sourceRoot":"","sources":["../../src/analysis/dependency-graph.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAGlF,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAClF,QAAQ,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1E,gBAAgB,EAAE,MAAM,EAAE,EAAE,CAAC;IAC7B,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAsCtE;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAC9B,MAAM,CAOR;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE;IAAE,SAAS,EAAE,cAAc,EAAE,CAAC;IAAC,OAAO,EAAE,YAAY,EAAE,CAAA;CAAE,CAAC,EAC/E,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAC5B,cAAc,CAuChB"}

package/dist/analysis/dependency-graph.js

@@ -0,0 +1,223 @@
+import fs from 'node:fs';
+import path from 'node:path';
+import { splitLines } from '../core/paths.js';
+/**
+ * Load remappings from remappings.txt or foundry.toml.
+ */
+export function loadRemappings(projectDir) {
+    const remappings = new Map();
+    // Try remappings.txt
+    const remappingsFile = path.join(projectDir, 'remappings.txt');
+    if (fs.existsSync(remappingsFile)) {
+        const content = fs.readFileSync(remappingsFile, 'utf-8');
+        for (const line of splitLines(content)) {
+            const trimmed = line.trim();
+            if (!trimmed || trimmed.startsWith('#'))
+                continue;
+            const eqIndex = trimmed.indexOf('=');
+            if (eqIndex > 0) {
+                remappings.set(trimmed.slice(0, eqIndex), trimmed.slice(eqIndex + 1));
+            }
+        }
+        return remappings;
+    }
+    // Try foundry.toml
+    const foundryToml = path.join(projectDir, 'foundry.toml');
+    if (fs.existsSync(foundryToml)) {
+        const content = fs.readFileSync(foundryToml, 'utf-8');
+        const match = content.match(/remappings\s*=\s*\[([\s\S]*?)\]/);
+        if (match) {
+            const items = match[1].match(/"([^"]+)"|'([^']+)'/g);
+            if (items) {
+                for (const item of items) {
+                    const cleaned = item.replace(/["']/g, '');
+                    const eqIndex = cleaned.indexOf('=');
+                    if (eqIndex > 0) {
+                        remappings.set(cleaned.slice(0, eqIndex), cleaned.slice(eqIndex + 1));
+                    }
+                }
+            }
+        }
+    }
+    return remappings;
+}
+/**
+ * Resolve an import path using remappings.
+ */
+export function resolveImportPath(importPath, remappings) {
+    for (const [prefix, target] of remappings) {
+        if (importPath.startsWith(prefix)) {
+            return importPath.replace(prefix, target);
+        }
+    }
+    return importPath;
+}
+/**
+ * Build the dependency graph from parsed files.
+ */
+export function buildDependencyGraph(fileData, nslocMap) {
+    const graph = {};
+    const allContracts = new Set();
+    // Collect all contract names
+    for (const [, data] of fileData) {
+        for (const contract of data.contracts) {
+            allContracts.add(contract.name);
+        }
+    }
+    // Build adjacency for each contract
+    for (const [, data] of fileData) {
+        for (const contract of data.contracts) {
+            const inherits = contract.baseContracts.filter((b) => allContracts.has(b));
+            const importedNames = data.imports.map((i) => {
+                // Extract filename without extension as potential contract name
+                const baseName = path.basename(i.path, '.sol');
+                return baseName;
+            }).filter((n) => allContracts.has(n));
+            graph[contract.name] = {
+                inherits,
+                imports: [...new Set(importedNames)],
+                calls: [], // Populated later from function calls analysis
+            };
+        }
+    }
+    // Detect clusters via union-find
+    const clusters = detectClusters(graph, nslocMap);
+    // Build inheritance trees
+    const inheritanceTrees = buildInheritanceTrees(graph);
+    // Topological sort
+    const topologicalOrder = topologicalSort(graph);
+    return { graph, clusters, inheritanceTrees, topologicalOrder };
+}
+/**
+ * Detect clusters using union-find on the undirected dependency graph.
+ */
+function detectClusters(graph, nslocMap) {
+    const parent = new Map();
+    function find(x) {
+        if (!parent.has(x))
+            parent.set(x, x);
+        if (parent.get(x) !== x) {
+            parent.set(x, find(parent.get(x)));
+        }
+        return parent.get(x);
+    }
+    function union(x, y) {
+        const px = find(x);
+        const py = find(y);
+        if (px !== py)
+            parent.set(px, py);
+    }
+    // Initialize all nodes
+    for (const name of Object.keys(graph)) {
+        parent.set(name, name);
+    }
+    // Union connected nodes
+    for (const [name, deps] of Object.entries(graph)) {
+        for (const dep of [...deps.inherits, ...deps.imports, ...deps.calls]) {
+            if (graph[dep])
+                union(name, dep);
+        }
+    }
+    // Group by root
+    const groups = new Map();
+    for (const name of Object.keys(graph)) {
+        const root = find(name);
+        if (!groups.has(root))
+            groups.set(root, []);
+        groups.get(root).push(name);
+    }
+    let clusterId = 0;
+    const clusters = [];
+    for (const [, contracts] of groups) {
+        contracts.sort();
+        const totalNsloc = contracts.reduce((s, c) => s + (nslocMap.get(c) ?? 0), 0);
+        clusters.push({
+            id: `cluster-${clusterId++}`,
+            contracts,
+            total_nsloc: totalNsloc,
+        });
+    }
+    return clusters;
+}
+/**
+ * Build inheritance trees (linear chains from base to derived).
+ */
+function buildInheritanceTrees(graph) {
+    const trees = [];
+    const visited = new Set();
+    // Find contracts that nothing inherits from (roots of inheritance trees)
+    const inherited = new Set();
+    for (const deps of Object.values(graph)) {
+        for (const base of deps.inherits) {
+            inherited.add(base);
+        }
+    }
+    // For each leaf contract, trace up the inheritance chain
+    for (const name of Object.keys(graph)) {
+        if (visited.has(name))
+            continue;
+        // Check if anything inherits from this contract
+        const isInheritedBy = Object.entries(graph).some(([, deps]) => deps.inherits.includes(name));
+        if (isInheritedBy && graph[name].inherits.length === 0)
+            continue; // Skip pure base contracts
+        // Trace inheritance chain
+        const chain = [];
+        const traceChain = (contract) => {
+            if (visited.has(contract))
+                return;
+            const bases = graph[contract]?.inherits ?? [];
+            for (const base of bases) {
+                if (graph[base]) {
+                    traceChain(base);
+                }
+            }
+            chain.push(contract);
+            visited.add(contract);
+        };
+        traceChain(name);
+        if (chain.length > 1) {
+            trees.push(chain);
+        }
+    }
+    return trees;
+}
+/**
+ * Topological sort using Kahn's algorithm.
+ */
+function topologicalSort(graph) {
+    const inDegree = new Map();
+    const adjacency = new Map();
+    for (const name of Object.keys(graph)) {
+        if (!inDegree.has(name))
+            inDegree.set(name, 0);
+        if (!adjacency.has(name))
+            adjacency.set(name, []);
+    }
+    for (const [name, deps] of Object.entries(graph)) {
+        const allDeps = [...deps.inherits, ...deps.imports];
+        for (const dep of allDeps) {
+            if (graph[dep]) {
+                adjacency.get(dep).push(name);
+                inDegree.set(name, (inDegree.get(name) ?? 0) + 1);
+            }
+        }
+    }
+    const queue = [];
+    for (const [name, degree] of inDegree) {
+        if (degree === 0)
+            queue.push(name);
+    }
+    const order = [];
+    while (queue.length > 0) {
+        const current = queue.shift();
+        order.push(current);
+        for (const neighbor of adjacency.get(current) ?? []) {
+            const newDegree = (inDegree.get(neighbor) ?? 0) - 1;
+            inDegree.set(neighbor, newDegree);
+            if (newDegree === 0)
+                queue.push(neighbor);
+        }
+    }
+    return order;
+}
+//# sourceMappingURL=dependency-graph.js.map

package/dist/analysis/dependency-graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency-graph.js","sourceRoot":"","sources":["../../src/analysis/dependency-graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAiB,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAS7D;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,UAAkB;IAC/C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE7C,qBAAqB;IACrB,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;IAC/D,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QACzD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACvC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YAClD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;gBAChB,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,mBAAmB;IACnB,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IAC1D,IAAI,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;QAC/D,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;YACrD,IAAI,KAAK,EAAE,CAAC;gBACV,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;oBAC1C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;oBACrC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;wBAChB,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;oBACxE,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,UAAkB,EAClB,UAA+B;IAE/B,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC1C,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAClC,OAAO,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,QAA+E,EAC/E,QAA6B;IAE7B,MAAM,KAAK,GAA+E,EAAE,CAAC;IAC7F,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IAEvC,6BAA6B;IAC7B,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;QAChC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACtC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,oCAAoC;IACpC,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;QAChC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3E,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC3C,gEAAgE;gBAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC/C,OAAO,QAAQ,CAAC;YAClB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAEtC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG;gBACrB,QAAQ;gBACR,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;gBACpC,KAAK,EAAE,EAAE,EAAE,+CAA+C;aAC3D,CAAC;QACJ,CAAC;IACH,CAAC;IAED,iCAAiC;IACjC,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAEjD,0BAA0B;IAC1B,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAEtD,mBAAmB;IACnB,MAAM,gBAAgB,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAEhD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,CAAC;AACjE,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CACrB,KAAiF,EACjF,QAA6B;IAE7B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEzC,SAAS,IAAI,CAAC,CAAS;QACrB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;IACxB,CAAC;IAED,SAAS,KAAK,CAAC,CAAS,EAAE,CAAS;QACjC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,EAAE,KAAK,EAAE;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACpC,CAAC;IAED,uBAAuB;IACvB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzB,CAAC;IAED,wBAAwB;IACxB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACrE,IAAI,KAAK,CAAC,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC5C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,QAAQ,GAAoE,EAAE,CAAC;IACrF,KAAK,MAAM,CAAC,EAAE,SAAS,CAAC,IAAI,MAAM,EAAE,CAAC;QACnC,SAAS,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7E,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,WAAW,SAAS,EAAE,EAAE;YAC5B,SAAS;YACT,WAAW,EAAE,UAAU;SACxB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAC5B,KAA6C;IAE7C,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,yEAAyE;IACzE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACjC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,yDAAyD;IACzD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAEhC,gDAAgD;QAChD,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAC9C,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAC3C,CAAC;QACF,IAAI,aAAa,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS,CAAC,2BAA2B;QAE7F,0BAA0B;QAC1B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,UAAU,GAAG,CAAC,QAAgB,EAAQ,EAAE;YAC5C,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,OAAO;YAClC,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,QAAQ,IAAI,EAAE,CAAC;YAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChB,UAAU,CAAC,IAAI,CAAC,CAAC;gBACnB,CAAC;YACH,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxB,CAAC,CAAC;QAEF,UAAU,CAAC,IAAI,CAAC,CAAC;QACjB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CACtB,KAAiF;IAEjF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE9C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;QACpD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACf,SAAS,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/B,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACtC,IAAI,MAAM,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;YACpD,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACpD,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAClC,IAAI,SAAS,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/analysis/erc-detection.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Detect ERC/EIP usage from inheritance and function signatures.
+ */
+/**
+ * Detect ERCs from contract inheritance names.
+ */
+export declare function detectErcsFromInheritance(baseContracts: string[]): string[];
+/**
+ * Detect ERCs from function signatures present in a contract.
+ */
+export declare function detectErcsFromFunctions(functionNames: string[]): string[];
+/**
+ * Detect all ERCs for a contract using both inheritance and function matching.
+ */
+export declare function detectErcs(baseContracts: string[], functionNames: string[]): string[];
+//# sourceMappingURL=erc-detection.d.ts.map

package/dist/analysis/erc-detection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"erc-detection.d.ts","sourceRoot":"","sources":["../../src/analysis/erc-detection.ts"],"names":[],"mappings":"AAAA;;GAEG;AAoDH;;GAEG;AACH,wBAAgB,yBAAyB,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAO3E;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAazE;AAED;;GAEG;AACH,wBAAgB,UAAU,CACxB,aAAa,EAAE,MAAM,EAAE,EACvB,aAAa,EAAE,MAAM,EAAE,GACtB,MAAM,EAAE,CAIV"}

package/dist/analysis/erc-detection.js

@@ -0,0 +1,81 @@
+/**
+ * Detect ERC/EIP usage from inheritance and function signatures.
+ */
+const KNOWN_ERC_BASES = {
+    // ERC-20
+    ERC20: 'ERC20',
+    IERC20: 'ERC20',
+    ERC20Burnable: 'ERC20',
+    ERC20Pausable: 'ERC20',
+    ERC20Permit: 'ERC20',
+    ERC20Votes: 'ERC20',
+    ERC20Wrapper: 'ERC20',
+    ERC20FlashMint: 'ERC20',
+    // ERC-721
+    ERC721: 'ERC721',
+    IERC721: 'ERC721',
+    ERC721Enumerable: 'ERC721',
+    ERC721URIStorage: 'ERC721',
+    ERC721Burnable: 'ERC721',
+    ERC721Pausable: 'ERC721',
+    ERC721Royalty: 'ERC721',
+    // ERC-1155
+    ERC1155: 'ERC1155',
+    IERC1155: 'ERC1155',
+    ERC1155Supply: 'ERC1155',
+    ERC1155Burnable: 'ERC1155',
+    ERC1155Pausable: 'ERC1155',
+    ERC1155URIStorage: 'ERC1155',
+    // ERC-4626
+    ERC4626: 'ERC4626',
+    IERC4626: 'ERC4626',
+    // EIP-2612
+    ERC20Permit2: 'EIP-2612',
+    // ERC-2981
+    ERC2981: 'ERC-2981',
+    // EIP-712
+    EIP712: 'EIP-712',
+};
+const ERC_FUNCTION_SIGNATURES = {
+    ERC20: ['totalSupply', 'balanceOf', 'transfer', 'allowance', 'approve', 'transferFrom'],
+    ERC721: ['balanceOf', 'ownerOf', 'safeTransferFrom', 'transferFrom', 'approve', 'getApproved', 'setApprovalForAll', 'isApprovedForAll'],
+    ERC1155: ['balanceOf', 'balanceOfBatch', 'setApprovalForAll', 'isApprovedForAll', 'safeTransferFrom', 'safeBatchTransferFrom'],
+    ERC4626: ['asset', 'totalAssets', 'convertToShares', 'convertToAssets', 'maxDeposit', 'previewDeposit', 'deposit', 'maxMint', 'previewMint', 'mint'],
+    'EIP-2612': ['permit', 'nonces', 'DOMAIN_SEPARATOR'],
+};
+/**
+ * Detect ERCs from contract inheritance names.
+ */
+export function detectErcsFromInheritance(baseContracts) {
+    const detected = new Set();
+    for (const base of baseContracts) {
+        const erc = KNOWN_ERC_BASES[base];
+        if (erc)
+            detected.add(erc);
+    }
+    return [...detected];
+}
+/**
+ * Detect ERCs from function signatures present in a contract.
+ */
+export function detectErcsFromFunctions(functionNames) {
+    const detected = new Set();
+    const nameSet = new Set(functionNames);
+    for (const [erc, signatures] of Object.entries(ERC_FUNCTION_SIGNATURES)) {
+        const matchCount = signatures.filter((s) => nameSet.has(s)).length;
+        // Require at least 60% of signatures to match
+        if (matchCount >= Math.ceil(signatures.length * 0.6)) {
+            detected.add(erc);
+        }
+    }
+    return [...detected];
+}
+/**
+ * Detect all ERCs for a contract using both inheritance and function matching.
+ */
+export function detectErcs(baseContracts, functionNames) {
+    const fromInheritance = detectErcsFromInheritance(baseContracts);
+    const fromFunctions = detectErcsFromFunctions(functionNames);
+    return [...new Set([...fromInheritance, ...fromFunctions])].sort();
+}
+//# sourceMappingURL=erc-detection.js.map

package/dist/analysis/erc-detection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"erc-detection.js","sourceRoot":"","sources":["../../src/analysis/erc-detection.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,eAAe,GAA2B;IAC9C,SAAS;IACT,KAAK,EAAE,OAAO;IACd,MAAM,EAAE,OAAO;IACf,aAAa,EAAE,OAAO;IACtB,aAAa,EAAE,OAAO;IACtB,WAAW,EAAE,OAAO;IACpB,UAAU,EAAE,OAAO;IACnB,YAAY,EAAE,OAAO;IACrB,cAAc,EAAE,OAAO;IAEvB,UAAU;IACV,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,QAAQ;IACjB,gBAAgB,EAAE,QAAQ;IAC1B,gBAAgB,EAAE,QAAQ;IAC1B,cAAc,EAAE,QAAQ;IACxB,cAAc,EAAE,QAAQ;IACxB,aAAa,EAAE,QAAQ;IAEvB,WAAW;IACX,OAAO,EAAE,SAAS;IAClB,QAAQ,EAAE,SAAS;IACnB,aAAa,EAAE,SAAS;IACxB,eAAe,EAAE,SAAS;IAC1B,eAAe,EAAE,SAAS;IAC1B,iBAAiB,EAAE,SAAS;IAE5B,WAAW;IACX,OAAO,EAAE,SAAS;IAClB,QAAQ,EAAE,SAAS;IAEnB,WAAW;IACX,YAAY,EAAE,UAAU;IAExB,WAAW;IACX,OAAO,EAAE,UAAU;IAEnB,UAAU;IACV,MAAM,EAAE,SAAS;CAClB,CAAC;AAEF,MAAM,uBAAuB,GAA6B;IACxD,KAAK,EAAE,CAAC,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,CAAC;IACvF,MAAM,EAAE,CAAC,WAAW,EAAE,SAAS,EAAE,kBAAkB,EAAE,cAAc,EAAE,SAAS,EAAE,aAAa,EAAE,mBAAmB,EAAE,kBAAkB,CAAC;IACvI,OAAO,EAAE,CAAC,WAAW,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,uBAAuB,CAAC;IAC9H,OAAO,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,YAAY,EAAE,gBAAgB,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,CAAC;IACpJ,UAAU,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,kBAAkB,CAAC;CACrD,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,yBAAyB,CAAC,aAAuB;IAC/D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,GAAG;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;AACvB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,aAAuB;IAC7D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;IAEvC,KAAK,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC,EAAE,CAAC;QACxE,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACnE,8CAA8C;QAC9C,IAAI,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC;YACrD,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;AACvB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CACxB,aAAuB,EACvB,aAAuB;IAEvB,MAAM,eAAe,GAAG,yBAAyB,CAAC,aAAa,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,uBAAuB,CAAC,aAAa,CAAC,CAAC;IAC7D,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,eAAe,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACrE,CAAC"}

package/dist/analysis/external-calls.d.ts

@@ -0,0 +1,8 @@
+import type { SlitherDetectorResult } from '../parsers/slither.js';
+import type { ASTExternalCall } from '../parsers/solidity-parser.js';
+import type { ExternalCall } from '../types/index.js';
+/**
+ * Build external calls from AST-extracted calls, optionally enriched with Slither data.
+ */
+export declare function buildExternalCalls(astCalls: ASTExternalCall[], stateVarsImmutability: Map<string, boolean>, scopeContracts: Set<string>, accessControlledSetters: Map<string, string>, slitherDetectors?: SlitherDetectorResult[]): ExternalCall[];
+//# sourceMappingURL=external-calls.d.ts.map

package/dist/analysis/external-calls.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"external-calls.d.ts","sourceRoot":"","sources":["../../src/analysis/external-calls.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAatD;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,eAAe,EAAE,EAC3B,qBAAqB,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3C,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,EAC3B,uBAAuB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAC5C,gBAAgB,CAAC,EAAE,qBAAqB,EAAE,GACzC,YAAY,EAAE,CAkEhB"}

package/dist/analysis/external-calls.js

@@ -0,0 +1,124 @@
+// Call type classification heuristics
+const CALL_TYPE_PATTERNS = {
+    token_transfer: ['transfer', 'transferFrom', 'safeTransfer', 'safeTransferFrom', 'approve', 'send'],
+    oracle_read: ['getPrice', 'latestRoundData', 'latestAnswer', 'getRoundData', 'consult', 'observe'],
+    flash_loan: ['flashLoan', 'flash', 'flashBorrow'],
+    swap: ['swap', 'swapExactTokensForTokens', 'swapTokensForExactTokens', 'exactInputSingle', 'exactInput'],
+    liquidity: ['addLiquidity', 'removeLiquidity', 'mint', 'burn'],
+    delegate_call: ['delegatecall'],
+    low_level: ['call', 'staticcall'],
+};
+/**
+ * Build external calls from AST-extracted calls, optionally enriched with Slither data.
+ */
+export function buildExternalCalls(astCalls, stateVarsImmutability, scopeContracts, accessControlledSetters, slitherDetectors) {
+    // Build Slither enrichment maps if available
+    const slitherUnchecked = new Set();
+    const slitherReentrancy = new Set();
+    if (slitherDetectors) {
+        for (const det of slitherDetectors) {
+            for (const elem of det.elements) {
+                if (elem.type !== 'node')
+                    continue;
+                const key = `${elem.source_mapping.filename_relative}:${elem.source_mapping.lines[0]}`;
+                if (det.check === 'unchecked-transfer' || det.check === 'unchecked-lowlevel') {
+                    slitherUnchecked.add(key);
+                }
+                if (det.check.startsWith('reentrancy')) {
+                    slitherReentrancy.add(key);
+                }
+            }
+        }
+    }
+    const calls = [];
+    const seen = new Set();
+    for (const ac of astCalls) {
+        const key = `${ac.file}:${ac.lineStart}:${ac.method}`;
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        const callType = classifyCallType(ac.method);
+        const trustLevel = classifyTrustLevel(ac.target, stateVarsImmutability, scopeContracts, accessControlledSetters);
+        // Slither enrichment
+        const lineKey = `${ac.file}:${ac.lineStart}`;
+        const hasSlither = slitherDetectors != null;
+        const isUnchecked = slitherUnchecked.has(lineKey);
+        const isReentrancy = slitherReentrancy.has(lineKey);
+        calls.push({
+            contract: ac.contract,
+            function: ac.function,
+            evidence: {
+                file: ac.file,
+                line_start: ac.lineStart,
+                line_end: ac.lineEnd,
+                snippet: ac.snippet,
+            },
+            target: ac.target,
+            method: ac.method,
+            return_checked: {
+                value: hasSlither ? !isUnchecked : true,
+                confidence: hasSlither ? 'high' : 'low',
+                derived_from: hasSlither ? 'slither' : 'heuristic',
+                ...(hasSlither ? {} : { reasoning: 'No Slither data — assuming checked' }),
+            },
+            inside_reentrancy_guard: {
+                value: hasSlither ? !isReentrancy : false,
+                confidence: hasSlither ? (isReentrancy ? 'high' : 'medium') : 'low',
+                derived_from: hasSlither ? 'slither' : 'heuristic',
+                ...(hasSlither ? {} : { reasoning: 'No Slither data — reentrancy guard status unknown' }),
+            },
+            call_type: callType,
+            trust_level: trustLevel,
+        });
+    }
+    return calls;
+}
+function classifyCallType(method) {
+    for (const [type, patterns] of Object.entries(CALL_TYPE_PATTERNS)) {
+        if (patterns.some((p) => method.toLowerCase().includes(p.toLowerCase()))) {
+            return type;
+        }
+    }
+    return 'other';
+}
+function classifyTrustLevel(target, stateVarsImmutability, scopeContracts, accessControlledSetters) {
+    // Extract variable name from target if possible
+    const varMatch = target.match(/\((\w+)\)/);
+    const varName = varMatch?.[1] ?? target;
+    // Check if target is an in-scope contract
+    if (scopeContracts.has(target)) {
+        return {
+            value: 'trusted',
+            confidence: 'high',
+            derived_from: 'solc-ast',
+            reasoning: 'Target is an in-scope contract',
+        };
+    }
+    // Check immutability
+    if (stateVarsImmutability.get(varName)) {
+        return {
+            value: 'semi-trusted',
+            confidence: 'medium',
+            derived_from: 'heuristic',
+            reasoning: 'Target address is immutable — set at construction',
+            warnings: ['Implementation could be upgradeable proxy'],
+        };
+    }
+    // Check if settable by privileged role
+    if (accessControlledSetters.has(varName)) {
+        return {
+            value: 'semi-trusted',
+            confidence: 'medium',
+            derived_from: 'heuristic',
+            reasoning: `Target address settable by ${accessControlledSetters.get(varName)} role`,
+            warnings: ['Privileged role could set malicious address'],
+        };
+    }
+    return {
+        value: 'external',
+        confidence: 'medium',
+        derived_from: 'heuristic',
+        reasoning: 'External target with no immutability or access control guarantees',
+    };
+}
+//# sourceMappingURL=external-calls.js.map

package/dist/analysis/external-calls.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"external-calls.js","sourceRoot":"","sources":["../../src/analysis/external-calls.ts"],"names":[],"mappings":"AAIA,sCAAsC;AACtC,MAAM,kBAAkB,GAA6B;IACnD,cAAc,EAAE,CAAC,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,CAAC;IACnG,WAAW,EAAE,CAAC,UAAU,EAAE,iBAAiB,EAAE,cAAc,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,CAAC;IAClG,UAAU,EAAE,CAAC,WAAW,EAAE,OAAO,EAAE,aAAa,CAAC;IACjD,IAAI,EAAE,CAAC,MAAM,EAAE,0BAA0B,EAAE,0BAA0B,EAAE,kBAAkB,EAAE,YAAY,CAAC;IACxG,SAAS,EAAE,CAAC,cAAc,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,CAAC;IAC9D,aAAa,EAAE,CAAC,cAAc,CAAC;IAC/B,SAAS,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC;CAClC,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,QAA2B,EAC3B,qBAA2C,EAC3C,cAA2B,EAC3B,uBAA4C,EAC5C,gBAA0C;IAE1C,6CAA6C;IAC7C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE5C,IAAI,gBAAgB,EAAE,CAAC;QACrB,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBAChC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,SAAS;gBACnC,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,iBAAiB,IAAI,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvF,IAAI,GAAG,CAAC,KAAK,KAAK,oBAAoB,IAAI,GAAG,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;oBAC7E,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC5B,CAAC;gBACD,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;oBACvC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACtD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEd,MAAM,QAAQ,GAAG,gBAAgB,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,kBAAkB,CAAC,EAAE,CAAC,MAAM,EAAE,qBAAqB,EAAE,cAAc,EAAE,uBAAuB,CAAC,CAAC;QAEjH,qBAAqB;QACrB,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,gBAAgB,IAAI,IAAI,CAAC;QAC5C,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClD,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAEpD,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,EAAE,CAAC,QAAQ;YACrB,QAAQ,EAAE,EAAE,CAAC,QAAQ;YACrB,QAAQ,EAAE;gBACR,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,UAAU,EAAE,EAAE,CAAC,SAAS;gBACxB,QAAQ,EAAE,EAAE,CAAC,OAAO;gBACpB,OAAO,EAAE,EAAE,CAAC,OAAO;aACpB;YACD,MAAM,EAAE,EAAE,CAAC,MAAM;YACjB,MAAM,EAAE,EAAE,CAAC,MAAM;YACjB,cAAc,EAAE;gBACd,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;gBACvC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK;gBACvC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW;gBAClD,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,oCAAoC,EAAE,CAAC;aAC3E;YACD,uBAAuB,EAAE;gBACvB,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK;gBACzC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK;gBACnE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW;gBAClD,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,mDAAmD,EAAE,CAAC;aAC1F;YACD,SAAS,EAAE,QAAQ;YACnB,WAAW,EAAE,UAAU;SACxB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAc;IACtC,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAClE,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC;YACzE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,kBAAkB,CACzB,MAAc,EACd,qBAA2C,EAC3C,cAA2B,EAC3B,uBAA4C;IAE5C,gDAAgD;IAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;IAExC,0CAA0C;IAC1C,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,MAAM;YAClB,YAAY,EAAE,UAAU;YACxB,SAAS,EAAE,gCAAgC;SAC5C,CAAC;IACJ,CAAC;IAED,qBAAqB;IACrB,IAAI,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,OAAO;YACL,KAAK,EAAE,cAAc;YACrB,UAAU,EAAE,QAAQ;YACpB,YAAY,EAAE,WAAW;YACzB,SAAS,EAAE,mDAAmD;YAC9D,QAAQ,EAAE,CAAC,2CAA2C,CAAC;SACxD,CAAC;IACJ,CAAC;IAED,uCAAuC;IACvC,IAAI,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,OAAO;YACL,KAAK,EAAE,cAAc;YACrB,UAAU,EAAE,QAAQ;YACpB,YAAY,EAAE,WAAW;YACzB,SAAS,EAAE,8BAA8B,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO;YACpF,QAAQ,EAAE,CAAC,6CAA6C,CAAC;SAC1D,CAAC;IACJ,CAAC;IAED,OAAO;QACL,KAAK,EAAE,UAAU;QACjB,UAAU,EAAE,QAAQ;QACpB,YAAY,EAAE,WAAW;QACzB,SAAS,EAAE,mEAAmE;KAC/E,CAAC;AACJ,CAAC"}