about summary refs log tree commit diff stats
path: root/miasm2/expression (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Rename miasm2 to miasmFabrice Desclaux2019-03-0511-5700/+0
|
* Support python2/python3Fabrice Desclaux2019-03-055-96/+157
|
* Add simp cst == X+ cst; X ^cst = cstFabrice Desclaux2019-02-121-22/+37
|
* Add simplificationsFabrice Desclaux2019-02-123-10/+57
|
* Simplifications: simplify slice of opFabrice Desclaux2019-01-261-3/+11
|
* Fix bad englishFabrice Desclaux2019-01-171-3/+3
|
* Merge pull request #942 from serpilliere/rename_idiv_sdivCamille Mougey2019-01-162-4/+4
|\ | | | | Rename idiv/imod into sdiv/smod
| * Rename idiv/imod into sdiv/smodFabrice Desclaux2019-01-152-4/+4
| |
* | Expressions/Simplifications: clean codeFabrice Desclaux2019-01-151-60/+91
| |
* | Expression: add simplificationsFabrice Desclaux2019-01-152-27/+267
|/
* Fix typos & add codespellPierre LALET2018-12-234-18/+18
|
* Expr: fix replace_expr argsFabrice Desclaux2018-12-091-5/+2
|
* perfomance featureMizari2018-12-061-8/+3
|
* Simple: add multiplication simplificationFabrice Desclaux2018-11-102-0/+76
|
* Merge pull request #864 from serpilliere/fix_hl_opCamille Mougey2018-11-093-90/+127
|\ | | | | Fix hl op
| * Simplification: add high evel simpFabrice Desclaux2018-10-092-0/+15
| |
| * Simplifications: fix hl cond reductionFabrice Desclaux2018-10-092-23/+17
| | | | | | | | Match code to comment
| * Simplifications: simplify by default high level opFabrice Desclaux2018-10-093-63/+89
| | | | | | | | Simplifify by default high level operators (<u, ...) with pure cst as arguments
| * Simplifications: fix bad simplificationsFabrice Desclaux2018-10-091-4/+6
| |
* | Merge pull request #870 from serpilliere/expr_mem_ptrCamille Mougey2018-10-214-45/+54
|\ \ | | | | | | Expression: replace arg by ptr in ExprMem
| * | Expression: replace arg by ptr in ExprMemFabrice Desclaux2018-10-124-45/+54
| |/
* / Simplifier: clear cache on pass enablingFabrice Desclaux2018-10-121-0/+3
|/
* Expresion: use ExprAssign instead of ExprAffFabrice Desclaux2018-10-013-19/+30
| | | | | | ExprAff stands for (in french) "Expression affectation" We will now use ExprAssign (for Expression Assignment) (instead of ExprAss)
* Code cleaning: lgtm.comFabrice Desclaux2018-09-201-1/+0
|
* Add support for floating is_zero, is_inf, is_denormalAjax2018-08-301-0/+34
|
* Merge pull request #829 from serpilliere/fix_floatCamille Mougey2018-08-301-2/+0
|\ | | | | X86: fix float
| * X86: fix floatFabrice Desclaux2018-08-291-2/+0
| |
* | Expr: use TOK define instead of stringsFabrice Desclaux2018-08-294-45/+77
| |
* | Simplify/explicit: add missing opFabrice Desclaux2018-08-291-0/+8
| |
* | Expression: add simp condFabrice Desclaux2018-08-292-0/+15
|/
* Merge pull request #828 from serpilliere/fix_lgtm_1Camille Mougey2018-08-293-6/+1
|\ | | | | Code cleaning: lgtm.com
| * Code cleaning: lgtm.comFabrice Desclaux2018-08-233-6/+1
| |
* | ExprReduce: fix missing sub class useFabrice Desclaux2018-08-281-8/+12
| |
* | Expr/Reduce: gen exprnode subclassFabrice Desclaux2018-08-241-24/+122
| |
* | adding a new simplification for double zeroExtends and signExtends.GAJaloyan2018-08-202-0/+21
|/
* Add support for CC_POSCamille Mougey2018-08-081-0/+4
|
* Simplifications: add common hl reductionsFabrice Desclaux2018-08-062-4/+355
|
* Simplifications: add high level to low level reductionFabrice Desclaux2018-08-062-0/+175
|
* Expression: add CC flagsFabrice Desclaux2018-08-061-8/+27
|
* Expression: add simplificationFabrice Desclaux2018-08-061-1/+13
|
* Expression: fix slice assignmentFabrice Desclaux2018-07-191-1/+3
|
* Expression: introduce operation on float (comparision, equality to ↵Ajax2018-07-101-0/+77
| | | | NaN/sNan/qNaN)
* Introduce the new float notation and operations for x86 semanticAjax2018-07-101-20/+6
| | | | | | | | | | | | | | | Basically, operations are: - fpconvert_fp32, fpconvert_fp64, fpconvert_fp80: convert from a floating point to another (truncate or extend) - sint_to_fp32, sint_to_fp64, sint_to_fp80: convert from a signed integer to a floating point number (original size can differ) - fp_to_sint32, fp_to_sint64, ...: convert from a floating point number to a signed integer, as ExprInt. Rounding mode is nearbyint. (original size can differ) - fpround_nearbyint: convert from floating point to floating point using the nearest int - fpround_towardszero: convert from floating point to floating point, towards zero
* ExprLoc/LocKey: avoid ambiguity in string representationAjax2018-07-021-2/+2
|
* Expr: add simplification shift maskFabrice Desclaux2018-06-211-0/+20
|
* Example/ida: use addr to guess archFabrice Desclaux2018-06-191-5/+5
| | | | | Some arch like ARM depends on address in order to determine which attributes have to be used during analysis
* Unify ExprLoc str with LocKey and othersAjax2018-06-171-1/+1
|
* Core: replace AsmLabel by LocKeyFabrice Desclaux2018-06-091-11/+14
|
* Expr: Add new word ExprLocFabrice Desclaux2018-06-083-32/+168
| | | | | This word represents a location in the binary. Thus, the hack of ExprId containing an AsmLabel ends here.
* Op bsr/bsf are replaced by cnttrailzeros / cntleadzeros, defined in 0Ajax2018-05-151-6/+8
|