about summary refs log tree commit diff stats
path: root/miasm2 (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* | Merge pull request #721 from serpilliere/add_arm_t2_instrCamille Mougey2018-04-1814-248/+1671
|\ \ | | | | | | Add arm t2 instr
| * | Arm: add dsbFabrice Desclaux2018-04-181-1/+46
| | |
| * | CPU: add reg_info from dictFabrice Desclaux2018-04-181-0/+18
| | |
| * | Sandbox/arm: Add armtlFabrice Desclaux2018-04-181-0/+70
| | |
| * | Cpu: lmask is propertyFabrice Desclaux2018-04-182-4/+8
| | |
| * | Fix arm T32ExpandImmFabrice Desclaux2018-04-181-3/+3
| | |
| * | Arm: add armt jitterFabrice Desclaux2018-04-188-2/+200
| | |
| * | Fix armt irFabrice Desclaux2018-04-181-2/+2
| | |
| * | Arm/t2: Round ld/st pc relativeFabrice Desclaux2018-04-181-0/+3
| | |
| * | Arm: add some arm t2 instructionsFabrice Desclaux2018-04-186-238/+1323
| |/
* | Merge pull request #719 from serpilliere/fix_api_set_strCamille Mougey2018-04-181-27/+25
|\ \ | | | | | | Jitter: fix api
| * | Jitter: fix apiFabrice Desclaux2018-04-151-27/+25
| |/
* / Aarch64: fix tipo + fix reg listFabrice Desclaux2018-04-151-21/+11
|/
* Merge pull request #710 from serpilliere/fix_segm_sizeCamille Mougey2018-04-091-14/+32
|\ | | | | X86: fix segm's size generation
| * X86: fix segm's size generationFabrice Desclaux2018-04-091-14/+32
| |
* | X86/sem: fix cmpxchg semFabrice Desclaux2018-04-082-6/+18
|/
* Fix memory breakpoint nameFabrice Desclaux2018-03-286-11/+15
|
* Symbexec: use hashtable for mem symbolsFabrice Desclaux2018-03-1512-458/+1111
|
* Fix the 011111 group of store instructions wrt r0Aymeric Vincent2018-03-151-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!
* Add handle_correct_destination()William Bruneau2018-03-121-13/+17
|
* Fix according to @p-l- commentWilliam Bruneau2018-03-121-2/+2
|
* Compute branches using the previous addressWilliam Bruneau2018-03-121-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 solutionWilliam Bruneau2018-03-121-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 snapshotWilliam Bruneau2018-03-121-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.
* Fix NEG: write to the destination registerAymeric Vincent2018-03-091-1/+1
| | | | From @commial, thanks.
* Merge pull request #694 from a-vincent/ppc-fix-semantics-b-blCamille Mougey2018-03-091-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 Vincent2018-03-081-10/+11
| |
* | Merge pull request #693 from a-vincent/ppc-fix-getdstflowCamille Mougey2018-03-091-2/+2
|\ \ | | | | | | Fix getdstflow(): some branches currently have a useless CR field
| * | Fix branches which currently have a useless CR fieldAymeric Vincent2018-03-091-2/+2
| |/
* / Allow any condition on non-conditional branchesAymeric Vincent2018-03-081-3/+1
|/
* Linux fake: __libc_start_main implementation for PPCAjax2018-03-051-8/+39
| | | | See glibc: 'sysdeps/unix/sysv/linux/powerpc/libc-start.c' for details
* Sandbox: on Linux env import, also set the ABORT_ADDRAjax2018-03-051-18/+20
|
* LLVM: fix rot 0Fabrice Desclaux2018-03-051-1/+3
|
* Jitter/python: support little endianFabrice Desclaux2018-03-043-2/+21
|
* PPC32: integrationFabrice Desclaux2018-03-043-0/+15
|
* Fix semantics of conditional jumpsAymeric Vincent2018-03-021-3/+3
| | | | Spotted by @serpilliere
* Add support for PowerPC 32bit big-endian processors: "ppc32b"Aymeric Vincent2018-02-2615-4/+2456
|
* Merge pull request #687 from a-vincent/fix-finish-addrCamille Mougey2018-02-221-3/+3
|\ | | | | Fix finish addr
| * Set CALL_FINISH_ADDR to 0x13371acc to be 4 bytes alignedAymeric Vincent2018-02-221-1/+1
| |
| * Rename CALL_FINNISH_ADDR to CALL_FINISH_ADDRAymeric Vincent2018-02-221-3/+3
| |
* | Merge pull request #684 from a-vincent/fix-lib-alignmentserpilliere2018-02-161-2/+2
|\ \ | | | | | | Align the arbitrary addresses of fake library functions to multiples …
| * | Align the arbitrary addresses of fake library functions to multiples of 4Aymeric Vincent2018-02-161-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.
* / Enforce correct endianness of PLT entriesAymeric Vincent2018-02-161-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-sizeserpilliere2018-02-156-34/+37
|\ | | | | Refactor/remove default exprmem size
| * Remove the default size of ExprMem expressionsAjax2018-02-156-33/+36
| |
| * Complete the #676 by removing the default value in ExprId.__new__Ajax2018-02-151-1/+1
| |
* | Merge pull request #680 from commial/fix-simplificationsserpilliere2018-02-151-4/+17
|\ \ | | | | | | Fix a few simplifications
| * | 'simp_propag': avoid computing shifts when the size is tooAjax2018-02-151-3/+16
| | | | | | | | | | | | big (potential Python overflow)
| * | simp_compose: ensure the '/' is not rounded to 0, but really equals toAjax2018-02-151-1/+1
| |/
* | Merge pull request #681 from commial/fix/import-z3-on-demandserpilliere2018-02-151-1/+11
|\ \ | | | | | | Translator: import 'z3' only when it is really needed