103 Commits

Author SHA1 Message Date
Ivan “CLOVIS” Canet aa86360598 Short explanation of memory interferences 2022-03-21 09:21:51 +01:00
Ivan “CLOVIS” Canet da78d196c6 Fixed incorrect path in solve_condition_stp 2022-03-21 09:21:51 +01:00
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
Ivan “CLOVIS” Canet e71c3152d1 Fixed no-op in example/expression/simplification_add
Previously, the test would not do anything, as the simplification added in the test is already a part of the default enabled simplifications:

```
Without adding the simplification:
	a + a + a = a * 0x3
After adding the simplification:
	a + a + a = a * 0x3
```

This also meant that editing the added simplification would have no effect (since the expression was already modified by the default simplifier, it would never match the custom one).

This commit replaces `expr_simp` by a newly-created `simp` that doesn't have any simplifications enabled, so the one added by the test has an impact.
2022-03-15 14:35:13 +01:00
Fabrice Desclaux 79775302ea Test expressions interferences 2021-10-13 07:49:32 +02:00
Fabrice Desclaux 972cad3a89 Rename examples lifter 2020-12-25 21:37:02 +01:00
Fabrice Desclaux 52f22525a5 Rename LifterModelCallX86 2020-12-24 17:15:46 +01:00
Fabrice Desclaux e6ec952904 Rename ira => LifterModelCall 2020-12-24 17:15:46 +01:00
Fabrice Desclaux f6804c42ec Add missing == operator in translators 2020-12-01 09:43:09 +01:00
Fabrice Desclaux 24ce193b8b Update api according to loc_db update 2020-08-31 07:50:01 +02: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
Ajax 1578f2e84c Add a cache for C types 2019-02-13 13:37:30 +01:00
Pierre LALET 814ccf5031 Fix typos & add codespell 2018-12-23 19:26:44 +01:00
serpilliere 011e1e209b Merge pull request #904 from commial/feature/export-LLVM
Feature/export llvm
2018-12-20 20:05:55 +01:00
Ajax bff4046203 Add export_llvm, an example illustrating basic IR export 2018-12-20 16:06:07 +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 9c4c548e37 Expresion: use ExprAssign instead of ExprAff
ExprAff stands for (in french) "Expression affectation"
We will now use ExprAssign (for Expression Assignment)
(instead of ExprAss)
2018-10-01 06:55:22 +02:00
Fabrice Desclaux bd510655cf Examples: updt api 2018-07-10 14:57:24 +02:00
Fabrice Desclaux 195c688da0 IR: gen ircfg from ir_arch 2018-07-05 16:14:26 +02:00
Fabrice Desclaux 1d8dc96d6c IR: remove default regs_init for symbexec 2018-07-05 13:16:45 +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
Ajax b8d5b255ba Code cleaning: remove useless / commented code 2018-06-21 17:33:47 +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 94d49ed54f Core: updt parser structure 2018-05-14 10:29:27 +02:00
manwefm 205c8ce78f Update example with expressions manipulations 2018-04-16 09:04:12 +02:00
Fabrice Desclaux 1b534d9ad5 Symbexec: use hashtable for mem symbols 2018-03-15 14:46:36 +01:00
Ajax 2420df074c Remove the default size of ExprMem expressions 2018-02-15 15:45:24 +01:00
Fabrice Desclaux 275b8d25aa Expression: no default size for ExprId 2018-02-09 18:13:24 +01:00
Fabrice Desclaux c63ae8e10a IRBlock: getitem/len on assignblks 2018-02-09 10:55:39 +01:00
Fabrice Desclaux 4b257d2d82 IRBlock: irblock iterates on its assignblks 2018-02-09 10:55:39 +01:00
Fabrice Desclaux eca476334f IRBlock: replace irs by assignblks 2018-02-09 10:55:39 +01:00
Fabrice Desclaux 79a39f095a Expression: use stp translator 2018-01-11 10:29:36 +01:00
Fabrice Desclaux d2756cb85f Example: add constant expression propagation 2017-08-09 08:01:15 +02:00
Fabrice Desclaux e6f2b1431e Symbexec: add get_block 2017-08-08 16:12:00 +02:00
Fabrice Desclaux 4b200beb1b Example: update api 2017-08-08 09:25:56 +02:00
Fabrice Desclaux 8df4d3770c Examples: update api 2017-08-07 16:42:30 +02: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 0da61c83fd IR: rename get_bloc 2017-07-07 12:32:47 +02:00
Fabrice Desclaux c748d74297 IR: avoid IRBlock attribute creation 2017-05-24 12:23:53 +02:00
Fabrice Desclaux 47fb50d611 Example: clean code 2017-05-15 21:29:34 +02:00
Fabrice Desclaux 9e79f4338a Core/Objc: improuve internal type representation 2017-05-15 21:29:34 +02:00
Ajax 9c8869368c Remove PYTHONSTARTUP in end-user scripts 2017-04-24 18:16:47 +02:00