about summary refs log tree commit diff stats
path: root/miasm2/analysis/depgraph.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Rename miasm2 to miasmFabrice Desclaux2019-03-051-651/+0
|
* Support python2/python3Fabrice Desclaux2019-03-051-17/+26
|
* Fix bad englishFabrice Desclaux2019-01-171-1/+1
|
* Fix typos & add codespellPierre LALET2018-12-231-2/+2
|
* Expresion: use ExprAssign instead of ExprAffFabrice Desclaux2018-10-011-3/+3
| | | | | | ExprAff stands for (in french) "Expression affectation" We will now use ExprAssign (for Expression Assignment) (instead of ExprAss)
* Code cleaning: lgtm.comFabrice Desclaux2018-09-201-2/+5
|
* Symbexec: Use simplifier with high level in symbexecFabrice Desclaux2018-08-061-3/+3
|
* IR: rename DiGraphIR=>IRCFGFabrice Desclaux2018-07-101-2/+2
|
* IR: gen ircfg from ir_archFabrice Desclaux2018-07-051-24/+25
|
* IR: remove default regs_init for symbexecFabrice Desclaux2018-07-051-2/+2
|
* Update symbol_pool's deprecated API -> LocationDBAjax2018-07-031-1/+1
|
* symbol_pool -> loc_dbAjax2018-07-031-5/+5
|
* Core: replace AsmLabel by LocKeyFabrice Desclaux2018-06-091-69/+70
|
* Expr: Add new word ExprLocFabrice Desclaux2018-06-081-27/+27
| | | | | This word represents a location in the binary. Thus, the hack of ExprId containing an AsmLabel ends here.
* Symbexec: use hashtable for mem symbolsFabrice Desclaux2018-03-151-2/+2
|
* IRBlock: getitem/len on assignblksFabrice Desclaux2018-02-091-4/+4
|
* IRBlock: replace irs by assignblksFabrice Desclaux2018-02-091-5/+5
|
* Ir: make AssignBlock immutableFabrice Desclaux2017-04-201-3/+3
|
* Core/asmbloc: move asmbloc to asmblockFabrice Desclaux2017-03-131-1/+1
|
* Asmbloc: rename asm_label to AsmLabelFabrice Desclaux2017-03-131-8/+8
|
* IR: rename blocs to blocksFabrice Desclaux2017-03-131-3/+3
|
* IR/ir: rename irbloc to IRBlockFabrice Desclaux2017-03-131-3/+3
|
* IR/Symbexec: rename symbexec to SymbolicExecutionEngineFabrice Desclaux2017-03-131-3/+3
|
* DepGraph: fix emulationFabrice Desclaux2017-01-091-18/+30
|
* DepGraph: clean stepFabrice Desclaux2016-12-231-14/+3
|
* Depgraph: use has_loop algorithm to spot data flow loops; fix reg testFabrice Desclaux2016-03-231-3/+3
|
* DependencyGraph: emul minimum effectsFabrice Desclaux2016-03-211-20/+29
|
* Depgraph: updt apiFabrice Desclaux2016-03-211-17/+16
|
* Depgraph: implicit emulFabrice Desclaux2016-03-171-3/+112
|
* Depgraph: simplified algorithmFabrice Desclaux2016-03-171-680/+175
|
* AssignBlockFabrice Desclaux2016-02-261-5/+5
|
* Tipo: dictionaryFabrice Desclaux2016-01-301-7/+7
|
* IR: replace `.g` with a lazy built `.graph`, avoiding the need of `gen_graph`Ajax2015-12-071-5/+1
|
* Depgraph: fix nameFabrice Desclaux2015-10-051-1/+2
|
* Depgraph: fix follow mem/callFabrice Desclaux2015-10-051-37/+49
|
* Analysis/depgraph: improve get_modifiers complexityFabrice Desclaux2015-08-271-34/+46
|
* Analysis/depgraph: use slots to be memory friendlyFabrice Desclaux2015-08-261-0/+6
|
* Analysis/Depgraph: Coding convention and cleanupsCaroline Leman2015-08-241-20/+32
|
* Analysis/Depgraph: Remove duplicates treatmentsCaroline Leman2015-08-241-7/+25
|
* Analysis/Depgraph: pylint and pep8 compliance + docstringsCaroline Leman2015-08-051-54/+86
|
* Analysis/Depgraph: DependecyGraph precision improvement + regressions tests.Caroline Leman2015-08-051-27/+168
| | | | | | | | | The DependencyNodes are now distincts, in order to handle dependency loops p (cf test graph 13) The emulation part of DependencyResult will emulate the value along the path specified by the DependencyGraph (loops included). This commit includes depgraph regression tests.
* replaced redundant codeTim Blazytko2015-04-301-1/+1
|
* fixed typoTim Blazytko2015-04-301-2/+2
|
* Depgraph: Simplify the implicit algorithm (creds @serpilliere)Ajax2015-04-281-29/+24
|
* DepGraph: Avoid failing if z3 is not presentAjax2015-04-281-1/+4
|
* DepGraph: Introduce implicit result management, with constraint solving APIAjax2015-04-281-1/+70
|
* DepGraphResult: Add an initial context optionAjax2015-04-271-2/+7
|
* DepGraph: Introduce the `implicit` optionAjax2015-04-241-3/+30
|
* DepGraph: Extend FollowExpr to include relative methodsAjax2015-04-241-20/+33
|
* DepGraph: Refactor internals APIAjax2015-04-241-12/+19
|