diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-07-09 14:20:28 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-07-10 14:57:24 +0200 |
| commit | f08ef523e0a30f89c5e05c894541d180e871fd1c (patch) | |
| tree | 00f29558bdcee14fa475ecf17d7badd45f029de4 /miasm2/analysis/data_flow.py | |
| parent | 7479f169ac9ae1546e4f77f581563e12a1690336 (diff) | |
| download | miasm-f08ef523e0a30f89c5e05c894541d180e871fd1c.tar.gz miasm-f08ef523e0a30f89c5e05c894541d180e871fd1c.zip | |
IR: rename DiGraphIR=>IRCFG
Diffstat (limited to 'miasm2/analysis/data_flow.py')
| -rw-r--r-- | miasm2/analysis/data_flow.py | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/miasm2/analysis/data_flow.py b/miasm2/analysis/data_flow.py index b3c4df88..d0f2a0b1 100644 --- a/miasm2/analysis/data_flow.py +++ b/miasm2/analysis/data_flow.py @@ -121,7 +121,7 @@ class DiGraphDefUse(DiGraph): def __init__(self, reaching_defs, deref_mem=False, *args, **kwargs): - """Instanciate a DiGraphIR + """Instanciate a DiGraph @blocks: IR blocks """ self._edge_attr = {} @@ -271,7 +271,7 @@ def dead_simp(irarch, ircfg): def _test_merge_next_block(ircfg, loc_key): """ Test if the irblock at @loc_key can be merge with its son - @ircfg: DiGraphIR instance + @ircfg: IRCFG instance @loc_key: LocKey instance of the candidate parent irblock """ @@ -287,6 +287,7 @@ def _test_merge_next_block(ircfg, loc_key): return None return son + def _do_merge_blocks(ircfg, loc_key, son_loc_key): """ Merge two irblocks at @loc_key and @son_loc_key @@ -376,7 +377,7 @@ def _remove_to_son(ircfg, loc_key, son_loc_key): - irblock at @loc_key is a pure jump block - @loc_key is not an entry point (can be removed) - @irblock: DiGraphIR + @irblock: IRCFG instance @loc_key: LocKey instance of the parent irblock @son_loc_key: LocKey instance of the son irblock """ @@ -450,7 +451,7 @@ def merge_blocks(ircfg, loc_key_entries): Return True if at least an irblock has been modified - @ircfg: DiGraphIR instance + @ircfg: IRCFG instance @loc_key_entries: loc_key to keep """ @@ -490,7 +491,7 @@ def remove_empty_assignblks(ircfg): Remove empty assignblks in irblocks of @ircfg Return True if at least an irblock has been modified - @ircfg: DiGraphIR + @ircfg: IRCFG instance """ modified = False for loc_key, block in ircfg.blocks.iteritems(): |