about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Example/IDA: fix symbol loadingFabrice Desclaux2018-04-151-0/+4
* Merge pull request #717 from serpilliere/fix_example_ida_bePierre Lalet2018-04-131-1/+1
|\
| * Example/IDA: fix bigendian source infoFabrice Desclaux2018-04-121-1/+1
|/
* Merge pull request #710 from serpilliere/fix_segm_sizeCamille Mougey2018-04-091-14/+32
|\
| * X86: fix segm's size generationFabrice Desclaux2018-04-091-14/+32
* | Merge pull request #712 from serpilliere/fix_x86_semCamille Mougey2018-04-093-7/+19
|\ \ | |/ |/|
| * X86/sem: fix cmpxchg semFabrice Desclaux2018-04-083-7/+19
|/
* Merge pull request #707 from serpilliere/fix_bp_memory_nameCamille Mougey2018-03-287-14/+18
|\
| * Fix memory breakpoint nameFabrice Desclaux2018-03-287-14/+18
* | Merge pull request #708 from serpilliere/fix_cstCamille Mougey2018-03-281-1/+1
|\ \ | |/ |/|
| * Fix test rw cstFabrice Desclaux2018-03-281-1/+1
|/
* Merge pull request #699 from serpilliere/symb_mem_hashCamille Mougey2018-03-1521-569/+1392
|\
| * Symbexec: use hashtable for mem symbolsFabrice Desclaux2018-03-1521-569/+1392
|/
* Merge pull request #701 from a-vincent/fix-ppc-stores-r0Camille Mougey2018-03-151-2/+3
|\
| * Fix the 011111 group of store instructions wrt r0Aymeric Vincent2018-03-151-2/+3
|/
* Merge pull request #698 from serpilliere/release_v0.0.1Camille Mougey2018-03-121-0/+10
|\
| * Add changelogFabrice Desclaux2018-03-121-0/+10
* | Merge pull request #627 from WilliamBruneau/fix_dse_strategiesCamille Mougey2018-03-121-9/+27
|\ \
| * | 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
| * | Do not use current address to compute path for the new solutionWilliam Bruneau2018-03-121-1/+4
| * | Reinitialize _history when restoring snapshotWilliam Bruneau2018-03-121-0/+4
|/ /
* | Merge pull request #697 from a-vincent/ppc-fix-negCamille Mougey2018-03-091-1/+1
|\ \
| * | Fix NEG: write to the destination registerAymeric Vincent2018-03-091-1/+1
|/ /
* | 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.Aymeric Vincent2018-03-081-10/+11
| |/
* | Merge pull request #693 from a-vincent/ppc-fix-getdstflowCamille Mougey2018-03-091-2/+2
|\ \
| * | Fix branches which currently have a useless CR fieldAymeric Vincent2018-03-091-2/+2
| |/
* | Merge pull request #692 from a-vincent/ignore-bi-on-nonconditional-branchCamille Mougey2018-03-081-3/+1
|\ \ | |/ |/|
| * Allow any condition on non-conditional branchesAymeric Vincent2018-03-081-3/+1
|/
* Merge pull request #691 from commial/fix/start-ppcserpilliere2018-03-054-28/+61
|\
| * Linux fake: __libc_start_main implementation for PPCAjax2018-03-052-9/+40
| * Sandbox: on Linux env import, also set the ABORT_ADDRAjax2018-03-052-19/+21
|/
* Merge pull request #690 from serpilliere/integrate_ppcCamille Mougey2018-03-0510-3/+46
|\
| * LLVM: fix rot 0Fabrice Desclaux2018-03-051-1/+3
| * Test: add ppc32b testsFabrice Desclaux2018-03-042-0/+5
| * Jitter/python: support little endianFabrice Desclaux2018-03-043-2/+21
| * PPC32: integrationFabrice Desclaux2018-03-044-0/+17
|/
* Merge pull request #689 from a-vincent/fix-ppc-branchserpilliere2018-03-021-3/+3
|\
| * Fix semantics of conditional jumpsAymeric Vincent2018-03-021-3/+3
|/
* Merge pull request #688 from a-vincent/arch_ppcserpilliere2018-03-0217-4/+2494
|\
| * Add support for PowerPC 32bit big-endian processors: "ppc32b"Aymeric Vincent2018-02-2617-4/+2494
|/
* Merge pull request #687 from a-vincent/fix-finish-addrCamille Mougey2018-02-221-3/+3
|\
| * 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 of 4Aymeric Vincent2018-02-161-2/+2
| |/
* | Merge pull request #685 from a-vincent/fix-preload_elf-endiannessserpilliere2018-02-161-2/+7
|\ \ | |/ |/|
| * Enforce correct endianness of PLT entriesAymeric Vincent2018-02-161-2/+7
|/