about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #642 from a-vincent/expr_nicerserpilliere2017-12-143-273/+303
|\ | | | | Remove some unnecessary parentheses when str()'ing expressions
| * update tests to use the new spacing of expressions' str()Aymeric Vincent2017-12-122-257/+257
| |
| * Remove some unnecessary parentheses when str()'ing expressionsAymeric Vincent2017-12-121-16/+46
|/ | | | | | | | This patch removes quite a few useless parentheses from expressions thanks to the usual priorities between operators. It is conservative in the sense that not all such parentheses are removed when we felt the priorities won't be known by most users.
* Merge pull request #643 from commial/fix/support-llvmlite-0.21serpilliere2017-12-111-4/+4
|\ | | | | Travis: switch to llvm-5.0 for LLVMLite 0.21
| * Travis: switch to llvm-5.0 for LLVMLite 0.21Ajax2017-12-111-4/+4
|/
* Merge pull request #640 from commial/fix/support-llvmlite-0.20Pierre Lalet2017-11-282-10/+9
|\ | | | | Fix/support llvmlite 0.20
| * Update llvmlite install on travisAjax2017-11-281-8/+7
| |
| * Update to new llvmlite way to get globalsAjax2017-11-241-2/+2
| |
* | Merge pull request #635 from serpilliere/x86_fix_repCamille Mougey2017-11-081-1/+3
|\ \ | | | | | | x86: fix rep ecx
| * | x86: fix rep ecxFabrice Desclaux2017-11-071-1/+3
| |/
* | Various Win32 API additions/fixes (#616)Adrien Guinet2017-10-317-29/+433
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
* | Merge pull request #628 from mrphrazer/fix_natural_loopsCamille Mougey2017-10-192-3/+3
|\ \ | |/ |/| DiGraph: fixed node order in natural loop backedges
| * DiGraph: fixed node order in natural loop backedgesTim Blazytko2017-10-182-3/+3
|/
* Merge pull request #623 from commial/fix/removing-TODOserpilliere2017-10-051-1/+1
|\ | | | | Remove a dev-TODO (thanks @WilliamBruneau)
| * Remove a dev-TODO (thanks @WilliamBruneau)Ajax2017-10-051-1/+1
|/
* Merge pull request #622 from Frky/patch-1Camille Mougey2017-10-041-1/+1
|\ | | | | Update README.md
| * Update README.md_Frky2017-10-041-1/+1
|/ | | Change dis_multibloc (deprecated warning) to dis_multiblock
* Merge pull request #618 from serpilliere/fix_propagCamille Mougey2017-10-033-4/+12
|\ | | | | Ctypes: allow analysis on incomplete graphs
| * Objc: missing pure int checkFabrice Desclaux2017-10-031-0/+2
| |
| * Ctypes: allow analysis on incomplete graphsFabrice Desclaux2017-10-032-4/+10
| |
* | Merge pull request #617 from serpilliere/updt_armtCamille Mougey2017-10-032-0/+47
|\ \ | |/ |/| Updt armt
| * Armt: add instr nop/cps/wfiFabrice Desclaux2017-09-242-0/+45
| |
| * Armt: fix bl bad dstFabrice Desclaux2017-09-241-0/+2
|/
* Merge pull request #615 from serpilliere/fix_ida_plugin_sizeCamille Mougey2017-09-071-17/+15
|\ | | | | Example/ida: fix size issue
| * Example/ida: fix size issueFabrice Desclaux2017-09-071-17/+15
| |
* | 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
| |/
* | Merge pull request #614 from commial/fix/dse-example-parallelserpilliere2017-09-063-6/+14
|\ \ | | | | | | Fix/dse example parallel
| * | Test/DSE: producted file is already deleted by the exampleAjax2017-09-061-1/+0
| | |
| * | DSE: avoid using the same test.txt file in test, allowing parallelismAjax2017-09-062-5/+14
|/ /
* | Merge pull request #611 from commial/feature/dse-politicsserpilliere2017-09-054-50/+240
|\ \ | | | | | | Feature/dse politics
| * | Test DSE examples with several strategiesAjax2017-09-051-4/+10
| | |
| * | Add a simpler illustrating the DSE useAjax2017-09-051-0/+129
| | |
| * | DSE: update example to use coverage provided by the moduleAjax2017-09-051-35/+29
| | |
| * | DSE: add support for several strategies (code/branch/path coverage)Ajax2017-09-051-13/+65
| | |
| * | DSE: update example to use compute_solutionAjax2017-09-051-5/+5
| | |
| * | DSE: separate solution decision and solution computationAjax2017-09-051-5/+14
| |/ | | | | | | Avoid potential useless and costly Solver.check
* | Merge pull request #610 from serpilliere/x86_add_instrCamille Mougey2017-09-056-5/+351
|\ \ | |/ |/| X86 add instr
| * X86: add sem pcmp*Fabrice Desclaux2017-09-041-5/+39
| |
| * Expression: add expression comparison generatorsFabrice Desclaux2017-09-043-0/+290
| |
| * X86: add instr pcmpFabrice Desclaux2017-09-012-0/+8
| |
| * X86: add instr aesFabrice Desclaux2017-09-012-0/+14
|/
* Merge pull request #609 from serpilliere/fix_x86_sibCamille Mougey2017-09-012-2/+10
|\ | | | | X86: fix sib generation
| * X86: fix sib generationFabrice Desclaux2017-09-012-2/+10
|/
* Merge pull request #602 from serpilliere/add_reductionsCamille Mougey2017-09-013-310/+307
|\ | | | | Add reductions
| * Simplifications: add regression testsFabrice Desclaux2017-08-101-0/+4
| |
| * Expression/Simplifications: modify x?b:c + dFabrice Desclaux2017-08-101-15/+21
| |
| * Expression/Simplifications: clean codeFabrice Desclaux2017-08-101-279/+269
| |
| * Simplifications: ExprMem(a?b:c) and {x?a:b, x?c:d}Fabrice Desclaux2017-08-102-31/+28
| |