about summary refs log tree commit diff stats
path: root/example/expression/basic_simplification.py (unfollow)
Commit message (Expand)AuthorFilesLines
2016-02-16Introduce jitter.eval_expr() to interact with jitter through Miasm IRAjax1-2/+14
2016-02-16Symbexec: add apply_expr, taking in account side effectsAjax2-2/+18
2016-02-16JitCore_Python: use for ... else ... constructionAjax1-7/+4
2016-02-16Extract EmulatedSymbExec from JitCore_PythonAjax2-84/+94
2016-02-09Jitter: handle emulated funcs retFabrice Desclaux1-2/+7
2016-02-09remove old ida workaround executable for the 64bit caseAymeric Vincent2-13/+2
2016-02-09remove old mercurial repository leftoversAymeric Vincent2-7/+0
2016-02-08X86/jitter: fix tsc reg gpregFabrice Desclaux2-8/+8
2016-02-04Miasm/CPU: unused variable and refactorAjax1-6/+4
2016-02-04Miasm/CPU: remove factor_tree, useless and unused functionAjax1-9/+0
2016-02-04Miasm/Cpu: fix default argumentAjax1-1/+1
2016-02-04BinStreamIDA: fix readbsAjax1-2/+2
2016-02-04Remove unused variablesAjax11-43/+16
2016-02-02smt2 translator: fixed translation for bsr and bsfTim Blazytko1-16/+20
2016-02-02z3 translator: fixed translation for bsr and bsfTim Blazytko1-4/+5
2016-02-02z3/smt2 translator: removed endianess. creds @serpilliereTim Blazytko2-88/+31
2016-02-01z3 translator: fixed regression testsTim Blazytko1-6/+9
2016-02-01z3 translator: added regression tests for bsr and bsfTim Blazytko1-0/+15
2016-02-01smt2 translator: added translation for bsf and bsrTim Blazytko1-0/+63
2016-02-01z3 translator: added translation for bsf and bsrTim Blazytko1-0/+22
2016-02-01z3/smt2 translator: added methods for endiannessTim Blazytko2-0/+19
2016-01-31Core/cpu: fix pre_dis atomicFabrice Desclaux1-2/+6
2016-01-31X86/jitter: add tsc accessorsFabrice Desclaux1-0/+17
2016-01-30Fix dangerous-default-valueAjax3-11/+28
2016-01-30AutopepFabrice Desclaux3-20/+24
2016-01-30Tipo: dictionaryFabrice Desclaux10-30/+30
2016-01-30Graph: generic html dot codeFabrice Desclaux4-117/+175
2016-01-30X86/sem: remove dummy mnemoFabrice Desclaux1-24/+0
2016-01-30X86/sem: fix mov[hl]Fabrice Desclaux1-12/+20
2016-01-30X86/sem: fix RET arg sizeFabrice Desclaux1-1/+1
2016-01-30X86/sem: fix movqFabrice Desclaux1-1/+12
2016-01-30x86/sem: add cmpsq/scasqFabrice Desclaux1-0/+2
2016-01-30Sem/x86: fix call fromstringFabrice Desclaux4-109/+197
2016-01-29Sem/x86: fix get_shift imm sizeFabrice Desclaux1-1/+4
2016-01-29Arch/x86: fix lea reg, regFabrice Desclaux1-9/+15
2016-01-28README: add blog entryFabrice Desclaux1-0/+2
2016-01-28Core/asmbloc: generate bad block on dont_disFabrice Desclaux1-15/+14
2016-01-28Core/x86: fix job_done on null blocksFabrice Desclaux1-0/+1
2016-01-27Rewrite _merge_blocks using MatchGraphAjax1-18/+13
2016-01-27Add regression tests for MatchGraphAjax1-0/+68
2016-01-27Introduce MatchGraph, the counterpart of MatchExpr for DiGraphAjax1-0/+248
2016-01-26Rename BasicBlocks -> AsmCFG, more comprehensible, include "graph"Ajax4-26/+26
2016-01-26BasicBlocks.pendings can be a set (creds @serpilliere)Ajax2-6/+6
2016-01-26Introduce tests for miasm2.core.asmblocAjax2-0/+285
2016-01-26AsmBloc: rewrite split_bloc into BasicBlocks.apply_splittingAjax1-43/+58
2016-01-26AsmBloc: rewrite block_merge using graph simplificationAjax1-171/+46
2016-01-26Graph: introduce GraphSimplifier, counterpart of ExpressionSimplifierAjax1-0/+34
2016-01-26BasicBlocks: update examples with the new APIAjax8-28/+18
2016-01-26AsmBloc: introduce BasicBlocks, standing for a CFG with associated methodsAjax2-150/+344
2016-01-25Graph: add_node return the previous statusAjax1-1/+6