@nahisaho/musubix-security 3.0.11 → 3.0.14

package/dist/extractors/go-extractor.d.ts

@@ -1,105 +1,78 @@
 /**
  * @fileoverview Go Language Extractor
  * @module @nahisaho/musubix-security/extractors/go-extractor
- * @trace TSK-005, TSK-006, TSK-007, TSK-008
- * @trace REQ-SEC-LANG-002, REQ-SEC-CFG-001, REQ-SEC-DFG-001
+ * @trace TSK-GO-001, TSK-GO-002, TSK-GO-003, TSK-GO-004, TSK-GO-005
+ * @trace REQ-SEC-GO-001, REQ-SEC-GO-002, REQ-SEC-GO-003, REQ-SEC-GO-004
+ * @trace REQ-SEC-GO-005, REQ-SEC-GO-006, REQ-SEC-GO-007, REQ-SEC-GO-008
  */
-import { BaseExtractor, type ASTNode, type DataFlowGraph, type ControlFlowGraph, type SymbolTable, type FrameworkModel, type ExtractorOptions } from './base-extractor.js';
+import { BaseExtractor, type ASTNode, type ASTEdge, type DataFlowGraph, type ControlFlowGraph, type SymbolTable, type FrameworkModel, type SupportedLanguage } from './base-extractor.js';
 /**
- * Go language extractor implementation
+ * Go Language Extractor
+ * @trace TSK-GO-001, REQ-SEC-GO-001
  */
 export declare class GoExtractor extends BaseExtractor {
+    readonly language: SupportedLanguage;
+    readonly extensions: string[];
     private parser;
     private tree;
     private nodeIdCounter;
     private blockIdCounter;
     /**
-     * Create a new Go extractor
+     * Get framework models for Go
+     * @trace REQ-SEC-GO-004
      */
-    constructor(options?: ExtractorOptions);
+    getFrameworkModels(): FrameworkModel[];
     /**
      * Initialize tree-sitter parser
+     * @trace REQ-SEC-GO-002
      */
-    protected initParser(): Promise<void>;
+    private initParser;
     /**
-     * Parse Go source code into AST
+     * Build AST from source code
+     * @trace TSK-GO-002, REQ-SEC-GO-002
      */
-    parseAST(code: string, filePath: string): Promise<ASTNode>;
+    protected buildAST(source: string, filePath: string): Promise<{
+        ast: ASTNode;
+        astNodes: Map<string, ASTNode>;
+        astEdges: ASTEdge[];
+    }>;
     /**
-     * Convert tree-sitter node to our AST format
+     * Convert tree-sitter node to AST format
      */
     private convertTreeSitterNode;
     /**
-     * Extract metadata from tree-sitter node
+     * Extract properties from node
+     * @trace REQ-SEC-GO-003
      */
-    private extractNodeMetadata;
+    private extractNodeProperties;
     /**
-     * Extract function parameters
+     * Create fallback AST when tree-sitter is unavailable
      */
-    private extractParameters;
-    /**
-     * Extract import specifications
-     */
-    private extractImports;
-    /**
-     * Build control flow graph
-     */
-    buildCFG(ast: ASTNode): Promise<ControlFlowGraph>;
-    /**
-     * Build CFG for a single function
-     */
-    private buildFunctionCFG;
-    /**
-     * Process a block of statements
-     */
-    private processBlock;
-    /**
-     * Check if statement is control flow
-     */
-    private isControlFlowStatement;
-    /**
-     * Process control flow statement
-     */
-    private processControlFlow;
-    /**
-     * Build data flow graph
-     */
-    buildDFG(ast: ASTNode, cfg: ControlFlowGraph): Promise<DataFlowGraph>;
-    /**
-     * Create DFG nodes for assignment
-     */
-    private createDFGNodesForAssignment;
-    /**
-     * Create DFG nodes for function parameters
-     */
-    private createDFGNodesForParameters;
-    /**
-     * Infer taint label from parameter
-     */
-    private inferTaintLabel;
-    /**
-     * Build DFG edges
-     */
-    private buildDFGEdges;
+    private createFallbackAST;
     /**
-     * Build symbol table
+     * Build Data Flow Graph
+     * @trace TSK-GO-003, REQ-SEC-GO-005
      */
-    buildSymbolTable(ast: ASTNode): Promise<SymbolTable>;
+    protected buildDFG(astNodes: Map<string, ASTNode>, _astEdges: ASTEdge[], frameworkModels: FrameworkModel[]): Promise<DataFlowGraph>;
     /**
-     * Check if Go identifier is exported (starts with uppercase)
+     * Build Control Flow Graph
+     * @trace TSK-GO-004, REQ-SEC-GO-006
      */
-    private isExported;
+    protected buildCFG(astNodes: Map<string, ASTNode>, _astEdges: ASTEdge[]): Promise<ControlFlowGraph>;
     /**
-     * Detect framework usage
+     * Extract symbols from AST
+     * @trace TSK-GO-005, REQ-SEC-GO-007
      */
-    detectFrameworks(ast: ASTNode, symbols: SymbolTable): Promise<FrameworkModel[]>;
+    protected extractSymbols(astNodes: Map<string, ASTNode>): Promise<SymbolTable>;
     /**
-     * Create fallback AST for when tree-sitter is unavailable
+     * Check if identifier is exported (public)
+     * Go exports identifiers starting with uppercase
      */
-    private createFallbackAST;
-    /**
-     * Find nodes by type(s) in AST
-     */
-    private findNodesByType;
+    isExported(name: string): boolean;
 }
