Miasm2
 All Classes Namespaces Files Functions Variables Typedefs Properties Macros
Public Member Functions | Static Public Attributes | Properties | Private Member Functions | Private Attributes | List of all members
miasm2.expression.expression.ExprMem Class Reference
+ Inheritance diagram for miasm2.expression.expression.ExprMem:
+ Collaboration diagram for miasm2.expression.expression.ExprMem:

Public Member Functions

def __init__
 
def __str__
 
def get_r
 
def get_w
 
def __contains__
 
def visit
 
def copy
 
def is_op_segm
 
def depth
 
def graph_recursive
 
def set_size
 
def __getitem__
 
def get_size
 
def is_function_call
 
def __repr__
 
def __hash__
 
def pre_eq
 
def __eq__
 
def __ne__
 
def __add__
 
def __sub__
 
def __div__
 
def __mod__
 
def __mul__
 
def __lshift__
 
def __rshift__
 
def __xor__
 
def __or__
 
def __and__
 
def __neg__
 
def __invert__
 
def replace_expr
 
def canonize
 
def msb
 
def zeroExtend
 
def signExtend
 
def graph
 
def set_mask
 

Static Public Attributes

 is_term = False
 
 is_simp = False
 
 is_canon = False
 
 is_eval = False
 

Properties

 arg = property(lambda self: self._arg)
 
 size = property(lambda self: self._size)
 
 mask = property(lambda self: ExprInt(-1, self.size))
 

Private Member Functions

def _exprhash
 
def _exprrepr
 

Private Attributes

 _size
 

Detailed Description

An ExprMem stand for a memory access

Use cases:
 - Memory read
 - Memory write

Definition at line 651 of file expression.py.

Constructor & Destructor Documentation

def miasm2.expression.expression.ExprMem.__init__ (   self,
  arg,
  size = 32 
)
Create an ExprMem
@arg: Expr, memory access address
@size: int, memory access size

Definition at line 660 of file expression.py.

661  def __init__(self, arg, size=32):
662  """Create an ExprMem
663  @arg: Expr, memory access address
664  @size: int, memory access size
665  """
666  if not isinstance(arg, Expr):
667  raise ValueError(
668  'ExprMem: arg must be an Expr (not %s)' % type(arg))
670  self._arg, self._size = arg, size

Member Function Documentation

def miasm2.expression.expression.Expr.__add__ (   self,
  a 
)
inherited

Definition at line 192 of file expression.py.

193  def __add__(self, a):
194  return ExprOp('+', self, a)

+ Here is the caller graph for this function:

def miasm2.expression.expression.Expr.__and__ (   self,
  a 
)
inherited

Definition at line 219 of file expression.py.

220  def __and__(self, a):
221  return ExprOp('&', self, a)

+ Here is the caller graph for this function:

def miasm2.expression.expression.ExprMem.__contains__ (   self,
  e 
)

Definition at line 692 of file expression.py.

693  def __contains__(self, e):
694  return self == e or self._arg.__contains__(e)
def miasm2.expression.expression.Expr.__div__ (   self,
  a 
)
inherited

Definition at line 198 of file expression.py.

199  def __div__(self, a):
200  return ExprOp('/', self, a)
def miasm2.expression.expression.Expr.__eq__ (   self,
  other 
)
inherited

Definition at line 183 of file expression.py.

184  def __eq__(self, other):
185  res = self.pre_eq(other)
186  if res is not None:
187  return res
188  return repr(self) == repr(other)

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

def miasm2.expression.expression.Expr.__getitem__ (   self,
  i 
)
inherited

Definition at line 138 of file expression.py.

139  def __getitem__(self, i):
140  if not isinstance(i, slice):
141  raise TypeError("Expression: Bad slice: %s" % i)
142  start, stop, step = i.indices(self.size)
143  if step != 1:
144  raise ValueError("Expression: Bad slice: %s" % i)
145  return ExprSlice(self, start, stop)
def miasm2.expression.expression.Expr.__hash__ (   self)
inherited

Definition at line 165 of file expression.py.

166  def __hash__(self):
167  if self._hash is None:
168  self._hash = self._exprhash()
169  return self._hash

+ Here is the call graph for this function:

def miasm2.expression.expression.Expr.__invert__ (   self)
inherited

Definition at line 225 of file expression.py.

226  def __invert__(self):
227  s = self.size
228  return ExprOp('^', self, ExprInt(mod_size2uint[s](size2mask(s))))

+ Here is the call graph for this function:

def miasm2.expression.expression.Expr.__lshift__ (   self,
  a 
)
inherited

Definition at line 207 of file expression.py.

208  def __lshift__(self, a):
209  return ExprOp('<<', self, a)
def miasm2.expression.expression.Expr.__mod__ (   self,
  a 
)
inherited

Definition at line 201 of file expression.py.

202  def __mod__(self, a):
203  return ExprOp('%', self, a)
def miasm2.expression.expression.Expr.__mul__ (   self,
  a 
)
inherited

Definition at line 204 of file expression.py.

205  def __mul__(self, a):
206  return ExprOp('*', self, a)

