about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
...
* | 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
| |
* | Merge pull request #604 from serpilliere/fix_ctype_exampleCamille Mougey2017-08-211-1/+3
|\ \ | | | | | | Example/ctype: fix propagation on mem write
| * | Example/ctype: fix propagation on mem writeFabrice Desclaux2017-08-141-1/+3
| |/ | | | | | | | | Display the destination type if it's a memory variable, and we know its type (we consider source and destination have the same type).
* | Merge pull request #603 from serpilliere/pycparser_versionCamille Mougey2017-08-211-1/+1
|\ \ | | | | | | README: pycparser min version
| * | README: pycparser min versionFabrice Desclaux2017-08-101-1/+1
| |/
* | Merge pull request #606 from serpilliere/x86_smswCamille Mougey2017-08-211-2/+20
|\ \ | | | | | | X86/sem: add smsw
| * | X86/sem: add smswFabrice Desclaux2017-08-161-2/+20
| |/
* | Merge pull request #605 from serpilliere/fix_win_apiCamille Mougey2017-08-211-88/+83
|\ \ | |/ |/| Clean some win api
| * Win_api: updt r0 dbg listFabrice Desclaux2017-08-181-1/+1
| |