+/**
+ * Create Go extractor instance
+ * @trace REQ-SEC-GO-001
+ */
+export declare function createGoExtractor(): GoExtractor;
 //# sourceMappingURL=go-extractor.d.ts.map

package/dist/extractors/go-extractor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"go-extractor.d.ts","sourceRoot":"","sources":["../../src/extractors/go-extractor.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,aAAa,EACb,KAAK,OAAO,EAGZ,KAAK,aAAa,EAGlB,KAAK,gBAAgB,EAErB,KAAK,WAAW,EAChB,KAAK,cAAc,EAEnB,KAAK,gBAAgB,EACtB,MAAM,qBAAqB,CAAC;AAkL7B;;GAEG;AACH,qBAAa,WAAY,SAAQ,aAAa;IAC5C,OAAO,CAAC,MAAM,CAAiC;IAC/C,OAAO,CAAC,IAAI,CAA+B;IAC3C,OAAO,CAAC,aAAa,CAAK;IAC1B,OAAO,CAAC,cAAc,CAAK;IAE3B;;OAEG;gBACS,OAAO,CAAC,EAAE,gBAAgB;IAKtC;;OAEG;cACa,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;IAgB3C;;OAEG;IACG,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAYhE;;OAEG;IACH,OAAO,CAAC,qBAAqB;IA6B7B;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAgE3B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAuBzB;;OAEG;IACH,OAAO,CAAC,cAAc;IAqBtB;;OAEG;IACG,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAwCvD;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAiBxB;;OAEG;IACH,OAAO,CAAC,YAAY;IAsDpB;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAY9B;;OAEG;IACH,OAAO,CAAC,kBAAkB;IA4H1B;;OAEG;IACG,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,gBAAgB,GAAG,OAAO,CAAC,aAAa,CAAC;IAsC3E;;OAEG;IACH,OAAO,CAAC,2BAA2B;IA8BnC;;OAEG;IACH,OAAO,CAAC,2BAA2B;IA2BnC;;OAEG;IACH,OAAO,CAAC,eAAe;IASvB;;OAEG;IACH,OAAO,CAAC,aAAa;IA0BrB;;OAEG;IACG,gBAAgB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC;IA8G1D;;OAEG;IACH,OAAO,CAAC,UAAU;IAIlB;;OAEG;IACG,gBAAgB,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAyCrF;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAsBzB;;OAEG;IACH,OAAO,CAAC,eAAe;CAexB"}
+{"version":3,"file":"go-extractor.d.ts","sourceRoot":"","sources":["../../src/extractors/go-extractor.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,aAAa,EACb,KAAK,OAAO,EACZ,KAAK,OAAO,EAGZ,KAAK,aAAa,EAGlB,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAKhB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACvB,MAAM,qBAAqB,CAAC;AA8N7B;;;GAGG;AACH,qBAAa,WAAY,SAAQ,aAAa;IAC5C,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAQ;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,CAAW;IAExC,OAAO,CAAC,MAAM,CAAiC;IAC/C,OAAO,CAAC,IAAI,CAA+B;IAC3C,OAAO,CAAC,aAAa,CAAK;IAC1B,OAAO,CAAC,cAAc,CAAK;IAE3B;;;OAGG;IACH,kBAAkB,IAAI,cAAc,EAAE;IAItC;;;OAGG;YACW,UAAU;IAexB;;;OAGG;cACa,QAAQ,CACtB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC;QAAE,GAAG,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAAC,QAAQ,EAAE,OAAO,EAAE,CAAA;KAAE,CAAC;IAmBjF;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAuC7B;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAoJ7B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IA4BzB;;;OAGG;cACa,QAAQ,CACtB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,SAAS,EAAE,OAAO,EAAE,EACpB,eAAe,EAAE,cAAc,EAAE,GAChC,OAAO,CAAC,aAAa,CAAC;IAyFzB;;;OAGG;cACa,QAAQ,CACtB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,SAAS,EAAE,OAAO,EAAE,GACnB,OAAO,CAAC,gBAAgB,CAAC;IA8D5B;;;OAGG;cACa,cAAc,CAC5B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B,OAAO,CAAC,WAAW,CAAC;IAyKvB;;;OAGG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;CAGlC;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,IAAI,WAAW,CAE/C"}