| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | Fix the 011111 group of store instructions wrt r0 | Aymeric Vincent | 2018-03-15 | 1 | -2/+3 | |
| |/ | | | | | | | | | | The 011111 group of store instructions is split in two sets: one in which r0 has value 0, and another where r0 mustn't be used. A "typographical inversion" interverted the two sets, leading to a semantics error when r0 is used with the subset which expects a hardcoded 0 value. Found by @commial, thanks! | |||||
| * | Merge pull request #698 from serpilliere/release_v0.0.1 | Camille Mougey | 2018-03-12 | 1 | -0/+10 | |
| |\ | | | | | Add changelog | |||||
| | * | Add changelog | Fabrice Desclaux | 2018-03-12 | 1 | -0/+10 | |
| | | | ||||||
| * | | Merge pull request #627 from WilliamBruneau/fix_dse_strategies | Camille Mougey | 2018-03-12 | 1 | -9/+27 | |
| |\ \ | | | | | | | Fix dse strategies | |||||
| | * | | Add handle_correct_destination() | William Bruneau | 2018-03-12 | 1 | -13/+17 | |
| | | | | ||||||
| | * | | Fix according to @p-l- comment | William Bruneau | 2018-03-12 | 1 | -2/+2 | |
| | | | | ||||||
| | * | | Compute branches using the previous address | William Bruneau | 2018-03-12 | 1 | -2/+9 | |
| | | | | | | | | | | | | | | | | | | | 'destination' is the address that we could have reached instead of the current address. Therefore the new branch that can be reach with the new solution is 'previous_addr -> destination'. | |||||
| | * | | Do not use current address to compute path for the new solution | William Bruneau | 2018-03-12 | 1 | -1/+4 | |
| | | | | | | | | | | | | | | | | | | | | | | When using path coverage strategy we do not want to include the current address in the path that will be reached by the new solution. Indeed, 'destination' is the address that we could have reached instead of the current address using the new solution. | |||||
| | * | | Reinitialize _history when restoring snapshot | William Bruneau | 2018-03-12 | 1 | -0/+4 | |
| |/ / | | | | | | | | | | | Each time we restore a snapshot we want to restore _history. If not done, each time we use restore_snapshot() we continue appending the new _history to the old one. | |||||
| * | | Merge pull request #697 from a-vincent/ppc-fix-neg | Camille Mougey | 2018-03-09 | 1 | -1/+1 | |
| |\ \ | | | | | | | Fix NEG: write to the destination register | |||||
| | * | | Fix NEG: write to the destination register | Aymeric Vincent | 2018-03-09 | 1 | -1/+1 | |
| |/ / | | | | | | | From @commial, thanks. | |||||
| * | | Merge pull request #694 from a-vincent/ppc-fix-semantics-b-bl | Camille Mougey | 2018-03-09 | 1 | -10/+11 | |
| |\ \ | | | | | | | B and BL have variants with a useless CR field. Handle them. | |||||
| | * | | B and BL have variants with a useless CR field. Handle them. | Aymeric Vincent | 2018-03-08 | 1 | -10/+11 | |
| | |/ | ||||||
| * | | Merge pull request #693 from a-vincent/ppc-fix-getdstflow | Camille Mougey | 2018-03-09 | 1 | -2/+2 | |
| |\ \ | | | | | | | Fix getdstflow(): some branches currently have a useless CR field | |||||
| | * | | Fix branches which currently have a useless CR field | Aymeric Vincent | 2018-03-09 | 1 | -2/+2 | |
| | |/ | ||||||
| * | | Merge pull request #692 from a-vincent/ignore-bi-on-nonconditional-branch | Camille Mougey | 2018-03-08 | 1 | -3/+1 | |
| |\ \ | |/ |/| | Allow any condition on non-conditional branches | |||||
| | * | Allow any condition on non-conditional branches | Aymeric Vincent | 2018-03-08 | 1 | -3/+1 | |
| |/ | ||||||
| * | Merge pull request #691 from commial/fix/start-ppc | serpilliere | 2018-03-05 | 4 | -28/+61 | |
| |\ | | | | | Fix/start ppc | |||||
| | * | Linux fake: __libc_start_main implementation for PPC | Ajax | 2018-03-05 | 2 | -9/+40 | |
| | | | | | | | | | See glibc: 'sysdeps/unix/sysv/linux/powerpc/libc-start.c' for details | |||||
| | * | Sandbox: on Linux env import, also set the ABORT_ADDR | Ajax | 2018-03-05 | 2 | -19/+21 | |
| |/ | ||||||
| * | Merge pull request #690 from serpilliere/integrate_ppc | Camille Mougey | 2018-03-05 | 10 | -3/+46 | |
| |\ | | | | | Integrate ppc | |||||
| | * | LLVM: fix rot 0 | Fabrice Desclaux | 2018-03-05 | 1 | -1/+3 | |
| | | | ||||||
| | * | Test: add ppc32b tests | Fabrice Desclaux | 2018-03-04 | 2 | -0/+5 | |
| | | | ||||||
| | * | Jitter/python: support little endian | Fabrice Desclaux | 2018-03-04 | 3 | -2/+21 | |
| | | | ||||||
| | * | PPC32: integration | Fabrice Desclaux | 2018-03-04 | 4 | -0/+17 | |
| |/ | ||||||
| * | Merge pull request #689 from a-vincent/fix-ppc-branch | serpilliere | 2018-03-02 | 1 | -3/+3 | |
| |\ | | | | | Fix semantics of conditional jumps | |||||
| | * | Fix semantics of conditional jumps | Aymeric Vincent | 2018-03-02 | 1 | -3/+3 | |
| |/ | | | | Spotted by @serpilliere | |||||
| * | Merge pull request #688 from a-vincent/arch_ppc | serpilliere | 2018-03-02 | 17 | -4/+2494 | |
| |\ | | | | | Add support for PowerPC 32bit big-endian processors: "ppc32b" | |||||
| | * | Add support for PowerPC 32bit big-endian processors: "ppc32b" | Aymeric Vincent | 2018-02-26 | 17 | -4/+2494 | |
| |/ | ||||||
| * | Merge pull request #687 from a-vincent/fix-finish-addr | Camille Mougey | 2018-02-22 | 1 | -3/+3 | |
| |\ | | | | | Fix finish addr | |||||
| | * | Set CALL_FINISH_ADDR to 0x13371acc to be 4 bytes aligned | Aymeric Vincent | 2018-02-22 | 1 | -1/+1 | |
| | | | ||||||
| | * | Rename CALL_FINNISH_ADDR to CALL_FINISH_ADDR | Aymeric Vincent | 2018-02-22 | 1 | -3/+3 | |
| | | | ||||||
| * | | Merge pull request #684 from a-vincent/fix-lib-alignment | serpilliere | 2018-02-16 | 1 | -2/+2 | |
| |\ \ | | | | | | | Align the arbitrary addresses of fake library functions to multiples … | |||||
| | * | | Align the arbitrary addresses of fake library functions to multiples of 4 | Aymeric Vincent | 2018-02-16 | 1 | -2/+2 | |
| | |/ | | | | | | | | | | | | | | | Most processors can execute code only at aligned addresses, and some enforce this in their instruction set, e.g. powerpc. Without this patch, the addresses generated in the PLT will be truncated by the calling instruction and will thus not hit the breakpoint intended to catch them. | |||||
| * | | Merge pull request #685 from a-vincent/fix-preload_elf-endianness | serpilliere | 2018-02-16 | 1 | -2/+7 | |
| |\ \ | |/ |/| | Enforce correct endianness of PLT entries | |||||
| | * | Enforce correct endianness of PLT entries | Aymeric Vincent | 2018-02-16 | 1 | -2/+7 | |
| |/ | | | | | If given by the ELF file, use its endianness to set the PLT entries accordingly. | |||||
| * | Merge pull request #683 from commial/refactor/remove-default-exprmem-size | serpilliere | 2018-02-15 | 12 | -61/+64 | |
| |\ | | | | | Refactor/remove default exprmem size | |||||
| | * | Remove the default size of ExprMem expressions | Ajax | 2018-02-15 | 12 | -60/+63 | |
| | | | ||||||
| | * | Complete the #676 by removing the default value in ExprId.__new__ | Ajax | 2018-02-15 | 1 | -1/+1 | |
| | | | ||||||
| * | | Merge pull request #680 from commial/fix-simplifications | serpilliere | 2018-02-15 | 2 | -4/+27 | |
| |\ \ | | | | | | | Fix a few simplifications | |||||
| | * | | 'simp_propag': avoid computing shifts when the size is too | Ajax | 2018-02-15 | 2 | -3/+22 | |
| | | | | | | | | | | | | | big (potential Python overflow) | |||||
| | * | | simp_compose: ensure the '/' is not rounded to 0, but really equals to | Ajax | 2018-02-15 | 2 | -1/+5 | |
| | |/ | ||||||
| * | | Merge pull request #681 from commial/fix/import-z3-on-demand | serpilliere | 2018-02-15 | 1 | -1/+11 | |
| |\ \ | | | | | | | Translator: import 'z3' only when it is really needed | |||||
| | * | | Translator: import 'z3' only when it is really needed | Ajax | 2018-02-15 | 1 | -1/+11 | |
| | |/ | | | | | | | | | Avoid importing a pretty big module, and the side effects of z3, such as declaring the stack as unlimited | |||||
| * | | Merge pull request #682 from a-vincent/add_missing_prototypes | Camille Mougey | 2018-02-15 | 1 | -0/+2 | |
| |\ \ | |/ |/| | Add prototypes for x86_bsr() and x86_bsf() | |||||
| | * | Add prototypes for x86_bsr() and x86_bsf() | Aymeric Vincent | 2018-02-15 | 1 | -0/+2 | |
| |/ | ||||||
| * | Merge pull request #679 from commial/refactor-expr-comp | serpilliere | 2018-02-14 | 7 | -77/+257 | |
| |\ | | | | | Refactor expr simplifications tests | |||||
| | * | Lower the size of too long test to let z3 run in a human time | Ajax | 2018-02-14 | 1 | -8/+9 | |
| | | | ||||||
| | * | Remove int '**' int test to let z3 always translate exprs ('**' was not | Ajax | 2018-02-14 | 1 | -8/+1 | |
| | | | | | | | | | really used in Miasm) | |||||
| | * | Update rot simplification, to avoid overflow cases | Ajax | 2018-02-14 | 2 | -21/+59 | |
| | | | ||||||