optiprune 1.8.17 → 2.1.0

package/dist/types.d.ts

@@ -17,6 +17,10 @@ export interface ParseDiagnostic {
     location?: Range;
     recovered: boolean;
 }
+export interface ExportMember {
+    name: string;
+    location?: Range;
+}
 export interface ExportRecord {
     name: string;
     exportedAs: string;
@@ -27,6 +31,7 @@ export interface ExportRecord {
     isTypeOnly?: boolean;
     isExternalContract?: boolean;
     localReferences?: string[];
+    members?: ExportMember[];
 }
 export interface DependencyEdge {
     source: string;
@@ -61,6 +66,7 @@ export interface ModuleRecord {
     scannedDirectories: string[];
     dynamicImportCandidates: DynamicImportCandidate[];
     localSymbolMap?: Record<string, string[]>;
+    localTypeMap?: Record<string, string>;
 }
 export interface WorkspacePackage {
     name: string;
@@ -101,7 +107,7 @@ export interface DynamicImportCandidate {
     contextCode: string;
 }
 export interface Finding {
-    rule: "unreachable-file" | "unused-export" | "unreachable-statement" | "constant-condition" | "contradictory-guard" | "schema-impossible-guard" | "parse-recovery" | "unresolved-import" | "unknown-dynamic-import" | "no-entry-points" | "unreachable-dynamic-path" | "protected-contract";
+    rule: "unreachable-file" | "unused-export" | "unused-member" | "unreachable-statement" | "constant-condition" | "contradictory-guard" | "schema-impossible-guard" | "parse-recovery" | "unresolved-import" | "unknown-dynamic-import" | "no-entry-points" | "unreachable-dynamic-path" | "protected-contract";
     severity: Severity;
     confidence: Confidence;
     message: string;
@@ -222,6 +228,7 @@ export interface AnalysisContext {
     hasReachableUnknownDynamicBoundary: boolean;
     components: StronglyConnectedComponent[];
     usedExports: Set<string>;
+    usedMembers: Set<string>;
     candidateBranches: CandidateBranch[];
     dynamicImportCandidates: DynamicImportCandidate[];
     monorepo?: MonorepoGraph;

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AA8SA,MAAM,CAAC,MAAM,eAAe,GAA2B;IACrD,IAAI,EAAE,CAAC;IACP,GAAG,EAAE,CAAC;IACN,MAAM,EAAE,CAAC;IACT,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC,CAAC,EAAE,yCAAyC;CACpD,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAuTA,MAAM,CAAC,MAAM,eAAe,GAA2B;IACrD,IAAI,EAAE,CAAC;IACP,GAAG,EAAE,CAAC;IACN,MAAM,EAAE,CAAC;IACT,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC,CAAC,EAAE,yCAAyC;CACpD,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "optiprune",
-  "version": "1.8.17",
+  "version": "2.1.0",
   "description": "Resilient static dead-code analyzer for TypeScript and JavaScript workspaces.",
   "type": "module",
   "main": "./dist/index.js",
@@ -76,22 +76,15 @@
     "release": "node -e \"fs.rmSync('dist', { recursive: true, force: true })\" && npm ci && npm run build"
   },
   "dependencies": {
-    "@babel/cli": "^8.0.4",
-    "@babel/core": "^8.0.1",
-    "@babel/helper-plugin-utils": "^8.0.1",
-    "@babel/parser": "^7.29.7",
-    "@babel/plugin-proposal-decorators": "^8.0.2",
-    "@babel/plugin-transform-typescript": "^8.0.1",
-    "@babel/preset-env": "^8.0.2",
-    "@babel/traverse": "^8.0.4",
-    "@babel/types": "^8.0.4",
-    "@swc/core": "^1.15.47",
     "commander": "^15.0.0",
     "esbuild": "^0.28.1",
     "fast-glob": "^3.3.3",
     "js-yaml": "^5.2.2",
     "pathe": "2.0.3",
     "quickjs-emscripten": "^0.32.0",
+    "yuku-ast": "^0.8.3",
+    "yuku-codegen": "^0.8.3",
+    "yuku-parser": "^0.8.3",
     "z3-solver": "^5.0.0"
   },
   "devDependencies": {

package/dist/instrumentation-plugin.d.ts

@@ -1,6 +0,0 @@
-/**
- * A Babel plugin to instrument code for concolic execution.
- * It injects tracing hooks around conditional branches and function calls.
- */
-declare const _default: any;
-export default _default;

package/dist/instrumentation-plugin.js

@@ -1,84 +0,0 @@
-import * as t from "@babel/types";
-import { declare } from "@babel/helper-plugin-utils";
-/**
- * A Babel plugin to instrument code for concolic execution.
- * It injects tracing hooks around conditional branches and function calls.
- */
-export default declare((api) => {
-    api.assertVersion("^7.0.0 || ^8.0.0-0");
-    return {
-        name: "optiprune-instrumentation",
-        visitor: {
-            Program: {
-                enter(path, state) {
-                    const { filename, coverageVariable } = state.opts;
-                    const fileId = t.stringLiteral(filename);
-                    // Initialize coverage variable at the beginning of the program
-                    const initCoverage = t.expressionStatement(t.callExpression(t.memberExpression(t.identifier(coverageVariable), t.identifier("init")), [fileId]));
-                    // Mark the injected node to prevent re-instrumentation
-                    initCoverage.expression.callee._concolicInstrumented = true;
-                    path.node.body.unshift(initCoverage);
-                },
-            },
-            // Instrument IfStatement
-            IfStatement(path, state) {
-                const { filename, coverageVariable } = state.opts;
-                const fileId = t.stringLiteral(filename);
-                const line = t.numericLiteral(path.node.loc?.start.line || 0);
-                const traceCall = t.callExpression(t.memberExpression(t.identifier(coverageVariable), t.identifier("traceBranch")), [
-                    fileId,
-                    line,
-                    path.node.test,
-                ]);
-                traceCall.callee._concolicInstrumented = true;
-                // Wrap the test condition with the tracing call
-                path.node.test = t.sequenceExpression([traceCall, path.node.test]);
-            },
-            // Instrument FunctionDeclaration and FunctionExpression
-            "FunctionDeclaration|FunctionExpression|ArrowFunctionExpression"(path, state) {
-                const { filename, coverageVariable } = state.opts;
-                const fileId = t.stringLiteral(filename);
-                const line = t.numericLiteral(path.node.loc?.start.line || 0);
-                const node = path.node;
-                const functionName = t.stringLiteral(node.id && t.isIdentifier(node.id) ? node.id.name : "anonymous");
-                const traceCall = t.expressionStatement(t.callExpression(t.memberExpression(t.identifier(coverageVariable), t.identifier("traceFunction")), [
-                    fileId,
-                    line,
-                    functionName,
-                ]));
-                traceCall.expression.callee._concolicInstrumented = true;
-                if (t.isBlockStatement(path.node.body)) {
-                    path.node.body.body.unshift(traceCall);
-                }
-                else { // ArrowFunctionExpression with implicit return
-                    path.node.body = t.blockStatement([
-                        traceCall,
-                        t.returnStatement(path.node.body),
-                    ]);
-                }
-            },
-            // Instrument CallExpression
-            CallExpression(path, state) {
-                // Avoid re-instrumenting our own injected calls
-                if (path.node.callee._concolicInstrumented) {
-                    return;
-                }
-                const { filename, coverageVariable } = state.opts;
-                const fileId = t.stringLiteral(filename);
-                const line = t.numericLiteral(path.node.loc?.start.line || 0);
-                const calleeName = t.stringLiteral(t.isIdentifier(path.node.callee) ? path.node.callee.name : "unknown");
-                // Create a helper function call that traces and then executes the original call
-                const tracedCall = t.callExpression(t.memberExpression(t.identifier(coverageVariable), t.identifier("traceAndExecuteCall")), [
-                    fileId,
-                    line,
-                    calleeName,
-                    path.node.callee, // Pass the original callee
-                    t.arrayExpression(path.node.arguments.map(arg => t.cloneNode(arg))) // Pass cloned arguments
-                ]);
-                tracedCall.callee._concolicInstrumented = true;
-                path.replaceWith(tracedCall);
-            },
-        },
-    };
-});
-//# sourceMappingURL=instrumentation-plugin.js.map

package/dist/instrumentation-plugin.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"instrumentation-plugin.js","sourceRoot":"","sources":["../src/instrumentation-plugin.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAElC,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AASrD;;;GAGG;AACH,eAAgB,OAAe,CAAC,CAAC,GAAQ,EAAE,EAAE;IAC3C,GAAG,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC;IAExC,OAAO;QACL,IAAI,EAAE,2BAA2B;QACjC,OAAO,EAAE;YACP,OAAO,EAAE;gBACP,KAAK,CAAC,IAAyB,EAAE,KAA2B;oBAC1D,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;oBAClD,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;oBAEzC,+DAA+D;oBAC/D,MAAM,YAAY,GAAG,CAAC,CAAC,mBAAmB,CACxC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CACrG,CAAC;oBACF,uDAAuD;oBACrD,YAAY,CAAC,UAAkB,CAAC,MAAc,CAAC,qBAAqB,GAAG,IAAI,CAAC;oBAC9E,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;gBACvC,CAAC;aACF;YAED,yBAAyB;YACzB,WAAW,CAAC,IAA6B,EAAE,KAA2B;gBACpE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;gBAClD,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;gBACzC,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;gBAE9D,MAAM,SAAS,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,EAAE;oBAChH,MAAM;oBACN,IAAI;oBACJ,IAAI,CAAC,IAAI,CAAC,IAAI;iBACf,CAAC,CAAC;gBACJ,SAAS,CAAC,MAAc,CAAC,qBAAqB,GAAG,IAAI,CAAC;gBAEvD,gDAAgD;gBAChD,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,kBAAkB,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACrE,CAAC;YAED,wDAAwD;YACxD,gEAAgE,CAAC,IAAwF,EAAE,KAA2B;gBACpL,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;gBAClD,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;gBACzC,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;gBAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAgF,CAAC;gBACnG,MAAM,YAAY,GAAG,CAAC,CAAC,aAAa,CAAE,IAAY,CAAC,EAAE,IAAI,CAAC,CAAC,YAAY,CAAE,IAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,IAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;gBAEjI,MAAM,SAAS,GAAG,CAAC,CAAC,mBAAmB,CACrC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,EAAE;oBAClG,MAAM;oBACN,IAAI;oBACJ,YAAY;iBACb,CAAC,CACH,CAAC;gBACA,SAAS,CAAC,UAAkB,CAAC,MAAc,CAAC,qBAAqB,GAAG,IAAI,CAAC;gBAE3E,IAAI,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gBACzC,CAAC;qBAAM,CAAC,CAAC,+CAA+C;oBACtD,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC;wBAChC,SAAS;wBACT,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAoB,CAAC;qBAClD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,4BAA4B;YAC5B,cAAc,CAAC,IAAgC,EAAE,KAA2B;gBAC1E,gDAAgD;gBAChD,IAAK,IAAI,CAAC,IAAI,CAAC,MAAc,CAAC,qBAAqB,EAAE,CAAC;oBACpD,OAAO;gBACT,CAAC;gBAED,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;gBAClD,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;gBACzC,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;gBAE9D,MAAM,UAAU,GAAG,CAAC,CAAC,aAAa,CAChC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CACrE,CAAC;gBAEF,gFAAgF;gBAChF,MAAM,UAAU,GAAG,CAAC,CAAC,cAAc,CACjC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC,EAAE;oBACvF,MAAM;oBACN,IAAI;oBACJ,UAAU;oBACV,IAAI,CAAC,IAAI,CAAC,MAAsB,EAAE,2BAA2B;oBAC7D,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,GAAmB,CAAC,CAAC,CAAC,CAAC,wBAAwB;iBAC7G,CACF,CAAC;gBACD,UAAU,CAAC,MAAc,CAAC,qBAAqB,GAAG,IAAI,CAAC;gBAExD,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YAC/B,CAAC;SACF;KACF,CAAC;AACJ,CAAC,CAAC,CAAC"}