about summary refs log tree commit diff stats
path: root/test/analysis (follow)
Commit message (Collapse)AuthorAgeFilesLines
* IR: add simplifierFabrice Desclaux2019-02-181-35/+17
|
* IR: del unused edges during IR simplificationsFabrice Desclaux2019-02-121-3/+4
|
* Fix bad englishFabrice Desclaux2019-01-171-2/+2
|
* Test: add an unssa reg testFabrice Desclaux2019-01-161-0/+652
|
* Fix typos & add codespellPierre LALET2018-12-233-5/+5
|
* Expresion: use ExprAssign instead of ExprAffFabrice Desclaux2018-10-012-242/+242
| | | | | | ExprAff stands for (in french) "Expression affectation" We will now use ExprAssign (for Expression Assignment) (instead of ExprAss)
* IR: gen ircfg from ir_archFabrice Desclaux2018-07-052-356/+553
|
* IR: remove default regs_init for symbexecFabrice Desclaux2018-07-055-5/+5
|
* Update symbol_pool's deprecated API -> LocationDBAjax2018-07-032-78/+4
|
* symbol_pool -> loc_dbAjax2018-07-033-82/+82
|
* Code cleaning: remove useless / commented codeAjax2018-06-212-2/+1
|
* Jitter: add simple trace apiFabrice Desclaux2018-06-211-2/+1
|
* Core: replace AsmLabel by LocKeyFabrice Desclaux2018-06-092-246/+247
|
* Expr: Add new word ExprLocFabrice Desclaux2018-06-082-84/+91
| | | | | This word represents a location in the binary. Thus, the hack of ExprId containing an AsmLabel ends here.
* Remove the default size of ExprMem expressionsAjax2018-02-151-5/+5
|
* Expression: no default size for ExprIdFabrice Desclaux2018-02-092-37/+37
|
* IRBlock: getitem/len on assignblksFabrice Desclaux2018-02-092-13/+13
|
* IRBlock: irblock iterates on its assignblksFabrice Desclaux2018-02-091-1/+1
|
* IRBlock: replace irs by assignblksFabrice Desclaux2018-02-092-15/+15
|
* Test/DSE: Autopep8 + PylintAjax2017-09-041-28/+38
|
* DSE: test the possibility to attach in a breakpointAjax2017-09-041-3/+56
|
* Merge pull request #518 from commial/feature/dseserpilliere2017-04-211-0/+94
|\ | | | | Feature/dse
| * 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
| | | | | | - 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 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
| | | | | | 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 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
|