about summary refs log tree commit diff stats
path: root/example (follow)
Commit message (Collapse)AuthorAgeFilesLines
* IR: Make IRBlock immutableFabrice Desclaux2017-05-242-7/+11
|
* Example: clean codeFabrice Desclaux2017-05-152-104/+98
|
* Core/Objc: improuve internal type representationFabrice Desclaux2017-05-152-26/+22
|
* Merge pull request #550 from serpilliere/add_rot_pytransCamille Mougey2017-05-101-1/+1
|\ | | | | Add rot pytrans
| * Example: fix tipoFabrice Desclaux2017-05-091-1/+1
| |
* | Use and tiny test of .as_assignblock() behaviorAjax2017-05-091-2/+3
|/
* Example: fix simplify argumentFabrice Desclaux2017-05-071-1/+1
|
* Merge pull request #537 from commial/fix/ida-examplesserpilliere2017-04-252-15/+28
|\ | | | | Fix/ida examples
| * IDA: handle generated labels in depgraphAjax2017-04-251-1/+7
| |
| * IDA: fix depgraph for immutable AssignBlockAjax2017-04-251-8/+12
| |
| * IDA: fix graph_ir for immutable AssignBlockAjax2017-04-251-6/+9
| |
* | Remove PYTHONSTARTUP in end-user scriptsAjax2017-04-249-53/+1
|/
* Let GCC be the default jitterAjax2017-04-213-6/+6
|
* Example: add irblock simplification exampleFabrice Desclaux2017-04-212-2/+30
|
* Merge pull request #518 from commial/feature/dseserpilliere2017-04-212-0/+414
|\ | | | | Feature/dse
| * Add an example illustrating DSEAjax2017-04-182-0/+414
| |
* | IRBlock: move lines in AssignBlockFabrice Desclaux2017-04-202-4/+4
|/
* 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
|