+ Here is the caller graph for this function:

def miasm2.expression.expression.Expr.__ne__ (   self,
  a 
)
inherited

Definition at line 189 of file expression.py.

190  def __ne__(self, a):
191  return not self.__eq__(a)

+ Here is the call graph for this function:

def miasm2.expression.expression.Expr.__neg__ (   self)
inherited

Definition at line 222 of file expression.py.

223  def __neg__(self):
224  return ExprOp('-', self)
def miasm2.expression.expression.Expr.__or__ (   self,
  a 
)
inherited

Definition at line 216 of file expression.py.

217  def __or__(self, a):
218  return ExprOp('|', self, a)

+ Here is the caller graph for this function:

def miasm2.expression.expression.Expr.__repr__ (   self)
inherited

Definition at line 160 of file expression.py.

161  def __repr__(self):
162  if self._repr is None:
163  self._repr = self._exprrepr()
164  return self._repr

+ Here is the call graph for this function:

def miasm2.expression.expression.Expr.__rshift__ (   self,
  a 
)
inherited

Definition at line 210 of file expression.py.

211  def __rshift__(self, a):
212  return ExprOp('>>', self, a)
def miasm2.expression.expression.ExprMem.__str__ (   self)

Definition at line 673 of file expression.py.

674  def __str__(self):
675  return "@%d[%s]" % (self._size, str(self._arg))
def miasm2.expression.expression.Expr.__sub__ (   self,
  a 
)
inherited

Definition at line 195 of file expression.py.

196  def __sub__(self, a):
197  return ExprOp('+', self, ExprOp('-', a))
def miasm2.expression.expression.Expr.__xor__ (   self,
  a 
)
inherited

Definition at line 213 of file expression.py.

214  def __xor__(self, a):
215  return ExprOp('^', self, a)

+ Here is the caller graph for this function:

def miasm2.expression.expression.ExprMem._exprhash (   self)
private

Definition at line 685 of file expression.py.

686  def _exprhash(self):
687  return hash((EXPRMEM, hash(self._arg), self._size))

+ Here is the caller graph for this function:

def miasm2.expression.expression.ExprMem._exprrepr (   self)
private

Definition at line 688 of file expression.py.

689  def _exprrepr(self):
690  return "%s(%r, %r)" % (self.__class__.__name__,
691  self._arg, self._size)

+ Here is the caller graph for this function:

def miasm2.expression.expression.Expr.canonize (   self)
inherited

Definition at line 247 of file expression.py.

248  def canonize(self):
249  "Canonize the Expression"
250 
251  def must_canon(e):
252  return not e.is_canon
253 
254  def canonize_visitor(e):
255  if e.is_canon:
256  return e
257  if isinstance(e, ExprOp):
258  if e.is_associative():
259  # ((a+b) + c) => (a + b + c)
260  args = []
261  for arg in e.args:
262  if isinstance(arg, ExprOp) and e.op == arg.op:
263  args += arg.args
264  else:
265  args.append(arg)
266  args = canonize_expr_list(args)
267  new_e = ExprOp(e.op, *args)
268  else:
269  new_e = e
270  elif isinstance(e, ExprCompose):
271  new_e = ExprCompose(canonize_expr_list_compose(e.args))
272  else:
273  new_e = e
274  new_e.is_canon = True
275  return new_e
276 
277  return self.visit(canonize_visitor, must_canon)

+ Here is the call graph for this function:

def miasm2.expression.expression.ExprMem.copy (   self)

Definition at line 702 of file expression.py.

703  def copy(self):
704  arg = self._arg.copy()
705  return ExprMem(arg, size=self._size)
def miasm2.expression.expression.ExprMem.depth (   self)

Definition at line 709 of file expression.py.

710  def depth(self):
711  return self._arg.depth() + 1
def miasm2.expression.expression.ExprMem.get_r (   self,
  mem_read = False,
  cst_read = False 
)

Definition at line 676 of file expression.py.

677  def get_r(self, mem_read=False, cst_read=False):
678  if mem_read:
679  return set(self._arg.get_r(mem_read, cst_read).union(set([self])))
680  else:
681  return set([self])
def miasm2.expression.expression.Expr.get_size (   self)
inherited

Definition at line 146 of file expression.py.

147  def get_size(self):
148  raise DeprecationWarning("use X.size instead of X.get_size()")
def miasm2.expression.expression.ExprMem.get_w (   self)

Definition at line 682 of file expression.py.

683  def get_w(self):
684  return set([self]) # [memreg]
def miasm2.expression.expression.Expr.graph (   self)
inherited
Return a DiGraph instance standing for Expr tree
Instance's display functions have been override for better visibility
Wrapper on graph_recursive

Definition at line 319 of file expression.py.

320  def graph(self):
321  """Return a DiGraph instance standing for Expr tree
322  Instance's display functions have been override for better visibility
323  Wrapper on graph_recursive"""
324 
325  # Create recursively the graph
326  graph = DiGraphExpr()
327  self.graph_recursive(graph)
328 
329  return graph

+ Here is the call graph for this function:

