about summary refs log tree commit diff stats
path: root/miasm2 (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* | Depgraph: updt apiFabrice Desclaux2016-03-211-17/+16
| |
* | Depgraph: implicit emulFabrice Desclaux2016-03-171-3/+112
| |
* | Depgraph: simplified algorithmFabrice Desclaux2016-03-171-680/+175
| |
* | Introduce `possible_values` helperAjax2016-03-171-0/+124
| | | | | | | | | | Retrieve values of an Expr with their associated constraint. Thanks to @serpilliere
* | Merge pull request #336 from serpilliere/asmcfg_pendingCamille Mougey2016-03-161-0/+8
|\ \ | | | | | | Asmcfg pending
| * | Core/asmbloc: remove pending on block splitserpilliere2016-03-151-0/+8
| |/
* | Merge pull request #334 from mrphrazer/fix_smt2translatorserpilliere2016-03-152-1/+7
|\ \ | | | | | | Fix smt2translator
| * | translator: fixed init of smt2 translatorTim Blazytko2016-03-131-0/+1
| | |
| * | smt2 translator: added model generation flagTim Blazytko2016-03-131-1/+6
| |/
* | 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
| * Fix range checking when splitting blocks.Aymeric Vincent2016-03-091-1/+1
| | | | | | | | This prevents an error message when splitting a block at its end address.
* | Speed up _block_mergeAjax2016-03-091-1/+10
|/
* Merge pull request #330 from serpilliere/assignblockCamille Mougey2016-02-2614-460/+453
|\ | | | | Assignblock
| * 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-2614-401/+399
| |
* | Handle ExprAff in MatchExprCamille Mougey2016-02-251-0/+11
|/
* 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
|
* 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-161-1/+13
|
* JitCore_Python: use for ... else ... constructionAjax2016-02-161-7/+4
|
* Extract EmulatedSymbExec from JitCore_PythonAjax2016-02-162-84/+94
|
* Jitter: handle emulated funcs retFabrice Desclaux2016-02-091-2/+7
|
* remove old ida workaround executable for the 64bit caseAymeric Vincent2016-02-091-0/+0
|
* remove old mercurial repository leftoversAymeric Vincent2016-02-092-7/+0
|
* X86/jitter: fix tsc reg gpregFabrice Desclaux2016-02-082-8/+8
|
* 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
|
* 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
|
* 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
|
* Core/cpu: fix pre_dis atomicFabrice Desclaux2016-01-311-2/+6
|
* X86/jitter: add tsc accessorsFabrice Desclaux2016-01-311-0/+17
|
* Fix dangerous-default-valueAjax2016-01-303-11/+28
|
* AutopepFabrice Desclaux2016-01-303-20/+24
|
* Tipo: dictionaryFabrice Desclaux2016-01-308-28/+28
|