about summary refs log tree commit diff stats
path: root/miasm2/analysis/data_flow.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Rename miasm2 to miasmFabrice Desclaux2019-03-051-1579/+0
|
* Support python2/python3Fabrice Desclaux2019-03-051-49/+51
|
* stack2var: move it from simplification loop to final passFabrice Desclaux2019-02-221-8/+13
| | | | | | There are no points to call it in the simplification loop as it's hypothesis is that we uncover all stack accesses. Moreover, the index variable generated will collide with previous calls
* Dataflow: fix mem propagationFabrice Desclaux2019-02-221-4/+3
|
* 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'