29 Commits

Author SHA1 Message Date
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