about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* smt2 translator: added model generation flagTim Blazytko2016-03-131-1/+6
* 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
|\
| * Miasm/CPU: unused variable and refactorAjax2016-02-041-6/+4
| * Miasm/CPU: remove factor_tree, useless and unused functionAjax2016-02-041-9/+0
| * Miasm/Cpu: fix default argumentAjax2016-02-041-1/+1
| * BinStreamIDA: fix readbsAjax2016-02-041-2/+2
| * Remove unused variablesAjax2016-02-0411-43/+16
|/
* Merge pull request #318 from mrphrazer/translator_bsf_bsrserpilliere2016-02-023-0/+70
|\
| * 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
| * z3 translator: fixed regression testsTim Blazytko2016-02-011-6/+9
| * z3 translator: added regression tests for bsr and bsfTim Blazytko2016-02-011-0/+15
| * 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
|/
* Merge pull request #317 from serpilliere/core_pre_disPierre Lalet2016-01-311-2/+6
|\
| * Core/cpu: fix pre_dis atomicFabrice Desclaux2016-01-311-2/+6
|/
* Merge pull request #316 from serpilliere/x86_tsc_pyCamille Mougey2016-01-311-0/+17
|\
| * X86/jitter: add tsc accessorsFabrice Desclaux2016-01-311-0/+17
|/