recon-generate 0.0.18 → 0.0.19

package/dist/cfg/builder.d.ts

@@ -0,0 +1,89 @@
+/**
+ * CFG Builder - Transforms Solidity AST into Control Flow Graph
+ *
+ * Key features:
+ * - Enumerates ALL paths (for "n total, m covered" tracking)
+ * - Each branch creates a CoverageEdge
+ * - External calls marked for oracle integration
+ * - Supports forward/backward/mid-point solving
+ */
+import { ContractDefinition, FunctionDefinition } from 'solc-typed-ast';
+import { ContractModule, FunctionCFG } from './types';
+import { CallTree, CallTreeData } from '../types';
+export declare class CFGBuilder {
+    private ctx;
+    private blocks;
+    private edges;
+    private paths;
+    private externalCalls;
+    private ternaryEdges;
+    private loops;
+    private hasKeccak;
+    private inUnchecked;
+    private currentFunction;
+    private contract;
+    private ternaryCounter;
+    private loopCounter;
+    constructor();
+    /**
+     * Build CFG for a contract from CallTreeData
+     */
+    buildContract(contract: ContractDefinition, callTrees: CallTreeData[]): ContractModule;
+    /**
+     * Try to extract a constant value from an expression
+     */
+    private tryExtractConstantValue;
+    /**
+     * Get number of storage slots a type uses
+     */
+    private getTypeSlots;
+    /**
+     * Build variable roles map from functions and state variables
+     */
+    private buildVarRoles;
+    /**
+     * Build CFG for a single function
+     */
+    buildFunction(func: FunctionDefinition, callTree: CallTree): FunctionCFG;
+    /**
+     * Process a block of statements, returns exit block ID
+     */
+    private processBlock;
+    /**
+     * Process a single statement, returns the block ID to continue from
+     */
+    private processStatement;
+    private processIf;
+    private processWhile;
+    private processFor;
+    private processReturn;
+    private processVarDecl;
+    private processExprStmt;
+    private processAssignment;
+    private processFunctionCall;
+    private processUnaryOp;
+    private exprToSym;
+    private functionCallToSym;
+    /**
+     * Enumerate all paths from entry to any terminal block (return/revert)
+     */
+    private enumeratePaths;
+    private andConditions;
+    private addEdge;
+    private isExternalCall;
+    private extractCallTarget;
+    /**
+     * Resolve super.method() to actual contract name using C3 linearization
+     */
+    private resolveSuperTarget;
+    private getCallType;
+    private extractInternalCalls;
+    private computeSelector;
+    private solOpToBinOp;
+    private compoundOpToBinOp;
+    private solOpToUnOp;
+    private isSigned;
+    private getEnvType;
+    private extractRevertReason;
+    private extractStringLiteral;
+}