趁着周末，把lua的后续文章也写完了。

反编译对抗

  众所周知，反汇编/反编译 工具在逆向人员工作中第一步被使用，其地位非常之高，而对于软件保护者来说，如何对抗 反汇编/反编译 就显得尤为重要。例如，动态调试中对OD的的检测、内核调试对windbg的破坏、加壳加花对IDA静态分析的阻碍、apktool的bug导致对修改后的apk反编译失败、修改PE头导致OD无法识别、修改 .Net dll中的区段导致ILspy工具失效等等例子，都说明对抗反编译工具是很常用的一种软件保护手段，当然lua的反编译工具也面临这个问题。处理这样的问题无非就几种思路：

  1. 用调试器调试反编译工具为何解析错误，排查原因。
  2. 用调试器调试原引擎是如何解析文件的。
  3. 用文件格式解析工具解析文件，看哪个点解析出错。

  下面将以3个例子来实战lua反编译是如何对抗与修复。

例子1：一个简单的问题

  这是在看雪论坛看到的一个问题，问题是由于游戏（可能是征途手游）将lua字符串的长度int32修改为int64，导致反编译失败的一个例子，修复方法请看帖子中本人的回答，地址：https://bbs.pediy.com/thread-217033.htm

例子2：2018腾讯游戏安全竞赛

  这一节以2018腾讯游戏安全竞赛决赛第二题进阶版第1关的题目为例子，主要是讲一下如何修复当lua的opcode被修改的情况，以及如何修复该题对抗lua反编译的问题。

opcode问题及其修复

  修复opcode的目的是 当输入题目的luac文件，反汇编工具Chunkspy和反编译工具luadec能够输出正确的结果。

  首先，我们在ida中分析lua引擎tmgs.dll文件，然后定位到luaV_execute函数（搜索字符串“ ‘for’ limit must be a number ”），发现switch下的case的参数（lua的opcode）是乱序的，到这里我们就能够确认，该题的lua虚拟机opcode被修改了。

  接着，我们进行修复操作。一种很耗时的办法就是一个一个opcode还原，分析每一个case下面的代码然后找出对应opcode的顺序。但是这一题我们不用这么麻烦，通过对比分析我们发现普通版的题目并没有修改opcode：

普通版lua引擎的luaV_execute函数 进阶版lua引擎的luaV_execute函数

  观察发现，进阶版的题目只是修改了每个case的数值或者多个值映射到同一个opcode，但是没有打乱case里的代码（也就是说，虚拟机解析opcode代码的顺序没有变，只是修改了对应的数值，这跟梦幻手游的打乱opcode的方法不同）。由于lua5.3只使用到0x2D的opcode，而一个opcode长度为6位（0x3F），该题就将剩余的没有使用的字节映射到同一个opcode下，修复时只需要反过来操作就可以了。分析到这里，我们的修复方案就出来了：

  1. 通过ida分别导出2个版本的 luaV_execute 的文本
  2. 通过python脚本提取opcode的修复表
  3. 在工具（Chunkspy和luadec）初始化lua文件后，用修复表将opcode替换
  4. 测试运行，修复其他bug

  第一步直接IDA手动导出: File –> Produce file –> Create LST File ；第二步使用python分析，代码如下：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46


# 通过扫码IDA导出的文本文件，获取lua字节码的opcode顺序
def (filepath):
    f = open(filepath)
    lines = f.readlines()
    opcodes = []

    # 循环扫码文件的每一行
    for i in range(len(lines)):
        line = lines[i]
        if line.find('case') != -1:
            line = line.replace('case', '')
            line = line.replace(' ', '')
            line = line.replace('n','')
            line = line.replace('u:', '')

            # 如果上一行也是case，那么这2个case对应同一个opcode
            if lines[i-1].find('case') != -1:
                opcode = opcodes[-1]
                opcode.append(line)
            else:
                opcode = []
                opcode.append(line)
                opcodes.append(opcode)
    f.close()
    return opcodes

o1 = get_opcode(u'基础版opcode.txt')
o2 = get_opcode(u'进阶版opcode.txt')

# 还原
for i in range(len(o1)):
    print '基础版：',o1[i],'t进阶版：',o2[i]

