about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #41 from fmonjalet/translator_z3Camille Mougey2015-01-234-0/+343
|\ | | | | TranslatorZ3
| * Added TranslatorZ3 to the Miasm test suite.Florent Monjalet2015-01-233-128/+135
| |
| * Added two test cases for Z3MemFlorent Monjalet2015-01-221-0/+23
| |
| * TranslatorZ3: refactor, doc and heavier unit testsFlorent Monjalet2015-01-221-27/+135
| | | | | | | | | | | | refactor: moved endianness handling to Z3Mem heavier unit tests: added automatic asserts for every tests. Might have to move to a real test file though...
| * 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
|/
* Merge pull request #44 from commial/refactor-translators-importsserpilliere2015-01-221-3/+4
|\ | | | | IR/Translators: No more usage of wild import
| * IR/Translators: No more usage of wild importCamille Mougey2015-01-211-3/+4
|/
* Example/TestAll: Fix a typography (TAGS indirection must be used)Camille Mougey2015-01-211-1/+1
|
* Merge pull request #43 from cea-sec/example-clean-extractpeserpilliere2015-01-211-42/+0
|\ | | | | Example: Delete extract_pe_ressources
| * Example: Delete extract_pe_ressourcesCamille Mougey2015-01-211-42/+0
|/
* Merge pull request #38 from serpilliere/graph_add_dominatorsCamille Mougey2015-01-202-0/+75
|\ | | | | Graph: add dominators computation
| * DiGraph: add dominators regression testserpilliere2015-01-181-0/+23
| |
| * Graph: add dominators computationFabrice Desclaux2015-01-181-0/+52
| |
* | Merge pull request #39 from commial/refactor-tinycc-installserpilliere2015-01-202-29/+10
|\ \ | | | | | | TCC install: use --disable-static instead of sed//-fPIC/ (see #36)
| * | TCC install: use --disable-static instead of sed//-fPIC/ (see #36)Camille Mougey2015-01-182-29/+10
|/ /
* | Merge pull request #37 from serpilliere/fix_exprcond_outputCamille Mougey2015-01-181-1/+1
|\ \ | | | | | | Expression: fix ExprCond output
| * | Expression: fix ExprCond outputFabrice Desclaux2015-01-131-1/+1
| |/
* | Merge pull request #34 from serpilliere/arm_add_instructionCamille Mougey2015-01-133-0/+27
|\ \ | |/ |/| Arm: add instruction bfc
| * Arm: add instruction bfcFabrice Desclaux2015-01-123-0/+27
|/
* Merge pull request #33 from fmonjalet/tr_python_fixserpilliere2015-01-121-3/+2
|\ | | | | TranslatorPython fixes
| * TranslatorPython: fix forgotten parenthesis could lead to errorsFlorent Monjalet2015-01-111-1/+1
| |
| * fix TranslatorPython.from_ExprSlice forgotten varFlorent Monjalet2015-01-111-2/+1
|/
* Merge pull request #32 from serpilliere/improve_liveness_analysisCamille Mougey2015-01-094-42/+179
|\ | | | | Improve liveness analysis
| * Add docstring/Fix variable nameFabrice Desclaux2015-01-092-7/+11
| |
| * IR Analysis: Handle liveness analysis on uncomplete graphFabrice Desclaux2015-01-091-14/+65
| |
| * Arm/Ira: Fix call bloc generationFabrice Desclaux2015-01-091-2/+2
| |
| * IR: Add set_dstFabrice Desclaux2015-01-091-0/+11
| |
| * Graph: Add get_all_parents/del_nodeFabrice Desclaux2015-01-091-0/+22
| |
| * Analysis: Refactor and commentFabrice Desclaux2015-01-091-29/+78
|/
* Merge pull request #31 from serpilliere/fix_xorpsCamille Mougey2015-01-091-1/+1
|\ | | | | Fix xorps semantic
| * Fix xorps semanticFabrice Desclaux2015-01-091-1/+1
|/
* Merge pull request #26 from commial/fix-vm_loadsserpilliere2014-12-268-102/+129
|\ | | | | | | | | Fix vm loads Everything seems ok, thanks Merry Christmiasm to you !
| * Loader/PE: Update vm_load_pe_lib* APIs to take a VmMngr instance in inputCamille Mougey2014-12-242-5/+7
| |
| * Loader/Pe: Fix importsCamille Mougey2014-12-241-2/+4
| |
| * Loader/Pe: Fix a typographyCamille Mougey2014-12-241-1/+1
| |
| * LoaderPE: Refactor and comment vm_load_* functionsCamille Mougey2014-12-201-67/+101
| |
| * LoaderPE: vm_load_pe_lib*: remove unused argumentCamille Mougey2014-12-201-5/+3
| |
| * Analysis: Update vm_loads calls, avoid reimplemeting vm_load_pe_libsCamille Mougey2014-12-202-18/+13
| |
| * Loader: update vm_loads API, take a data buffer instead of a filenameCamille Mougey2014-12-202-5/+6
| |
| * Example: Remove unused loader.elf importsCamille Mougey2014-12-204-6/+1
|/
* Merge pull request #25 from ggqb/mnem_logserpilliere2014-12-181-2/+2
|\ | | | | Jitter: instructions mnemonic logging
| * Jitter: registers logging is not needed anymore to enable instructions ↵gg2014-12-181-2/+2
|/ | | | mnemonic logging
* Merge pull request #24 from commial/feature-translator-miasmserpilliere2014-12-173-12/+65
|\ | | | | Translator "Miasm"
| * Example: Update expr_translate to use Miasm translator and take in account #23Camille Mougey2014-12-161-12/+13
| |
| * IR/Translators: Introduce Miasm translator, to get an IR building expressionCamille Mougey2014-12-162-0/+52
|/
* Merge pull request #23 from commial/refactor-irtranslatorsserpilliere2014-12-159-211/+463
|\ | | | | Introduce IR Translators
| * Example: Add a new example using C & Python translationCamille Mougey2014-12-142-0/+43
| |
| * Test: Update API of ir2C testCamille Mougey2014-12-141-35/+45
| |
| * ir2C: Refactor ir2C to extract TranslatorC partCamille Mougey2014-12-141-176/+16
| |