about summary refs log tree commit diff stats
path: root/test/core/sembuilder.py (unfollow)
Commit message (Expand)AuthorFilesLines
2016-03-23Core/Graph: add loop testFabrice Desclaux1-0/+28
2016-03-23Comment disasmEngineAjax1-6/+60
2016-03-23OS_Dep/Win_seh: fix link list entriesFabrice Desclaux1-46/+34
2016-03-23Move dis_bloc and dis_bloc_all into disasmEngine as methodAjax1-199/+153
2016-03-23JitCore: update disbloc signature (and docstring)Ajax1-3/+6
2016-03-23JitCore: use the disasmEngine instead f a direct call to dis_bloc internalsAjax1-13/+15
2016-03-23Fix Jitload `load` signature in abstract methodAjax1-3/+2
2016-03-23disasmEngine bin_stream argument must be providedAjax1-4/+4
2016-03-22Example/Depgraph: allow lower/upper register trackingFabrice Desclaux3-4/+7
2016-03-21Introduce Container.symbol_pool, containing container symbols (if any)Ajax3-2/+35
2016-03-21Test/Depgraph: add DG emulation regression testsFabrice Desclaux35-0/+227
2016-03-21Example/Depgraph: add JSON outputFabrice Desclaux1-8/+31
2016-03-21DependencyGraph: emul minimum effectsFabrice Desclaux1-20/+29
2016-03-21Example/dg: fix print solutionsFabrice Desclaux1-2/+5
2016-03-21Depgraph: updt apiFabrice Desclaux4-32/+39
2016-03-17Test/depgraph: use z3 to remove unsatisfiable solutionsFabrice Desclaux2-1/+27
2016-03-17Depgraph: implicit emulFabrice Desclaux2-4/+112
2016-03-17Test/depgraph: autopepFabrice Desclaux1-28/+29
2016-03-17Test/Depgraph: updt testsFabrice Desclaux1-740/+556
2016-03-17Depgraph: simplified algorithmFabrice Desclaux1-680/+175
2016-03-17Add regression test for `possible_values`Ajax1-0/+40
2016-03-17Introduce `possible_values` helperAjax1-0/+124
2016-03-16Asmcfg: add reg testFabrice Desclaux1-2/+28
2016-03-15Core/asmbloc: remove pending on block splitserpilliere1-0/+8
2016-03-13X86/sem: autopep8serpilliere1-1/+1
2016-03-13Remove dummy operatorserpilliere3-5/+0
2016-03-13X86/sem: sal is shlserpilliere1-17/+1
2016-03-13translator: fixed init of smt2 translatorTim Blazytko1-0/+1
2016-03-13smt2 translator: added model generation flagTim Blazytko1-1/+6
2016-03-09Speed up _block_mergeAjax1-1/+10
2016-03-09Fix range checking when splitting blocks.Aymeric Vincent1-1/+1
2016-02-26x86/sem: fix bad returnFabrice Desclaux1-4/+4
2016-02-26Dead_simp: rename and remove intermediate variablesCamille Mougey2-29/+36
2016-02-26Move dead_simp structures into AssignBlockCamille Mougey2-72/+59
2016-02-26x86/sem: fix xaddFabrice Desclaux1-1/+2
2016-02-26AssignBlockFabrice Desclaux18-421/+431
2016-02-25Handle ExprAff in MatchExprCamille Mougey1-0/+11
2016-02-19Core/utils: autopep8Fabrice Desclaux6-21/+25
2016-02-19Win_SEH: remove unused memory zoneFabrice Desclaux1-17/+1
2016-02-19Jitter/vm: Suppport memory commentFabrice Desclaux10-45/+97
2016-02-19Core/utils: sanitize whoami/get_caller_nameFabrice Desclaux3-11/+16
2016-02-16Introduce test for jitloadAjax2-0/+55
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