| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Merge pull request #550 from serpilliere/add_rot_pytrans | Camille Mougey | 2017-05-10 | 1 | -0/+14 | |
| |\ | | | | | Add rot pytrans | |||||
| | * | Translator: add rol/ror for python | Fabrice Desclaux | 2017-05-09 | 1 | -0/+14 | |
| | | | ||||||
| * | | Merge pull request #552 from commial/fix/win_api | serpilliere | 2017-05-10 | 1 | -3/+9 | |
| |\ \ | | | | | | | Fix/win api | |||||
| | * | | Add a few log to str manipulation functions | Ajax | 2017-05-09 | 1 | -1/+5 | |
| | | | | ||||||
| | * | | Fix strcpyn behavior at limit | Ajax | 2017-05-09 | 1 | -2/+4 | |
| | |/ | ||||||
| * | | Merge pull request #553 from commial/feature/symbexec-assignblk | serpilliere | 2017-05-10 | 1 | -0/+7 | |
| |\ \ | | | | | | | SymbolicExecutionEngine .state -> AssignBlock | |||||
| | * | | Add .as_assignblock() for SymbolicExecutionEngine | Ajax | 2017-05-09 | 1 | -0/+7 | |
| | |/ | ||||||
| * | | Complete the docstring of AssignBlock | Ajax | 2017-05-09 | 1 | -1/+7 | |
| | | | ||||||
| * | | Add a sanity check for AssignBlock (dst must be Id or Mem) | Ajax | 2017-05-09 | 1 | -0/+4 | |
| |/ | ||||||
| * | Merge pull request #545 from serpilliere/avoid_mix_expr_int | Camille Mougey | 2017-05-02 | 1 | -1/+24 | |
| |\ | | | | | Expression: Forbid mix between Expr and int/long | |||||
| | * | Expression: Forbid mix between Expr and int/long | Fabrice Desclaux | 2017-05-01 | 1 | -1/+24 | |
| | | | | | | | | | | | | | | | | | | | A classic error in Miasm is to confuse ExprInt with int, for example: ExprId('a') + 3 We could return ExprOp('+', ExprId('a') + ExprInt(3, 32)), but this may (and often) mask a problem in the source, so we forbid such a construction (and assert this to clarify the error) | |||||
| * | | Merge pull request #547 from carolineLe/fix_ret_cdecl | serpilliere | 2017-04-27 | 1 | -1/+1 | |
| |\ \ | | | | | | | arch/x86/jit.py: Update pc as well as EIP in ret_cdecl | |||||
| | * | | arch/x86/jit.py: Update pc as well as EIP in ret_cdecl | Caroline Leman | 2017-04-27 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Add .items API to AssignBlock | Ajax | 2017-04-27 | 1 | -0/+3 | |
| |/ / | ||||||
| * | | Merge pull request #538 from serpilliere/fix_cpu_reg_int | Camille Mougey | 2017-04-27 | 2 | -8/+9 | |
| |\ \ | |/ |/| | Jitter: Error on reg set not int | |||||
| | * | Jitter: Error on reg set not int | Fabrice Desclaux | 2017-04-25 | 2 | -8/+9 | |
| | | | ||||||
| * | | Merge pull request #544 from serpilliere/fix_gcc_trace | Camille Mougey | 2017-04-25 | 1 | -20/+43 | |
| |\ \ | | | | | | | Fix gcc trace | |||||
| | * | | Jitter: clean code | Fabrice Desclaux | 2017-04-25 | 1 | -19/+42 | |
| | | | | ||||||
| | * | | Jitter: fix log mn regs | Fabrice Desclaux | 2017-04-24 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Jitter: sanitize code | Fabrice Desclaux | 2017-04-24 | 6 | -53/+50 | |
| |/ / | | | | | | | | | Don't return 1337 on void python wrappers Add input sanity checks on python wrappers | |||||
| * | | x86_64: add stdcall ABI call prepare (for sb.call to work) | Ajax | 2017-04-24 | 1 | -1/+12 | |
| | | | ||||||
| * | | x86_32: fix fastcall (ret_addr is the last to be pushed) | Ajax | 2017-04-24 | 1 | -1/+1 | |
| |/ | ||||||
| * | Merge pull request #536 from commial/refactor/gcc-default-jitter | serpilliere | 2017-04-21 | 2 | -4/+4 | |
| |\ | | | | | Refactor/gcc default jitter | |||||
| | * | Let GCC be the default jitter | Ajax | 2017-04-21 | 2 | -4/+4 | |
| | | | ||||||
| * | | Merge pull request #535 from commial/fix/match_expr-uses | serpilliere | 2017-04-21 | 5 | -31/+30 | |
| |\ \ | | | | | | | Remove deprecated use of MatchExpr | |||||
| | * | | Remove deprecated use of MatchExpr | Ajax | 2017-04-21 | 5 | -31/+30 | |
| | |/ | ||||||
| * / | DSE: support absence of z3 | Ajax | 2017-04-21 | 1 | -2/+9 | |
| |/ | ||||||
| * | Expression: clean | Fabrice Desclaux | 2017-04-21 | 1 | -232/+240 | |
| | | ||||||
| * | Errata: fix exprmatch names | Fabrice Desclaux | 2017-04-21 | 1 | -50/+50 | |
| | | ||||||
| * | Merge pull request #521 from serpilliere/ir_helper | Camille Mougey | 2017-04-21 | 3 | -30/+147 | |
| |\ | | | | | Ir helper | |||||
| | * | Graph: add discard_edge | Fabrice Desclaux | 2017-04-21 | 1 | -0/+5 | |
| | | | ||||||
| | * | Ir: Add ir graph helpers | Fabrice Desclaux | 2017-04-21 | 2 | -30/+142 | |
| | | | ||||||
| * | | Expression: remove unused SearchExpr | Fabrice Desclaux | 2017-04-21 | 1 | -14/+0 | |
| | | | ||||||
| * | | Expression: clean MatchExpr | Fabrice Desclaux | 2017-04-21 | 1 | -51/+45 | |
| |/ | ||||||
| * | Merge pull request #518 from commial/feature/dse | serpilliere | 2017-04-21 | 6 | -0/+571 | |
| |\ | | | | | Feature/dse | |||||
| | * | Handle symbolic exec stuck on lbl_gen | Ajax | 2017-04-18 | 1 | -38/+61 | |
| | | | ||||||
| | * | Introduce a module for Dynamic Symbolic Execution | Ajax | 2017-04-18 | 1 | -0/+522 | |
| | | | ||||||
| | * | Introduce attrib_to_regs: map attrib to corresponding registers | Ajax | 2017-04-18 | 5 | -0/+26 | |
| | | | ||||||
| * | | set breakpoint handler in ntdll_LdrGetProcedureAddress() | Aymeric Vincent | 2017-04-21 | 1 | -0/+1 | |
| | | | | | | | | | This mimics the behaviour of kernel32_GetProcAddress() | |||||
| * | | Merge pull request #530 from commial/fix/doc | serpilliere | 2017-04-20 | 1 | -1/+1 | |
| |\ \ | | | | | | | Fix wrong add_memory_page docstring | |||||
| | * | | Fix wrong add_memory_page docstring | Ajax | 2017-04-20 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | AssignBlock: add simplification facility | Ajax | 2017-04-20 | 1 | -0/+12 | |
| | | | | ||||||
| * | | | AssignBlock: add a few comment | Ajax | 2017-04-20 | 1 | -1/+13 | |
| |/ / | ||||||
| * | | IRBlock: move lines in AssignBlock | Fabrice Desclaux | 2017-04-20 | 10 | -54/+54 | |
| | | | ||||||
| * | | Ir: clean code | Fabrice Desclaux | 2017-04-20 | 1 | -52/+51 | |
| | | | ||||||
| * | | Ir: make AssignBlock immutable | Fabrice Desclaux | 2017-04-20 | 8 | -171/+244 | |
| | | | ||||||
| * | | Merge pull request #520 from serpilliere/fastcall_abi | Camille Mougey | 2017-04-20 | 1 | -0/+27 | |
| |\ \ | |/ |/| | X86_32: Add fastcall abi | |||||
| | * | X86_32: Add fastcall abi | Fabrice Desclaux | 2017-04-18 | 1 | -0/+27 | |
| | | | ||||||
| * | | Jitter: fix pending memory breakpoint (#527) | serpilliere | 2017-04-18 | 1 | -0/+8 | |
| | | | ||||||
| * | | Jitter: fix symb cache name (#525) | serpilliere | 2017-04-18 | 5 | -14/+27 | |
| | | | ||||||