about summary refs log tree commit diff stats
path: root/miasm2/ir/symbexec.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Rename miasm2 to miasmFabrice Desclaux2019-03-051-1124/+0
|
* Support python2/python3Fabrice Desclaux2019-03-051-44/+49
|
* Symbexec: fix contain useFabrice Desclaux2019-02-121-28/+0
|
* Remove old api supportFabrice Desclaux2019-02-121-136/+5
|
* Fix bad englishFabrice Desclaux2019-01-171-1/+1
|
* Fix typos & add codespellPierre LALET2018-12-231-2/+2
|
* Expression: replace arg by ptr in ExprMemFabrice Desclaux2018-10-121-13/+13
|
* 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-061-8/+8
|
* IR: gen ircfg from ir_archFabrice Desclaux2018-07-051-11/+10
|
* IR: remove default regs_init for symbexecFabrice Desclaux2018-07-051-7/+10
|
* Update symbol_pool's deprecated API -> LocationDBAjax2018-07-031-2/+2
|
* symbol_pool -> loc_dbAjax2018-07-031-2/+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
* Core: replace AsmLabel by LocKeyFabrice Desclaux2018-06-091-9/+10
|
* Expr: Add new word ExprLocFabrice Desclaux2018-06-081-6/+23
| | | | | This word represents a location in the binary. Thus, the hack of ExprId containing an AsmLabel ends here.
* Fix __ne__ callsFabrice Desclaux2018-04-191-0/+3
|
* Symbexec: use hashtable for mem symbolsFabrice Desclaux2018-03-151-382/+1032
|
* IRBlock: irblock iterates on its assignblksFabrice Desclaux2018-02-091-1/+1
|
* IRBlock: replace irs by assignblksFabrice Desclaux2018-02-091-1/+1
|
* Symbexec: add get_blockFabrice Desclaux2017-08-081-0/+12
|
* IR: rename get_blocFabrice Desclaux2017-07-071-2/+2
|
* Symbexec: fix expr lookupFabrice Desclaux2017-06-141-0/+2
|
* Symbexec: add state managementFabrice Desclaux2017-06-141-3/+73
|
* Symbexec: updt apiFabrice Desclaux2017-06-141-8/+9
|
* Add .as_assignblock() for SymbolicExecutionEngineAjax2017-05-091-0/+7
|
* Symbexec: fix tipo symbmngrFabrice Desclaux2017-03-171-4/+4
|
* Symbexec: Fix state updateFabrice Desclaux2017-03-161-3/+8
|
* Core/asmbloc: move asmbloc to asmblockFabrice Desclaux2017-03-131-2/+2
|
* Asmbloc: rename asm_label to AsmLabelFabrice Desclaux2017-03-131-1/+1
|
* IR/Symbexec: rename symbexec to SymbolicExecutionEngineFabrice Desclaux2017-03-131-11/+38
|
* Clarify symbexec:get_mem_stateAjax2017-02-021-33/+24
|
* Apply func_read in case of splitted memory accessesAjax2017-02-021-3/+8
| | | | | | If @64[addr] is asked, with @8[addr] = X already known, the resulting ExprCompose will look like {X, @56[addr + 1]}. With this PR, func_read is applied to the last part, if needed
* Expr: Remove exprint_fromFabrice Desclaux2016-12-231-1/+1
|
* Regression test for apply_expr/apply_change/eval_irAjax2016-12-151-14/+23
|
* ExprCompose: updt internal structFabrice Desclaux2016-11-041-4/+2
|
* ExprCompose: update apiFabrice Desclaux2016-11-041-4/+7
|
* Symbexec: new api for emul_ir_*Fabrice Desclaux2016-11-041-2/+12
| | | | | | | | | | | | | | 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.
* Expression: remove is_term attributeserpilliere2016-11-041-302/+301
|
* Symbexec: Fix intFabrice Desclaux2016-10-031-1/+1
|
* Update int(XX.arg) -> int(XX)Ajax2016-09-161-1/+1
|
* AssignBlockFabrice Desclaux2016-02-261-23/+31
|
* Symbexec: add apply_expr, taking in account side effectsAjax2016-02-161-1/+13
|
* Symbexec: func_write callback doesn't need anymore last argAjax2015-11-171-1/+1
| | | | It was used as a destination cache
* Symbexec: fix parallelism with memory accessesAjax2015-11-171-7/+4
|
* ir: replace wildcard imports + pylint compliancePierre LALET2015-02-181-45/+56
|
* PyLint: Replace old `Raise` syntaxCamille Mougey2015-02-161-2/+2
| | | | | W: 35,12: Use raise ErrorClass(args) instead of raise ErrorClass, args. (old-raise-syntax) W: 38,12: Use raise ErrorClass(args) instead of raise ErrorClass, args. (old-raise-syntax)
* Symbexec: fix eval_exprmem int castFabrice Desclaux2015-02-101-1/+1
|
* symbexec: fix eval_cache default argFabrice Desclaux2014-09-151-0/+10
|
* symbexec: symbexec is objectFabrice Desclaux2014-09-111-1/+1
|