about summary refs log tree commit diff stats
path: root/miasm2/ir (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Rename miasm2 to miasmFabrice Desclaux2019-03-0513-3937/+0
|
* Support python2/python3Fabrice Desclaux2019-03-0510-137/+178
|
* Symbexec: fix contain useFabrice Desclaux2019-02-121-28/+0
|
* Remove old api supportFabrice Desclaux2019-02-123-144/+5
|
* Translator/z3: fix tipo in z3 cmp operatorsFabrice Desclaux2019-02-081-2/+2
| | | | | | As stated in https://github.com/Z3Prover/z3/blob/master/src/api/python/z3/z3.py "Use the operator <= for signed less than or equal to."
* Jitter: support high level flagsFabrice Desclaux2019-01-271-9/+56
|
* Fix bad englishFabrice Desclaux2019-01-173-3/+3
|
* Rename idiv/imod into sdiv/smodFabrice Desclaux2019-01-153-8/+8
|
* Fix typos & add codespellPierre LALET2018-12-236-16/+16
|
* Merge pull request #879 from w4kfu/mov_assignexpr_rot_shiftserpilliere2018-11-101-1/+1
|\ | | | | X86 sem : mov assignexpr rot / shift
| * fix TypeError in C translatorw4kfu2018-11-101-1/+1
| |
* | Merge pull request #864 from serpilliere/fix_hl_opCamille Mougey2018-11-091-0/+30
|\ \ | |/ |/| Fix hl op
| * Support high level operators in z3 translatorFabrice Desclaux2018-10-091-0/+30
| |
* | Expression: replace arg by ptr in ExprMemFabrice Desclaux2018-10-127-20/+20
|/
* Expresion: use ExprAssign instead of ExprAffFabrice Desclaux2018-10-018-18/+18
| | | | | | ExprAff stands for (in french) "Expression affectation" We will now use ExprAssign (for Expression Assignment) (instead of ExprAss)
* Add support for more FP operations, expand fxamAjax2018-09-031-3/+10
|
* Merge pull request #829 from serpilliere/fix_floatCamille Mougey2018-08-301-13/+7
|\ | | | | X86: fix float
| * X86: fix floatFabrice Desclaux2018-08-291-13/+7
| |
* | Expr: use TOK define instead of stringsFabrice Desclaux2018-08-291-2/+3
|/
* Code cleaning: lgtm.comFabrice Desclaux2018-08-235-18/+17
|
* IR: fix assignblk eqFabrice Desclaux2018-08-131-1/+1
|
* Canonicalize before returning the base ptr (avoid ((a + b) + c))Fabrice Desclaux2018-08-071-1/+1
|
* Symbexec: Use simplifier with high level in symbexecFabrice Desclaux2018-08-062-8/+14
|
* IR: simplify block cbFabrice Desclaux2018-08-061-0/+15
|
* Translator/C: add zero/sign extendFabrice Desclaux2018-08-061-1/+23
|
* IR/Analysis: call_effects can add extra blocksFabrice Desclaux2018-07-181-8/+19
|
* TranslatorC: use unsigned long long int in 64 bitsAjax2018-07-161-1/+4
|
* Jitter: use bignumFabrice Desclaux2018-07-131-101/+271
|
* Merge pull request #795 from commial/features/better-float-sseserpilliere2018-07-101-9/+63
|\ | | | | Better float support & additionnal SSE
| * Add the new float ops support for the C jitterAjax2018-07-101-7/+61
| |
| * TranslatorC: for uncommon size, use at least uint8Ajax2018-07-101-2/+2
| |
* | IR: rename DiGraphIR=>IRCFGFabrice Desclaux2018-07-101-10/+21
| |
* | IR: move simplification from ir to data_flowFabrice Desclaux2018-07-101-133/+15
|/
* IR: pretty print irblocsFabrice Desclaux2018-07-051-16/+42
|
* IR: gen ircfg from ir_archFabrice Desclaux2018-07-055-114/+121
|
* IR: split ir/digraphFabrice Desclaux2018-07-051-255/+253
|
* IR: remove default regs_init for symbexecFabrice Desclaux2018-07-052-8/+23
|
* Update symbol_pool's deprecated API -> LocationDBAjax2018-07-036-29/+28
|
* symbol_pool -> loc_dbAjax2018-07-036-41/+45
|
* Jitters: use loc_key instead of names or offset for basic block labelingAjax2018-06-221-3/+2
|
* Example/ida: use addr to guess archFabrice Desclaux2018-06-191-9/+1
| | | | | Some arch like ARM depends on address in order to determine which attributes have to be used during analysis
* AsmBlock: remove symbol_pool in add_cstFabrice Desclaux2018-06-101-1/+1
|
* Core: replace AsmLabel by LocKeyFabrice Desclaux2018-06-096-151/+140
|
* Expr: Add new word ExprLocFabrice Desclaux2018-06-087-84/+238
| | | | | This word represents a location in the binary. Thus, the hack of ExprId containing an AsmLabel ends here.
* Add support for 128 bits operations in VmMngr and GCC outputsAjax2018-05-171-28/+63
|
* MSP430: remove duplicate or unused operations implemAjax2018-05-161-3/+0
|
* ARM 'clz' op is actually 'cntleadzeros', replace itAjax2018-05-161-3/+0
|
* udiv/umod/idiv/imod: remove unused 'vmcpu' argumentAjax2018-05-161-4/+4
|
* Rename x86 specific op 'cpuid' to 'x86_cpuid'Ajax2018-05-151-1/+1
|
* Op bsr/bsf are replaced by cnttrailzeros / cntleadzeros, defined in 0Ajax2018-05-153-12/+14
|