about summary refs log tree commit diff stats
path: root/example (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Introduce Sandbox.call, for direct function callingAjax2017-04-061-0/+23
|
* MD5_arm: run from the very beginningAjax2017-04-061-3/+0
|
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-305-11/+12
|
* analysis: Introduction of use-definition chainsCaroline Leman2017-03-294-7/+16
| | | | | | - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified'
* Example/full: fix tipoFabrice Desclaux2017-03-271-1/+1
|
* Core/asmbloc: move asmbloc to asmblockFabrice Desclaux2017-03-139-17/+17
|
* Asmbloc: rename asm_constraint to AsmConstraintFabrice Desclaux2017-03-131-2/+2
|
* Asmbloc: rename asm_label to AsmLabelFabrice Desclaux2017-03-133-7/+7
|
* All: rename vars bloc -> blockFabrice Desclaux2017-03-139-72/+72
|
* IR: rename blocs to blocksFabrice Desclaux2017-03-137-53/+53
|
* IR/Symbexec: rename symbexec to SymbolicExecutionEngineFabrice Desclaux2017-03-134-10/+10
|
* Test: add access_c/expr_c exampleFabrice Desclaux2017-02-172-0/+258
|
* Tests: add asm humanFabrice Desclaux2017-02-171-0/+41
|
* Merge pull request #494 from serpilliere/expression_reducerCamille Mougey2017-02-131-0/+93
|\ | | | | Expression: add ExprReduce
| * Expression: add ExprReduceFabrice Desclaux2017-02-131-0/+93
| |
* | Core/cpu: change ParseAst nameFabrice Desclaux2017-02-131-1/+1
|/
* Add a tracer exampleAjax2017-02-061-0/+58
|
* Example: add raw disasm to full.pyFabrice Desclaux2017-01-121-2/+9
|
* use python2 as executable name, give adequate permissionsAymeric Vincent2017-01-056-6/+6
|
* Expr: Remove exprint_fromFabrice Desclaux2016-12-233-7/+7
|
* Update IDA utils with the new APIAjax2016-11-171-3/+3
|
* ExprCompose: add new apiFabrice Desclaux2016-11-043-8/+5
| | | | | | | The ExprComposes uses directly its arguments sizes to guess the slices locations. Old api: ExprCompose([(a, 0, 32), (b, 32, 64)]) becomes: ExprCompose(a, b)
* Symbexec: new api for emul_ir_*Fabrice Desclaux2016-11-042-3/+3
| | | | | | | | | | | | | | Replacement: emul_ir_bloc(self, myir, addr, step=False) by: emul_ir_block(self, addr, step=False) and: emul_ir_blocs(self, myir, addr, lbl_stop=None, step=False) by: emul_ir_blocks(self, addr, lbl_stop=None, step=False) The 'myir' was already given in the symbolexec creation.
* Tests: add win seh testFabrice Desclaux2016-08-312-0/+132
|
* Example: updt elfesteem apiFabrice Desclaux2016-07-111-1/+1
|
* X86/arch: fix call @immserpilliere2016-04-241-4/+3
|
* Example/ida/depgraph: add basic stack unaliasingFabrice Desclaux2016-04-061-11/+45
|
* Example/Depgraph: allow lower/upper register trackingFabrice Desclaux2016-03-222-2/+5
|
* Introduce Container.symbol_pool, containing container symbols (if any)Ajax2016-03-211-2/+8
|
* Example/Depgraph: add JSON outputFabrice Desclaux2016-03-211-8/+31
|
* Example/dg: fix print solutionsFabrice Desclaux2016-03-211-2/+5
|
* Depgraph: updt apiFabrice Desclaux2016-03-212-12/+20
|
* Test/depgraph: use z3 to remove unsatisfiable solutionsFabrice Desclaux2016-03-171-0/+11
|
* Test/depgraph: autopepFabrice Desclaux2016-03-171-28/+29
|
* AssignBlockFabrice Desclaux2016-02-261-0/+2
|
* Graph: generic html dot codeFabrice Desclaux2016-01-301-1/+1
|
* Rename BasicBlocks -> AsmCFG, more comprehensible, include "graph"Ajax2016-01-261-2/+2
|
* BasicBlocks: update examples with the new APIAjax2016-01-268-28/+18
|
* Move types -> test_types to avoid namespace collision (creds @fmonjalet)Ajax2016-01-251-0/+0
|
* Types: misleading comment correction in exampleFlorent Monjalet2016-01-181-1/+1
|
* Types: Type size is now a propertyFlorent Monjalet2016-01-181-1/+1
|
* MemStruct/Types: example on type manipulationsFlorent Monjalet2016-01-181-1/+23
|
* MemStruct/Types: pinned renamed to lvalFlorent Monjalet2016-01-181-0/+2
|
* MemStruct/Types: Renamed analysis.mem to core.typesFlorent Monjalet2016-01-181-6/+6
|
* MemStruct: Pinned* renamed back to Mem*Florent Monjalet2016-01-181-11/+11
|
* MemStruct: Global doc updateFlorent Monjalet2016-01-181-16/+22
|
* MemStruct: allow Type instance in castFlorent Monjalet2016-01-181-3/+3
|
* MemStruct: Str typeFlorent Monjalet2016-01-181-10/+10
|
* MemStruct: Array/PinnedArray homogeneityFlorent Monjalet2016-01-181-1/+1
| | | | | Array access logic has moved to Array, Pinned(Sized)Array just contains the logic to interface with memory
* MemStruct: big refactor in processFlorent Monjalet2016-01-181-14/+15
| | | | Doc is currently incoherent, impl will also be completed