about summary refs log tree commit diff stats
path: root/miasm2/expression (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* remove #! command line on files not supposed to be run at top levelAymeric Vincent2017-01-052-2/+0
|
* Expr: Remove exprint_fromFabrice Desclaux2016-12-231-9/+9
|
* Exprsimp: updt apiFabrice Desclaux2016-12-231-87/+65
|
* Expr: add type accessorsFabrice Desclaux2016-12-231-0/+57
|
* Introduce ExprInt of any size (like others Expr)Ajax2016-12-142-12/+25
|
* Expr: Fix expr picklingFabrice Desclaux2016-11-201-3/+6
|
* Expr: missing warning importFabrice Desclaux2016-11-201-0/+1
|
* Add compatibility with copy.deepcopy for ExprAjax2016-11-081-0/+3
|
* Expression: one pass merge_sliceto_sliceAjax2016-11-071-63/+34
|
* ExprCompose: updt internal structFabrice Desclaux2016-11-044-256/+152
|
* ExprCompose: update apiFabrice Desclaux2016-11-043-28/+52
|
* ExprCompose: add new apiFabrice Desclaux2016-11-041-19/+28
| | | | | | | 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)
* Expression: add picklingFabrice Desclaux2016-11-041-0/+49
|
* IR: is_simp in the simplifier classFabrice Desclaux2016-11-042-16/+6
|
* Expression: slot expressionsFabrice Desclaux2016-11-041-0/+11
|
* Expression: remove is_term attributeserpilliere2016-11-042-140/+118
|
* Expression: Use singleton pattern for Expressionserpilliere2016-11-042-105/+165
| | | | | | | | | Start the transformation of Expression into immutable. Multiple problems were present in Expression class. One of them was comparison done through hash, which could generate collisions. The attributes is_simp/is_canon where linked to the instance, and could not survive to expression simplification.
* Expression/IR: Fix mem_read parameter in 'get_r'Caroline Leman2016-10-061-1/+1
|
* Update int(XX.arg) -> int(XX)Ajax2016-09-164-18/+18
|
* ExprInt: add shortcut for int, longAjax2016-09-161-0/+6
|
* Merge pull request #389 from jbcayrou/pow_opserpilliere2016-07-033-2/+7
|\ | | | | Add ** (pow) operator
| * Add ** (pow) operatorJB Cayrou2016-06-293-2/+7
| |
* | Fix ExprOp_inf_signed + unit tests #385JB Cayrou2016-06-291-4/+4
|/
* Introduce `possible_values` helperAjax2016-03-171-0/+124
| | | | | Retrieve values of an Expr with their associated constraint. Thanks to @serpilliere
* Merge pull request #330 from serpilliere/assignblockCamille Mougey2016-02-261-3/+0
|\ | | | | Assignblock
| * AssignBlockFabrice Desclaux2016-02-261-3/+0
| |
* | Handle ExprAff in MatchExprCamille Mougey2016-02-251-0/+11
|/
* Tipo: dictionaryFabrice Desclaux2016-01-301-4/+4
|
* Expression: slotsFabrice Desclaux2016-01-152-20/+47
|
* smt2_translator: added smt2_assert and smt2_or to smt_helper. refactored ↵Tim Blazytko2016-01-071-6/+26
| | | | other smt2_helpers to work with multiple arguments
* smt2_translator: fixed commentsTim Blazytko2016-01-071-3/+3
|
* smt2_translator: added expression helpersTim Blazytko2016-01-051-0/+276
|
* Expression: repr cpuid opFabrice Desclaux2015-11-221-0/+1
|
* ModInt: mimic C modulo instead of Python rounded oneAjax2015-11-161-2/+2
|
* ModInt: mimic C division instead of Python rounded oneAjax2015-11-161-2/+2
|
* Simplifications: add cst_propagation for >>>/<<< c_rezAjax2015-11-161-0/+33
|
* Simplifications: '>>>', '<<<' with rounds > sizeAjax2015-11-121-3/+4
|
* Merge pull request #250 from serpilliere/ExprInt_apiFlorent2015-10-293-34/+35
|\ | | | | Expression: normalize ExprInt api
| * Expression: fix apiFabrice Desclaux2015-10-293-25/+20
| |
| * Expression: normalize ExprInt apiFabrice Desclaux2015-10-291-9/+15
| |
* | Expression: autopep8serpilliere2015-10-281-4/+2
| |
* | Expression: enhance exprop reprserpilliere2015-10-281-2/+4
|/
* Expression/expression: fix op len sanitycheckserpilliere2015-10-231-4/+12
|
* Expression: move is_func_call to expr scrFabrice Desclaux2015-09-231-3/+3
|
* Expression/helper: add macro cmpu/cmpsFabrice Desclaux2015-07-291-0/+19
|
* Expr/Simplifications: add shift/slice reductionFabrice Desclaux2015-07-231-0/+15
|
* expr/simplification: fix slice of composeserpilliere2015-07-101-1/+1
|
* Inits: Add docstring for main modulesAjax2015-06-191-0/+1
|
* Simplifications: Remove useless statementsAjax2015-06-111-8/+0
|
* Expression/Simplification: add slice/composeFabrice Desclaux2015-06-051-1/+32
|