circle-ir 3.1.0

package/dist/core/circle-ir-core.d.ts

@@ -0,0 +1,59 @@
+/**
+ * Circle-IR Core Library
+ *
+ * Environment-agnostic core library for IR generation and taint analysis.
+ * Works in both browser and Node.js without LLM dependencies.
+ *
+ * @example
+ * ```typescript
+ * import {
+ *   initParser, parse, collectAllNodes,
+ *   extractMeta, extractTypes, extractCalls, buildCFG, buildDFG,
+ *   analyzeTaint, propagateTaint, analyzeConstantPropagation, isFalsePositive
+ * } from 'circle-ir/core';
+ *
+ * // Node types needed for analysis
+ * const NODE_TYPES = new Set([
+ *   'method_invocation', 'object_creation_expression', 'class_declaration',
+ *   'method_declaration', 'constructor_declaration', 'field_declaration',
+ *   'import_declaration', 'interface_declaration', 'enum_declaration',
+ * ]);
+ *
+ * // Initialize parser (loads tree-sitter WASM)
+ * await initParser();
+ *
+ * // Parse code
+ * const tree = await parse(code, 'java');
+ * const nodeCache = collectAllNodes(tree.rootNode, NODE_TYPES);
+ *
+ * // Extract IR components
+ * const types = extractTypes(tree, nodeCache);
+ * const calls = extractCalls(tree, nodeCache);
+ * const cfg = buildCFG(tree);
+ * const dfg = buildDFG(tree, nodeCache);
+ *
+ * // Analyze taint
+ * const taint = analyzeTaint(calls, types);
+ * const flows = propagateTaint(dfg, calls, taint.sources, taint.sinks, taint.sanitizers);
+ *
+ * // Filter false positives
+ * const constProp = analyzeConstantPropagation(tree, code);
+ * const verified = flows.flows.filter(flow => {
+ *   for (const step of flow.path) {
+ *     if (isFalsePositive(constProp, step.line, step.variable).isFalsePositive) {
+ *       return false;
+ *     }
+ *   }
+ *   return true;
+ * });
+ * ```
+ */
+export { initParser, loadLanguage, parse, walkTree, findNodes, findAncestor, getNodeText, collectAllNodes, isInitialized, isLanguageLoaded, resetParser, type SupportedLanguage, type SyntaxNode, type Tree, type NodeCache, } from './core/parser.js';
+export { extractMeta, extractTypes, extractCalls, extractImports, extractExports, buildCFG, buildDFG, } from './core/extractors/index.js';
+export { analyzeTaint } from './analysis/taint-matcher.js';
+export { getDefaultConfig, createTaintConfig, } from './analysis/config-loader.js';
+export { propagateTaint, type TaintPropagationResult, type TaintFlow, type TaintedVariable, } from './analysis/taint-propagation.js';
+export { analyzeConstantPropagation, isFalsePositive, isCorrelatedPredicateFP, type ConstantPropagatorResult, } from './analysis/constant-propagation.js';
+export { PathFinder, findTaintPaths, formatTaintPath, type TaintPath, type TaintHop, } from './analysis/path-finder.js';
+export type { CircleIR, Meta, TypeInfo, MethodInfo, ParameterInfo, FieldInfo, CallInfo, ArgumentInfo, CFG, CFGBlock, CFGEdge, DFG, DFGDef, DFGUse, Taint, TaintSource, TaintSink, TaintSanitizer, TaintFlowInfo, ImportInfo, ExportInfo, } from './types/index.js';
+export type { TaintConfig, SourcePattern, SinkPattern, SanitizerPattern, } from './types/config.js';