Commit Graph

29 Commits

Author SHA1 Message Date
Ajax 039c2ca9d9 GraphDataflow: A function where never executed / tested 2015-04-30 19:12:43 +02:00
Ajax 7c4b58d2fb GraphDataflow: Refactor, PyLinting 2015-04-30 19:12:36 +02:00
Ajax b853add3ef GraphDataflow: update API 2015-04-30 19:12:25 +02:00
Fabrice Desclaux b148652ebd Parse_asm: generate asm_label on symbol parsing
For an unknown symbol, instead of generating ExprId('toto'), it will generate
ExprId(asm_label('toto')). As label is generated in the architecture, this label
must be catched in the parse_asm module to be inserted in the current
symbol_pool.
2015-04-01 23:47:37 +02:00
Fabrice Desclaux f9c49e92da Clean: remove unecessary ast_parser modification 2015-04-01 23:47:37 +02:00
Fabrice Desclaux 22777cc19e Asmbloc: updt asmbloc api 2015-04-01 23:47:37 +02:00
Camille Mougey d9eb63d9c4 Example/Expression: Set the seed for ExprRandom uses 2015-01-23 17:24:43 +01:00
Camille Mougey 42d91afa74 Example: Move expression samples to sample directory 2015-01-23 17:24:43 +01:00
Camille Mougey c0b195dfb8 Example: Update expr_translate to use Miasm translator and take in account #23 2014-12-16 17:48:18 +01:00
Camille Mougey 9c518f0edd Example: Add a new example using C & Python translation 2014-12-14 18:25:52 +01:00
Camille Mougey 03759804c0 Example: Add an example for ExprRandom 2014-12-10 17:28:33 +01:00
Fabrice Desclaux 7101a6d9d5 Arch/jit: add endianess support jitters 2014-10-09 17:04:36 +02:00
Camille Mougey 602f73846b Example: Add an example of a simplification registering 2014-09-19 14:18:12 +02:00
Camille Mougey 2bc1d7810d Expression examples: Rename examples with meaningfull names 2014-09-19 13:58:03 +02:00
Fabrice Desclaux 6e09df71a3 Modify irbloc destination mecanism. Rework API in consequence.
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.
2014-09-05 11:30:05 +02:00
serpilliere ed5c3668cc Miasm v2
* 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 !
2014-06-03 10:27:56 +02:00
serpilliere a183e1ebd5 Send miasm v1 to hell 2014-06-03 10:18:48 +02:00
serpilliere ddddebe228 rewrite expression visitor; expr_simp 2012-12-19 21:36:24 +01:00
serpilliere db218bfa16 core: fix add_label api for asm_bloc (louis granboulan) 2012-12-03 10:55:34 +01:00
serpilliere 753e230cec eval_abs: fix mem lookup; ia32_sem: gen ia32info 2012-07-31 12:57:04 +02:00
serpilliere de1f8324be expression_helper: fix exprcompose simplification 2012-07-04 09:44:23 +02:00
serpilliere 3af3f8e0f4 tools: add modint; remove numpy dependency 2012-06-21 14:39:26 +02:00
serpilliere 50c79519af expression_helper: add exprcond simpl 2012-06-21 10:08:40 +02:00
serpilliere 303600c1c8 expression: move test case in example; WARNING: - operator is now unary; +*\&... are n-aire 2012-06-13 13:04:15 +02:00
serpilliere f29e0cfd42 expression: replace reload_expr with replace_expr using visitor 2012-06-12 13:08:34 +02:00
serpilliere 5dec442348 remove useless ExprSliceTo
exprsliceto is only used in exprcompose, so it can be removed from
IL representation, and exprcompose will deal start/stop fields
WARNING: as IL is modified, it may break a lot of scripts
2012-05-08 18:33:55 +02:00
serpilliere 68e955c4a8 example: add a code analyser
find condition to satisfy to explore the complete exec graph
of a function (a *very* simple/weak fuzzgrind clone)
2012-02-27 14:28:30 +01:00
serpilliere abbf20e77b example: add symbolic execution and simplification 2012-02-27 11:28:16 +01:00
serpilliere c12642d1d0 example: add expression manipulation demo 2012-02-27 10:46:29 +01:00