about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #60 from serpilliere/symb_exec_memCamille Mougey2015-02-101-1/+1
|\ | | | | Symbexec: fix eval_exprmem int cast
| * Symbexec: fix eval_exprmem int castFabrice Desclaux2015-02-101-1/+1
| |
* | Merge pull request #58 from serpilliere/fix_loaderCamille Mougey2015-02-101-4/+5
|\ \ | | | | | | Fix loader
| * | Loader/PE: fix typoFabrice Desclaux2015-02-091-2/+2
| | |
| * | Loader/Pe: fix section len computationFabrice Desclaux2015-02-091-2/+3
| |/
* | Merge pull request #57 from serpilliere/x86_fixCamille Mougey2015-02-101-10/+10
|\ \ | | | | | | X86/sem: fix fpu mnemonic api
| * | X86/sem: fix fpu mnemonic apiFabrice Desclaux2015-02-101-10/+10
| |/
* | Merge pull request #56 from serpilliere/x86_fstenvCamille Mougey2015-02-101-0/+3
|\ \ | | | | | | Arch/X86: fix fsntenv in 64bit
| * | Arch/X86: fix fsntenv in 64bitFabrice Desclaux2015-02-101-0/+3
| |/
* | Merge pull request #55 from serpilliere/x86_breakflow_fixCamille Mougey2015-02-101-2/+4
|\ \ | | | | | | X86 breakflow fix
| * | Arch/X86: fix jmpf breakflowFabrice Desclaux2015-02-101-1/+1
| | |
| * | Arch/X86: fix jecx breakflowFabrice Desclaux2015-02-101-1/+3
| |/
* | Merge pull request #52 from commial/ida-symbol_execserpilliere2015-02-105-96/+360
|\ \ | | | | | | Ida symbol exec
| * | VariablesIdentifier: Handle corner cases (using var ident on already ↵Camille Mougey2015-02-102-5/+39
| | | | | | | | | | | | computed eq)
| * | VariableIdentifier: Less hacky way to identify sub vars, add a prefix featureCamille Mougey2015-02-103-10/+29
| | |
| * | Example/IDA: Move `translatorForm` to `utils`Camille Mougey2015-02-092-58/+58
| | |
| * | IDA/Example: Offer all available translators instead of MiasmCamille Mougey2015-02-091-10/+45
| | |
| * | Example/IDA: Add the translation in Miasm for symbolc_execCamille Mougey2015-02-091-0/+35
| | |
| * | Example/IDA: Add a new example showing symbolic exec with var expansionCamille Mougey2015-02-091-0/+110
| | |
| * | Examples/IDA: Export common IDA methods to a file `utils`Camille Mougey2015-02-092-85/+116
| | |
* | | Merge pull request #54 from serpilliere/fix_x86_pop_espCamille Mougey2015-02-103-2/+22
|\ \ \ | |/ / |/| | Fix x86 pop esp
| * | Tests: add x86_32 pop esp regression testFabrice Desclaux2015-02-102-1/+19
| | |
| * | X86/Sem: fix pop esp semanticFabrice Desclaux2015-02-101-1/+3
|/ /
* | Merge pull request #50 from serpilliere/api_lib_handlerCamille Mougey2015-01-295-91/+57
|\ \ | |/ |/| Api lib handler
| * Os_dep/Win: Add GetProcAddress lib handlerFabrice Desclaux2015-01-291-1/+1
| |
| * Analysis/Sandbox: use os dependant method in custom sandboxesFabrice Desclaux2015-01-291-6/+16
| |
| * Arch/Jit: remove useless custom lib_handlerFabrice Desclaux2015-01-292-82/+3
| |
| * JitLoad: add function handler in default jitterFabrice Desclaux2015-01-291-2/+37
|/
* Merge pull request #49 from commial/refactor-asmblocserpilliere2015-01-264-144/+41
|\ | | | | Refactor asmbloc
| * Core/ASMBloc: `bloc_merge`'s `symbol_pool` arg was unusedCamille Mougey2015-01-261-77/+3
| |
| * Core/ASMBloc: `asm_resolve_final`'s `constrain_pos` arg was unusedCamille Mougey2015-01-261-2/+1
| |
| * Core/ASMBloc: `guessèblocs_size`'s `symbol` arg was unusedCamille Mougey2015-01-261-2/+2
| |
| * Core/ASMBloc: `dis_bloc`'s `patch_instr_symb` was no more usedCamille Mougey2015-01-262-11/+4
| |
| * Core/ASMBloc: resolve_symbol now returns only the resolved blocsCamille Mougey2015-01-263-23/+19
| |
| * Core/ASMBloc: LintingCamille Mougey2015-01-261-29/+12
| |
* | Merge pull request #48 from serpilliere/arm_fix_flowCamille Mougey2015-01-264-42/+38
|\ \ | |/ |/| Arm: fix execflow code
| * X86: fix execflow codeFabrice Desclaux2015-01-261-5/+11
| |
| * Msp430: fix execflow codeFabrice Desclaux2015-01-261-4/+7
| |
| * Mips: fix execflow codeFabrice Desclaux2015-01-261-12/+5
| |
| * Arm: fix execflow codeFabrice Desclaux2015-01-261-21/+15
|/
* Merge pull request #45 from commial/refactor-examplesserpilliere2015-01-2651-1177/+744
|\ | | | | Refactor examples
| * Example/ASM: Add a minimalist exampleCamille Mougey2015-01-262-0/+40
| |
| * TestAll: Add an empty space between ']' and z3 warning messageCamille Mougey2015-01-231-1/+1
| |
| * Example/Expression: Set the seed for ExprRandom usesCamille Mougey2015-01-232-0/+5
| |
| * Example/ASM: Test the second ARM (arm_sc.S) exampleCamille Mougey2015-01-232-62/+8
| |
| * Example/ASM: Test the x86_64 exampleCamille Mougey2015-01-232-73/+9
| |
| * TestAll: Add missing productsCamille Mougey2015-01-231-6/+7
| |
| * TestAll: Launch examples from their subdir, merge ExampleDir into ExampleCamille Mougey2015-01-231-30/+24
| |
| * Example/ASM: Avoid duplicating code by using a common script shellcode.pyCamille Mougey2015-01-239-586/+171
| |
| * Analysis/Machine: Export base_exprCamille Mougey2015-01-231-0/+5
| |