about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* 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 #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
| | |
| * | ARM Thumb: Support BLX Rd instruction with Rd > R7jetsecurity2018-09-271-1/+1
| |/
* | Merge pull request #852 from serpilliere/fix_lgtm_2Camille Mougey2018-09-2825-51/+33
|\ \ | | | | | | Code cleaning: lgtm.com
| * | Code cleaning: lgtm.comFabrice Desclaux2018-09-2025-51/+33
| | |
* | | Merge pull request #856 from serpilliere/appveyor_linkCamille Mougey2018-09-281-1/+1
|\ \ \ | | | | | | | | Readme: fix appveyor badge
| * | | Readme: fix appveyor badgeFabrice Desclaux2018-09-201-1/+1
| |/ / | | | | | | | | | I messed up and lost the origin link to the appveyor badge :/
* | | Merge pull request #858 from su-vikas/masterCamille Mougey2018-09-282-4/+4
|\ \ \ | |_|/ |/| | In ARM & Aarch64 MSR and MRS instructions' exception wrong names used
| * | MSR and MRS exception have instruction names interchangedVikas Gupta2018-09-272-4/+4
|/ /
* | Merge pull request #857 from trietptm/masterserpilliere2018-09-241-2/+2
|\ \ | |/ |/| Update README.md
| * Update README.mdMinh Triet Pham Tran2018-09-241-2/+2
|/
* Merge pull request #853 from serpilliere/fix_xmm_accessesCamille Mougey2018-09-1911-290/+369
|\ | | | | Fix xmm accesses
| * Test: add pcmpeq and 128bit regs get/setFabrice Desclaux2018-09-193-2/+83
| |
| * Jit/Arch: init regs size for all archFabrice Desclaux2018-09-196-263/+265
| |
| * JitCore: Fix bn to reg convertionFabrice Desclaux2018-09-192-22/+19
| |
| * Bignum: allow mask even for max bignum sizeFabrice Desclaux2018-09-191-3/+2
|/
* Merge pull request #854 from serpilliere/fix_mem_leaka-vincent2018-09-192-8/+37
|\ | | | | Jitter: Fix memory leak
| * Jitter: Fix memory leakFabrice Desclaux2018-09-192-8/+37
|/ | | | | | References on PyLong where lost. Memory exhaustion may hapen in python jitter because of high usage of get/set register.
* Merge pull request #851 from serpilliere/appveyor_readmyCamille Mougey2018-09-111-0/+1
|\ | | | | README: add appveyor status
| * README: add appveyor statusFabrice Desclaux2018-09-111-0/+1
| |
* | Merge pull request #850 from serpilliere/fix_aamCamille Mougey2018-09-111-16/+23
|\ \ | |/ |/| Fix aam
| * X86: rdmsr/wrmsr priv instrFabrice Desclaux2018-09-111-8/+2
| | | | | | | | | | | | RDMSR/WRMSR where modelised as load/store from special symbolic value. This behavior is not compatible with jit. If someone needs another model, fix mnemo_func.
| * X86: fix aam semFabrice Desclaux2018-09-101-8/+21
|/
* Adds Windows support and AppVeyor CI (#835)Axel Souchet2018-09-0928-324/+532
| | | | | | | | | | | | | | | | | | | | | | | | * Get miasm to work on Windows, also add AppVeyor CI * Fix gcc jitter on Linux * Make the dse_crackme tests work on Windows * calling build and then install is less confusing than install twice * fix os.rename race condition on Windows * clean it up * Clean up after the unused cl.exe's artifacts * Use is_win instead of an additional check * Fix issue on Windows where 'w' and 'wb' modes are different * Address review feedback * setuptools is actually not required, so reverting
* Merge pull request #839 from commial/feature/more-floatserpilliere2018-09-056-127/+160
|\ | | | | Feature/more float
| * Add support for more FP operations, expand fxamAjax2018-09-035-127/+126
| |
| * Add support for floating is_zero, is_inf, is_denormalAjax2018-08-301-0/+34
| |
* | Merge pull request #838 from serpilliere/remove_malware_sampleCamille Mougey2018-08-302-2/+2
|\ \ | | | | | | Remove malware sample
| * | Remove malware sampleFabrice Desclaux2018-08-302-2/+2
|/ /
* | Merge pull request #837 from commial/refactor/better-deterministic-testsserpilliere2018-08-302-9/+10
|\ \ | |/ |/| Refactor/better deterministic tests
| * Use the dse_crackme compiled versionAjax2018-08-302-7/+1
| |
| * Mark Linux specific tests with a tagAjax2018-08-301-2/+9
| |
* | Merge pull request #829 from serpilliere/fix_floatCamille Mougey2018-08-306-62/+90
|\ \ | | | | | | X86: fix float
| * | X86: fix floatFabrice Desclaux2018-08-296-62/+90
| |/
* | Merge pull request #827 from serpilliere/fix_mipsCamille Mougey2018-08-3013-126/+224
|\ \ | | | | | | Fix mips
| * | Expr: use TOK define instead of stringsFabrice Desclaux2018-08-297-61/+98
| | |
| * | Test/simplify: dont use concurrent simplificationsFabrice Desclaux2018-08-291-5/+4
| | |
| * | Mep: use correct operator in IRFabrice Desclaux2018-08-292-19/+12
| | |