(insn_str)
| 286 | } |
| 287 | |
| 288 | get_gadget(insn_str) { |
| 289 | const addr = this.gadgets.get(insn_str); |
| 290 | if (addr === undefined) { |
| 291 | throw Error(`gadget not found: ${insn_str}`); |
| 292 | } |
| 293 | |
| 294 | return addr; |
| 295 | } |
| 296 | |
| 297 | push_gadget(insn_str) { |
| 298 | this.push_value(this.get_gadget(insn_str)); |
no test coverage detected