about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
...
* Merge pull request #883 from w4kfu/zeroextent_cmovserpilliere2018-11-151-1/+1
|\ | | | | X86 SEM CMOV : add zeroextent if destination size is 32
| * X86 SEM CMOV : add assignationw4kfu2018-11-151-1/+1
| |
* | Merge pull request #882 from w4kfu/revert-879-mov_assignexpr_rot_shiftserpilliere2018-11-152-14/+7
|\ \ | | | | | | Revert 879 mov assignexpr rot shift ; Simplify assignexpr rot shift & patch simplification
| * | X86 SEM ROL/SHL/SHLD/... add assignationw4kfu2018-11-151-9/+3
| | |
| * | fix TypeError in C translatorw4kfu2018-11-141-1/+1
| | |
| * | fix simplification that delete affectationw4kfu2018-11-143-9/+8
| |/ | | | | | | Revert "X86 sem : mov assignexpr rot / shift"
* | Merge pull request #880 from w4kfu/cntleadzeros_return_valueserpilliere2018-11-142-4/+4
|\ \ | | | | | | change return type of cntleadzeros to uint64_t
| * | change return type of cntleadzeros to uint64_tw4kfu2018-11-132-4/+4
| |/
* | Merge pull request #884 from gitter-badger/gitter-badgeserpilliere2018-11-141-1/+1
|\ \ | |/ |/| Add a Gitter chat badge to README.md
| * Add Gitter badgeThe Gitter Badger2018-11-141-1/+1
|/
* Merge pull request #749 from commial/release_v0.1.0serpilliere2018-11-121-1/+54
|\ | | | | v0.1.0 Release + CHANGELOG
| * Release v0.1.0Ajax2018-11-121-1/+54
|/
* Merge pull request #871 from serpilliere/simp_multCamille Mougey2018-11-123-1/+95
|\ | | | | Simple: add multiplication simplification
| * Simple: add multiplication simplificationFabrice Desclaux2018-11-103-1/+95
| |
* | Merge pull request #867 from serpilliere/vm_get_intCamille Mougey2018-11-1111-83/+344
|\ \ | | | | | | Vm get int
| * | All: updt apiFabrice Desclaux2018-10-129-83/+79
| | |
| * | Jitter/Vm: add get/set u8/u16/u32/u64Fabrice Desclaux2018-10-122-0/+265
| | |
* | | Merge pull request #879 from w4kfu/mov_assignexpr_rot_shiftserpilliere2018-11-102-12/+14
|\ \ \ | |_|/ |/| | X86 sem : mov assignexpr rot / shift
| * | add zeroextent if destination size is 32w4kfu2018-11-101-11/+13
| | |
| * | fix TypeError in C translatorw4kfu2018-11-101-1/+1
| | |
* | | Merge pull request #869 from serpilliere/fix_use_sehCamille Mougey2018-11-092-4/+4
|\ \ \ | | | | | | | | Sandbox: change use_seh
| * | | Sandbox: change use_sehFabrice Desclaux2018-10-122-4/+4
| | |/ | |/| | | | | | | Option name change: use-windows-structs instead of use-seh.
* | | Merge pull request #876 from serpilliere/fix_arg_memCamille Mougey2018-11-091-4/+4
|\ \ \ | | | | | | | | ExprMem: fix remaining .arg accesses
| * | | ExprMem: fix remaining .arg accessesFabrice Desclaux2018-10-281-4/+4
| | | |
* | | | Merge pull request #864 from serpilliere/fix_hl_opCamille Mougey2018-11-095-92/+218
|\ \ \ \ | |_|_|/ |/| | | Fix hl op
| * | | Simplification: add high evel simpFabrice Desclaux2018-10-093-0/+18
| | | |
| * | | Test: add high level regression testsFabrice Desclaux2018-10-091-2/+58
| | | |
| * | | Simplifications: fix hl cond reductionFabrice Desclaux2018-10-092-23/+17
| | | | | | | | | | | | | | | | Match code to comment
| * | | Support high level operators in z3 translatorFabrice Desclaux2018-10-091-0/+30
| | | |
| * | | Simplifications: simplify by default high level opFabrice Desclaux2018-10-093-63/+89
| | | | | | | | | | | | | | | | Simplifify by default high level operators (<u, ...) with pure cst as arguments
| * | | Simplifications: fix bad simplificationsFabrice Desclaux2018-10-091-4/+6
| | |/ | |/|
* | | Merge pull request #874 from GAJaloyan/prpdomserpilliere2018-10-281-0/+12
|\ \ \ | |_|/ |/| | adding immediate postdominators computation.
| * | adding immediate postdominators computation.GAJaloyan2018-10-261-0/+12
|/ /
* | Merge pull request #866 from serpilliere/bs_get_intCamille Mougey2018-10-213-12/+97
|\ \ | | | | | | Bin_stream: add get_u8/u16/u32/u64
| * | Bin_stream: add get_u8/u16/u32/u64Fabrice Desclaux2018-10-113-12/+97
| |/
* | Merge pull request #870 from serpilliere/expr_mem_ptrCamille Mougey2018-10-2132-269/+278
|\ \ | | | | | | Expression: replace arg by ptr in ExprMem
| * | Expression: replace arg by ptr in ExprMemFabrice Desclaux2018-10-1232-269/+278
| |/
* | Merge pull request #872 from serpilliere/del_cache_simp_add_passCamille Mougey2018-10-121-0/+3
|\ \ | | | | | | Simplifier: clear cache on pass enabling
| * | Simplifier: clear cache on pass enablingFabrice Desclaux2018-10-121-0/+3
| |/
* | Merge pull request #868 from serpilliere/depreciate_label2blockCamille Mougey2018-10-121-2/+6
|\ \ | |/ |/| Asmblock: deprecate label2block
| * Asmblock: deprecate label2blockFabrice Desclaux2018-10-121-2/+6
|/
* Merge pull request #863 from serpilliere/fix_x86_decCamille Mougey2018-10-072-2/+8
|\ | | | | X86: fix inc/dec 64bit
| * X86: fix inc/dec 64bitFabrice Desclaux2018-10-062-2/+8
|/
* Merge pull request #855 from serpilliere/exprassignCamille Mougey2018-10-0645-1361/+1372
|\ | | | | Exprassign
| * Expresion: use ExprAssign instead of ExprAffFabrice Desclaux2018-10-0145-1361/+1372
| | | | | | | | | | | | ExprAff stands for (in french) "Expression affectation" We will now use ExprAssign (for Expression Assignment) (instead of ExprAss)
* | Merge pull request #861 from jetsecurity/eor_immediateserpilliere2018-10-012-0/+4
|\ \ | | | | | | ARM Thumb: Add EOR (immediate) instruction
| * | ARM Thumb: Add test for EOR (immediate) instructionjetsecurity2018-09-271-0/+3
| | |
| * | ARM Thumb: Add EOR (immediate) instructionjetsecurity2018-09-271-0/+1
| | |
* | | Merge pull request #860 from jetsecurity/blx_r8serpilliere2018-10-012-1/+4
|\ \ \ | |_|/ |/| | ARM Thumb: Support BLX Rd with Rd > R7
| * | ARM Thumb: Add test for BLX Rd where Rd > R7jetsecurity2018-09-271-0/+3
| | |