cea-sec/miasm

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

Open

            for assignblk in assignblks:
                dct = dict(assignblk)
                dct = {
                    dst:src for (dst, src) in viewitems(dct) if dst != self.sp
                }

• Read up
  Read up

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

Open

    def pop_uint16_t(self):
        regs = self.cpu.get_gpreg()
        x = self.vm.get_u16(regs["SP"])
        regs["SP"] += 2
        self.cpu.set_gpreg(regs)

• Read up
  Read up

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

Open

    def pop_uint16_t(self):
        regs = self.cpu.get_gpreg()
        value = self.vm.get_u16(regs['SP'])
        regs['SP'] += 2
        self.cpu.set_gpreg(regs)

• Read up
  Read up

File graph_ir.py has 292 lines of code (exceeds 250 allowed). Consider refactoring.

Open

from __future__ import print_function
import os
import tempfile
from builtins import int as int_types

AssignBlock has 26 functions (exceeds 20 allowed). Consider refactoring.

Open

class AssignBlock(object):
    """Represent parallel IR assignment, such as:
    EAX = EBX
    EBX = EAX

SymbolicExecutionEngine has 26 functions (exceeds 20 allowed). Consider refactoring.

Open

class SymbolicExecutionEngine(object):
    """
    Symbolic execution engine
    Allow IR code emulation in symbolic domain

PE has 26 functions (exceeds 20 allowed). Consider refactoring.

Open

class PE(object):
    content = ContentManager()

    def __init__(self, pestr=None,
                 loadfrommem=False,

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

Open

                for i, arg in enumerate(args):
                    if arg.type.width < fc_ptr.args[i].type.width:
                        casted_args.append(
                            builder.zext(
                                arg,

• Read up
  Read up

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

Open

        for arg in self.args:
            # XXX todo test
            if not (isinstance(arg, m2_expr.Expr) or
                    isinstance(arg.expr, m2_expr.Expr)):
                raise ValueError('zarb arg type')

• Read up
  Read up

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

Open

        if expr.is_id() or expr.is_int():
            return str(expr)
        elif expr.is_loc():
            if loc_db is not None:
                return loc_db.pretty_str(expr.loc_key)

• Read up
  Read up

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

Open

        for arg in self.args:
            # XXX todo test
            if not (isinstance(arg, m2_expr.Expr) or
                    isinstance(arg.expr, m2_expr.Expr)):
                raise ValueError('zarb arg type')

• Read up
  Read up

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

Open

        if expr.is_id() or expr.is_int():
            return str(expr)
        elif expr.is_loc():
            if loc_db is not None:
                return loc_db.pretty_str(expr.loc_key)

• Read up
  Read up

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

Open

                for i, arg in enumerate(args, 1):
                    if arg.type.width < fc_ptr.args[i].type.width:
                        casted_args.append(
                            builder.zext(
                                arg,

• Read up
  Read up

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

Open

        for shift_range in shifter:
            for shift in range(shift_range[0], shift_range[1] + 1):
                for x_min, x_max in self.intervals:
                    ret += self._range_shift_uniq(x_min, x_max, shift, operation)

• Read up
  Read up

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

Open

    def func_ret_cdecl(self, ret_addr, ret_value1=None, ret_value2=None):
        self.pc = self.cpu.EIP = ret_addr
        if ret_value1 is not None:
            self.cpu.EAX = ret_value1
        if ret_value2 is not None:

• Read up
  Read up

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

Open

    for i in range(4):
        shift = ((control >> (i * 2)) & 3) * 32
        # shift is 2 bits long, expr.size is 128
        # => shift + 32 <= src.size
        out.append(src[shift: shift + 32])

• Read up
  Read up

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

Open

    def __getitem__(self, item):
        if isinstance(item, bytes):
            return self.dynamic[item]
        if isinstance(item, str):
            return self.dynamic[item.encode()]

• Read up
  Read up

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

Open

    for i in range(4):
        shift = ((control >> (i * 2)) & 3) * 16
        out.append(src[shift: shift + 16])

• Read up
  Read up

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

Open

        for shift_range in shifter:
            for shift in range(shift_range[0], shift_range[1] + 1):
                for x_min, x_max in self.intervals:
                    ret += self._range_rotate_uniq(x_min, x_max, shift,
                                                   operation)

• Read up
  Read up

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

Open

    def __getitem__(self, item):
        if isinstance(item, bytes):
            return self.symbols[item]
        if isinstance(item, str):
            return self.symbols[item.encode()]

• Read up
  Read up