about summary refs log tree commit diff stats
path: root/test/arch/msp430/sem.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Rename examples lifterFabrice Desclaux2020-12-251-6/+6
|
* Rename msp430 lifterFabrice Desclaux2020-12-241-1/+1
|
* Update api according to loc_db updateFabrice Desclaux2020-08-311-1/+2
|
* Use int(expr) instead of expr.arg.argFabrice Desclaux2020-04-031-2/+4
|
* Rename miasm2 to miasmFabrice Desclaux2019-03-051-6/+6
|
* Support python2/python3Fabrice Desclaux2019-03-051-5/+10
|
* IR: gen ircfg from ir_archFabrice Desclaux2018-07-051-4/+8
|
* Core: replace AsmLabel by LocKeyFabrice Desclaux2018-06-091-2/+2
|
* Expr: Add new word ExprLocFabrice Desclaux2018-06-081-2/+2
| | | | | This word represents a location in the binary. Thus, the hack of ExprId containing an AsmLabel ends here.
* Symbexec: use hashtable for mem symbolsFabrice Desclaux2018-03-151-1/+1
|
* IR/Symbexec: rename symbexec to SymbolicExecutionEngineFabrice Desclaux2017-03-131-2/+2
|
* use python2 as executable name, give adequate permissionsAymeric Vincent2017-01-051-1/+1
|
* Expr: Remove exprint_fromFabrice Desclaux2016-12-231-1/+1
|
* Symbexec: new api for emul_ir_*Fabrice Desclaux2016-11-041-1/+1
| | | | | | | | | | | | | | 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: fix apiFabrice Desclaux2015-10-291-1/+1
|
* Modify irbloc destination mecanism. Rework API in consequence.Fabrice Desclaux2014-09-051-5/+4
| | | | | | | | | | Fat patch here: some API have changed. Each irbloc now affects a special "IRDst" register which is used to describe the destination irbloc. It allows simple description of architectures using delay slots. Architectures semantic and tcc/python jitter are modified in consequence. LLVM jitter is disabled for now, but should be patch soon.
* Miasm v2serpilliere2014-06-031-0/+143
* API has changed, so old scripts need updates * See example for API usage * Use tcc or llvm for jit emulation * Go to test and run test_all.py to check install Enjoy !