Ivan “CLOVIS” Canet
|
711752fc45
|
Fixed output file name in graph_dataflow
|
2022-03-21 09:21:51 +01:00 |
|
Ivan “CLOVIS” Canet
|
64f55d0c4f
|
Fixed usage for constant_propagation, depgraph & graph_dataflow
|
2022-03-21 09:21:51 +01:00 |
|
Fabrice Desclaux
|
972cad3a89
|
Rename examples lifter
|
2020-12-25 21:37:02 +01:00 |
|
Fabrice Desclaux
|
e6ec952904
|
Rename ira => LifterModelCall
|
2020-12-24 17:15:46 +01:00 |
|
Fabrice Desclaux
|
80e40a3d2c
|
Avoid generate default locationdb
|
2020-08-31 07:50:01 +02:00 |
|
Fabrice Desclaux
|
215c5ebfe9
|
Analysis: dead simp to class
|
2020-02-14 16:41:23 +01:00 |
|
Fabrice Desclaux
|
944806c506
|
Rename miasm2 to miasm
|
2019-03-05 16:52:51 +01:00 |
|
Fabrice Desclaux
|
02bbb30efe
|
Support python2/python3
|
2019-03-05 16:52:49 +01:00 |
|
Fabrice Desclaux
|
5e620f04a4
|
Updt example api
|
2018-12-10 11:10:45 +01:00 |
|
Fabrice Desclaux
|
9503c250c5
|
Expression: replace arg by ptr in ExprMem
|
2018-10-12 13:49:37 +02:00 |
|
Fabrice Desclaux
|
195c688da0
|
IR: gen ircfg from ir_arch
|
2018-07-05 16:14:26 +02:00 |
|
Ajax
|
d314460a5a
|
Update symbol_pool's deprecated API -> LocationDB
|
2018-07-03 14:28:18 +02:00 |
|
Ajax
|
68fac2e86c
|
symbol_pool -> loc_db
|
2018-07-03 14:28:18 +02:00 |
|
Fabrice Desclaux
|
61551fa78e
|
Core: replace AsmLabel by LocKey
|
2018-06-09 00:33:48 +02:00 |
|
Fabrice Desclaux
|
a2637cdf0b
|
Expr: Add new word ExprLoc
This word represents a location in the binary.
Thus, the hack of ExprId containing an AsmLabel ends here.
|
2018-06-08 17:35:05 +02:00 |
|
Fabrice Desclaux
|
1b534d9ad5
|
Symbexec: use hashtable for mem symbols
|
2018-03-15 14:46:36 +01:00 |
|
Fabrice Desclaux
|
4fcd0faa92
|
Asmblock: rename bloc
|
2017-07-07 12:43:04 +02:00 |
|
Fabrice Desclaux
|
7c98de47f7
|
IR: rename add_bloc
|
2017-07-07 12:33:47 +02:00 |
|
Fabrice Desclaux
|
c748d74297
|
IR: avoid IRBlock attribute creation
|
2017-05-24 12:23:53 +02:00 |
|
Caroline Leman
|
5d10f696e0
|
analysis: Introduction of use-definition chains
- previous dead_simp function has been moved to data_flow.py
- ira class has been simplified
- reach analysis code has been 'clarified'
|
2017-03-29 12:33:05 +02:00 |
|
Fabrice Desclaux
|
287cb1bb18
|
All: rename vars bloc -> block
|
2017-03-13 14:13:13 +01:00 |
|
Fabrice Desclaux
|
c3940991f2
|
IR: rename blocs to blocks
|
2017-03-13 14:13:09 +01:00 |
|
Fabrice Desclaux
|
d8cbc05965
|
IR/Symbexec: rename symbexec to SymbolicExecutionEngine
|
2017-03-13 13:56:26 +01:00 |
|
Ajax
|
308a634b7c
|
IR: replace .g with a lazy built .graph, avoiding the need of gen_graph
|
2015-12-07 11:15:43 +01:00 |
|
Ajax
|
b4114c3e78
|
Example: move output .txt to .dot
|
2015-11-09 15:01:12 +01:00 |
|
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 |
|
Camille Mougey
|
2bc1d7810d
|
Expression examples: Rename examples with meaningfull names
|
2014-09-19 13:58:03 +02:00 |
|