/src/capstonenext/arch/EVM/EVMMapping.c
Line  | Count  | Source  | 
1  |  | /* Capstone Disassembly Engine */  | 
2  |  | /* By Nguyen Anh Quynh, 2018 */  | 
3  |  | /* By Andelf, 2025 */  | 
4  |  |  | 
5  |  | #ifdef CAPSTONE_HAS_EVM  | 
6  |  |  | 
7  |  | #include <string.h>  | 
8  |  |  | 
9  |  | #include "../../cs_priv.h"  | 
10  |  | #include "../../Mapping.h"  | 
11  |  | #include "../../utils.h"  | 
12  |  |  | 
13  |  | #include "EVMMapping.h"  | 
14  |  |  | 
15  |  | #ifndef CAPSTONE_DIET  | 
16  |  | static const cs_evm insns[256] = { | 
17  |  | #include "EVMMappingInsn.inc"  | 
18  |  | };  | 
19  |  |  | 
20  |  | // look for @id in @insns, given its size in @max.  | 
21  |  | // return -1 if not found  | 
22  |  | static int evm_insn_find(const cs_evm *insns, unsigned int max, unsigned int id)  | 
23  | 37.7k  | { | 
24  | 37.7k  |   if (id >= max)  | 
25  | 0  |     return -1;  | 
26  |  |  | 
27  | 37.7k  |   if (insns[id].fee == 0xffffffff)  | 
28  |  |     // unused opcode  | 
29  | 0  |     return -1;  | 
30  |  |  | 
31  | 37.7k  |   return (int)id;  | 
32  | 37.7k  | }  | 
33  |  | #endif  | 
34  |  |  | 
35  |  | // fill in details  | 
36  |  | void EVM_get_insn_id(cs_struct *h, cs_insn *insn, unsigned int id)  | 
37  | 37.7k  | { | 
38  | 37.7k  |   insn->id = id;  | 
39  | 37.7k  | #ifndef CAPSTONE_DIET  | 
40  | 37.7k  |   if (evm_insn_find(insns, ARR_SIZE(insns), id) > 0) { | 
41  | 34.8k  |     if (h->detail_opt) { | 
42  | 34.8k  |       memcpy(&insn->detail->evm, &insns[id],  | 
43  | 34.8k  |              sizeof(insns[id]));  | 
44  | 34.8k  |     }  | 
45  | 34.8k  |   }  | 
46  | 37.7k  | #endif  | 
47  | 37.7k  | }  | 
48  |  |  | 
49  |  | #ifndef CAPSTONE_DIET  | 
50  |  | static const name_map insn_name_maps[256] = { | 
51  |  |   { EVM_INS_STOP, "stop" }, | 
52  |  |   { EVM_INS_ADD, "add" }, | 
53  |  |   { EVM_INS_MUL, "mul" }, | 
54  |  |   { EVM_INS_SUB, "sub" }, | 
55  |  |   { EVM_INS_DIV, "div" }, | 
56  |  |   { EVM_INS_SDIV, "sdiv" }, | 
57  |  |   { EVM_INS_MOD, "mod" }, | 
58  |  |   { EVM_INS_SMOD, "smod" }, | 
59  |  |   { EVM_INS_ADDMOD, "addmod" }, | 
60  |  |   { EVM_INS_MULMOD, "mulmod" }, | 
61  |  |   { EVM_INS_EXP, "exp" }, | 
62  |  |   { EVM_INS_SIGNEXTEND, "signextend" }, | 
63  |  |   { EVM_INS_INVALID, NULL }, | 
64  |  |   { EVM_INS_INVALID, NULL }, | 
65  |  |   { EVM_INS_INVALID, NULL }, | 
66  |  |   { EVM_INS_INVALID, NULL }, | 
67  |  |   { EVM_INS_LT, "lt" }, | 
68  |  |   { EVM_INS_GT, "gt" }, | 
69  |  |   { EVM_INS_SLT, "slt" }, | 
70  |  |   { EVM_INS_SGT, "sgt" }, | 
71  |  |   { EVM_INS_EQ, "eq" }, | 
72  |  |   { EVM_INS_ISZERO, "iszero" }, | 
73  |  |   { EVM_INS_AND, "and" }, | 
74  |  |   { EVM_INS_OR, "or" }, | 
75  |  |   { EVM_INS_XOR, "xor" }, | 
76  |  |   { EVM_INS_NOT, "not" }, | 
77  |  |   { EVM_INS_BYTE, "byte" }, | 
78  |  |   { EVM_INS_SHL, "shl" }, | 
79  |  |   { EVM_INS_SHR, "shr" }, | 
80  |  |   { EVM_INS_SAR, "sar" }, | 
81  |  |   { EVM_INS_INVALID, NULL }, | 
82  |  |   { EVM_INS_INVALID, NULL }, | 
83  |  |   { EVM_INS_SHA3, "sha3" }, | 
84  |  |   { EVM_INS_INVALID, NULL }, | 
85  |  |   { EVM_INS_INVALID, NULL }, | 
86  |  |   { EVM_INS_INVALID, NULL }, | 
87  |  |   { EVM_INS_INVALID, NULL }, | 
88  |  |   { EVM_INS_INVALID, NULL }, | 
89  |  |   { EVM_INS_INVALID, NULL }, | 
90  |  |   { EVM_INS_INVALID, NULL }, | 
91  |  |   { EVM_INS_INVALID, NULL }, | 
92  |  |   { EVM_INS_INVALID, NULL }, | 
93  |  |   { EVM_INS_INVALID, NULL }, | 
94  |  |   { EVM_INS_INVALID, NULL }, | 
95  |  |   { EVM_INS_INVALID, NULL }, | 
96  |  |   { EVM_INS_INVALID, NULL }, | 
97  |  |   { EVM_INS_INVALID, NULL }, | 
98  |  |   { EVM_INS_INVALID, NULL }, | 
99  |  |   { EVM_INS_ADDRESS, "address" }, | 
100  |  |   { EVM_INS_BALANCE, "balance" }, | 
101  |  |   { EVM_INS_ORIGIN, "origin" }, | 
102  |  |   { EVM_INS_CALLER, "caller" }, | 
103  |  |   { EVM_INS_CALLVALUE, "callvalue" }, | 
104  |  |   { EVM_INS_CALLDATALOAD, "calldataload" }, | 
105  |  |   { EVM_INS_CALLDATASIZE, "calldatasize" }, | 
106  |  |   { EVM_INS_CALLDATACOPY, "calldatacopy" }, | 
107  |  |   { EVM_INS_CODESIZE, "codesize" }, | 
108  |  |   { EVM_INS_CODECOPY, "codecopy" }, | 
109  |  |   { EVM_INS_GASPRICE, "gasprice" }, | 
110  |  |   { EVM_INS_EXTCODESIZE, "extcodesize" }, | 
111  |  |   { EVM_INS_EXTCODECOPY, "extcodecopy" }, | 
112  |  |   { EVM_INS_RETURNDATASIZE, "returndatasize" }, | 
113  |  |   { EVM_INS_RETURNDATACOPY, "returndatacopy" }, | 
114  |  |   { EVM_INS_INVALID, NULL }, | 
115  |  |   { EVM_INS_BLOCKHASH, "blockhash" }, | 
116  |  |   { EVM_INS_COINBASE, "coinbase" }, | 
117  |  |   { EVM_INS_TIMESTAMP, "timestamp" }, | 
118  |  |   { EVM_INS_NUMBER, "number" }, | 
119  |  |   { EVM_INS_DIFFICULTY, "difficulty" }, | 
120  |  |   { EVM_INS_GASLIMIT, "gaslimit" }, | 
121  |  |   { EVM_INS_CHAINID, "chainid" }, | 
122  |  |   { EVM_INS_SELFBALANCE, "selfbalance" }, | 
123  |  |   { EVM_INS_BASEFEE, "basefee" }, | 
124  |  |   { EVM_INS_BLOBHASH, "blobhash" }, | 
125  |  |   { EVM_INS_BLOBBASEFEE, "blobbasefee" }, | 
126  |  |   { EVM_INS_INVALID, NULL }, | 
127  |  |   { EVM_INS_INVALID, NULL }, | 
128  |  |   { EVM_INS_INVALID, NULL }, | 
129  |  |   { EVM_INS_INVALID, NULL }, | 
130  |  |   { EVM_INS_INVALID, NULL }, | 
131  |  |   { EVM_INS_POP, "pop" }, | 
132  |  |   { EVM_INS_MLOAD, "mload" }, | 
133  |  |   { EVM_INS_MSTORE, "mstore" }, | 
134  |  |   { EVM_INS_MSTORE8, "mstore8" }, | 
135  |  |   { EVM_INS_SLOAD, "sload" }, | 
136  |  |   { EVM_INS_SSTORE, "sstore" }, | 
137  |  |   { EVM_INS_JUMP, "jump" }, | 
138  |  |   { EVM_INS_JUMPI, "jumpi" }, | 
139  |  |   { EVM_INS_PC, "pc" }, | 
140  |  |   { EVM_INS_MSIZE, "msize" }, | 
141  |  |   { EVM_INS_GAS, "gas" }, | 
142  |  |   { EVM_INS_JUMPDEST, "jumpdest" }, | 
143  |  |   { EVM_INS_TLOAD, "tload" }, | 
144  |  |   { EVM_INS_TSTORE, "tstore" }, | 
145  |  |   { EVM_INS_MCOPY, "mcopy" }, | 
146  |  |   { EVM_INS_PUSH0, "push0" }, | 
147  |  |   { EVM_INS_PUSH1, "push1" }, | 
148  |  |   { EVM_INS_PUSH2, "push2" }, | 
149  |  |   { EVM_INS_PUSH3, "push3" }, | 
150  |  |   { EVM_INS_PUSH4, "push4" }, | 
151  |  |   { EVM_INS_PUSH5, "push5" }, | 
152  |  |   { EVM_INS_PUSH6, "push6" }, | 
153  |  |   { EVM_INS_PUSH7, "push7" }, | 
154  |  |   { EVM_INS_PUSH8, "push8" }, | 
155  |  |   { EVM_INS_PUSH9, "push9" }, | 
156  |  |   { EVM_INS_PUSH10, "push10" }, | 
157  |  |   { EVM_INS_PUSH11, "push11" }, | 
158  |  |   { EVM_INS_PUSH12, "push12" }, | 
159  |  |   { EVM_INS_PUSH13, "push13" }, | 
160  |  |   { EVM_INS_PUSH14, "push14" }, | 
161  |  |   { EVM_INS_PUSH15, "push15" }, | 
162  |  |   { EVM_INS_PUSH16, "push16" }, | 
163  |  |   { EVM_INS_PUSH17, "push17" }, | 
164  |  |   { EVM_INS_PUSH18, "push18" }, | 
165  |  |   { EVM_INS_PUSH19, "push19" }, | 
166  |  |   { EVM_INS_PUSH20, "push20" }, | 
167  |  |   { EVM_INS_PUSH21, "push21" }, | 
168  |  |   { EVM_INS_PUSH22, "push22" }, | 
169  |  |   { EVM_INS_PUSH23, "push23" }, | 
170  |  |   { EVM_INS_PUSH24, "push24" }, | 
171  |  |   { EVM_INS_PUSH25, "push25" }, | 
172  |  |   { EVM_INS_PUSH26, "push26" }, | 
173  |  |   { EVM_INS_PUSH27, "push27" }, | 
174  |  |   { EVM_INS_PUSH28, "push28" }, | 
175  |  |   { EVM_INS_PUSH29, "push29" }, | 
176  |  |   { EVM_INS_PUSH30, "push30" }, | 
177  |  |   { EVM_INS_PUSH31, "push31" }, | 
178  |  |   { EVM_INS_PUSH32, "push32" }, | 
179  |  |   { EVM_INS_DUP1, "dup1" }, | 
180  |  |   { EVM_INS_DUP2, "dup2" }, | 
181  |  |   { EVM_INS_DUP3, "dup3" }, | 
182  |  |   { EVM_INS_DUP4, "dup4" }, | 
183  |  |   { EVM_INS_DUP5, "dup5" }, | 
184  |  |   { EVM_INS_DUP6, "dup6" }, | 
185  |  |   { EVM_INS_DUP7, "dup7" }, | 
186  |  |   { EVM_INS_DUP8, "dup8" }, | 
187  |  |   { EVM_INS_DUP9, "dup9" }, | 
188  |  |   { EVM_INS_DUP10, "dup10" }, | 
189  |  |   { EVM_INS_DUP11, "dup11" }, | 
190  |  |   { EVM_INS_DUP12, "dup12" }, | 
191  |  |   { EVM_INS_DUP13, "dup13" }, | 
192  |  |   { EVM_INS_DUP14, "dup14" }, | 
193  |  |   { EVM_INS_DUP15, "dup15" }, | 
194  |  |   { EVM_INS_DUP16, "dup16" }, | 
195  |  |   { EVM_INS_SWAP1, "swap1" }, | 
196  |  |   { EVM_INS_SWAP2, "swap2" }, | 
197  |  |   { EVM_INS_SWAP3, "swap3" }, | 
198  |  |   { EVM_INS_SWAP4, "swap4" }, | 
199  |  |   { EVM_INS_SWAP5, "swap5" }, | 
200  |  |   { EVM_INS_SWAP6, "swap6" }, | 
201  |  |   { EVM_INS_SWAP7, "swap7" }, | 
202  |  |   { EVM_INS_SWAP8, "swap8" }, | 
203  |  |   { EVM_INS_SWAP9, "swap9" }, | 
204  |  |   { EVM_INS_SWAP10, "swap10" }, | 
205  |  |   { EVM_INS_SWAP11, "swap11" }, | 
206  |  |   { EVM_INS_SWAP12, "swap12" }, | 
207  |  |   { EVM_INS_SWAP13, "swap13" }, | 
208  |  |   { EVM_INS_SWAP14, "swap14" }, | 
209  |  |   { EVM_INS_SWAP15, "swap15" }, | 
210  |  |   { EVM_INS_SWAP16, "swap16" }, | 
211  |  |   { EVM_INS_LOG0, "log0" }, | 
212  |  |   { EVM_INS_LOG1, "log1" }, | 
213  |  |   { EVM_INS_LOG2, "log2" }, | 
214  |  |   { EVM_INS_LOG3, "log3" }, | 
215  |  |   { EVM_INS_LOG4, "log4" }, | 
216  |  |   { EVM_INS_INVALID, NULL }, | 
217  |  |   { EVM_INS_INVALID, NULL }, | 
218  |  |   { EVM_INS_INVALID, NULL }, | 
219  |  |   { EVM_INS_INVALID, NULL }, | 
220  |  |   { EVM_INS_INVALID, NULL }, | 
221  |  |   { EVM_INS_INVALID, NULL }, | 
222  |  |   { EVM_INS_INVALID, NULL }, | 
223  |  |   { EVM_INS_INVALID, NULL }, | 
224  |  |   { EVM_INS_INVALID, NULL }, | 
225  |  |   { EVM_INS_INVALID, NULL }, | 
226  |  |   { EVM_INS_INVALID, NULL }, | 
227  |  |   { EVM_INS_INVALID, NULL }, | 
228  |  |   { EVM_INS_INVALID, NULL }, | 
229  |  |   { EVM_INS_INVALID, NULL }, | 
230  |  |   { EVM_INS_INVALID, NULL }, | 
231  |  |   { EVM_INS_INVALID, NULL }, | 
232  |  |   { EVM_INS_INVALID, NULL }, | 
233  |  |   { EVM_INS_INVALID, NULL }, | 
234  |  |   { EVM_INS_INVALID, NULL }, | 
235  |  |   { EVM_INS_INVALID, NULL }, | 
236  |  |   { EVM_INS_INVALID, NULL }, | 
237  |  |   { EVM_INS_INVALID, NULL }, | 
238  |  |   { EVM_INS_INVALID, NULL }, | 
239  |  |   { EVM_INS_INVALID, NULL }, | 
240  |  |   { EVM_INS_INVALID, NULL }, | 
241  |  |   { EVM_INS_INVALID, NULL }, | 
242  |  |   { EVM_INS_INVALID, NULL }, | 
243  |  |   { EVM_INS_INVALID, NULL }, | 
244  |  |   { EVM_INS_INVALID, NULL }, | 
245  |  |   { EVM_INS_INVALID, NULL }, | 
246  |  |   { EVM_INS_INVALID, NULL }, | 
247  |  |   { EVM_INS_INVALID, NULL }, | 
248  |  |   { EVM_INS_INVALID, NULL }, | 
249  |  |   { EVM_INS_INVALID, NULL }, | 
250  |  |   { EVM_INS_INVALID, NULL }, | 
251  |  |   { EVM_INS_INVALID, NULL }, | 
252  |  |   { EVM_INS_INVALID, NULL }, | 
253  |  |   { EVM_INS_INVALID, NULL }, | 
254  |  |   { EVM_INS_INVALID, NULL }, | 
255  |  |   { EVM_INS_INVALID, NULL }, | 
256  |  |   { EVM_INS_INVALID, NULL }, | 
257  |  |   { EVM_INS_INVALID, NULL }, | 
258  |  |   { EVM_INS_INVALID, NULL }, | 
259  |  |   { EVM_INS_INVALID, NULL }, | 
260  |  |   { EVM_INS_INVALID, NULL }, | 
261  |  |   { EVM_INS_INVALID, NULL }, | 
262  |  |   { EVM_INS_INVALID, NULL }, | 
263  |  |   { EVM_INS_INVALID, NULL }, | 
264  |  |   { EVM_INS_INVALID, NULL }, | 
265  |  |   { EVM_INS_INVALID, NULL }, | 
266  |  |   { EVM_INS_INVALID, NULL }, | 
267  |  |   { EVM_INS_INVALID, NULL }, | 
268  |  |   { EVM_INS_INVALID, NULL }, | 
269  |  |   { EVM_INS_INVALID, NULL }, | 
270  |  |   { EVM_INS_INVALID, NULL }, | 
271  |  |   { EVM_INS_INVALID, NULL }, | 
272  |  |   { EVM_INS_INVALID, NULL }, | 
273  |  |   { EVM_INS_INVALID, NULL }, | 
274  |  |   { EVM_INS_INVALID, NULL }, | 
275  |  |   { EVM_INS_INVALID, NULL }, | 
276  |  |   { EVM_INS_INVALID, NULL }, | 
277  |  |   { EVM_INS_INVALID, NULL }, | 
278  |  |   { EVM_INS_INVALID, NULL }, | 
279  |  |   { EVM_INS_INVALID, NULL }, | 
280  |  |   { EVM_INS_INVALID, NULL }, | 
281  |  |   { EVM_INS_INVALID, NULL }, | 
282  |  |   { EVM_INS_INVALID, NULL }, | 
283  |  |   { EVM_INS_INVALID, NULL }, | 
284  |  |   { EVM_INS_INVALID, NULL }, | 
285  |  |   { EVM_INS_INVALID, NULL }, | 
286  |  |   { EVM_INS_INVALID, NULL }, | 
287  |  |   { EVM_INS_INVALID, NULL }, | 
288  |  |   { EVM_INS_INVALID, NULL }, | 
289  |  |   { EVM_INS_INVALID, NULL }, | 
290  |  |   { EVM_INS_INVALID, NULL }, | 
291  |  |   { EVM_INS_CREATE, "create" }, | 
292  |  |   { EVM_INS_CALL, "call" }, | 
293  |  |   { EVM_INS_CALLCODE, "callcode" }, | 
294  |  |   { EVM_INS_RETURN, "return" }, | 
295  |  |   { EVM_INS_DELEGATECALL, "delegatecall" }, | 
296  |  |   { EVM_INS_CREATE2, "create2" }, | 
297  |  |   { EVM_INS_INVALID, NULL }, | 
298  |  |   { EVM_INS_INVALID, NULL }, | 
299  |  |   { EVM_INS_INVALID, NULL }, | 
300  |  |   { EVM_INS_INVALID, NULL }, | 
301  |  |   { EVM_INS_STATICCALL, "staticcall" }, | 
302  |  |   { EVM_INS_INVALID, NULL }, | 
303  |  |   { EVM_INS_INVALID, NULL }, | 
304  |  |   { EVM_INS_REVERT, "revert" }, | 
305  |  |   { EVM_INS_INVALID, NULL }, | 
306  |  |   { EVM_INS_SELFDESTRUCT, "selfdestruct" }, | 
307  |  | };  | 
308  |  | #endif  | 
309  |  |  | 
310  |  | const char *EVM_insn_name(csh handle, unsigned int id)  | 
311  | 37.7k  | { | 
312  | 37.7k  | #ifndef CAPSTONE_DIET  | 
313  | 37.7k  |   if (id >= ARR_SIZE(insn_name_maps))  | 
314  | 0  |     return NULL;  | 
315  | 37.7k  |   else  | 
316  | 37.7k  |     return insn_name_maps[id].name;  | 
317  |  | #else  | 
318  |  |   return NULL;  | 
319  |  | #endif  | 
320  | 37.7k  | }  | 
321  |  |  | 
322  |  | #ifndef CAPSTONE_DIET  | 
323  |  | static const name_map group_name_maps[] = { | 
324  |  |   // generic groups  | 
325  |  |   { EVM_GRP_INVALID, NULL }, | 
326  |  |   { EVM_GRP_JUMP, "jump" }, | 
327  |  |   // special groups  | 
328  |  |   { EVM_GRP_MATH, "math" }, | 
329  |  |   { EVM_GRP_STACK_WRITE, "stack_write" }, | 
330  |  |   { EVM_GRP_STACK_READ, "stack_read" }, | 
331  |  |   { EVM_GRP_MEM_WRITE, "mem_write" }, | 
332  |  |   { EVM_GRP_MEM_READ, "mem_read" }, | 
333  |  |   { EVM_GRP_STORE_WRITE, "store_write" }, | 
334  |  |   { EVM_GRP_STORE_READ, "store_read" }, | 
335  |  |   { EVM_GRP_HALT, "halt" }, | 
336  |  | };  | 
337  |  | #endif  | 
338  |  |  | 
339  |  | const char *EVM_group_name(csh handle, unsigned int id)  | 
340  | 45.3k  | { | 
341  | 45.3k  | #ifndef CAPSTONE_DIET  | 
342  | 45.3k  |   return id2name(group_name_maps, ARR_SIZE(group_name_maps), id);  | 
343  |  | #else  | 
344  |  |   return NULL;  | 
345  |  | #endif  | 
346  | 45.3k  | }  | 
347  |  | #endif  |