about summary refs log tree commit diff stats
path: root/miasm2/ir (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* IR/Analysis: change not in syntaxFabrice Desclaux2015-03-201-8/+8
* IR/Analysis: remove unucessary fake additional in/out in liveness analysisFabrice Desclaux2015-03-202-26/+16
* Graph: dominators computation can only be done regarding to *one* headFabrice Desclaux2015-03-121-1/+1
* IR: factor identical slices in multi dst effectsserpilliere2015-03-081-10/+11
* TranslatorZ3: now uses its cache (forgotten lines...)Florent Monjalet2015-03-061-1/+3
* Merge pull request #87 from p-l-/bugfix-ir-cserpilliere2015-02-241-1/+1
|\
| * ir2C: fix `gen_resolve_int()`Pierre LALET2015-02-241-1/+1
* | Expression: remove code which uses expression modificationsserpilliere2015-02-222-6/+5
|/
* X86: fix bsr/bsf behaviour as issued in PR #79Fabrice Desclaux2015-02-201-4/+4
* PyLint: Import errors, pointless statements (`fds`), bad indentationCamille Mougey2015-02-181-2/+0
* ir: replace wildcard imports + pylint compliancePierre LALET2015-02-183-71/+84
* PyLint: Replace old `Raise` syntaxCamille Mougey2015-02-161-2/+2
* PyLint: IRBloc was an Old-Style class, dst was rewrite on `irbloc(...).dst =`Camille Mougey2015-02-161-2/+2
* PyLint: Remove unused-importsCamille Mougey2015-02-162-2/+0
* Symbexec: fix eval_exprmem int castFabrice Desclaux2015-02-101-1/+1
* Added TranslatorZ3 to the Miasm test suite.Florent Monjalet2015-01-231-128/+0
* Added two test cases for Z3MemFlorent Monjalet2015-01-221-0/+23
* TranslatorZ3: refactor, doc and heavier unit testsFlorent Monjalet2015-01-221-27/+135
* Introducing TranslatorZ3, translates Miasm IR into Z3 python binding objects.Florent Monjalet2015-01-221-0/+200
* Resolved conflict on miasm2/ir/translators/__init__.pyFlorent Monjalet2015-01-221-0/+5
* IR/Translators: No more usage of wild importCamille Mougey2015-01-211-3/+4
* TranslatorPython: fix forgotten parenthesis could lead to errorsFlorent Monjalet2015-01-111-1/+1
* fix TranslatorPython.from_ExprSlice forgotten varFlorent Monjalet2015-01-111-2/+1
* Add docstring/Fix variable nameFabrice Desclaux2015-01-091-0/+1
* IR Analysis: Handle liveness analysis on uncomplete graphFabrice Desclaux2015-01-091-14/+65
* IR: Add set_dstFabrice Desclaux2015-01-091-0/+11
* Analysis: Refactor and commentFabrice Desclaux2015-01-091-29/+78
* Jitter: registers logging is not needed anymore to enable instructions mnemon...gg2014-12-181-2/+2
* IR/Translators: Introduce Miasm translator, to get an IR building expressionCamille Mougey2014-12-162-0/+52
* ir2C: Refactor ir2C to extract TranslatorC partCamille Mougey2014-12-141-176/+16
* IR/Translator: Exposes Translator from miasm2.ir.translatorsCamille Mougey2014-12-141-0/+5
* IR/Translator: Add a translator for IR -> PythonCamille Mougey2014-12-141-0/+74
* IR/Translator: Add a translator for IR -> C, comming from ir/ir2C.pyCamille Mougey2014-12-141-0/+168
* IR: Introduce Translators, an abstraction for IR translationCamille Mougey2014-12-141-0/+111
* symbexec: fix eval_cache default argFabrice Desclaux2014-09-151-0/+10
* symbexec: symbexec is objectFabrice Desclaux2014-09-111-1/+1
* symbexec: add eval cache to expr_evalFabrice Desclaux2014-09-111-4/+7
* Jittcc: fix tcc return struct bug; fix missing irbloc ret testserpilliere2014-09-051-30/+32
* Symbexec: Should use b - a instead of ExprOp('-', b, a)Camille Mougey2014-09-051-1/+1
* Modify irbloc destination mecanism. Rework API in consequence.Fabrice Desclaux2014-09-054-115/+165
* IRA: Add methods to get char, short, int, long, pointer sizesCamille Mougey2014-08-291-0/+20
* ir: move float declaration by arch; clean ir2cserpilliere2014-08-281-44/+1
* Fix operand unify irem/imodserpilliere2014-06-241-4/+0
* Miasm v2serpilliere2014-06-035-0/+1563