# 映射opcode获取修复表
op_tbl = [-1 for i in range(64)]
for i in range(len(o1)):
    o1opcode = o1[i][0]
    o1opcode = o1opcode.replace('0x','')

    for o2opcode in o2[i]:
        o2opcode = o2opcode.replace('0x','')
        op_tbl[int(o2opcode,16)] = int(o1opcode,16)

print '修复表：',op_tbl

  运行结果：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
基础版： ['0']        进阶版： ['6', '7', '0x16', '0x1B']
基础版： ['1']        进阶版： ['0x22', '0x28', '0x29', '0x3C']
基础版： ['2']        进阶版： ['0x3E']
基础版： ['3']        进阶版： ['0x3B']
基础版： ['4']        进阶版： ['0x12']
基础版： ['5']        进阶版： ['8', '0x11', '0x17', '0x36']
基础版： ['6']        进阶版： ['2']
基础版： ['7']        进阶版： ['0xD']
基础版： ['8']        进阶版： ['0x1A']
基础版： ['9']        进阶版： ['1']
基础版： ['0xA']      进阶版： ['0x1D']
基础版： ['0xB']      进阶版： ['0x1F']
基础版： ['0xC']      进阶版： ['0xE']
基础版： ['0xD']      进阶版： ['0x31']
基础版： ['0xE']      进阶版： ['0x2F']
基础版： ['0xF']      进阶版： ['0x1E']
基础版： ['0x12']     进阶版： ['0x13']
基础版： ['0x14']     进阶版： ['0x2B']
基础版： ['0x15']     进阶版： ['0x1C']
基础版： ['0x16']     进阶版： ['0x2D']
基础版： ['0x17']     进阶版： ['0x19']
基础版： ['0x18']     进阶版： ['0x3F']
基础版： ['0x10']     进阶版： ['0x15']
基础版： ['0x13']     进阶版： ['0x24']
基础版： ['0x11']     进阶版： ['0x3A']
基础版： ['0x19']     进阶版： ['0x18']
基础版： ['0x1A']     进阶版： ['0x33']
基础版： ['0x1B']     进阶版： ['0xF']
基础版： ['0x1C']     进阶版： ['0x34']
基础版： ['0x1D']     进阶版： ['0x20']
基础版： ['0x1E']     进阶版： ['5', '9', '0xA', '0x25']
基础版： ['0x1F']     进阶版： ['0x30']
基础版： ['0x20']     进阶版： ['0x26']
基础版： ['0x21']     进阶版： ['0x35']
基础版： ['0x22']     进阶版： ['0x38']
基础版： ['0x23']     进阶版： ['0x2A']
基础版： ['0x24']     进阶版： ['0x23', '0x37', '0x39', '0x3D']
基础版： ['0x25']     进阶版： ['0x27']
基础版： ['0x27']     进阶版： ['0x2C']
基础版： ['0x28']     进阶版： ['0x32']
基础版： ['0x29']     进阶版： ['0x21']
基础版： ['0x2A']     进阶版： ['3']
基础版： ['0x2B']     进阶版： ['0xC']
基础版： ['0x2C']     进阶版： ['0x2E']
基础版： ['0x2D']     进阶版： ['0x14']
基础版： ['0x26']     进阶版： ['4']
修复表： [-1, 9, 6, 42, 38, 30, 0, 0, 5, 30, 30, -1, 43, 7, 12, 27, -1, 5, 4, 18, 45, 16, 0, 5, 25, 23, 8, 0, 21, 10, 15, 11, 29, 41, 1, 36, 19, 30, 32, 37, 1, 1, 35, 20, 39, 22, 44, 14, 31, 13, 40, 26, 28, 33, 5, 36, 34, 36, 17, 3, 1, 36, 2, 24]

  注意了，这里有几个opcode是没有对应关系的（默认是-1），跟踪代码发现，其实这些opcode的功能相当于nop操作，而原本lua是不存在nop的，我们只需在修复的过程中跳过这个字节码即可。

  最后将获取的修复表替换到工具中，Chunspy修复点在DecodeInst函数中，修改结果如下：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
