webfuscator 0.9.4

package/dist/transforms/pack-declarations-into-parameters.js

@@ -0,0 +1,208 @@
+import * as t from '@babel/types';
+import { enclosingScopeHasDirectEval, hasDuplicateParamNames } from '../utils/ast.js';
+import { traverseForChanges } from '../utils/change-tracking.js';
+import { isLiteralShaped } from '../utils/literal.js';
+import { hasAnnexBFunctionAlias } from '../utils/paths.js';
+/**
+ * Moves leading literal-valued `var` declarations into trailing default
+ * parameters. Arrows, rest parameters, name collisions, and functions with
+ * callers that could fill a new slot stay unchanged.
+ *
+ * Packing also requires unchanged `arguments`, directive, and hoisting behavior.
+ *
+ * @example
+ * // ◀️ before
+ * function run() {
+ *   var x = 1;
+ *   return x;
+ * }
+ *
+ * // ▶️ after
+ * function run(x = 1) {
+ *   return x;
+ * }
+ */
+export function packDeclarationsIntoParameters(ast) {
+    return traverseForChanges(ast, visitor);
+}
+const visitor = {
+    Function(path, state) {
+        if (packLeadingIntoParams(path)) {
+            state.changed = true;
+        }
+    },
+};
+function packLeadingIntoParams(path) {
+    // Accessors have fixed arity. Method calls are not analyzable, and arrows do
+    // not own `arguments`.
+    if (path.isArrowFunctionExpression() ||
+        path.isObjectMethod() ||
+        path.isClassMethod() ||
+        path.isClassPrivateMethod()) {
+        return false;
+    }
+    // An Annex B alias splits call sites across bindings Babel does not connect.
+    if (hasAnnexBFunctionAlias(path)) {
+        return false;
+    }
+    const { params } = path.node;
+    if (params.some((param) => t.isRestElement(param))) {
+        return false;
+    }
+    // Adding a default makes duplicate sloppy parameters a syntax error.
+    if (hasDuplicateParamNames(params)) {
+        return false;
+    }
+    const { body } = path.node;
+    if (!t.isBlockStatement(body)) {
+        return false;
+    }
+    // A strict directive forbids a non-simple parameter list.
+    if (body.directives.length > 0) {
+        return false;
+    }
+    // Defaults make `arguments` unmapped.
+    if (referencesArguments(path)) {
+        return false;
+    }
+    // Direct eval can inspect the newly unmapped `arguments` by name.
+    if (enclosingScopeHasDirectEval(path)) {
+        return false;
+    }
+    // A caller with extra arguments could fill the new parameter slot.
+    if (!allCallSitesRespectArity(path, params.length)) {
+        return false;
+    }
+    const existingNames = collectParamNames(params);
+    // FunctionDeclarationInstantiation can replace a packed default with a hoisted
+    // same-named function.
+    const bodyFunctionNames = functionDeclarationNames(body);
+    let packed = false;
+    while (body.body.length > 0) {
+        const stmt = body.body[0];
+        if (!t.isVariableDeclaration(stmt) || stmt.kind !== 'var') {
+            break;
+        }
+        if (stmt.declarations.length !== 1) {
+            break;
+        }
+        const decl = stmt.declarations[0];
+        if (!t.isIdentifier(decl.id)) {
+            break;
+        }
+        if (!decl.init) {
+            break;
+        }
+        if (!isLiteralShaped(decl.init)) {
+            break;
+        }
+        if (existingNames.has(decl.id.name) || bodyFunctionNames.has(decl.id.name)) {
+            break;
+        }
+        params.push(t.assignmentPattern(t.cloneNode(decl.id), decl.init));
+        existingNames.add(decl.id.name);
+        body.body.shift();
+        packed = true;
+    }
+    return packed;
+}
+function referencesArguments(path) {
+    let found = false;
+    const argumentsVisitor = {
+        Function(inner) {
+            if (inner.isArrowFunctionExpression()) {
+                // Arrows read the enclosing `arguments`.
+                return;
+            }
+            // Non-arrow bodies bind `arguments`, but computed method keys use the
+            // enclosing scope.
+            const key = methodComputedKey(inner);
+            if (key) {
+                if (key.isIdentifier() && key.node.name === 'arguments') {
+                    found = true;
+                }
+                key.traverse(argumentsVisitor);
+            }
+            inner.skip();
+        },
+        Identifier(inner) {
+            if (inner.node.name === 'arguments' && inner.isReferencedIdentifier()) {
+                found = true;
+            }
+        },
+    };
+    path.traverse(argumentsVisitor);
+    return found;
+}
+function methodComputedKey(path) {
+    if ((path.isObjectMethod() || path.isClassMethod() || path.isClassPrivateMethod()) &&
+        path.node.computed) {
+        return path.get('key');
+    }
+    return null;
+}
+// Every outer and recursive reference must be a direct call within the original
+// arity and without spread.
+function allCallSitesRespectArity(path, arity) {
+    const external = functionBinding(path);
+    if (!external || !external.constant || !bindingCallsRespectArity(external, arity)) {
+        return false;
+    }
+    if (path.isFunctionExpression() && path.node.id) {
+        const inner = path.scope.getBinding(path.node.id.name);
+        if (inner && (!inner.constant || !bindingCallsRespectArity(inner, arity))) {
+            return false;
+        }
+    }
+    return true;
+}
+function bindingCallsRespectArity(binding, arity) {
+    for (const ref of binding.referencePaths) {
+        const parent = ref.parentPath;
+        if (!parent ||
+            !(parent.isCallExpression() || parent.isOptionalCallExpression()) ||
+            parent.node.callee !== ref.node) {
+            return false;
+        }
+        const args = parent.node.arguments;
+        if (args.length > arity || args.some((arg) => t.isSpreadElement(arg))) {
+            return false;
+        }
+    }
+    return true;
+}
+// Annex B can hoist function names from nested blocks into this function scope.
+function functionDeclarationNames(body) {
+    const names = new Set();
+    t.traverseFast(body, (node) => {
+        if (t.isFunctionDeclaration(node) && node.id) {
+            names.add(node.id.name);
+            return t.traverseFast.skip;
+        }
+        return node !== body && t.isFunction(node) ? t.traverseFast.skip : undefined;
+    });
+    return names;
+}
+function functionBinding(path) {
+    if (path.isFunctionDeclaration() && path.node.id) {
+        return path.scope.parent?.getBinding(path.node.id.name) ?? null;
+    }
+    const parent = path.parentPath;
+    if (parent?.isVariableDeclarator() &&
+        parent.node.init === path.node &&
+        t.isIdentifier(parent.node.id)) {
+        return parent.scope.getBinding(parent.node.id.name) ?? null;
+    }
+    return null;
+}
+// Parameter names inside patterns and defaults also block duplicate packing.
+function collectParamNames(params) {
+    const names = new Set();
+    for (const param of params) {
+        for (const name of Object.keys(t.getBindingIdentifiers(param))) {
+            names.add(name);
+        }
+    }
+    return names;
+}
+//# sourceMappingURL=pack-declarations-into-parameters.js.map

