| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Ir: make AssignBlock immutable | Fabrice Desclaux | 2017-04-20 | 1 | -1/+4 |
| | | |||||
| * | Update regression tests fo ModularIntervals mul | Ajax | 2017-03-30 | 2 | -0/+12 |
| | | |||||
| * | Replace ExprInt[num](x) -> ExprInt(x, num) | Ajax | 2017-03-30 | 3 | -62/+61 |
| | | |||||
| * | analysis: Introduction of use-definition chains | Caroline Leman | 2017-03-29 | 1 | -0/+685 |
| | | | | | | | - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified' | ||||
| * | Core/asmbloc: move asmbloc to asmblock | Fabrice Desclaux | 2017-03-13 | 1 | -1/+1 |
| | | |||||
| * | Asmbloc: rename asm_label to AsmLabel | Fabrice Desclaux | 2017-03-13 | 1 | -12/+12 |
| | | |||||
| * | IR: rename blocs to blocks | Fabrice Desclaux | 2017-03-13 | 1 | -27/+27 |
| | | |||||
| * | IR/ir: rename ir to IntermediateRepresentation | Fabrice Desclaux | 2017-03-13 | 1 | -1/+1 |
| | | |||||
| * | IR/ir: rename irbloc to IRBlock | Fabrice Desclaux | 2017-03-13 | 1 | -84/+84 |
| | | |||||
| * | Add regression tests for expr_range, based on z3 | Ajax | 2017-02-22 | 1 | -0/+96 |
| | | |||||
| * | Add regression tests for ModularIntervals | Ajax | 2017-02-17 | 1 | -0/+149 |
| | | | | | | | Some of the tests are deactivated, because they took too much time. These tests have been fully run, and one can choose to only actiavte a subset of them | ||||
| * | DepGraph: Add emul regression tests | Fabrice Desclaux | 2017-01-09 | 2 | -0/+2 |
| | | |||||
| * | Update int(XX.arg) -> int(XX) | Ajax | 2016-09-16 | 1 | -1/+1 |
| | | |||||
| * | Test: fix python executable | Fabrice Desclaux | 2016-09-08 | 1 | -1/+1 |
| | | |||||
| * | Depgraph: use has_loop algorithm to spot data flow loops; fix reg test | Fabrice Desclaux | 2016-03-23 | 2 | -2/+2 |
| | | |||||
| * | Test/Depgraph: add DG emulation regression tests | Fabrice Desclaux | 2016-03-21 | 23 | -0/+43 |
| | | |||||
| * | Depgraph: updt api | Fabrice Desclaux | 2016-03-21 | 1 | -3/+3 |
| | | |||||
| * | Depgraph: implicit emul | Fabrice Desclaux | 2016-03-17 | 1 | -1/+0 |
| | | |||||
| * | Test/Depgraph: updt tests | Fabrice Desclaux | 2016-03-17 | 1 | -740/+556 |
| | | |||||
| * | AssignBlock | Fabrice Desclaux | 2016-02-26 | 1 | -5/+12 |
| | | |||||
| * | Tipo: dictionary | Fabrice Desclaux | 2016-01-30 | 1 | -1/+1 |
| | | |||||
| * | IR: replace `.g` with a lazy built `.graph`, avoiding the need of `gen_graph` | Ajax | 2015-12-07 | 1 | -51/+51 |
| | | |||||
| * | IRA: ira parent class is now miasm2.ir.ir::ir | Camille Mougey | 2015-12-07 | 1 | -2/+2 |
| | | |||||
| * | Test/Depgraph: the error status was not checked | Ajax | 2015-12-04 | 1 | -0/+3 |
| | | |||||
| * | Analysis/Depgraph: Coding convention and cleanups | Caroline Leman | 2015-08-24 | 1 | -2/+1 |
| | | |||||
| * | Analysis/Depgraph: Remove duplicates treatments | Caroline Leman | 2015-08-24 | 1 | -96/+106 |
| | | |||||
| * | Analysis/Depgraph: pylint and pep8 compliance + docstrings | Caroline Leman | 2015-08-05 | 1 | -8/+7 |
| | | |||||
| * | Analysis/Depgraph: DependecyGraph precision improvement + regressions tests. | Caroline Leman | 2015-08-05 | 1 | -420/+1021 |
| | | | | | | | | | | 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. | ||||
| * | TestDepgraph: Bad counter name (credits C. Leman) | Ajax | 2015-04-24 | 1 | -3/+4 |
| | | |||||
| * | Example: add NoCallNoMem in ida/depgraph | serpilliere | 2015-03-23 | 1 | -8/+4 |
| | | |||||
| * | Test/DepGraph: add regression test for double bloc symbolic emulation | Fabrice Desclaux | 2015-03-12 | 1 | -0/+42 |
| | | |||||
| * | Test/Analysis: Regression tests for DependencyGraph | Camille Mougey | 2015-02-20 | 1 | -0/+602 |