Lua分析

liblua.so文件应该是关键的lua文件，其中也可以找到luaL_loadbuffer函数的定义

同时还存在相关的libcorona.so，Corona SDK (现 Solar2D) 早期版本（特别是基于 Android 的旧版本）默认捆绑的就是 Lua 5.1.5

网上资料都是对cocos2dlua的讲解，对corona lua的分享较少，就找到了一篇2013年的资料:Corona SDK的iphone游戏存档校验分析一例

导出lu

文件结构分析

liblua.so作为引擎库，需要载入.lua的脚本文件，在assets/resource.car中找到了相关的结构：

//------------------------------------------------
//--- 010 Editor v13.0.1 Binary Template
//
//      File: 
//   Authors: zydt10
//   Version: 
//   Purpose: get lua from resource.car
//  Category: 
// File Mask: 
//  ID Bytes: 
//   History: 
//------------------------------------------------
typedef struct{
    DWORD magic_number;
    BYTE unknow[8];
    DWORD lua_file_count;   
} FileEntry;

typedef struct{
    DWORD type; // type == 01
    DWORD offset;
    DWORD filenamelen;   // 文件长度
    CHAR name[filenamelen]; // 变长字符数组
    CHAR padding[4-filenamelen%4]; // 依据filenamelen和下一次Lua_file分析得出
} Lua_Info;

typedef struct{
    DWORD type; // type == 02
    DWORD unknow; // 比rawlen大一些
    DWORD rawlen; // 
    BYTE raw[rawlen];
    if (rawlen%4 != 0){
        CHAR padding[4-rawlen%4];
    }
} Lua_Data;

LittleEndian(); // 设置小端序


FileEntry entry;
while (!FEof()) {
    if (ReadUInt() == 0x01) {
        Lua_Info info;
    } else
    if (ReadUInt() == 0x02) {
        Lua_Data data;
    } else
    {
        return;
    }
}

导出对应文件：

import struct
import os

def read_lua_files(file_path, output_dir):
    os.makedirs(output_dir, exist_ok=True)
    
    with open(file_path, 'rb') as f:
        # 读取FileEntry
        magic = struct.unpack('&lt;I', f.read(4))[0]
        unknow = f.read(8)  # unknow
        lua_file_count = struct.unpack('&lt;I', f.read(4))[0]
        
        files_info = []
        
        # 读取所有Lua_File1（Info）
        while True:
            type_val_bytes = f.read(4)
            if not type_val_bytes:
                break
            type_val = struct.unpack('&lt;I', type_val_bytes)[0]
            
            if type_val == 0x01:
                offset = struct.unpack('&lt;I', f.read(4))[0]
                filenamelen = struct.unpack('&lt;I', f.read(4))[0]
                name = f.read(filenamelen).decode('utf-8', errors='ignore').rstrip('\x00')
                
                # 跳过padding (文件名的padding总是填充到下一个4的倍数)
                padding_len = 4 - (filenamelen % 4)
                f.read(padding_len)
                
                files_info.append({'offset': offset, 'name': name})
            elif type_val == 0x02:
                break
            else:
                break
        
        # 读取所有Lua_File2（Data）
        for info in files_info:
            f.seek(info['offset'])
            type_val = struct.unpack('&lt;I', f.read(4))[0]
            if type_val != 0x02:
                print(f"Warning: data block for {info['name']} does not start with 0x02 (got {type_val})")
                continue
            
            unknow2 = f.read(4)  # unknow
            rawlen = struct.unpack('&lt;I', f.read(4))[0]
            raw_data = f.read(rawlen)
            
            # 写入文件
            safe_name = info['name'].lstrip('/\\')
            output_path = os.path.join(output_dir, safe_name)
            os.makedirs(os.path.dirname(output_path), exist_ok=True)
            with open(output_path, 'wb') as out:
                out.write(raw_data)
            print(f"导出: {safe_name}")

if __name__ == '__main__':
    read_lua_files(r'nz.co.qmax.ponpon2\assets\resource.car', 'output')

547

到后面才发现有项目已经实现过了：GitHub - 0BuRner/corona-archiver: Python script to help pack and unpack Corona/Solar2D archive .car file · GitHub

