about summary refs log tree commit diff stats
path: root/miasm2/analysis/data_flow.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Fix has_call testFabrice Desclaux2019-02-181-21/+3
|
* Merge blocks: don't create predecessors for headsFabrice Desclaux2019-02-181-10/+29
|
* Data flow: propagate phi with identical sourcesFabrice Desclaux2019-02-181-3/+47
|
* Use AssignblkNodeFabrice Desclaux2019-02-181-24/+25
|
* IR: add simplifierFabrice Desclaux2019-02-181-20/+136
|
* Propagation: Don't propagate immutable registersFabrice Desclaux2019-02-181-0/+2
|
* Dataflow: use AssignblkNode in SSADefUseFabrice Desclaux2019-02-181-25/+19
|
* IR: del unused edges during IR simplificationsFabrice Desclaux2019-02-121-1/+202
|
* Fix bad englishFabrice Desclaux2019-01-171-1/+1
|
* Analysis: add liveness analysisFabrice Desclaux2019-01-151-1/+207
|
* Fix typos & add codespellPierre LALET2018-12-231-7/+7
|
* ExprMem: fix remaining .arg accessesFabrice Desclaux2018-10-281-4/+4
|
* Expression: replace arg by ptr in ExprMemFabrice Desclaux2018-10-121-8/+8
|
* Code cleaning: lgtm.comFabrice Desclaux2018-09-201-1/+1
|
* Code cleaning: lgtm.comFabrice Desclaux2018-08-231-6/+0
|
* Analysis: add snippet of stack variable detectionFabrice Desclaux2018-08-061-2/+248
|
* Analysis: fix tipoFabrice Desclaux2018-08-061-1/+1
|
* Analysis: add ssa to defuseFabrice Desclaux2018-08-061-2/+255
|
* Analysis: fix block simp (bad block ref)Fabrice Desclaux2018-08-011-1/+3
|
* Analysis: fix block simp (infinite loop)Fabrice Desclaux2018-08-011-6/+10
|
* Dataflow: do not remote exception_flags in dead_simpFabrice Desclaux2018-07-191-0/+1
|
* IR-Merge-blocks: ensure son is always in blocksAjax2018-07-121-1/+3
| | | | | | Avoid a corner case in which a block is still in the todo list after being deleted by others simplification, or case like a -> b -> c, with a and b in blocks, b being a jmpblock.
* IR: rename DiGraphIR=>IRCFGFabrice Desclaux2018-07-101-5/+6
|
* IR: move simplification from ir to data_flowFabrice Desclaux2018-07-101-5/+245
|
* IR: gen ircfg from ir_archFabrice Desclaux2018-07-051-21/+21
|
* Core: replace AsmLabel by LocKeyFabrice Desclaux2018-06-091-12/+12
|
* DataFlow: Normalize class namesFabrice Desclaux2018-02-091-20/+25
|
* IRBlock: getitem/len on assignblksFabrice Desclaux2018-02-091-5/+5
|
* IRBlock: irblock iterates on its assignblksFabrice Desclaux2018-02-091-29/+29
|
* IRBlock: replace irs by assignblksFabrice Desclaux2018-02-091-9/+9
|
* IR: Make IRBlock immutableFabrice Desclaux2017-05-241-2/+4
|
* Ir: Add ir graph helpersFabrice Desclaux2017-04-211-0/+3
|
* IRBlock: move lines in AssignBlockFabrice Desclaux2017-04-201-1/+1
|
* Ir: make AssignBlock immutableFabrice Desclaux2017-04-201-2/+5
|
* analysis: Introduction of use-definition chainsCaroline Leman2017-03-291-0/+252
- previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified'