about summary refs log tree commit diff stats
path: root/example/expression (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update example with expressions manipulationsmanwefm2018-04-161-5/+6
|
* Symbexec: use hashtable for mem symbolsFabrice Desclaux2018-03-152-30/+10
|
* Remove the default size of ExprMem expressionsAjax2018-02-153-5/+5
|
* Expression: no default size for ExprIdFabrice Desclaux2018-02-096-14/+14
|
* IRBlock: getitem/len on assignblksFabrice Desclaux2018-02-091-4/+4
|
* IRBlock: irblock iterates on its assignblksFabrice Desclaux2018-02-091-4/+4
|
* IRBlock: replace irs by assignblksFabrice Desclaux2018-02-092-5/+5
|
* Expression: use stp translatorFabrice Desclaux2018-01-111-118/+95
|
* Example: add constant expression propagationFabrice Desclaux2017-08-091-0/+54
|
* Symbexec: add get_blockFabrice Desclaux2017-08-081-16/+1
|
* Example: update apiFabrice Desclaux2017-08-083-47/+27
|
* Examples: update apiFabrice Desclaux2017-08-071-2/+3
|
* Asmblock: rename blocFabrice Desclaux2017-07-073-3/+3
|
* IR: rename add_blocFabrice Desclaux2017-07-074-5/+5
|
* IR: rename get_blocFabrice Desclaux2017-07-071-1/+1
|
* IR: avoid IRBlock attribute creationFabrice Desclaux2017-05-241-16/+19
|
* Example: clean codeFabrice Desclaux2017-05-152-104/+98
|
* Core/Objc: improuve internal type representationFabrice Desclaux2017-05-152-26/+22
|
* Remove PYTHONSTARTUP in end-user scriptsAjax2017-04-243-16/+0
|
* IRBlock: move lines in AssignBlockFabrice Desclaux2017-04-201-2/+2
|
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-304-9/+10
|
* analysis: Introduction of use-definition chainsCaroline Leman2017-03-292-3/+4
| | | | | | - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified'
* Core/asmbloc: move asmbloc to asmblockFabrice Desclaux2017-03-133-8/+8
|
* Asmbloc: rename asm_label to AsmLabelFabrice Desclaux2017-03-131-4/+4
|
* All: rename vars bloc -> blockFabrice Desclaux2017-03-133-32/+32
|
* IR: rename blocs to blocksFabrice Desclaux2017-03-134-29/+29
|
* IR/Symbexec: rename symbexec to SymbolicExecutionEngineFabrice Desclaux2017-03-132-6/+6
|
* Test: add access_c/expr_c exampleFabrice Desclaux2017-02-172-0/+258
|
* 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
|/
* Expr: Remove exprint_fromFabrice Desclaux2016-12-232-6/+6
|
* 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)
* AssignBlockFabrice Desclaux2016-02-261-0/+2
|
* BasicBlocks: update examples with the new APIAjax2016-01-261-1/+1
|
* IR: replace `.g` with a lazy built `.graph`, avoiding the need of `gen_graph`Ajax2015-12-073-9/+4
|
* Example: move output .txt to .dotAjax2015-11-094-8/+8
|
* Example/Expr: unused importAjax2015-11-061-3/+3
|
* Example/Expr: reorganize importsAjax2015-11-061-6/+5
|
* Example/Expr: unused importAjax2015-11-061-1/+0
|
* Example/EXPR: unused importAjax2015-11-061-1/+0
|
* Example/EXPR: unused import DiGraphAjax2015-11-061-1/+0
|
* Core/parse_asm: update parse_txt API useserpilliere2015-10-292-2/+1
|
* GraphDataflow: A function where never executed / testedAjax2015-04-301-4/+10
|
* GraphDataflow: Refactor, PyLintingAjax2015-04-301-62/+22
|
* GraphDataflow: update APIAjax2015-04-301-2/+3
|
* Parse_asm: generate asm_label on symbol parsingFabrice Desclaux2015-04-011-5/+6
| | | | | | | For an unknown symbol, instead of generating ExprId('toto'), it will generate ExprId(asm_label('toto')). As label is generated in the architecture, this label must be catched in the parse_asm module to be inserted in the current symbol_pool.
* Clean: remove unecessary ast_parser modificationFabrice Desclaux2015-04-011-7/+0
|
* Asmbloc: updt asmbloc apiFabrice Desclaux2015-04-011-1/+1
|
* Example/Expression: Set the seed for ExprRandom usesCamille Mougey2015-01-232-0/+5
|