cea-sec/miasm

File sem.py has 535 lines of code (exceeds 250 allowed). Consider refactoring.

Open

import miasm.expression.expression as m2_expr
from miasm.ir.ir import Lifter, IRBlock, AssignBlock
from miasm.arch.mips32.arch import mn_mips32
from miasm.arch.mips32.regs import R_LO, R_HI, PC, RA, ZERO, exception_flags
from miasm.core.sembuilder import SemBuilder

Function ins has 6 arguments (exceeds 4 allowed). Consider refactoring.

Open

def ins(ir, instr, a, b, c, d):

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def multu(arg1, arg2):
    """Multiplies (unsigned) @arg1 by @arg2 and stores the result in $R_HI:$R_LO"""
    size = arg1.size
    result = arg1.zeroExtend(size * 2) * arg2.zeroExtend(size * 2)

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def bgtzl(arg1, arg2):
    """Branches on @arg2 if the register @arg1 is greater than zero"""
    cond =  m2_expr.ExprOp(m2_expr.TOK_INF_EQUAL_SIGNED, arg1, m2_expr.ExprInt(0, arg1.size))
    dst_o = m2_expr.ExprLoc(ir.get_next_delay_loc_key(instr), ir.IRDst.size) if cond else arg2

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def blezl(arg1, arg2):
    """Branches on @arg2 if the register @arg1 is less than or equal to zero"""
    cond = m2_expr.ExprOp(m2_expr.TOK_INF_EQUAL_SIGNED, arg1, m2_expr.ExprInt(0, arg1.size))
    dst_o = arg2 if cond else m2_expr.ExprLoc(ir.get_next_delay_loc_key(instr), ir.IRDst.size)

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def blez(arg1, arg2):
    """Branches on @arg2 if the register @arg1 is less than or equal to zero"""
    cond = m2_expr.ExprOp(m2_expr.TOK_INF_EQUAL_SIGNED, arg1, m2_expr.ExprInt(0, arg1.size))
    dst_o = arg2 if cond else m2_expr.ExprLoc(ir.get_next_break_loc_key(instr), ir.IRDst.size)

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def mult(arg1, arg2):
    """Multiplies (signed) @arg1 by @arg2 and stores the result in $R_HI:$R_LO"""
    size = arg1.size
    result = arg1.signExtend(size * 2) * arg2.signExtend(size * 2)

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def bgtz(arg1, arg2):
    """Branches on @arg2 if the register @arg1 is greater than zero"""
    cond =  m2_expr.ExprOp(m2_expr.TOK_INF_EQUAL_SIGNED, arg1, m2_expr.ExprInt(0, arg1.size))
    dst_o = m2_expr.ExprLoc(ir.get_next_break_loc_key(instr), ir.IRDst.size) if cond else arg2

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def bgez(arg1, arg2):
    """Branches on @arg2 if the quantities of register @arg1 is greater than or
    equal to zero"""
    dst = m2_expr.ExprLoc(ir.get_next_break_loc_key(instr), ir.IRDst.size) if m2_expr.ExprOp(m2_expr.TOK_INF_SIGNED, arg1, m2_expr.ExprInt(0, arg1.size)) else arg2

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def bgezl(arg1, arg2):
    """Branches on @arg2 if the quantities of register @arg1 is greater than or
    equal to zero"""
    dst = m2_expr.ExprLoc(ir.get_next_delay_loc_key(instr), ir.IRDst.size) if m2_expr.ExprOp(m2_expr.TOK_INF_SIGNED, arg1, m2_expr.ExprInt(0, arg1.size)) else arg2

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def bltzl(arg1, arg2):
    """Branches on @arg2 if the register @arg1 is less than zero"""
    dst_o = arg2 if m2_expr.ExprOp(m2_expr.TOK_INF_SIGNED, arg1, m2_expr.ExprInt(0, arg1.size)) else m2_expr.ExprLoc(ir.get_next_delay_loc_key(instr), ir.IRDst.size)
    PC = dst_o

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def bltz(arg1, arg2):
    """Branches on @arg2 if the register @arg1 is less than zero"""
    dst_o = arg2 if m2_expr.ExprOp(m2_expr.TOK_INF_SIGNED, arg1, m2_expr.ExprInt(0, arg1.size)) else m2_expr.ExprLoc(ir.get_next_break_loc_key(instr), ir.IRDst.size)
    PC = dst_o

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def beql(arg1, arg2, arg3):
    "Branches on @arg3 if the quantities of two registers @arg1, @arg2 are eq"
    dst = arg3 if m2_expr.ExprOp(m2_expr.TOK_EQUAL, arg1, arg2) else m2_expr.ExprLoc(ir.get_next_delay_loc_key(instr), ir.IRDst.size)
    PC = dst

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def beq(arg1, arg2, arg3):
    "Branches on @arg3 if the quantities of two registers @arg1, @arg2 are eq"
    dst = arg3 if m2_expr.ExprOp(m2_expr.TOK_EQUAL, arg1, arg2) else m2_expr.ExprLoc(ir.get_next_break_loc_key(instr), ir.IRDst.size)
    PC = dst

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def bnel(arg1, arg2, arg3):
    """Branches on @arg3 if the quantities of two registers @arg1, @arg2 are NOT
    equal"""
    dst = m2_expr.ExprLoc(ir.get_next_delay_loc_key(instr), ir.IRDst.size) if m2_expr.ExprOp(m2_expr.TOK_EQUAL, arg1, arg2) else arg3

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def bne(arg1, arg2, arg3):
    """Branches on @arg3 if the quantities of two registers @arg1, @arg2 are NOT
    equal"""
    dst = m2_expr.ExprLoc(ir.get_next_break_loc_key(instr), ir.IRDst.size) if m2_expr.ExprOp(m2_expr.TOK_EQUAL, arg1, arg2) else arg3

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def slt(arg1, arg2, arg3):
    """If @arg2 is less than @arg3 (signed), @arg1 is set to one. It gets zero
    otherwise."""
    arg1 = m2_expr.ExprCond(

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def sltu(arg1, arg2, arg3):
    """If @arg2 is less than @arg3 (unsigned), @arg1 is set to one. It gets zero
    otherwise."""
    arg1 = m2_expr.ExprCond(

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def bc1fl(arg1, arg2):
    dst_o = m2_expr.ExprLoc(ir.get_next_delay_loc_key(instr), ir.IRDst.size) if arg1 else arg2
    PC = dst_o
    ir.IRDst = dst_o

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def bc1tl(arg1, arg2):
    dst_o = arg2 if arg1 else m2_expr.ExprLoc(ir.get_next_delay_loc_key(instr), ir.IRDst.size)
    PC = dst_o
    ir.IRDst = dst_o

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def bc1f(arg1, arg2):
    dst_o = m2_expr.ExprLoc(ir.get_next_break_loc_key(instr), ir.IRDst.size) if arg1 else arg2
    PC = dst_o
    ir.IRDst = dst_o

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def bc1t(arg1, arg2):
    dst_o = arg2 if arg1 else m2_expr.ExprLoc(ir.get_next_break_loc_key(instr), ir.IRDst.size)
    PC = dst_o
    ir.IRDst = dst_o

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

def syscall(ir, instr, code):
    e = []
    e.append(m2_expr.ExprAssign(exception_flags, m2_expr.ExprInt(EXCEPT_SYSCALL, 32)))
    return e, []

• Read up
  Read up

Similar blocks of code found in 4 locations. Consider refactoring.

Open

def break_(ir, instr):
    e = []
    e.append(m2_expr.ExprAssign(exception_flags, m2_expr.ExprInt(EXCEPT_SOFT_BP, 32)))
    return e, []

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def divu(arg1, arg2):
    """Divide (unsigned) @arg1 by @arg2 and stores the remaining/result in $R_HI/$R_LO"""
    R_LO = m2_expr.ExprOp('udiv', arg1, arg2)
    R_HI = m2_expr.ExprOp('umod', arg1, arg2)

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def div(arg1, arg2):
    """Divide (signed) @arg1 by @arg2 and stores the remaining/result in $R_HI/$R_LO"""
    R_LO = m2_expr.ExprOp('sdiv' ,arg1, arg2)
    R_HI = m2_expr.ExprOp('smod', arg1, arg2)

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def jal(arg1):
    "Jumps to the calculated address @arg1 and stores the return address in $RA"
    PC = arg1
    ir.IRDst = arg1

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

@sbuild.parse
def jalr(arg1, arg2):
    """Jump to an address stored in a register @arg1, and store the return
    address in another register @arg2"""
    PC = arg1

• Read up
  Read up

Similar blocks of code found in 4 locations. Consider refactoring.

Open

@sbuild.parse
def lbu(arg1, arg2):
    """A byte is loaded (unsigned extended) into a register @arg1 from the
    specified address @arg2."""
    arg1 = m2_expr.ExprMem(arg2.ptr, 8).zeroExtend(32)

• Read up
  Read up

Similar blocks of code found in 4 locations. Consider refactoring.

Open

@sbuild.parse
def lh(arg1, arg2):
    """A word is loaded into a register @arg1 from the
    specified address @arg2."""
    arg1 = m2_expr.ExprMem(arg2.ptr, 16).signExtend(32)

• Read up
  Read up

Similar blocks of code found in 4 locations. Consider refactoring.

Open

@sbuild.parse
def lb(arg1, arg2):
    "A byte is loaded into a register @arg1 from the specified address @arg2."
    arg1 = m2_expr.ExprMem(arg2.ptr, 8).signExtend(32)

• Read up
  Read up

Similar blocks of code found in 4 locations. Consider refactoring.

Open

@sbuild.parse
def lhu(arg1, arg2):
    """A word is loaded (unsigned extended) into a register @arg1 from the
    specified address @arg2."""
    arg1 = m2_expr.ExprMem(arg2.ptr, 16).zeroExtend(32)

• Read up
  Read up

Similar blocks of code found in 2 locations. Consider refactoring.

Open

        new_extra_ir = [irblock.modify_exprs(mod_src=lambda expr: expr.replace_expr(fixed_regs))

• Read up
  Read up