about summary refs log tree commit diff stats
path: root/miasm2/ir/symbexec.py (follow)
Commit message (Expand)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
* Core: replace AsmLabel by LocKeyFabrice Desclaux2018-06-091-9/+10
* Expr: Add new word ExprLocFabrice Desclaux2018-06-081-6/+23
* 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
* 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
* 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
* 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
* 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