function DecodeInst(code, iValues)
  local iSeq, iMask = config.iABC, config.mABC
  local cValue, cBits, cPos = 0, 0, 1
  -- decode an instruction
  for i = 1, #iSeq do
    -- if need more bits, suck in a byte at a time
    while cBits < iSeq[i] do
      cValue = string.byte(code, cPos) * (1 << cBits) + cValue
      cPos = cPos + 1; cBits = cBits + 8
    end
    -- extract and set an instruction field
    iValues[config.nABC[i]] = cValue % iMask[i]
    cValue = cValue // iMask[i]
    cBits = cBits - iSeq[i]
  end

  -- add by littleNA
  local optbl = { -1, 9, 6, 42, 38, 30, 0, 0, 5, 30, 30, -1, 43, 7, 12, 27, -1, 5, 4, 18, 45, 16, 0, 5, 25, 23, 8, 0, 21, 10, 15, 11, 29, 41, 1, 36, 19, 30, 32, 37, 1, 1, 35, 20, 39, 22, 44, 14, 31, 13, 40, 26, 28, 33, 5, 36, 34, 36, 17, 3, 1, 36, 2, 24 }    
  iValues.OP = optbl[iValues.OP+1]  -- 注意，lua的下标是从1开始的数起的
  -- add by littleNA end

  iValues.opname = config.opnames[iValues.OP]   -- get mnemonic
  iValues.opmode = config.opmode[iValues.OP]
 
 -- add by littleNA
  if iValues.OP == -1 then
    iValues.opname = "Nop"
    iValues.opmode = iABx
  end
  -- add by littleNA end
 
 if iValues.opmode == iABx then                 -- set Bx or sBx
    iValues.Bx = iValues.B * iMask[3] + iValues.C
  elseif iValues.opmode == iAsBx then
    iValues.sBx = iValues.B * iMask[3] + iValues.C - config.MAXARG_sBx
  elseif iValues.opmode == iAx then
    iValues.Ax = iValues.B * iMask[3] * iMask[2] + iValues.C * iMask[2] + iValues.A
  end
  return iValues
end

  测试发现出错了，出错结果：

  从出错的结果可以看出是luac文件的版本号有错误，这里无法识别lua 11的版本其实是题目故意设计让工具识别错误，我们将文件的第4个字节（lua版本号）11修改成53就可以了。正确结果：

  luadec修复点在ldo.c文件的f_parser函数，并且增加一个RepairOpcode函数，修复如下：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
// add by littleNA
void RepairOpcode(Proto* f)
{
    // opcode 替换表
    char optbl[] = { -1, 9, 6, 42, 38, 30, 0, 0, 5, 30, 30, -1, 43, 7, 12, 27, -1, 5, 4, 18, 45, 16, 0, 5, 25, 23, 8, 0, 21, 10, 15, 11, 29, 41, 1, 36, 19, 30, 32, 37, 1, 1, 35, 20, 39, 22, 44, 14, 31, 13, 40, 26, 28, 33, 5, 36, 34, 36, 17, 3, 1, 36, 2, 24 };
    for (int i = 0; i < f->sizecode; i++)
    {
        Instruction code = f->code[i];
        OpCode o = GET_OPCODE(code);
        SET_OPCODE(code, optbl[o]);

        f->code[i] = code;
    }

    for (int i = 0; i < f->sizep; i++)
    {// 处理子函数
        RepairOpcode(f->p[i]);
    }
}
// add by littleNA end

static void f_parser (lua_State *L, void *ud) {
  LClosure *cl;
  struct SParser *p = cast(struct SParser *, ud);
  int c = zgetc(p->z);  /* read first character */
  
文章作者: 安全书
文章链接: https://lua.ren/zl/2016-01-01-483_%E6%B5%85%E6%9E%90android%E6%89%8B%E6%B8%B8lua%E8%84%9A%E6%9C%AC%E7%9A%84%E5%8A%A0%E5%AF%86%E4%B8%8E%E8%A7%A3%E5%AF%86%EF%BC%88%E5%90%8E%E7%BB%AD%EF%BC%89/
版权声明: 本博客所有文章除特别声明外，均采用 null 许可协议。转载请注明来自 安全书！
lua文章
相关推荐
avatar
安全书
安全书
文章
1791
标签
213
分类
104
Follow Me
公告
公众号：糖果的实验室 
最新文章
无题
无题
无题
无题
Obsidian的ChatGPT插件TextGenerator
Obsidian的ChatGPT插件TextGenerator
在Mac系统上将默认的GCC切换到LLVM的Clang
在Mac系统上将默认的GCC切换到LLVM的Clang
Lazygit的安装
Lazygit的安装