import type { AnalysisContext, Finding } from "./types.js";
/**
 * Layer 2: Control Flow Graph (CFG) & Type-Based Abstract Interpretation
 * Detects unreachable code within functions and modules.
 */
export declare function analyzeLayer2(context: AnalysisContext): Finding[];