luau-obfuscator 1.0.2 → 1.0.3

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "luau-obfuscator",
-  "version": "1.0.2",
+  "version": "1.0.3",
   "description": "luau obfuscator for roblox",
   "main": "./dist/index.js",
   "module": "./dist/index.js",

package/scripts/test.js

@@ -15,10 +15,8 @@ for(const filename of fs.readdirSync(smokedir)) {
     const timeStart = performance.now()
     const obfuscated = obfuscate(content, {
         Minify: {active: false},
-        NumbersToExpressions: {active: false},
-        StringsToExpressions: {active: false}
     })
     const timeEnd = performance.now()
     fs.writeFileSync(path.join(GENERATE_DIR, `${filename}`), obfuscated)
-    console.log(`obfuscating ${filename} took ${(timeEnd - timeStart) / 1000}s, length: ${content.length} -> ${obfuscated.length}`)
+    console.log(`obfuscating ${filename} took ${(timeEnd - timeStart) / 1000}s, length: ${content.length} -> ${obfuscated.length} (x${obfuscated.length / content.length})`)
 }

package/src/passes/StringsToExpressions.ts

@@ -1,7 +1,7 @@
 import type { Program, Expression, Statement } from "luau-parser"
 import { transformExpressions } from "./walk"
 import {
-    numberLiteral, binary, call, member, identifier, table, positionalField, index,
+    vmNumberLiteral, binary, call, member, identifier, table, positionalField, index,
     localStatement, localFunctionStatement, functionParam, functionBody, functionExpression,
     block, ifStatement, ifClause, returnStatement, paren, unary, stringLiteral,
     numericForStatement, assignmentStatement,
@@ -50,7 +50,7 @@ function splitByteChunks(bytes: number[], min: number, max: number): number[][]
 
 function stringCharCall(bytes: number[]): Expression {
     // string.char(b1, b2, ...) — 원문 텍스트가 소스에 전혀 남지 않음
-    return call(member(identifier("string"), "char"), bytes.map(numberLiteral))
+    return call(member(identifier("string"), "char"), bytes.map(vmNumberLiteral))
 }
 
 /**
@@ -107,7 +107,7 @@ function buildShuffledTables(chunks: number[][]): { storeVar: string; orderVar:
     for (let slot = 0; slot < n; slot++) {
         order[storageOrder[slot]] = slot + 1
     }
-    const orderFields = order.map((slot) => positionalField(numberLiteral(slot)))
+    const orderFields = order.map((slot) => positionalField(vmNumberLiteral(slot)))
 
     return {
         storeVar,
@@ -140,7 +140,7 @@ function buildForLoopStringExpr(chunks: number[][]): Expression {
         localStatement(accVar, stringLiteral("")),
         numericForStatement(
             iVar,
-            numberLiteral(1),
+            vmNumberLiteral(1),
             unary("#", identifier(orderVar)),
             block([
                 assignmentStatement(
@@ -187,7 +187,7 @@ function buildRecursiveStringExpr(chunks: number[][]): Expression {
         ]),
         returnStatement([
             call(identifier(recName), [
-                binary("+", identifier(iParam), numberLiteral(1)),
+                binary("+", identifier(iParam), vmNumberLiteral(1)),
                 binary(
                     "..",
                     identifier(accParam),
@@ -200,7 +200,7 @@ function buildRecursiveStringExpr(chunks: number[][]): Expression {
     return iife([
         ...stmts,
         localFunctionStatement(recName, functionBody([functionParam(iParam), functionParam(accParam)], body)),
-        returnStatement([call(identifier(recName), [numberLiteral(1), stringLiteral("")])]),
+        returnStatement([call(identifier(recName), [vmNumberLiteral(1), stringLiteral("")])]),
     ])
 }
 

package/src/passes/Vmify.ts

@@ -24,12 +24,12 @@ function markRuntimeNumbersAsStructural(body: { statements: Statement[] }): void
 
 export interface VmifyOptions {
     /**
-     * VM 밖에서 값을 그대로 참조해야 하는 전역 이름 목록(GETGLOBAL/SETGLOBAL 대상).
-     * Luau엔 getfenv가 없어서 "임의의 전역 읽기"를 흉내낼 수 없기 때문에,
-     * 여기 나열된 이름들만 브리지 테이블에 실제 값으로 미리 채워 넣는다.
-     * 나열되지 않은 전역을 참조하면 컴파일은 되지만 런타임에 nil이 나온다 — 실사용 전
-     * 반드시 프로그램에서 실제로 쓰는 전역 이름을 전부 이 목록에 채워야 함(TODO: 컴파일러가
-     * ScopeAnalysis.globalsByName을 이용해 자동으로 목록을 뽑아주도록 개선 가능).
+     * 스코프 분석에 미리 등록해둘 전역 이름 시드 목록. 여기 없는 이름이라도 프로그램에서
+     * 실제로 참조되면(로컬/파라미터/업밸류로 안 풀리는 식별자는 전부) 스코프 분석이
+     * 자동으로 전역으로 잡아내므로, 브릿지 테이블은 이 옵션이 아니라
+     * VmCompiler.getUsedGlobalNames()(실제 사용된 전역 전체)로 만든다 — 옛날엔 이 목록에
+     * 없는 이름을 쓰면 컴파일은 되는데 GETGLOBAL이 조용히 nil을 반환해서
+     * "attempt to call a nil value"로 터졌었음.
      */
     builtinGlobals?: readonly string[]
     /**
@@ -56,17 +56,22 @@ export interface VmifyOptions {
  * 사라지므로, 이후 패스(RenameVariables, EncryptStrings 등)가 손댈 원본 AST가 없다.
  */
 export function runVmify(program: Program, options: VmifyOptions): void {
-    const globalNames = options.builtinGlobals ?? DEFAULT_BUILTIN_GLOBALS
+    const builtinGlobals = options.builtinGlobals ?? DEFAULT_BUILTIN_GLOBALS
     const random = options.random ?? Math.random
 
     const opcodeMap = createOpcodeMap(random)
     const names = generateVmNames(random)
 
-    const compiler = new VmCompiler(program, globalNames, opcodeMap)
+    const compiler = new VmCompiler(program, builtinGlobals, opcodeMap)
     const topProto = compiler.compile()
 
+    // builtinGlobals(시드 목록)가 아니라 실제로 프로그램이 참조한 전역 전체로 브릿지를
+    // 만든다 — game/task 같은 시드 목록에 없는 Roblox API나 실행기 전역을 스크립트가
+    // 쓰더라도 스코프 분석이 이미 전역으로 잡아뒀으므로 여기서 다 커버된다.
+    const usedGlobalNames = compiler.getUsedGlobalNames()
+
     const globalsTable = table(
-        globalNames.map((name) => namedField(name, identifier(name))),
+        usedGlobalNames.map((name) => namedField(name, identifier(name))),
     )
 
     const runtimeSource = buildVmRuntimeSource(names, opcodeMap)

package/src/passes/vmify/compiler.ts

@@ -42,6 +42,24 @@ export class VmCompiler {
     private protoIdCounter = 0
     private declToBinding = new Map<object, BindingId>()
 
+    /**
+     * 실제로 프로그램이 참조하는 모든 전역 이름(사전 등록된 builtinGlobals +
+     * 스코프 분석이 자동으로 찾아낸, 로컬/파라미터/업밸류로 안 풀리는 나머지 식별자
+     * 전부)을 돌려준다. Vmify.ts가 이 목록으로 브릿지 테이블(globals)을 만든다.
+     *
+     * 예전엔 호출자가 넘긴 builtinGlobals 목록만 브릿지에 넣었는데, 그 목록에
+     * 없는 전역(예: Roblox API나 실행기 전용 전역을 다 못 채운 경우)을 참조하면
+     * 컴파일은 성공하지만 GETGLOBAL이 조용히 nil을 반환해서 "attempt to call a
+     * nil value"로 터진다 — 게다가 원인이 VM 디스패치 쪽 스택에서만 보여서
+     * "opcode 매핑이 깨졌나?" 하고 엉뚱한 곳을 의심하게 만든다. analyzeScopes는
+     * 어차피 로컬/업밸류로 못 푸는 식별자를 전부 global 바인딩으로 잡아두므로,
+     * builtinGlobals에 없던 이름도 여기 globalsByName에는 다 들어있다 —
+     * 하드코딩된 허용목록 대신 이걸 그대로 쓰면 커버리지 문제 자체가 사라진다.
+     */
+    getUsedGlobalNames(): string[] {
+        return Array.from(this.analysis.globalsByName.keys())
+    }
+
     constructor(
         private program: Program,
         builtinGlobals: readonly string[] = DEFAULT_BUILTIN_GLOBALS,