about summary refs log tree commit diff stats
path: root/test/ir (follow)
Commit message (Expand)AuthorAgeFilesLines
* Use and tiny test of .as_assignblock() behaviorAjax2017-05-091-0/+4
* Add .items API to AssignBlockAjax2017-04-271-0/+1
* Add regression test for AssignBlockAjax2017-04-201-0/+46
* Ir: make AssignBlock immutableFabrice Desclaux2017-04-201-2/+1
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-304-25/+25
* analysis: Introduction of use-definition chainsCaroline Leman2017-03-291-681/+0
* Core/asmbloc: move asmbloc to asmblockFabrice Desclaux2017-03-132-2/+2
* Asmbloc: rename asm_label to AsmLabelFabrice Desclaux2017-03-132-11/+11
* IR: rename blocs to blocksFabrice Desclaux2017-03-131-63/+63
* IR/ir: rename irbloc to IRBlockFabrice Desclaux2017-03-131-157/+157
* IR/Symbexec: rename symbexec to SymbolicExecutionEngineFabrice Desclaux2017-03-131-5/+5
* use python2 as executable name, give adequate permissionsAymeric Vincent2017-01-052-2/+2
* fix permissionsAymeric Vincent2017-01-051-0/+0
* Regression test for apply_expr/apply_change/eval_irAjax2016-12-151-0/+17
* ExprCompose: add new apiFabrice Desclaux2016-11-042-4/+4
* Expression: remove is_term attributeserpilliere2016-11-041-11/+13
* AssignBlockFabrice Desclaux2016-02-261-13/+12
* Symbexec: add apply_expr, taking in account side effectsAjax2016-02-161-1/+5
* z3 translator: fixed regression testsTim Blazytko2016-02-011-6/+9
* z3 translator: added regression tests for bsr and bsfTim Blazytko2016-02-011-0/+15
* smt2_translator: added regression testsTim Blazytko2016-01-051-0/+40
* IR: replace `.g` with a lazy built `.graph`, avoiding the need of `gen_graph`Ajax2015-12-071-104/+66
* IRA: ira parent class is now miasm2.ir.ir::irCamille Mougey2015-12-071-3/+5
* Jitter: remove unused div_op rem_opFabrice Desclaux2015-12-041-4/+0
* Test/ir: updt regression testserpilliere2015-07-311-1/+1
* IR: Compliance to python coding conventionsCaroline Leman2015-04-291-350/+390
* IR: Regression test integrationCaroline Leman2015-04-291-12/+10
* IR: Improve dead code eliminationCaroline Leman2015-04-291-0/+680
* Jitter: Factorize common cpu attributes in JitCpu; Update APIs in consequenceserpilliere2015-04-221-2/+2
* Translator: remove the mess with z3, and update Z3 translators and examplesAjax2015-03-241-2/+2
* Translator: Update usesAjax2015-03-241-7/+8
* TranslatorZ3: Better handling of asm_labels (translating to BitVecVal when po...Florent Monjalet2015-03-241-1/+7
* TranslatorZ3: Fixed from_ExprId when expr.name is an asmlabelFlorent Monjalet2015-03-241-0/+6
* TranslatorZ3: Fixed parity semanticFlorent Monjalet2015-03-241-1/+3
* TranslatorZ3: Handling 'parity' and '-' unary operators, and raising errors p...Florent Monjalet2015-03-231-0/+16
* X86: add regression tests for bsf/bsrFabrice Desclaux2015-02-201-1/+1
* Added TranslatorZ3 to the Miasm test suite.Florent Monjalet2015-01-231-0/+123
* Test: Update API of ir2C testCamille Mougey2014-12-141-35/+45
* Modify irbloc destination mecanism. Rework API in consequence.Fabrice Desclaux2014-09-051-2/+2
* Miasm v2serpilliere2014-06-032-0/+118