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