about summary refs log tree commit diff stats
path: root/test (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Remove int '**' int test to let z3 always translate exprs ('**' was notAjax2018-02-141-8/+1
| | | | really used in Miasm)
* Update rot simplification, to avoid overflow casesAjax2018-02-141-10/+35
|
* ExpressionSimplification: Add a verbose modeAjax2018-02-141-1/+7
|
* A >> X >> Y => A >> (X+Y) ONLY IF X + Y does not overflowAjax2018-02-141-0/+9
|
* Use 3 arguments to highlight the recent #677 patchAjax2018-02-141-2/+2
|
* Check that expr_is_* are really computing the expected operationAjax2018-02-141-0/+30
|
* Add a check against z3 in simplifications regression testsAjax2018-02-142-12/+75
|
* Deprecate expr_cmps/expr_cmpu for a more verbose / understandable APIAjax2018-02-141-17/+16
|
* Merge pull request #678 from serpilliere/x86_fix_rclCamille Mougey2018-02-141-12/+0
|\ | | | | X86 fix rcl
| * X86: remove c_rez/rcl_rez/rcr_rez special operatorFabrice Desclaux2018-02-131-12/+0
| |
* | Merge pull request #677 from GAJaloyan/patch-1serpilliere2018-02-121-0/+4
|\ \ | |/ |/| Changing index from 1 to -1.
| * changing index of simplification from 1 to -1 in A op 0 => 02018-02-121-0/+4
| | | | | | | | + adding testcases
* | Merge pull request #674 from commial/feature-more-sseserpilliere2018-02-101-4/+111
|\ \ | | | | | | Add SSE instructions
| * | Add EMMS, implemtend as a NOPAjax2018-02-091-0/+3
| | |
| * | Add MASKMOVQ/MASKMOVDQU instructionAjax2018-02-091-0/+5
| | |
| * | Fix PEXTRW 0F C5 formAjax2018-02-091-4/+4
| | |
| * | Add PAVGB/PAVGW instructionAjax2018-02-091-0/+10
| | | | | | | | | | | | | | | | | | | | | 0F E0 /r PAVGB mm1, mm2/m64 66 0F E0, /r PAVGB xmm1, xmm2/m128 0F E3 /r PAVGW mm1, mm2/m64 66 0F E3 /r PAVGW xmm1, xmm2/m128
| * | Add PSADBW instructionAjax2018-02-091-0/+5
| | | | | | | | | | | | | | | 0F F6 /r PSADBW mm1, mm2/m64 66 0F F6 /r PSADBW xmm1, xmm2/m128
| * | Add PMADDWD instructionAjax2018-02-091-0/+5
| | | | | | | | | | | | | | | 0F F5 /r PMADDWD mm, mm/m64 66 0F F5 /r PMADDWD xmm1, xmm2/m128
| * | Add PMULUDQ instructionAjax2018-02-091-0/+5
| | | | | | | | | | | | | | | NP 0F F4 /r PMULUDQ mm1, mm2/m64 66 0F F4 /r PMULUDQ xmm1, xmm2/m128
| * | Add PMAXSW instructionAjax2018-02-091-0/+5
| | | | | | | | | | | | | | | 0F EE /r PMAXSW mm1, mm2/m64 66 0F EE /r PMAXSW xmm1, xmm2/m128
| * | Add PADDSB/PADDSW instructionAjax2018-02-091-0/+10
| | | | | | | | | | | | | | | | | | | | | NP 0F EC /r PADDSB mm, mm/m64 66 0F EC /r PADDSB xmm1, xmm2/m128 NP 0F ED /r PADDSW mm, mm/m64 66 0F ED /r PADDSW xmm1, xmm2/m128
| * | Add PSUBSB/PSUBSW instructionAjax2018-02-091-0/+10
| | | | | | | | | | | | | | | | | | | | | NP 0F E8 /r PSUBSB mm, mm/m64 66 0F E8 /r PSUBSB xmm1, xmm2/m128 NP 0F E9 /r PSUBSW mm, mm/m64 66 0F E9 /r PSUBSW xmm1, xmm2/m128
| * | Add PMULHW / PMULHUW instructionAjax2018-02-091-0/+10
| | | | | | | | | | | | | | | | | | | | | 0F E5 /r PMULHW mm, mm/m64 66 0F E5 /r PMULHW xmm1, xmm2/m128 NP 0F E4 /r PMULHUW mm1, mm2/m64 66 0F E4 /r PMULHUW xmm1, xmm2/m128
| * | Add PADDUSB/PADDUSW instructionAjax2018-02-091-0/+9
| | | | | | | | | | | | | | | 0F DC /r PADDUSB mm, mm/m64 66 0F DC /r PADDUSB xmm1, xmm2/m128
| * | Add PSUBSUB/PSUBUSW instrAjax2018-02-091-0/+11
| | | | | | | | | | | | | | | 0F D8 /r PSUBUSB mm, mm/m64 66 0F D8 /r PSUBUSB xmm1, xmm2/m128
| * | Add PMULLW instructionAjax2018-02-091-0/+5
| | |
| * | Add PACKSSDW instructionAjax2018-02-091-0/+5
| | | | | | | | | | | | | | | 0F 6B /r PACKSSDW mm1, mm2/m64 66 0F 6B /r PACKSSDW xmm1, xmm2/m128
| * | Add PACKUSWB instructionAjax2018-02-091-0/+5
| | |
| * | Add PACKSSWB instructionAjax2018-02-091-0/+4
| | | | | | | | | | | | | | | 0F 63 /r PACKSSWB mm1, mm2/m64 66 0F 63 /r PACKSSWB xmm1, xmm2/m128
* | | Expression: no default size for ExprIdFabrice Desclaux2018-02-098-63/+63
| | |
* | | IRBlock: getitem/len on assignblksFabrice Desclaux2018-02-092-13/+13
| | |
* | | IRBlock: irblock iterates on its assignblksFabrice Desclaux2018-02-092-3/+3
| | |
* | | IRBlock: replace irs by assignblksFabrice Desclaux2018-02-093-16/+16
|/ /
* / X86: fix cdq/cbw...Fabrice Desclaux2018-02-022-0/+446
|/
* Add PCMPGTB instructionAjax2018-01-261-0/+3
|
* Add PALIGNR x86 instruction (asm & semantic)Ajax2018-01-261-0/+3
|
* Add support for BNDMOV instruction (with an empty semantic)Ajax2018-01-261-0/+5
|
* Expression: use stp translatorFabrice Desclaux2018-01-111-8/+12
|
* X86: add mfence/sfence/prefetchFabrice Desclaux2017-12-301-0/+4
|
* update tests to use the new spacing of expressions' str()Aymeric Vincent2017-12-122-257/+257
|
* Various Win32 API additions/fixes (#616)Adrien Guinet2017-10-314-1/+166
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Various Win32 API additions/fixes * add a get_size method to Miasm heap object, which allows the implementation of mscvrt_realloc * add the concept of "current directory", with the default value being arbitrary set to "c:\tmp", which allows the implementation of {Get,Set}CurrentDirecrtory * various other methods implemented: - advapi32_RegCloseKey - advapi32_RegCreateKeyW - advapi32_RegSetValueExA - advapi32_RegSetValueExW - kernel32_GetProcessHeap - msvcrt_delete - msvcrt_fprintf - msvcrt_fwrite - msvcrt__mbscpy - msvcrt_new - msvcrt_realloc - msvcrt_sprintf - msvcrt_srand - msvcrt_strrchr - msvcrt_swprintf - msvcrt_wcscat - msvcrt_wcscmp - msvcrt_wcscpy - msvcrt__wcsicmp - msvcrt_wcslen - msvcrt_wcsncpy - msvcrt__wcsnicmp - msvcrt_wcsrchr
* DiGraph: fixed node order in natural loop backedgesTim Blazytko2017-10-181-2/+2
|
* Armt: add instr nop/cps/wfiFabrice Desclaux2017-09-241-0/+11
|
* Merge pull request #600 from commial/fix/dse-from-breakpointserpilliere2017-09-061-24/+87
|\ | | | | Fix/dse from breakpoint
| * Test/DSE: Autopep8 + PylintAjax2017-09-041-28/+38
| |
| * DSE: test the possibility to attach in a breakpointAjax2017-09-041-3/+56
| |
* | Test/DSE: producted file is already deleted by the exampleAjax2017-09-061-1/+0
| |
* | Merge pull request #611 from commial/feature/dse-politicsserpilliere2017-09-051-4/+10
|\ \ | | | | | | Feature/dse politics
| * | Test DSE examples with several strategiesAjax2017-09-051-4/+10
| |/