about summary refs log tree commit diff stats
path: root/miasm2/ir (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Fix dangerous-default-valueAjax2016-01-301-3/+7
* AutopepFabrice Desclaux2016-01-301-8/+7
* Graph: generic html dot codeFabrice Desclaux2016-01-301-29/+42
* Asmbloc: Fix asmbloc label (creds @commial)Fabrice Desclaux2016-01-211-1/+1
* smt2_translator: fixed bug in ExprId to escape expression namesTim Blazytko2016-01-081-3/+9
* smt2_translator: refactored translation of ExprAff to use smt2_helper for assertTim Blazytko2016-01-071-1/+1
* smt2_translator: fixed translation of ExprIdTim Blazytko2016-01-071-3/+1
* smt2_translator: added SMT2 translatorTim Blazytko2016-01-051-0/+279
* IR: Rebuild graph on `add_node`Ajax2015-12-071-0/+2
* IR/gen_graph: `link_all` is never usedAjax2015-12-071-3/+2
* IR: fix importAjax2015-12-071-10/+9
* IR: replace `.g` with a lazy built `.graph`, avoiding the need of `gen_graph`Ajax2015-12-072-15/+17
* IRA: use a crafted DiGraph for IR do displayCamille Mougey2015-12-071-33/+43
* IRA: ira parent class is now miasm2.ir.ir::irCamille Mougey2015-12-071-1/+3
* IRA: Add a class descriptionCamille Mougey2015-12-071-0/+8
* IR: use expr_is_label instead of ExprIsLabelCamille Mougey2015-12-071-7/+2
* IR: move graph relative code from IRA to IRCamille Mougey2015-12-072-98/+99
* Jitter: remove unused div_op rem_opFabrice Desclaux2015-12-041-9/+5
* Symbexec: func_write callback doesn't need anymore last argAjax2015-11-171-1/+1
* Symbexec: fix parallelism with memory accessesAjax2015-11-171-7/+4
* x86: >>>/<<< c_cf are no more needed: use c_rez with rotate-1Ajax2015-11-131-2/+0
* x86: C0/C1/C2/C3 flags in `fprem`Ajax2015-11-101-1/+1
* x86/TCC: add `fpatan`Ajax2015-11-101-1/+1
* x86/TCC: add `fyl2x`Ajax2015-11-101-1/+1
* x86/TCC: add `fprem`Ajax2015-11-101-1/+2
* x86/TCC: add `fxam`Ajax2015-11-101-0/+1
* x86/TCC: add `fchs`Ajax2015-11-101-1/+1
* Expression: fix apiFabrice Desclaux2015-10-291-1/+1
* JitTCC: jitted functions return a status codeCamille Mougey2015-10-231-12/+12
* TranslatorZ3: added translation for left and right rotationTim Blazytko2015-10-151-0/+4
* IR: add get_labelFabrice Desclaux2015-10-051-10/+22
* Expression: move is_func_call to expr scrFabrice Desclaux2015-09-231-1/+1
* IR/Translators/C: fix umod/udiv argumentserpilliere2015-07-311-4/+4
* TranslatorZ3: added translation for udiv, imod and umodTim Blazytko2015-07-291-0/+6
* Inits: Add docstring for main modulesAjax2015-06-191-0/+1
* removed unused codeTim Blazytko2015-05-011-2/+0
* IR: Improve dead code eliminationCaroline Leman2015-04-292-164/+235
* IR: Introduce dst_linenb, factorize and comment codeAjax2015-04-241-12/+20
* Jitter: Factorize common cpu attributes in JitCpu; Update APIs in consequenceserpilliere2015-04-222-22/+22
* Jitter: get/set mem is now wrapped in cpuserpilliere2015-04-221-2/+2
* Merge pull request #130 from mrphrazer/extend_z3_translationserpilliere2015-03-251-0/+2
|\
| * added translation for idiv command in z3Tim Blazytko2015-03-241-0/+2
* | Translator: remove the mess with z3, and update Z3 translators and examplesAjax2015-03-241-55/+28
* | Translator: add a bounded cache on `from_expr`Ajax2015-03-241-1/+16
* | Translator: Update usesAjax2015-03-242-18/+20
* | Translator: class to instanceAjax2015-03-244-129/+96
|/
* TranslatorZ3: Better handling of asm_labels (translating to BitVecVal when po...Florent Monjalet2015-03-241-1/+5
* TranslatorZ3: Fixed from_ExprId when expr.name is an asmlabelFlorent Monjalet2015-03-241-1/+1
* TranslatorZ3: Fixed parity semanticFlorent Monjalet2015-03-241-1/+4
* TranslatorZ3: Handling 'parity' and '-' unary operators, and raising errors p...Florent Monjalet2015-03-231-11/+18