接下来反汇编lua文件：GitHub - sztupy/luadec51: Lua Decompiler for Lua version 5.1 · GitHub

实验后确定可行，反汇编成功批量反编译

import os
import subprocess
from pathlib import Path

LUADEC_EXE = r"C:\Users\lenovo\Desktop\正在进行的逆向项目\环境配置\luadec51_2.0.2_win32\Luadec51.exe"
INPUT_DIR = r"C:\Users\lenovo\Desktop\正在进行的逆向项目\不可思议的微生物研究所\output"
OUTPUT_DIR = r"C:\Users\lenovo\Desktop\正在进行的逆向项目\不可思议的微生物研究所\transform"

def main():
    input_path = Path(INPUT_DIR)
    output_path = Path(OUTPUT_DIR)
    
    # 确保输出目录存在
    output_path.mkdir(parents=True, exist_ok=True)
    
    # 查找所有 .lu 文件
    lu_files = list(input_path.rglob("*.lu"))
    print(f"找到 {len(lu_files)} 个 .lu 文件需要处理。")
    
    success = 0
    for lu_file in lu_files:
        # 计算相对路径，以保持在 transform 目录中的原始目录结构
        rel_path = lu_file.relative_to(input_path)
        out_file = output_path / rel_path.with_suffix(".luac")
        
        # 确保特定的输出子目录存在
        out_file.parent.mkdir(parents=True, exist_ok=True)
        
        print(f"正在反编译: {rel_path} -&gt; {out_file.name}")
        try:
            # 执行反编译并将标准输出重定向到文件
            with open(out_file, "wb") as f_out:
                subprocess.run(
                    [LUADEC_EXE, "-dis", str(lu_file)],
                    stdout=f_out,
                    stderr=subprocess.PIPE,
                    check=True
                )
            success += 1
        except subprocess.CalledProcessError as e:
            print(f"反编译失败 {rel_path}: {e.stderr.decode(errors='ignore')}")
        except Exception as e:
            print(f"处理 {rel_path} 时发生未知错误: {e}")
            
    print(f"\n完成！成功反编译 {success}/{len(lu_files)} 个文件。")

if __name__ == "__main__":
    main()

分析逻辑

需要破解的诱饵为虹色液，由于游戏停止维护，充值渠道关闭，该物品无法购买。定位：

而对应的price为-1，在游戏设计中通常意为着不可购买或者是存在特殊的判断逻辑，例如当price为-1时检测特殊的游戏货币（钻石）。这里要将-1改为1。但是不能直接改，lua有一套自己的常数逻辑，与字符串的常量逻辑不同。

将K常量值改为1之前，得搞清楚K的数值常量逻辑，

从《ANoFrillsIntroToLua51VMInstructions.pdf》中得知： 552

657 Number是IEEE 754 64位double类型。

转换：

import struct

def float_to_hex(double_val: float) -> str:
    packed_bytes = struct.pack('>d', double_val)
    hex_string = packed_bytes.hex()
    return hex_string.upper()

test_values = [
    10000,
    -1,
    1
]

for val in test_values:
    hex_result = float_to_hex(val)
    print(f"十进制数值: {val:>10}")
    print(f"IEEE 754 64位十六进制: 0x{hex_result}\n")

405 验证后符合K42、K3等常量的值

接下来寻找常量表的存储位置，依旧是手搓个010的模板解析下

//------------------------------------------------
//--- 010 Editor v13.0.1 Binary Template
//
//      File: 
//   Authors: zydt10
//   Version: 
//   Purpose: 
//  Category: 
// File Mask: 
//  ID Bytes: 
//   History: 
//------------------------------------------------
typedef struct{
    if (ReadByte(FTell())==0x04){
        BYTE magic;
        BYTE len;
        BYTE padding1[3];
        BYTE value[len-1];
        BYTE padding2;
    }
    else if (ReadByte(FTell())==0x03){
        BYTE unknow[9];
    }
}constK;

LittleEndian();

BYTE used[0x1FD];// 上面的先不分析

while (!FEof()) {
    constK K;
    if ((ReadByte(FTell())!=0x03) && ((ReadByte(FTell())!=0x04)))
        return;
}