def miasm2.expression.expression.ExprMem.graph_recursive (   self,
  graph 
)

Definition at line 712 of file expression.py.

713  def graph_recursive(self, graph):
714  graph.add_node(self)
715  self._arg.graph_recursive(graph)
716  graph.add_uniq_edge(self, self._arg)
717 
def miasm2.expression.expression.Expr.is_function_call (   self)
inherited
Returns true if the considered Expr is a function call

Definition at line 155 of file expression.py.

156  def is_function_call(self):
157  """Returns true if the considered Expr is a function call
158  """
159  return False
def miasm2.expression.expression.ExprMem.is_op_segm (   self)

Definition at line 706 of file expression.py.

707  def is_op_segm(self):
708  return isinstance(self._arg, ExprOp) and self._arg.op == 'segm'
def miasm2.expression.expression.Expr.msb (   self)
inherited

Definition at line 278 of file expression.py.

279  def msb(self):
280  "Return the Most Significant Bit"
281  s = self.size
282  return self[s - 1:s]

+ Here is the caller graph for this function:

def miasm2.expression.expression.Expr.pre_eq (   self,
  other 
)
inherited
Return True if ids are equal;
False if instances are obviously not equal
None if we cannot simply decide

Definition at line 170 of file expression.py.

171  def pre_eq(self, other):
172  """Return True if ids are equal;
173  False if instances are obviously not equal
174  None if we cannot simply decide"""
175 
176  if id(self) == id(other):
177  return True
178  if self.__class__ is not other.__class__:
179  return False
180  if hash(self) != hash(other):
181  return False
182  return None

+ Here is the caller graph for this function:

def miasm2.expression.expression.Expr.replace_expr (   self,
  dct = None 
)
inherited
Find and replace sub expression using dct
@dct: dictionnary of Expr -> *

Definition at line 233 of file expression.py.

234  def replace_expr(self, dct=None):
235  """Find and replace sub expression using dct
236  @dct: dictionnary of Expr -> *
237  """
238  if dct is None:
239  dct = {}
240 
241  def my_replace(e, dct):
242  if e in dct:
243  return dct[e]
244  return e
245 
246  return self.visit(lambda e: my_replace(e, dct))

+ Here is the call graph for this function:

def miasm2.expression.expression.Expr.set_mask (   self,
  value 
)
inherited

Definition at line 330 of file expression.py.

331  def set_mask(self, value):
332  raise ValueError('mask is not mutable')
def miasm2.expression.expression.Expr.set_size (   self,
  value 
)
inherited

Definition at line 125 of file expression.py.

126  def set_size(self, value):
127  raise ValueError('size is not mutable')
def miasm2.expression.expression.Expr.signExtend (   self,
  size 
)
inherited
Sign extend to size
@size: int

Definition at line 295 of file expression.py.

296  def signExtend(self, size):
297  """Sign extend to size
298  @size: int
299  """
300  assert(self.size <= size)
301  if self.size == size:
302  return self
303  ad_size = size - self.size
304  c = ExprCompose([(self, 0, self.size),
305  (ExprCond(self.msb(),
306  ExprInt(size2mask(ad_size), ad_size),
307  ExprInt(0, ad_size)),
308  self.size, size)
309  ])
310  return c

+ Here is the call graph for this function:

def miasm2.expression.expression.ExprMem.visit (   self,
  cb,
  tv = None 
)

Definition at line 696 of file expression.py.

697  def visit(self, cb, tv=None):
698  arg = self._arg.visit(cb, tv)
699  if arg == self._arg:
700  return self
701  return ExprMem(arg, self._size)

+ Here is the caller graph for this function:

def miasm2.expression.expression.Expr.zeroExtend (   self,
  size 
)
inherited
Zero extend to size
@size: int

Definition at line 283 of file expression.py.

284  def zeroExtend(self, size):
285  """Zero extend to size
286  @size: int
287  """
288  assert(self.size <= size)
289  if self.size == size:
290  return self
291  ad_size = size - self.size
292  n = ExprInt(0, ad_size)
293  return ExprCompose([(self, 0, self.size),
294  (n, self.size, size)])

Member Data Documentation

miasm2.expression.expression.ExprMem._size
private

Definition at line 669 of file expression.py.

miasm2.expression.expression.Expr.is_canon = False
staticinherited

Definition at line 119 of file expression.py.

miasm2.expression.expression.Expr.is_eval = False
staticinherited

Definition at line 120 of file expression.py.

miasm2.expression.expression.Expr.is_simp = False
staticinherited

Definition at line 118 of file expression.py.

miasm2.expression.expression.Expr.is_term = False
staticinherited

Definition at line 117 of file expression.py.

Property Documentation

miasm2.expression.expression.ExprMem.arg = property(lambda self: self._arg)
static

Definition at line 671 of file expression.py.

miasm2.expression.expression.Expr.mask = property(lambda self: ExprInt(-1, self.size))
staticinherited

Definition at line 333 of file expression.py.

miasm2.expression.expression.Expr.size = property(lambda self: self._size)
staticinherited

Definition at line 131 of file expression.py.


The documentation for this class was generated from the following file: