about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Update to new llvmlite way to get globalsAjax2017-11-241-2/+2
* Merge pull request #623 from commial/fix/removing-TODOserpilliere2017-10-051-1/+1
|\
| * 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_Frky2017-10-041-1/+1
|/
* Merge pull request #618 from serpilliere/fix_propagCamille Mougey2017-10-033-4/+12
|\
| * 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
|\ \ | |/ |/|
| * 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 issueFabrice Desclaux2017-09-071-17/+15
* | Merge pull request #600 from commial/fix/dse-from-breakpointserpilliere2017-09-061-24/+87
|\ \
| * | 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
|\ \
| * | 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
|\ \
| * | 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
| |/
* | Merge pull request #610 from serpilliere/x86_add_instrCamille Mougey2017-09-056-5/+351
|\ \ | |/ |/|
| * 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 generationFabrice Desclaux2017-09-012-2/+10
|/
* Merge pull request #602 from serpilliere/add_reductionsCamille Mougey2017-09-013-310/+307
|\
| * 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 writeFabrice Desclaux2017-08-141-1/+3
| |/
* | Merge pull request #603 from serpilliere/pycparser_versionCamille Mougey2017-08-211-1/+1
|\ \
| * | 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 smswFabrice Desclaux2017-08-161-2/+20
| |/
* | Merge pull request #605 from serpilliere/fix_win_apiCamille Mougey2017-08-211-88/+83
|\ \ | |/ |/|
| * Win_api: updt r0 dbg listFabrice Desclaux2017-08-181-1/+1
| * Win_api: updt time functionsFabrice Desclaux2017-08-181-23/+66
| * Win_api: fix access_dictFabrice Desclaux2017-08-181-64/+16
|/
* Merge pull request #601 from serpilliere/aarch64_fixCamille Mougey2017-08-091-1/+1
|\
| * Aarch64: missing dstflow instrFabrice Desclaux2017-08-091-1/+1
|/