recon-generate 0.0.16 → 0.0.18

package/dist/generator.js

@@ -298,7 +298,7 @@ class ReconGenerator {
                                     this.logDebug('Skipping artifact from non-source directory', { contractName, sourcePath });
                                     continue;
                                 }
-                                if (isAbstract && !isExplicitlyIncluded && !isExplicitlyMocked) {
+                                if (isAbstract) {
                                     this.logDebug('Skipping abstract contract', { contractName, sourcePath });
                                     continue;
                                 }

package/dist/info.d.ts

@@ -23,6 +23,7 @@ interface InfoOutput {
     assert: Record<string, Record<string, AssertInfo[]>>;
     constant_functions: Record<string, string[]>;
     constants_used: Record<string, Record<string, ConstantValue[][]>>;
+    inheritances: Record<string, string[]>;
     functions_relations: Record<string, Record<string, {
         impacts: string[];
         is_impacted_by: string[];

package/dist/info.js

@@ -261,6 +261,33 @@ const collectRelatedContracts = (targetContract, allContracts) => {
     }
     return visited;
 };
+/**
+ * Recursively collect all inherited contracts for a given contract
+ * Uses a visited set to avoid infinite loops
+ */
+const collectAllInheritances = (contract, visited = new Set()) => {
+    const inheritedNames = [];
+    // Get direct base contracts
+    const directBases = contract.vLinearizedBaseContracts.filter(base => base.id !== contract.id);
+    for (const base of directBases) {
+        // Skip if already visited (avoid infinite loops)
+        if (visited.has(base.id))
+            continue;
+        visited.add(base.id);
+        // Add this base contract
+        if (!inheritedNames.includes(base.name)) {
+            inheritedNames.push(base.name);
+        }
+        // Recursively collect inheritances from this base
+        const baseInheritances = collectAllInheritances(base, visited);
+        for (const name of baseInheritances) {
+            if (!inheritedNames.includes(name)) {
+                inheritedNames.push(name);
+            }
+        }
+    }
+    return inheritedNames;
+};
 const collectPayableFunctions = (contract) => {
     const payable = [];
     const allFunctions = (0, utils_1.getDefinitions)(contract, 'vFunctions', true).reverse();
@@ -914,6 +941,7 @@ const runInfo = async (foundryRoot, contractName, options = {}) => {
         assert: {},
         constant_functions: {},
         constants_used: {},
+        inheritances: {},
         functions_relations: {},
         with_fallback: [],
         with_receive: [],
@@ -965,6 +993,11 @@ const runInfo = async (foundryRoot, contractName, options = {}) => {
         if (hasReceive(contract)) {
             output.with_receive.push(contract.name);
         }
+        // Inheritances (all base contracts recursively, excluding self)
+        const inheritedContracts = collectAllInheritances(contract);
+        if (inheritedContracts.length > 0) {
+            output.inheritances[contract.name] = inheritedContracts;
+        }
     }
     const jsonOutput = JSON.stringify(output, null, 2);
     // Cleanup Z3 context

package/dist/wakeGenerator.js

@@ -390,7 +390,7 @@ class WakeGenerator {
             }
             const hasCreationCode = typeof c.creation_code === 'string' && c.creation_code.trim().length > 0;
             if (!hasCreationCode) {
-                this.logDebug('Skipping contract without creation code (likely abstract)', { contract: c.name, module: c.module });
+                this.logDebug('Skipping contract without creation code (abstract)', { contract: c.name, module: c.module });
                 continue;
             }
             if (!this.isContractAllowed(c.name)) {
@@ -481,6 +481,7 @@ class WakeGenerator {
             if (!explicitlyIncluded && isInterface) {
                 return false;
             }
+            // Always filter abstract contracts (no creation code), even if explicitly included
             const hasCreationCode = typeof c.creation_code === 'string' && c.creation_code.trim().length > 0;
             if (!hasCreationCode) {
                 return false;

package/package.json

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