about summary refs log tree commit diff stats
path: root/miasm2/ir (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Symbexec: Fix state updateFabrice Desclaux2017-03-161-3/+8
* Core/asmbloc: move asmbloc to asmblockFabrice Desclaux2017-03-135-7/+7
* Asmbloc: rename asm_symbol_pool to AsmSymbolPoolFabrice Desclaux2017-03-131-2/+2
* Asmbloc: rename asm_label to AsmLabelFabrice Desclaux2017-03-135-11/+11
* Asmbloc: rename asm_bloc to AsmBlockFabrice Desclaux2017-03-131-2/+2
* All: rename vars bloc -> blockFabrice Desclaux2017-03-132-16/+16
* IR: rename blocs to blocksFabrice Desclaux2017-03-132-25/+29
* IR/ir: rename ir to IntermediateRepresentationFabrice Desclaux2017-03-132-4/+24
* IR/ir: rename irbloc to IRBlockFabrice Desclaux2017-03-131-10/+33
* IR/Symbexec: rename symbexec to SymbolicExecutionEngineFabrice Desclaux2017-03-132-13/+40
* Clarify symbexec:get_mem_stateAjax2017-02-021-33/+24
* Apply func_read in case of splitted memory accessesAjax2017-02-021-3/+8
* Let x86 'pre_add_instr' be the default behaviorAjax2017-01-241-0/+11
* Merge pull request #469 from serpilliere/updt_call_effects_apiCamille Mougey2017-01-062-26/+76
|\
| * IR: Split addbloc codeFabrice Desclaux2017-01-061-23/+68
| * IR: Call_effects API modificationFabrice Desclaux2017-01-061-3/+8
* | remove #! command line on files not supposed to be run at top levelAymeric Vincent2017-01-052-2/+0
|/
* Merge pull request #466 from serpilliere/fix_empty_dstCamille Mougey2017-01-051-2/+7
|\
| * IR: fix set_empty_dst using c_nextFabrice Desclaux2017-01-051-2/+7
* | Homogenize x86_bsf/r API with rcl/rcr_rez_op APIAjax2017-01-041-3/+3
|/
* Expr: Remove exprint_fromFabrice Desclaux2016-12-232-3/+4
* Regression test for apply_expr/apply_change/eval_irAjax2016-12-151-14/+23
* Ir: remove dbg logFabrice Desclaux2016-11-201-1/+0
* ExprCompose: updt internal structFabrice Desclaux2016-11-047-30/+22
* ExprCompose: update apiFabrice Desclaux2016-11-042-6/+15
* ExprCompose: add new apiFabrice Desclaux2016-11-041-3/+3
* Symbexec: new api for emul_ir_*Fabrice Desclaux2016-11-041-2/+12
* Expression: remove is_term attributeserpilliere2016-11-042-307/+303
* Expression/IR: Fix mem_read parameter in 'get_r'Caroline Leman2016-10-061-1/+1
* Symbexec: Fix intFabrice Desclaux2016-10-031-1/+1
* Update int(XX.arg) -> int(XX)Ajax2016-09-163-4/+4
* Arm: add clz/uxtabserpilliere2016-09-121-0/+3
* Jitter: code generator reworkFabrice Desclaux2016-08-301-432/+0
* Explicitly compare expression to None.Shane Huntley2016-07-101-1/+1
* Jitter: use cpu aliasFabrice Desclaux2016-05-091-2/+4
* Merge pull request #334 from mrphrazer/fix_smt2translatorserpilliere2016-03-152-1/+7
|\
| * translator: fixed init of smt2 translatorTim Blazytko2016-03-131-0/+1
| * smt2 translator: added model generation flagTim Blazytko2016-03-131-1/+6
* | Remove dummy operatorserpilliere2016-03-133-5/+0
|/
* Dead_simp: rename and remove intermediate variablesCamille Mougey2016-02-262-29/+36
* Move dead_simp structures into AssignBlockCamille Mougey2016-02-262-72/+59
* AssignBlockFabrice Desclaux2016-02-264-219/+294
* Symbexec: add apply_expr, taking in account side effectsAjax2016-02-161-1/+13
* Remove unused variablesAjax2016-02-042-4/+1
* smt2 translator: fixed translation for bsr and bsfTim Blazytko2016-02-021-16/+20
* z3 translator: fixed translation for bsr and bsfTim Blazytko2016-02-021-4/+5
* z3/smt2 translator: removed endianess. creds @serpilliereTim Blazytko2016-02-022-88/+31
* smt2 translator: added translation for bsf and bsrTim Blazytko2016-02-011-0/+63
* z3 translator: added translation for bsf and bsrTim Blazytko2016-02-011-0/+22
* z3/smt2 translator: added methods for endiannessTim Blazytko2016-02-012-0/+19