about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
...
| * 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 instr
| * Aarch64: missing dstflow instrFabrice Desclaux2017-08-091-1/+1
|/
* Merge pull request #596 from serpilliere/fix_ctypeCamille Mougey2017-08-0936-811/+1968
|\ | | | | Fix ctype
| * 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
| | | | | | | | | | Merge should return the union of types of both states instead of its intersection.
| * 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
| | | | | | | | | | The "strict_access" attributes return empty solutions if an access is made in the middle of an object.
| * 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 semantic
| * Aarch64: add adr semanticFabrice Desclaux2017-08-071-0/+5
|/
* Merge pull request #594 from commial/refactor/expression-protected-attribsserpilliere2017-08-041-204/+191
|\ | | | | Refactor/expression protected attribs
| * 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
| | | | | | | | | | | | | | | | | | | | With Singleton behavior activated, ._size can be set during __new__, and reset to None during __init__. During unpickling, attributes fixes and __init__ / __new__ call order can also result in a weird behavior Actually, as _size is not modified during __new__, ExprInt behavior is now homogeneous with others Expr's __init__
| * Remove now useless propertyAjax2017-08-031-8/+0
| |
| * Expr: move class-dependent attributes to protected oneAjax2017-08-031-187/+187
|/
* Merge pull request #593 from eqv/bugfix_missing_atomic_releaseserpilliere2017-08-021-1/+5
|\ | | | | fix atomic_mode leak
| * fix atomic_mode leakcoco2017-08-021-1/+5
|/
* Merge pull request #592 from commial/fix-hash-cstsserpilliere2017-08-011-2/+2
|\ | | | | Avoid potential (but unlikely) hash collision
| * Avoid potential (but unlikely) hash collisionAjax2017-08-011-2/+2
| |
* | Merge pull request #591 from serpilliere/remove_job_doneCamille Mougey2017-07-286-24/+30
|\ \ | | | | | | Asmblock: remove disasm engine job_done attribute
| * | Asmblock: remove disasm engine job_done attributeFabrice Desclaux2017-07-276-24/+30
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | WARNING: disasmEngine behaviour modification Before patch: job_done containted the already disassembled addresses. If the user disassembled twice the same addresse, the engine will return empty object on the second call. After patch: If the user disassemble twice the same addresse, the engine will return result of the disassembling in both cases.
* | | Merge pull request #590 from serpilliere/fix_macro_shiftWilliam Bruneau2017-07-253-94/+22
|\ \ \ | |/ / |/| | Jitter: fix shifter macro
| * | Jitter: fix shifter macroFabrice Desclaux2017-07-253-94/+22
|/ /
* | Merge pull request #589 from commial/fix/aarch64-imm-decodeserpilliere2017-07-242-24/+209
|\ \ | | | | | | Fix/aarch64 imm decode
| * | Aarch64: complete DecodeBitMasks test for full branch coverageAjax2017-07-241-0/+4
| | |
| * | Aarch64: remove useless codeAjax2017-07-241-11/+0
| | |
| * | Aarch64: decode ORR/AND/... imm according to ARM ASLAjax2017-07-241-16/+206
| | |