package/dist/transforms/pack-declarations-into-parameters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pack-declarations-into-parameters.js","sourceRoot":"","sources":["../../src/transforms/pack-declarations-into-parameters.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AAGjC,OAAO,EAAE,2BAA2B,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAA;AACnF,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAE9D,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAA;AAExD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,8BAA8B,CAAC,GAAS;IACtD,OAAO,kBAAkB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;AACzC,CAAC;AAED,MAAM,OAAO,GAAyB;IACpC,QAAQ,CAAC,IAAI,EAAE,KAAK;QAClB,IAAI,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAA;QACtB,CAAC;IACH,CAAC;CACF,CAAA;AAED,SAAS,qBAAqB,CAAC,IAA0B;IACvD,6EAA6E;IAC7E,uBAAuB;IACvB,IACE,IAAI,CAAC,yBAAyB,EAAE;QAChC,IAAI,CAAC,cAAc,EAAE;QACrB,IAAI,CAAC,aAAa,EAAE;QACpB,IAAI,CAAC,oBAAoB,EAAE,EAC3B,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,6EAA6E;IAC7E,IAAI,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAA;IAC5B,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACnD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,qEAAqE;IACrE,IAAI,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAA;IAC1B,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAA;IACd,CAAC;IACD,0DAA0D;IAC1D,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAA;IACd,CAAC;IACD,sCAAsC;IACtC,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAA;IACd,CAAC;IACD,kEAAkE;IAClE,IAAI,2BAA2B,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,KAAK,CAAA;IACd,CAAC;IACD,mEAAmE;IACnE,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,aAAa,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC/C,+EAA+E;IAC/E,uBAAuB;IACvB,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAA;IAExD,IAAI,MAAM,GAAG,KAAK,CAAA;IAClB,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAA;QAC1B,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1D,MAAK;QACP,CAAC;QACD,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,MAAK;QACP,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAE,CAAA;QAClC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7B,MAAK;QACP,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACf,MAAK;QACP,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAK;QACP,CAAC;QACD,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3E,MAAK;QACP,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QACjE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;QAC/B,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAA;QACjB,MAAM,GAAG,IAAI,CAAA;IACf,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,IAA0B;IACrD,IAAI,KAAK,GAAG,KAAK,CAAA;IACjB,MAAM,gBAAgB,GAAY;QAChC,QAAQ,CAAC,KAAK;YACZ,IAAI,KAAK,CAAC,yBAAyB,EAAE,EAAE,CAAC;gBACtC,yCAAyC;gBACzC,OAAM;YACR,CAAC;YACD,sEAAsE;YACtE,mBAAmB;YACnB,MAAM,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;YACpC,IAAI,GAAG,EAAE,CAAC;gBACR,IAAI,GAAG,CAAC,YAAY,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBACxD,KAAK,GAAG,IAAI,CAAA;gBACd,CAAC;gBACD,GAAG,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAA;YAChC,CAAC;YACD,KAAK,CAAC,IAAI,EAAE,CAAA;QACd,CAAC;QACD,UAAU,CAAC,KAAK;YACd,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,sBAAsB,EAAE,EAAE,CAAC;gBACtE,KAAK,GAAG,IAAI,CAAA;YACd,CAAC;QACH,CAAC;KACF,CAAA;IACD,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAA;IAC/B,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,IAA0B;IACnD,IACE,CAAC,IAAI,CAAC,cAAc,EAAE,IAAI,IAAI,CAAC,aAAa,EAAE,IAAI,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAC9E,IAAI,CAAC,IAAI,CAAC,QAAQ,EAClB,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAa,CAAA;IACpC,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,gFAAgF;AAChF,4BAA4B;AAC5B,SAAS,wBAAwB,CAAC,IAA0B,EAAE,KAAa;IACzE,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,CAAA;IACtC,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,wBAAwB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;QAClF,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,IAAI,CAAC,oBAAoB,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;QACtD,IAAI,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1E,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAgB,EAAE,KAAa;IAC/D,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,GAAG,CAAC,UAAU,CAAA;QAC7B,IACE,CAAC,MAAM;YACP,CAAC,CAAC,MAAM,CAAC,gBAAgB,EAAE,IAAI,MAAM,CAAC,wBAAwB,EAAE,CAAC;YACjE,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,GAAG,CAAC,IAAI,EAC/B,CAAC;YACD,OAAO,KAAK,CAAA;QACd,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAA;QAClC,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACtE,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,gFAAgF;AAChF,SAAS,wBAAwB,CAAC,IAAsB;IACtD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAC/B,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC5B,IAAI,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;YAC7C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;YACvB,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAA;QAC5B,CAAC;QACD,OAAO,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;IAC9E,CAAC,CAAC,CAAA;IACF,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,eAAe,CAAC,IAA0B;IACjD,IAAI,IAAI,CAAC,qBAAqB,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,CAAA;IACjE,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAA;IAC9B,IACE,MAAM,EAAE,oBAAoB,EAAE;QAC9B,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;QAC9B,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAC9B,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,CAAA;IAC7D,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,6EAA6E;AAC7E,SAAS,iBAAiB,CAAC,MAA4B;IACrD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC/D,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACjB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/transforms/remove-anonymous-function-names.d.ts

