diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2015-03-19 14:10:44 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2015-03-20 16:34:59 +0100 |
| commit | 2e60a8e6fb62a354c9201415076bef2d893ea7f3 (patch) | |
| tree | 88bcc63afdca310b0cd8ae3325cf9a377c63648f | |
| parent | 3d016cab115e57a8a080b93ebb6c5587d5c76a60 (diff) | |
| download | miasm-2e60a8e6fb62a354c9201415076bef2d893ea7f3.tar.gz miasm-2e60a8e6fb62a354c9201415076bef2d893ea7f3.zip | |
IR/Analysis: change not in syntax
| -rw-r--r-- | miasm2/ir/analysis.py | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/miasm2/ir/analysis.py b/miasm2/ir/analysis.py index 55e66710..ad37a1df 100644 --- a/miasm2/ir/analysis.py +++ b/miasm2/ir/analysis.py @@ -56,7 +56,7 @@ class ira: out.remove(o) for o in out: - if not o in found: + if o not in found: follow.add(o) todo = follow out = self.sort_dst(todo, done) @@ -95,7 +95,7 @@ class ira: """ all_lbls = {} for lbl in self.g.nodes(): - if not lbl in self.blocs: + if lbl not in self.blocs: continue irb = self.blocs[lbl] ir_txt = [str(lbl)] @@ -139,7 +139,7 @@ class ira: i_cur.src.op.startswith('call')): # /!\ never remove ir calls pass - elif not i_cur.dst in c_out: + elif i_cur.dst not in c_out: del(ir[j]) modified = True continue @@ -190,7 +190,7 @@ class ira: has_son = False for n_son in self.g.successors(irb.label): has_son = True - if not n_son in self.blocs: + if n_son not in self.blocs: # If the son is not defined, we will propagate our current out # nodes to the in nodes's son son_c_in = irb.c_out_missing @@ -228,7 +228,7 @@ class ira: fixed = True for node in self.g.nodes(): - if not node in self.blocs: + if node not in self.blocs: # leaf has lost her son continue irb = self.blocs[node] @@ -244,12 +244,12 @@ class ira: PRE: gen_graph() and get_rw()""" for node in self.g.nodes(): - if not node in self.blocs: + if node not in self.blocs: continue self.blocs[node].c_out_missing = set() has_all_son = True for node_son in self.g.successors(node): - if not node_son in self.blocs: + if node_son not in self.blocs: has_all_son = False break if has_all_son: @@ -272,7 +272,7 @@ class ira: log.debug(it) it += 1 for n in self.g.nodes(): - if not n in self.blocs: + if n not in self.blocs: # leaf has lost her son continue irb = self.blocs[n] |