about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* 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
|/
* Merge pull request #596 from serpilliere/fix_ctypeCamille Mougey2017-08-0936-811/+1968
|\
| * Example: add constant expression propagationFabrice Desclaux2017-08-0922-2/+442
| * Symbexec: add get_blockFabrice Desclaux2017-08-084-36/+22
| * Example: add ctype_propagationFabrice Desclaux2017-08-082-20/+211
| * SymbexecTypes: fix mergeFabrice Desclaux2017-08-081-4/+3
| * Objc: return accesses setFabrice Desclaux2017-08-082-59/+50
| * Objc: hash, eq for CGenFabrice Desclaux2017-08-081-28/+116
| * Objc: add regression testFabrice Desclaux2017-08-082-0/+555
| * Example: update apiFabrice Desclaux2017-08-084-86/+96
| * Ir/SymbExecCTypes: fix c types use with setFabrice Desclaux2017-08-071-7/+15
| * Objc: update apiFabrice Desclaux2017-08-071-41/+79
| * Objc: enhance C str typesFabrice Desclaux2017-08-071-1/+7
| * Objc: store function arguments'namesFabrice Desclaux2017-08-072-10/+17
| * Objc: merge type analyzer and get_accessFabrice Desclaux2017-08-071-304/+108
| * Objc: C object are now hashable, immutable, cmpFabrice Desclaux2017-08-071-85/+104
| * Objc: fix__str__Fabrice Desclaux2017-08-071-23/+38
| * Objc: add ObjC cmpFabrice Desclaux2017-08-071-44/+83