about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Depgraph: updt apiFabrice Desclaux2016-03-214-32/+39
* Test/depgraph: use z3 to remove unsatisfiable solutionsFabrice Desclaux2016-03-172-1/+27
* Depgraph: implicit emulFabrice Desclaux2016-03-172-4/+112
* Test/depgraph: autopepFabrice Desclaux2016-03-171-28/+29
* Test/Depgraph: updt testsFabrice Desclaux2016-03-171-740/+556
* Depgraph: simplified algorithmFabrice Desclaux2016-03-171-680/+175
* Merge pull request #337 from commial/expr_possibleserpilliere2016-03-172-0/+164
|\
| * Add regression test for `possible_values`Ajax2016-03-171-0/+40
| * Introduce `possible_values` helperAjax2016-03-171-0/+124
|/
* Merge pull request #336 from serpilliere/asmcfg_pendingCamille Mougey2016-03-162-2/+36
|\
| * Asmcfg: add reg testFabrice Desclaux2016-03-161-2/+28
| * Core/asmbloc: remove pending on block splitserpilliere2016-03-151-0/+8
* | 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
| |/
* | Merge pull request #335 from serpilliere/x86_sal_shlCamille Mougey2016-03-154-23/+2
|\ \ | |/ |/|
| * X86/sem: autopep8serpilliere2016-03-131-1/+1
| * Remove dummy operatorserpilliere2016-03-133-5/+0
| * X86/sem: sal is shlserpilliere2016-03-131-17/+1
|/
* Merge pull request #331 from a-vincent/fix_block_splitserpilliere2016-03-091-1/+1
|\
| * Fix range checking when splitting blocks.Aymeric Vincent2016-03-091-1/+1
* | Merge pull request #332 from commial/block_merge_speedupserpilliere2016-03-091-1/+10
|\ \ | |/ |/|
| * Speed up _block_mergeAjax2016-03-091-1/+10
|/
* Merge pull request #330 from serpilliere/assignblockCamille Mougey2016-02-2618-480/+485
|\
| * x86/sem: fix bad returnFabrice Desclaux2016-02-261-4/+4
| * Dead_simp: rename and remove intermediate variablesCamille Mougey2016-02-262-29/+36
| * Move dead_simp structures into AssignBlockCamille Mougey2016-02-262-72/+59
| * x86/sem: fix xaddFabrice Desclaux2016-02-261-1/+2
| * AssignBlockFabrice Desclaux2016-02-2618-421/+431
* | Merge pull request #329 from commial/matchexpr-expraffserpilliere2016-02-251-0/+11
|\ \ | |/ |/|
| * Handle ExprAff in MatchExprCamille Mougey2016-02-251-0/+11
|/
* Merge pull request #327 from serpilliere/vm_name_areaCamille Mougey2016-02-1911-89/+134
|\
| * Core/utils: autopep8Fabrice Desclaux2016-02-196-21/+25
| * Win_SEH: remove unused memory zoneFabrice Desclaux2016-02-191-17/+1
| * Jitter/vm: Suppport memory commentFabrice Desclaux2016-02-1910-45/+97
| * Core/utils: sanitize whoami/get_caller_nameFabrice Desclaux2016-02-193-11/+16
|/
* Merge pull request #325 from commial/jitter-symbexecserpilliere2016-02-167-95/+185
|\
| * Introduce test for jitloadAjax2016-02-162-0/+55
| * Introduce jitter.eval_expr() to interact with jitter through Miasm IRAjax2016-02-161-2/+14
| * Symbexec: add apply_expr, taking in account side effectsAjax2016-02-162-2/+18
| * JitCore_Python: use for ... else ... constructionAjax2016-02-161-7/+4
| * Extract EmulatedSymbExec from JitCore_PythonAjax2016-02-162-84/+94
|/
* Merge pull request #324 from serpilliere/jitter_handle_retPierre Lalet2016-02-091-2/+7
|\
| * Jitter: handle emulated funcs retFabrice Desclaux2016-02-091-2/+7
|/
* Merge pull request #323 from a-vincent/remove_dead_filesserpilliere2016-02-094-20/+2
|\
| * remove old ida workaround executable for the 64bit caseAymeric Vincent2016-02-092-13/+2
| * remove old mercurial repository leftoversAymeric Vincent2016-02-092-7/+0
|/
* Merge pull request #322 from serpilliere/fix_tsc_gpregPierre Lalet2016-02-092-8/+8
|\
| * X86/jitter: fix tsc reg gpregFabrice Desclaux2016-02-082-8/+8
|/
* Merge pull request #320 from commial/unused-variableserpilliere2016-02-0512-61/+23
|\