about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* 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
| * IR/symbexec_types: Clean SymbExecTypesFabrice Desclaux2017-08-071-141/+28
| * ExprReducer: add kwargs arguments for reductionsFabrice Desclaux2017-08-072-44/+57
| * Examples: update apiFabrice Desclaux2017-08-072-5/+22
| * Objc: any Expr can be typedFabrice Desclaux2017-08-071-29/+18
| * Objc: support multi accesses/typesFabrice Desclaux2017-08-072-55/+66
| * Objc: normalize strict_accessFabrice Desclaux2017-07-221-11/+13
| * Objc: warn on non defined structuresFabrice Desclaux2017-07-221-0/+19
| * TypeMngr: generate name for unnamed structs/unionsFabrice Desclaux2017-08-041-4/+27
| * Objc: fix tipoFabrice Desclaux2017-08-041-4/+4
* | Merge pull request #598 from serpilliere/fix_adrCamille Mougey2017-08-071-0/+5
|\ \ | |/ |/|
| * Aarch64: add adr semanticFabrice Desclaux2017-08-071-0/+5
|/
* Merge pull request #594 from commial/refactor/expression-protected-attribsserpilliere2017-08-041-204/+191
|\
| * A defined 'size' is mandatory for `Expr` to workAjax2017-08-031-24/+16
| * Avoid breaking potential overriding of ExprIntAjax2017-08-031-1/+1
| * Avoid racing ._size assignment in ExprIntAjax2017-08-031-3/+6
| * Remove now useless propertyAjax2017-08-031-8/+0