@@ -0,0 +1,17 @@
+import type { File } from '@babel/types';
+/**
+ * Removes a function expression's name when the body does not use its binding
+ * and NamedEvaluation restores the same `.name`. Other positions could infer no
+ * name or a different one.
+ *
+ * @example
+ * // ◀️ before
+ * var greet = function greet() {};
+ * var a = function bar() {};
+ *
+ * // ▶️ after
+ * var greet = function () {};
+ * var a = function bar() {};
+ */
+export declare function removeAnonymousFunctionNames(ast: File): boolean;
+//# sourceMappingURL=remove-anonymous-function-names.d.ts.map

package/dist/transforms/remove-anonymous-function-names.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"remove-anonymous-function-names.d.ts","sourceRoot":"","sources":["../../src/transforms/remove-anonymous-function-names.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAKxC;;;;;;;;;;;;;GAaG;AACH,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,IAAI,GAAG,OAAO,CAE/D"}

package/dist/transforms/remove-anonymous-function-names.js

@@ -0,0 +1,72 @@
+import * as t from '@babel/types';
+import { traverseForChanges } from '../utils/change-tracking.js';
+/**
+ * Removes a function expression's name when the body does not use its binding
+ * and NamedEvaluation restores the same `.name`. Other positions could infer no
+ * name or a different one.
+ *
+ * @example
+ * // ◀️ before
+ * var greet = function greet() {};
+ * var a = function bar() {};
+ *
+ * // ▶️ after
+ * var greet = function () {};
+ * var a = function bar() {};
+ */
+export function removeAnonymousFunctionNames(ast) {
+    return traverseForChanges(ast, visitor);
+}
+const visitor = {
+    FunctionExpression(path, state) {
+        const { id } = path.node;
+        if (!id) {
+            return;
+        }
+        // Reads and writes both observe the expression's immutable inner binding.
+        const binding = path.scope.getBinding(id.name);
+        if (binding &&
+            binding.identifier === id &&
+            (binding.references > 0 || binding.constantViolations.length > 0)) {
+            return;
+        }
+        if (inferredName(path) !== id.name) {
+            return;
+        }
+        path.node.id = null;
+        state.changed = true;
+    },
+};
+// No inferred name means `.name` would become empty.
+function inferredName(path) {
+    const { node } = path;
+    const { parentPath } = path;
+    if (!parentPath) {
+        return null;
+    }
+    const parent = parentPath.node;
+    if (t.isVariableDeclarator(parent) && parent.init === node && t.isIdentifier(parent.id)) {
+        return parent.id.name;
+    }
+    if (t.isAssignmentExpression(parent) &&
+        parent.operator === '=' &&
+        parent.right === node &&
+        t.isIdentifier(parent.left)) {
+        return parent.left.name;
+    }
+    if (t.isAssignmentPattern(parent) && parent.right === node && t.isIdentifier(parent.left)) {
+        return parent.left.name;
+    }
+    if ((t.isObjectProperty(parent) || t.isClassProperty(parent)) &&
+        parent.value === node &&
+        !parent.computed) {
+        if (t.isIdentifier(parent.key)) {
+            return parent.key.name;
+        }
+        if (t.isStringLiteral(parent.key)) {
+            return parent.key.value;
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=remove-anonymous-function-names.js.map

package/dist/transforms/remove-anonymous-function-names.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"remove-anonymous-function-names.js","sourceRoot":"","sources":["../../src/transforms/remove-anonymous-function-names.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AAGjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAG9D;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,4BAA4B,CAAC,GAAS;IACpD,OAAO,kBAAkB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;AACzC,CAAC;AAED,MAAM,OAAO,GAAyB;IACpC,kBAAkB,CAAC,IAAI,EAAE,KAAK;QAC5B,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,CAAA;QACxB,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,OAAM;QACR,CAAC;QACD,0EAA0E;QAC1E,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;QAC9C,IACE,OAAO;YACP,OAAO,CAAC,UAAU,KAAK,EAAE;YACzB,CAAC,OAAO,CAAC,UAAU,GAAG,CAAC,IAAI,OAAO,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,EACjE,CAAC;YACD,OAAM;QACR,CAAC;QACD,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;YACnC,OAAM;QACR,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAA;QACnB,KAAK,CAAC,OAAO,GAAG,IAAI,CAAA;IACtB,CAAC;CACF,CAAA;AAED,qDAAqD;AACrD,SAAS,YAAY,CAAC,IAAoC;IACxD,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAA;IACrB,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAA;IAC3B,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAA;IAC9B,IAAI,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QACxF,OAAO,MAAM,CAAC,EAAE,CAAC,IAAI,CAAA;IACvB,CAAC;IACD,IACE,CAAC,CAAC,sBAAsB,CAAC,MAAM,CAAC;QAChC,MAAM,CAAC,QAAQ,KAAK,GAAG;QACvB,MAAM,CAAC,KAAK,KAAK,IAAI;QACrB,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAC3B,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAA;IACzB,CAAC;IACD,IAAI,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1F,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAA;IACzB,CAAC;IACD,IACE,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QACzD,MAAM,CAAC,KAAK,KAAK,IAAI;QACrB,CAAC,MAAM,CAAC,QAAQ,EAChB,CAAC;QACD,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAA;QACxB,CAAC;QACD,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAA;QACzB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC"}

package/dist/transforms/remove-unreachable-code.d.ts

@@ -0,0 +1,21 @@
+import type { File } from '@babel/types';
+/**
+ * Removes statements after unconditional control flow in the same statement list.
+ *
+ * Hoisted function and `var` declarations stay because reachable code may still
+ * observe their bindings.
+ *
+ * @example
+ * // ◀️ before
+ * function foo() {
+ *   return "bar";
+ *   log("baz");
+ * }
+ *
+ * // ▶️ after
+ * function foo() {
+ *   return "bar";
+ * }
+ */
+export declare function removeUnreachableCode(ast: File): boolean;
+//# sourceMappingURL=remove-unreachable-code.d.ts.map

package/dist/transforms/remove-unreachable-code.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"remove-unreachable-code.d.ts","sourceRoot":"","sources":["../../src/transforms/remove-unreachable-code.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAKxC;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,IAAI,GAAG,OAAO,CAExD"}

package/dist/transforms/remove-unreachable-code.js

@@ -0,0 +1,103 @@
+import * as t from '@babel/types';
+import { traverseForChanges } from '../utils/change-tracking.js';
+/**
+ * Removes statements after unconditional control flow in the same statement list.
+ *
+ * Hoisted function and `var` declarations stay because reachable code may still
+ * observe their bindings.
+ *
+ * @example
+ * // ◀️ before
+ * function foo() {
+ *   return "bar";
+ *   log("baz");
+ * }
+ *
+ * // ▶️ after
+ * function foo() {
+ *   return "bar";
+ * }
+ */
+export function removeUnreachableCode(ast) {
+    return traverseForChanges(ast, visitor);
+}
+const visitor = {
+    BlockStatement(path, state) {
+        if (pruneBody(path.get('body'))) {
+            state.changed = true;
+        }
+    },
+    SwitchCase(path, state) {
+        if (pruneBody(path.get('consequent'))) {
+            state.changed = true;
+        }
+    },
+};
+function pruneBody(body) {
+    let killZone = false;
+    const toRemove = [];
+    for (const stmt of body) {
+        if (killZone) {
+            if (isSafeToRemoveAfterCompletion(stmt)) {
+                toRemove.push(stmt);
+            }
+            continue;
+        }
+        if (isCompletion(stmt.node)) {
+            killZone = true;
+        }
+    }
+    for (const removed of toRemove) {
+        removed.remove();
+    }
+    return toRemove.length > 0;
+}
+function isCompletion(node) {
+    return (t.isReturnStatement(node) ||
+        t.isThrowStatement(node) ||
+        t.isBreakStatement(node) ||
+        t.isContinueStatement(node));
+}
+// Hoisted bindings and referenced lexical TDZ remain observable from reachable
+// code. An unreferenced lexical declaration is inert.
+function isSafeToRemoveAfterCompletion(path) {
+    const { node } = path;
+    if (t.isFunctionDeclaration(node) || (t.isVariableDeclaration(node) && node.kind === 'var')) {
+        return false;
+    }
+    if (t.isClassDeclaration(node) || (t.isVariableDeclaration(node) && node.kind !== 'var')) {
+        return !declaresReferencedBinding(path);
+    }
+    return !nestsHoistedDeclaration(node);
+}
+// A write before `let x` also observes its TDZ.
+function declaresReferencedBinding(path) {
+    for (const name of Object.keys(path.getBindingIdentifiers())) {
+        const binding = path.scope.getBinding(name);
+        if (binding && (binding.references > 0 || binding.constantViolations.length > 0)) {
+            return true;
+        }
+    }
+    return false;
+}
+function nestsHoistedDeclaration(node) {
+    let found = false;
+    t.traverseFast(node, (child) => {
+        if (found) {
+            return t.traverseFast.skip;
+        }
+        if (child !== node && t.isFunction(child)) {
+            // Function declarations may add Annex B aliases. Function bodies do not.
+            if (t.isFunctionDeclaration(child)) {
+                found = true;
+            }
+            return t.traverseFast.skip;
+        }
+        if (t.isVariableDeclaration(child) && child.kind === 'var') {
+            found = true;
+        }
+        return found ? t.traverseFast.skip : undefined;
+    });
+    return found;
+}
+//# sourceMappingURL=remove-unreachable-code.js.map

package/dist/transforms/remove-unreachable-code.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"remove-unreachable-code.js","sourceRoot":"","sources":["../../src/transforms/remove-unreachable-code.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AAGjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAG9D;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAAS;IAC7C,OAAO,kBAAkB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;AACzC,CAAC;AAED,MAAM,OAAO,GAAyB;IACpC,cAAc,CAAC,IAAI,EAAE,KAAK;QACxB,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAA;QACtB,CAAC;IACH,CAAC;IACD,UAAU,CAAC,IAAI,EAAE,KAAK;QACpB,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YACtC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAA;QACtB,CAAC;IACH,CAAC;CACF,CAAA;AAED,SAAS,SAAS,CAAC,IAA6B;IAC9C,IAAI,QAAQ,GAAG,KAAK,CAAA;IACpB,MAAM,QAAQ,GAA4B,EAAE,CAAA;IAC5C,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACrB,CAAC;YACD,SAAQ;QACV,CAAC;QACD,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,QAAQ,GAAG,IAAI,CAAA;QACjB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,OAAO,CAAC,MAAM,EAAE,CAAA;IAClB,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,CACL,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;QACzB,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACxB,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACxB,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAC5B,CAAA;AACH,CAAC;AAED,+EAA+E;AAC/E,sDAAsD;AACtD,SAAS,6BAA6B,CAAC,IAA2B;IAChE,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAA;IACrB,IAAI,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC5F,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QACzF,OAAO,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAA;IACzC,CAAC;IACD,OAAO,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAA;AACvC,CAAC;AAED,gDAAgD;AAChD,SAAS,yBAAyB,CAAC,IAA2B;IAC5D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC,EAAE,CAAC;QAC7D,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,GAAG,CAAC,IAAI,OAAO,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YACjF,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAY;IAC3C,IAAI,KAAK,GAAG,KAAK,CAAA;IACjB,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;QAC7B,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAA;QAC5B,CAAC;QACD,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,yEAAyE;YACzE,IAAI,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,KAAK,GAAG,IAAI,CAAA;YACd,CAAC;YACD,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAA;QAC5B,CAAC;QACD,IAAI,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3D,KAAK,GAAG,IAAI,CAAA;QACd,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/transforms/remove-unused-code.d.ts

@@ -0,0 +1,18 @@
+import type { File } from '@babel/types';
+/**
+ * Removes unused declarations and expression statements that have no effects.
+ * Sweeps continue because each removal can strand another binding.
+ *
+ * @example
+ * // ◀️ before
+ * function foo() { return "foo"; }
+ * function bar() { return "bar"; }
+ * var unused = 1;
+ * foo();
+ *
+ * // ▶️ after
+ * function foo() { return "foo"; }
+ * foo();
+ */
+export declare function removeUnusedCode(ast: File): boolean;
+//# sourceMappingURL=remove-unused-code.d.ts.map

package/dist/transforms/remove-unused-code.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"remove-unused-code.d.ts","sourceRoot":"","sources":["../../src/transforms/remove-unused-code.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAOxC;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,IAAI,GAAG,OAAO,CAiBnD"}