Commit graph

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