about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | IR: simplify return if block is modifiedFabrice Desclaux2018-04-181-5/+12
| | | |
| * | | Asmblock: fix graph merge tipoFabrice Desclaux2018-04-151-1/+1
| |/ /
* | | Merge pull request #721 from serpilliere/add_arm_t2_instrCamille Mougey2018-04-1815-249/+1888
|\ \ \ | | | | | | | | Add arm t2 instr
| * | | Arm: add dsbFabrice Desclaux2018-04-182-1/+49
| | | |
| * | | 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-182-4/+5
| | | |
| * | | 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-187-239/+1536
| |/ /
* | | Merge pull request #715 from serpilliere/updt_readme_apiCamille Mougey2018-04-181-23/+24
|\ \ \ | | | | | | | | README: updt api & fix tipo
| * | | README: updt api & fix tipoFabrice Desclaux2018-04-161-23/+24
| | |/ | |/|
* | | Merge pull request #718 from serpilliere/fix_ida_symbol_loadCamille Mougey2018-04-181-0/+4
|\ \ \ | | | | | | | | Example/IDA: fix symbol loading
| * | | Example/IDA: fix symbol loadingFabrice Desclaux2018-04-151-0/+4
| | |/ | |/|
* | | 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
| |/ /
* | | Merge pull request #722 from serpilliere/fix_aarch64_regsCamille Mougey2018-04-181-21/+11
|\ \ \ | | | | | | | | Aarch64: fix tipo + fix reg list
| * | | Aarch64: fix tipo + fix reg listFabrice Desclaux2018-04-151-21/+11
| |/ /
* | | Merge pull request #723 from manwefm/updt_expr_demoCamille Mougey2018-04-181-5/+6
|\ \ \ | |/ / |/| | Update example with expressions manipulations
| * | Update example with expressions manipulationsmanwefm2018-04-161-5/+6
|/ /
* | Merge pull request #717 from serpilliere/fix_example_ida_bePierre Lalet2018-04-131-1/+1
|\ \ | |/ |/| Example/IDA: fix bigendian source info
| * 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 generation
| * 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 sem
| * 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 name
| * 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 cst
| * 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 symbols
| * 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 r0
| * 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!
* Merge pull request #698 from serpilliere/release_v0.0.1Camille Mougey2018-03-121-0/+10
|\ | | | | Add changelog
| * Add changelogFabrice Desclaux2018-03-121-0/+10
| |
* | Merge pull request #627 from WilliamBruneau/fix_dse_strategiesCamille Mougey2018-03-121-9/+27
|\ \ | | | | | | Fix dse strategies
| * | 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.
* | Merge pull request #697 from a-vincent/ppc-fix-negCamille Mougey2018-03-091-1/+1
|\ \ | | | | | | Fix NEG: write to the destination register
| * | 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
| |/