LuaDecompy/lparser.py

'''
    lparser.py

    Depends on ldump.py for lua dump deserialization.

    An experimental bytecode decompiler.
'''

from operator import concat
from subprocess import call
from lundump import Chunk, LuaUndump, Constant, Instruction, InstructionType, Opcodes

class _Scope:
    def __init__(self, startPC: int, endPC: int):
        self.startPC = startPC
        self.endPC = endPC

class LuaDecomp:
    def __init__(self, chunk: Chunk):
        self.chunk = chunk
        self.pc = 0
        self.scope = []
        self.top = {}
        self.locals = {}
        self.unknownLocalCount = 0
        self.src: str = ""

        # configurations!
        self.aggressiveLocals = False # should *EVERY* accessed register be considered a local? 
        self.indexWidth = 4 # how many spaces for indentions?

        # parse instructions
        while self.pc < len(self.chunk.instructions):
            self.parseExpr()
            self.pc += 1

            # end the scope (if we're supposed too)
            self.__checkScope()

        print("\n==== [[" + str(self.chunk.name) + "'s decompiled source]] ====\n")
        print(self.src)

    def __makeLocalIdentifier(self, indx: int) -> str:
        self.locals[indx] = "__unknLocal%d" % self.unknownLocalCount
        self.unknownLocalCount += 1

        return self.locals[indx]

    def __newLocal(self, indx: int, expr: str) -> None:
        # TODO: grab identifier from chunk(?)
        self.__makeLocalIdentifier(indx)

        self.__startStatement()
        self.__addExpr("local " + self.locals[indx] + " = " + expr)

    def __getNextInstr(self) -> Instruction:
        if self.pc + 1 < len(self.chunk.instructions):
            return self.chunk.instructions[self.pc + 1]

        return None

    def __getCurrInstr(self) -> Instruction:
        return self.chunk.instructions[self.pc]

    def __addExpr(self, code: str) -> None:
        self.src += code

    def __startStatement(self):
        self.src += '\n' + (' ' * self.indexWidth * len(self.scope))

    def __getReg(self, indx: int) -> str:
        # if the top indx is a local, get it
        return self.locals[indx] if indx in self.locals else  self.top[indx]

    def __setReg(self, indx: int, code: str) -> None:
        # if the top indx is a local, set it
        if indx in self.locals:
            self.__startStatement()
            self.__addExpr(self.locals[indx] + " = " + code)
        elif self.aggressiveLocals: # 'every register is a local!!'
            self.__newLocal(indx, code)

        self.top[indx] = code

    def __startScope(self, scopeType: str, size: int) -> None:
        self.__addExpr(scopeType)
        self.scope.append(_Scope(self.pc, self.pc + size))

    # checks if we need to end a scope
    def __checkScope(self) -> None:
        if len(self.scope) == 0:
            return

        if self.pc > self.scope[len(self.scope) - 1].endPC:
            self.__endScope()

    def __endScope(self) -> None:
        self.scope.pop()
        self.__startStatement()
        self.__addExpr("end")

    def __emitOperand(self, a: int, b: str, c: str, op: str) -> None:
        self.__setReg(a, "(" + b + op + c + ")")

    # 'RK's are special in because can be a register or a konstant. a bitflag is read to determine which
    def __readRK(self, rk: int) -> str:
        if (rk & (1 << 8)) > 0:
            return self.chunk.constants[(rk & ~(1 << 8))].toCode()
        else:
            return self.__getReg(rk)

    def parseExpr(self):
        instr = self.__getCurrInstr()

        # python, add switch statements *please*
        if instr.opcode == Opcodes.MOVE: # move is a fake ABC instr, C is ignored
            # move registers
            self.__setReg(instr.A, self.__getReg(instr.B))
        elif instr.opcode == Opcodes.LOADK:
            self.__setReg(instr.A, self.chunk.constants[instr.B].toCode())
        elif instr.opcode == Opcodes.LOADBOOL:
            if instr.B == 0:
                self.__setReg(instr.A, "false")
            else:
                self.__setReg(instr.A, "true")
        elif instr.opcode == Opcodes.GETGLOBAL:
            self.__setReg(instr.A, self.chunk.constants[instr.B].data)
        elif instr.opcode == Opcodes.GETTABLE:
            self.__setReg(instr.A, self.__getReg(instr.B) + "[" + self.__readRK(instr.C) + "]")
        elif instr.opcode == Opcodes.SETGLOBAL:
            self.__startStatement()
            self.__addExpr(self.chunk.constants[instr.B].data + " = " + self.__getReg(instr.A))
        elif instr.opcode == Opcodes.SETTABLE:
            self.__startStatement()
            self.__addExpr(self.__getReg(instr.A) + "[" + self.__readRK(instr.B) + "] = " + self.__readRK(instr.C))
        elif instr.opcode == Opcodes.ADD:
            self.__emitOperand(instr.A, self.__readRK(instr.B), self.__readRK(instr.C), " + ")
        elif instr.opcode == Opcodes.SUB:
            self.__emitOperand(instr.A, self.__readRK(instr.B), self.__readRK(instr.C), " - ")
        elif instr.opcode == Opcodes.MUL:
            self.__emitOperand(instr.A, self.__readRK(instr.B), self.__readRK(instr.C), " * ")
        elif instr.opcode == Opcodes.DIV:
            self.__emitOperand(instr.A, self.__readRK(instr.B), self.__readRK(instr.C), " / ")
        elif instr.opcode == Opcodes.MOD:
            self.__emitOperand(instr.A, self.__readRK(instr.B), self.__readRK(instr.C), " % ")
        elif instr.opcode == Opcodes.POW:
            self.__emitOperand(instr.A, self.__readRK(instr.B), self.__readRK(instr.C), " ^ ")
        elif instr.opcode == Opcodes.UNM:
            self.__setReg(instr.A, "-" + self.__getReg(instr.B))
        elif instr.opcode == Opcodes.NOT:
            self.__setReg(instr.A, "!" + self.__getReg(instr.B))
        elif instr.opcode == Opcodes.LEN:
            self.__setReg(instr.A, "#" + self.__getCurrInstr(instr.B))
        elif instr.opcode == Opcodes.CONCAT:
            count = instr.C-instr.B+1
            concatStr = ""

            # concat all items on stack from RC to RB
            for i in range(count):
                concatStr += self.__getReg(instr.B + i) + (" .. " if not i == count - 1 else "")

            self.__setReg(instr.A, concatStr)
        elif instr.opcode == Opcodes.JMP:
            pass
        elif instr.opcode == Opcodes.EQ:
            self.__startStatement()
            if instr.A > 0:
                self.__addExpr("if not ")
            else:
                self.__addExpr("if ")
            self.__addExpr(self.__readRK(instr.B) + " == " + self.__readRK(instr.C) + " ")
            self.__startScope("then ", self.__getNextInstr().B + 1)

            self.pc += 1 # skip next instr
        elif instr.opcode == Opcodes.LT:
            self.__emitOperand(instr.A, self.__readRK(instr.B), self.__readRK(instr.C), " < ")
        elif instr.opcode == Opcodes.LE:
            self.__emitOperand(instr.A, instr.B, instr.C, " <= ")
        elif instr.opcode == Opcodes.CALL:
            preStr = ""
            callStr = ""
            ident = ""

            # parse arguments
            callStr += self.__getReg(instr.A) + "("
            for i in range(instr.A + 1, instr.A + instr.B):
                callStr += self.__getReg(i) + (", " if not i + 1 == instr.A + instr.B else "")
            callStr += ")"

            # parse return values
            if instr.C > 1:
                preStr = "local "
                for indx  in range(instr.A, instr.A + instr.C - 1):
                    if indx in self.locals:
                        ident = self.locals[indx]
                    else:
                        ident = self.__makeLocalIdentifier(indx)
                    preStr += ident

                    # normally setReg() does this
                    self.top[indx] = ident

                    # just so we don't have a trailing ', '
                    preStr += ", " if not indx == instr.A + instr.C - 2 else ""
                preStr += " = "

            self.__startStatement()
            self.__addExpr(preStr + callStr)
        elif instr.opcode == Opcodes.RETURN:
            self.__startStatement()
            pass # no-op for now
        else:
            raise Exception("unsupported instruction: %s" % instr.toString())