recon-generate 0.0.24 → 0.0.25

package/dist/info.js

@@ -167,6 +167,25 @@ const formatLiteralValue = (lit) => {
     }
     return (_a = lit.value) !== null && _a !== void 0 ? _a : '';
 };
+/**
+ * Get the effective type of a literal, considering type conversions.
+ * e.g., for `address(0x100)`, returns 'address' instead of 'int_const'
+ */
+const getEffectiveLiteralType = (lit) => {
+    var _a;
+    const value = formatLiteralValue(lit);
+    // Check if the literal is inside a type conversion like address(0x100)
+    const parent = lit.parent;
+    if (parent instanceof solc_typed_ast_1.FunctionCall && parent.kind === solc_typed_ast_1.FunctionCallKind.TypeConversion) {
+        // Use the conversion target type
+        const targetType = parent.typeString;
+        if (targetType) {
+            return typeStringToSolidityType(targetType, value);
+        }
+    }
+    // Fall back to the literal's own type
+    return typeStringToSolidityType((_a = lit.typeString) !== null && _a !== void 0 ? _a : '', value);
+};
 const getAllContracts = (sourceUnits) => {
     const contracts = new Map();
     for (const unit of sourceUnits) {
@@ -455,19 +474,19 @@ const collectAssertStatements = (contract, foundryRoot, sourceContents) => {
  * Also includes Z3-solved values from constraint expressions
  */
 const collectConstantsUsed = async (contract) => {
-    var _a;
     const constantsUsed = {};
+    // Collect constants from ALL functions in the C3 linearization (including internal/private)
+    // This is critical for fuzzing as constants in setup() and internal helpers are relevant
     const allFunctions = (0, utils_1.getDefinitions)(contract, 'vFunctions', true).reverse();
     for (const fnDef of allFunctions) {
-        if (fnDef.visibility !== solc_typed_ast_1.FunctionVisibility.External && fnDef.visibility !== solc_typed_ast_1.FunctionVisibility.Public) {
-            continue;
-        }
+        // No visibility filter - we want constants from all functions in the inheritance chain
         const sig = signatureFromFnDef(fnDef);
         const literals = [];
         // Collect literal constants
         for (const lit of fnDef.getChildrenByType(solc_typed_ast_1.Literal)) {
             const value = formatLiteralValue(lit);
-            const type = typeStringToSolidityType((_a = lit.typeString) !== null && _a !== void 0 ? _a : '', value);
+            // Use effective type which considers type conversions like address(0x100)
+            const type = getEffectiveLiteralType(lit);
             // Each constant is wrapped in an array (matching slither format)
             literals.push([{ value, type }]);
         }
@@ -764,7 +783,6 @@ const buildCoverageBlockFromBody = (definition, sourceContents, contract, callTr
  */
 const buildCoverageBlockFromIfStatement = (ifStmt, sourceContents, absolutePath) => {
     const blocks = [];
-    const content = sourceContents.get(absolutePath) || '';
     // True branch
     if (ifStmt.vTrueBody) {
         const trueBranch = buildCoverageBlockFromStatementOrBlock(ifStmt.vTrueBody, sourceContents, absolutePath);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "recon-generate",
-  "version": "0.0.24",
+  "version": "0.0.25",
   "description": "CLI to scaffold Recon fuzzing suite inside Foundry projects",
   "main": "dist/index.js",
   "bin": {