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.ExprSlice Class Reference
+ Inheritance diagram for miasm2.expression.expression.ExprSlice:
+ Collaboration diagram for miasm2.expression.expression.ExprSlice:

Public Member Functions

def __init__
 
def __str__
 
def get_r
 
def get_w
 
def __contains__
 
def visit
 
def copy
 
def depth
 
def slice_rest
 
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)
 
 start = property(lambda self: self._start)
 
 stop = property(lambda self: self._stop)
 
 size = property(lambda self: self._size)
 
 mask = property(lambda self: ExprInt(-1, self.size))
 

Private Member Functions

def _exprhash
 
def _exprrepr
 

Private Attributes

 _stop
 
 _size
 
 _start
 

Detailed Description

Definition at line 868 of file expression.py.

Constructor & Destructor Documentation

def miasm2.expression.expression.ExprSlice.__init__ (   self,
  arg,
  start,
  stop 
)

Definition at line 870 of file expression.py.

870 
871  def __init__(self, arg, start, stop):
872  assert(start < stop)
873 
874  self._arg, self._start, self._stop = arg, start, stop
875  self._size = self._stop - self._start

Member Function Documentation

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

Definition at line 192 of file expression.py.

192 
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.

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

+ Here is the caller graph for this function:

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

Definition at line 896 of file expression.py.

896 
897  def __contains__(self, e):
898  if self == e:
899  return True
900  return self._arg.__contains__(e)
def miasm2.expression.expression.Expr.__div__ (   self,
  a 
)
inherited

Definition at line 198 of file expression.py.

198 
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.

183 
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.

138 
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.

165 
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.

225 
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.

207 
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.

201 
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.

204 
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.

189 
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.

222 
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.

216 
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.

160 
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.

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

Definition at line 880 of file expression.py.

880 
881  def __str__(self):
882  return "%s[%d:%d]" % (str(self._arg), self._start, self._stop)
def miasm2.expression.expression.Expr.__sub__ (   self,
  a 
)
inherited

Definition at line 195 of file expression.py.

195 
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.

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

+ Here is the caller graph for this function:

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

Definition at line 889 of file expression.py.

889 
890  def _exprhash(self):
891  return hash((EXPRSLICE, hash(self._arg), self._start, self._stop))

+ Here is the caller graph for this function:

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

Definition at line 892 of file expression.py.

892 
893  def _exprrepr(self):
894  return "%s(%r, %d, %d)" % (self.__class__.__name__, self._arg,
895  self._start, self._stop)

+ Here is the caller graph for this function:

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

Definition at line 247 of file expression.py.

247 
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.ExprSlice.copy (   self)

Definition at line 908 of file expression.py.

908 
909  def copy(self):
910  return ExprSlice(self._arg.copy(), self._start, self._stop)
def miasm2.expression.expression.ExprSlice.depth (   self)

Definition at line 911 of file expression.py.

911 
912  def depth(self):
913  return self._arg.depth() + 1
def miasm2.expression.expression.ExprSlice.get_r (   self,
  mem_read = False,
  cst_read = False 
)

Definition at line 883 of file expression.py.

883 
884  def get_r(self, mem_read=False, cst_read=False):
885  return self._arg.get_r(mem_read, cst_read)
def miasm2.expression.expression.Expr.get_size (   self)
inherited

Definition at line 146 of file expression.py.

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

Definition at line 886 of file expression.py.

886 
887  def get_w(self):
888  return self._arg.get_w()
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.

319 
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.ExprSlice.graph_recursive (   self,
  graph 
)

Definition at line 932 of file expression.py.

932 
933  def graph_recursive(self, graph):
934  graph.add_node(self)
935  self._arg.graph_recursive(graph)
936  graph.add_uniq_edge(self, self._arg)
937 
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.

155 
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.Expr.msb (   self)
inherited

Definition at line 278 of file expression.py.

278 
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.

170 
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.

233 
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.

330 
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.

125 
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.

295 
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.ExprSlice.slice_rest (   self)

Definition at line 914 of file expression.py.

914 
915  def slice_rest(self):
916  "Return the completion of the current slice"
917  size = self._arg.size
918  if self._start >= size or self._stop > size:
919  raise ValueError('bad slice rest %s %s %s' %
920  (size, self._start, self._stop))
921 
922  if self._start == self._stop:
923  return [(0, size)]
924 
925  rest = []
926  if self._start != 0:
927  rest.append((0, self._start))
928  if self._stop < size:
929  rest.append((self._stop, size))
930 
931  return rest
def miasm2.expression.expression.ExprSlice.visit (   self,
  cb,
  tv = None 
)

Definition at line 902 of file expression.py.

902 
903  def visit(self, cb, tv=None):
904  arg = self._arg.visit(cb, tv)
905  if arg == self._arg:
906  return self
907  return ExprSlice(arg, self._start, self._stop)

+ 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.

283 
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.ExprSlice._size
private

Definition at line 874 of file expression.py.

miasm2.expression.expression.ExprSlice._start
private

Definition at line 921 of file expression.py.

miasm2.expression.expression.ExprSlice._stop
private

Definition at line 873 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.ExprSlice.arg = property(lambda self: self._arg)
static

Definition at line 876 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.

miasm2.expression.expression.ExprSlice.start = property(lambda self: self._start)
static

Definition at line 877 of file expression.py.

miasm2.expression.expression.ExprSlice.stop = property(lambda self: self._stop)
static

Definition at line 878 of file expression.py.

The documentation for this class was generated from the following file:
Generated by   doxygen 1.8.8