recon-generate 0.0.16 → 0.0.17

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/package.json

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