about summary refs log tree commit diff stats
path: root/test/analysis (follow)
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #518 from commial/feature/dseserpilliere2017-04-211-0/+94
|\
| * Add regression test for DSE on lbl_genAjax2017-04-181-0/+94
* | IRBlock: move lines in AssignBlockFabrice Desclaux2017-04-202-5/+3
* | Ir: make AssignBlock immutableFabrice Desclaux2017-04-201-1/+4
|/
* Update regression tests fo ModularIntervals mulAjax2017-03-302-0/+12
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-303-62/+61
* analysis: Introduction of use-definition chainsCaroline Leman2017-03-291-0/+685
* Core/asmbloc: move asmbloc to asmblockFabrice Desclaux2017-03-131-1/+1
* Asmbloc: rename asm_label to AsmLabelFabrice Desclaux2017-03-131-12/+12
* IR: rename blocs to blocksFabrice Desclaux2017-03-131-27/+27
* IR/ir: rename ir to IntermediateRepresentationFabrice Desclaux2017-03-131-1/+1
* IR/ir: rename irbloc to IRBlockFabrice Desclaux2017-03-131-84/+84
* Add regression tests for expr_range, based on z3Ajax2017-02-221-0/+96
* Add regression tests for ModularIntervalsAjax2017-02-171-0/+149
* DepGraph: Add emul regression testsFabrice Desclaux2017-01-092-0/+2
* Update int(XX.arg) -> int(XX)Ajax2016-09-161-1/+1
* Test: fix python executableFabrice Desclaux2016-09-081-1/+1
* Depgraph: use has_loop algorithm to spot data flow loops; fix reg testFabrice Desclaux2016-03-232-2/+2
* Test/Depgraph: add DG emulation regression testsFabrice Desclaux2016-03-2123-0/+43
* Depgraph: updt apiFabrice Desclaux2016-03-211-3/+3
* Depgraph: implicit emulFabrice Desclaux2016-03-171-1/+0
* Test/Depgraph: updt testsFabrice Desclaux2016-03-171-740/+556
* AssignBlockFabrice Desclaux2016-02-261-5/+12
* Tipo: dictionaryFabrice Desclaux2016-01-301-1/+1
* IR: replace `.g` with a lazy built `.graph`, avoiding the need of `gen_graph`Ajax2015-12-071-51/+51
* IRA: ira parent class is now miasm2.ir.ir::irCamille Mougey2015-12-071-2/+2
* Test/Depgraph: the error status was not checkedAjax2015-12-041-0/+3
* Analysis/Depgraph: Coding convention and cleanupsCaroline Leman2015-08-241-2/+1
* Analysis/Depgraph: Remove duplicates treatmentsCaroline Leman2015-08-241-96/+106
* Analysis/Depgraph: pylint and pep8 compliance + docstringsCaroline Leman2015-08-051-8/+7
* Analysis/Depgraph: DependecyGraph precision improvement + regressions tests.Caroline Leman2015-08-051-420/+1021
* TestDepgraph: Bad counter name (credits C. Leman)Ajax2015-04-241-3/+4
* Example: add NoCallNoMem in ida/depgraphserpilliere2015-03-231-8/+4
* Test/DepGraph: add regression test for double bloc symbolic emulationFabrice Desclaux2015-03-121-0/+42
* Test/Analysis: Regression tests for DependencyGraphCamille Mougey2015-02-201-0/+602