@tsvm/transforms 0.1.0

package/dist/index.d.ts

@@ -0,0 +1,130 @@
+import { ObfuscationProfile, TransformPass, TransformContext, TransformResult } from '@tsvm/shared';
+
+declare class TransformRegistry {
+    private passes;
+    constructor(profile: ObfuscationProfile);
+    addPass(pass: TransformPass): void;
+    removePass(name: string): void;
+    getPass(name: string): TransformPass | undefined;
+    getOrderedPasses(): TransformPass[];
+}
+declare function createTransformRegistry(profile: ObfuscationProfile): TransformRegistry;
+
+/**
+ * 1) Invariant đầu vào: IR module có chứa các functions với type signatures rõ ràng (từ TypeScript).
+ * 2) Invariant đầu ra: IR module được chèn thêm các khối mã (fake type guards / phantom branches)
+ *    để đánh lừa static analysis (nhưng không đổi runtime behavior).
+ * 3) Node kinds đụng tới: IRFunction, BasicBlock, Instruction.
+ * 4) Edge cases: Không áp dụng vào các hàm quá ngắn hoặc generator/async để tránh overhead/vỡ luồng.
+ */
+declare class PreserveTypeIllusionsPass implements TransformPass {
+    readonly name = "PreserveTypeIllusionsPass";
+    readonly priority = 10;
+    execute(ctx: TransformContext): TransformResult;
+}
+
+/**
+ * 1) Invariant đầu vào: IRModule chứa hàm có gọi tới generic functions hoặc có type parameters (qua semantic graph).
+ * 2) Invariant đầu ra: Tạo các branch giả mạo (phi/dispatch) kiểm tra type object ở runtime
+ *    để mô phỏng generic instantiation tĩnh của TypeScript.
+ * 3) Node kinds đụng tới: Call, FunctionRef, BasicBlock.
+ * 4) Edge cases: Bỏ qua các hàm không thể trace type rõ ràng.
+ * 5) Pseudo-code:
+ *    For each call instruction:
+ *      if it calls a generic function (using typeFacts):
+ *         replace call with a dynamic type-check dispatch wrapper
+ */
+declare class GenericConfusionPass implements TransformPass {
+    readonly name = "GenericConfusionPass";
+    readonly priority = 20;
+    execute(ctx: TransformContext): TransformResult;
+}
+
+declare class DecoratorAwareLoweringPass implements TransformPass {
+    readonly name = "DecoratorAwareLoweringPass";
+    readonly priority = 30;
+    execute(ctx: TransformContext): TransformResult;
+}
+
+/**
+ * 1) Invariant đầu vào: Hàm truy cập các symbol thông qua namespace hoặc exported object (PropGet/PropSet).
+ * 2) Invariant đầu ra: Các lookup namespace tĩnh bị biến thành lookup động trên một object graph ảo
+ *    được quản lý ở runtime.
+ * 3) Node kinds đụng tới: PropGet, PropSet, ComputedGet, ComputedSet.
+ * 4) Edge cases: Bỏ qua các object native như window, document hoặc module của bên thứ ba không thể virtualize.
+ * 5) Pseudo-code:
+ *    For each instruction:
+ *      if it is PropGet(obj, "propName"):
+ *         replace with ComputedGet(virtual_namespace_map(obj), hash("propName"))
+ */
+declare class NamespaceVirtualizationPass implements TransformPass {
+    readonly name = "NamespaceVirtualizationPass";
+    readonly priority = 40;
+    execute(ctx: TransformContext): TransformResult;
+}
+
+/**
+ * Type-level fake path pass: injects dead branches with opaque predicates
+ * that are always false but hard to statically analyze.
+ */
+declare class TypeLevelFakePathPass implements TransformPass {
+    readonly name = "TypeLevelFakePathPass";
+    readonly priority = 30;
+    execute(ctx: TransformContext): TransformResult;
+}
+
+/**
+ * 1) Invariant đầu vào: Các hàm và biến nội bộ có tên symbol giữ nguyên từ mã gốc (trừ khi đã rename).
+ * 2) Invariant đầu ra: Toàn bộ tên biến, hàm nội bộ (không export, không phải API public)
+ *    được mã hóa/ẩn đi thông qua alias map.
+ * 3) Node kinds đụng tới: IRFunction, IRLocal, IRGlobal.
+ * 4) Edge cases: Bỏ qua các exported symbols nếu config yêu cầu (ví dụ làm thư viện).
+ * 5) Pseudo-code:
+ *    For each function, local, global:
+ *      if not exported:
+ *         rename to a random hashed string
+ *         update alias map
+ */
+declare class SymbolIndirectionPass implements TransformPass {
+    readonly name = "SymbolIndirectionPass";
+    readonly priority = 50;
+    execute(ctx: TransformContext): TransformResult;
+}
+
+declare class StringPoolEncodingPass implements TransformPass {
+    readonly name = "StringPoolEncodingPass";
+    readonly priority = 70;
+    execute(ctx: TransformContext): TransformResult;
+}
+
+declare class FunctionVirtualizationPass implements TransformPass {
+    readonly name = "FunctionVirtualizationPass";
+    readonly priority = 80;
+    execute(ctx: TransformContext): TransformResult;
+}
+
+declare class DeadCodeInjectionPass implements TransformPass {
+    readonly name = "DeadCodeInjectionPass";
+    readonly priority = 25;
+    execute(ctx: TransformContext): TransformResult;
+}
+
+declare class ControlFlowFlatteningPass implements TransformPass {
+    readonly name = "ControlFlowFlatteningPass";
+    readonly priority = 26;
+    execute(ctx: TransformContext): TransformResult;
+}
+
+declare class StripDebugPass implements TransformPass {
+    readonly name = "StripDebugPass";
+    readonly priority = 5;
+    execute(ctx: TransformContext): TransformResult;
+}
+
+declare class InstructionSubstitutionPass implements TransformPass {
+    readonly name = "InstructionSubstitutionPass";
+    readonly priority = 20;
+    execute(ctx: TransformContext): TransformResult;
+}
+
+export { ControlFlowFlatteningPass, DeadCodeInjectionPass, DecoratorAwareLoweringPass, FunctionVirtualizationPass, GenericConfusionPass, InstructionSubstitutionPass, NamespaceVirtualizationPass, PreserveTypeIllusionsPass, StringPoolEncodingPass, StripDebugPass, SymbolIndirectionPass, TransformRegistry, TypeLevelFakePathPass, createTransformRegistry };