收了一个 Lua 32 位版本用来测试是否正确实现算法逻辑，不必要的逻辑诸如签名校验和包名校验都去掉

gcc -c liba.so.c -D__asm_rep_movsd_memcpy=memcpy -fPIC
ld liba.so.o -lc -shared -o liba.so

f = package.loadlib('./a.out', 'BEL')
f(0)
Segmentation fault
不错。不错。

其实 RetDec 分析出 C 语言的结果还不如 radare2 的清晰... 真的
Radare2 使你可以自底向上地重写出程序，而目前阶段 RD 的准确度只能用于辅助分析而已... 连方法签名分析好都难呢...

#Lua #build #sysadmin

刚才我编译 32 位的 Lua（为了测试正确性）

有 multilib 的话直接给 CFLAGS 和 LDFLAGS 加上 -m32 即可
可是说 ld 找不到 -lreadline...
我临时的解决方案是不使用 -lreadline，找到 relocable 后手动添加 file /usr/lib/libreadline.so.7.0

编译成功

要还原的（新的 DLL）

https://wiki.alpinelinux.org/wiki/Installing_Alpine_Linux_in_a_chroot #Sysadmin 正在准备新的 Alpine #Linux X86 Chroot 容器....

LD_LIBRARY_PATH=`pwd`/alpine-minirootfs-3.8.1-x86/usr/lib:`pwd`/alpine-minirootfs-3.8.1-x86/lib /lib/ld-linux.so.2 ./alpine-minirootfs-3.8.1-x86/usr/bin/lua5.1

我居然用上了容器里的 Lua5.1...

...因为的确已经熬了一夜了，而且这些的确是首先以学习为主...
（主要还是想让程序能运行起来... 成天和 linker、relocatable、shared object、静态链接动态链接杠... 我真的不想熬夜啊...
我决定再重新逆向 BEL 函数，成功了就睡觉...唉

非常失败，我根本不知道为什么要先 mov eax, [ebp + 8] 再 mov ecx, [eax + 2]，这种看起来根本对不齐一个字的操作到底有什么意义...

#sysadmin #Assembly #reveng #failure #life

算是体验了一下 NASM 和 x86_64 交叉 x86，此外，没有别的。

不，非常黑箱，情况没有好半点，还是很黑箱。凭什么编译器知道我不知道。

弄出等价的后可以看看是如何优化的

int BEL(int n) { return (4 * (n - 1) / 3 | 3) + 2; }

使用逆波兰法表示

bel(n) = ((n-1) * 4 / 3) | 3 + 3

ldarg.0
ldint 1
dec ; n - 1
ldint 4
mul ; (n - 1) * 4
ldint 3
div ; (n - 1) * 4 / 3
ldint 3
or.bitwise ; |3
ldint 3
add ; + 3

function BEL (edi: int n) {
push rbp; rbp = rsp

dword [local_i32] = edi
eax = dword [local_4h]
eax -= 1 ; (n - 1)
ecx = [rax*4] (n - 1) * 4

; / 3 + 1
edx = 0x55555556
eax = ecx
eax = eax * edx
eax = ecx
eax >>= 0x1f
edx -= eax
eax = edx

; | 3
eax |= 3

; + 2
eax += 2

return 2
}

#Ruby 中也可以模拟

因为这次实在是太失败了，但我对这种极端干扰生活的情况很绝望,,, 因为足足一晚上没合眼，而且早上也没吃饭
希望以后能做到吧，虽然都还不熟悉呢... 太菜了啊... 现在居然连最基本的都弄不懂... 看不到运行时 esp、ebp 到底做了什么
当然位运算就更不可能看到本质了... 就不能逆向而理解呢

class Stack
  def initialize(stack = [])
    @fifo = stack
  end
  def ld(o); @fifo << o; end
  def pop; @fifo.pop; end
  def peek; @fifo.last; end
  def size; @fifo.size; end
  def to_s; @fifo.to_s; end
  def eql?(o); @fifo.eql?(o); end
  def <<(o); ld o; end
end

def Stack.mk_binary_op(name, &operator)
  define_method(name) do
    op2 = pop; op1 = pop
    ld operator.call(op1, op2)
  end
end

class Stack
  mk_binary_op :sub, &:-
  mk_binary_op :add, &:+
  mk_binary_op :mul, &:*
  mk_binary_op :div, &:/
  mk_binary_op :bitwise_or, &:|
end

然后看主程序

def stack_bel(n)
s = Stack.new
s << 4 << n << 1
s.sub
s.mul
s << 3
s.div
s << 3
s.bitwise_or
s << 2
s.add
return s.pop
end

1000.times { |i| print stack_bel(i); print ' ' }

#reveng 所以现在 duangsuse 睡了一觉后重整旗鼓，端正自己的态度，一切为了学习底层知识而不是专门彻底逆向工程还原出一个等价的 liba.so 来

现在 duangsuse 思考了一下，又重新理解了 x86 上 C 语言的各种小 routines 了，知道 stack base 和 stack pointer 怎么管理了，想清楚静态链接、动态链接、可重定位文件、共享库有什么区别可以怎么 hack 了，又会写汇编了，现在写一个 1 + 1 的 NASM x86 32b helloworld 程序看看：

#Learn NASM #backend #code

section .rodata
fmt db `%s %i\n`, 0x0

section .data
msg db "Hello, world!", 0x0

section .text

extern printf

global _start
global main
global print

_start:
        mov ebp, esp

        ; arguments to main:
        ; _start(int argc, char **argv)
        call main

        ; exit(eax)
        mov ebx, eax
        mov eax, 1
        int 0x80

print:
        push ebp
        mov ebp, esp

        mov ecx, 100
        add ecx, 1
        push ecx
        push msg
        push fmt
        call printf

        ; clean-up for `printf' call   
        ; increase stack pointer by argument size
        ; to simply ignore them
        ; sizeof(int) + sizeof(char *) * 2
        add esp, 12 

        leave
        ret

main:
        push ebp
        mov ebp, esp

        call print

        xor eax, eax
        leave 
        ret  

nasm -felf 1p1helo.asm; ld -m elf_i386 1p1helo.o -lc -o helloworld -I /usr/lib/ld-2*;./helloworld

duangsuse 准备用刚编译的 32 位 Lua 和 GNU Binutils 重新调整测试一下新的 liba.so，解决 ABI 不同 ld 解释器动态链接受到阻碍的问题，并且搞懂 BEL 里的莫名其妙的指令序列到底做什么的，可能会上动态分析

首先准备了解下为什么每次 x86 Alpine 容器里动态链接好了都会 Segfault，对比一下自己实现的 BEL 和酷安原本的有什么区别。
了解 BEL 如何执行

然后就是随便再选一个符号还原代码

终于弄懂了...

#code #backend #dev #asm 整理了一下构建工具什么的