Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/lib/insn-eval.c get_addr_ref_32() -> get_eff_addr_modrm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | insn | 3280860769348898816,3929561995604525064,4671128583144820736,6127367958537531392,6747283956112052232,7961320843205591040,8874595658658983936 |
| PARAM_VALUE | 0 | insn->addr_bytes | 4 |
| PARAM_VALUE | 0 | insn->opcode.got | 1-255 |
| PARAM_VALUE | 0 | insn->sib.nbytes | 0 |
| PARAM_VALUE | 1 | regs | 4096-ptr_max |
| PARAM_VALUE | 2 | regoff | 8044623216000860160 |
| PARAM_VALUE | 3 | eff_addr | 283938668043857920 |
| BUF_SIZE | 1 | regs | (-1),168 |
| BUF_SIZE | 1 | regs | (-1),168 |
| DATA_SOURCE | 0 | insn | $0 |
| DATA_SOURCE | 1 | regs | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | insn->displacement.value | (-128)-255 |
| USER_DATA | 0 | insn->immediate.value | (-128)-255 |
| USER_DATA | 0 | insn->immediate1.value | (-128)-255 |
| USER_DATA | 0 | insn->immediate2.value | (-128)-255 |
| USER_DATA | 0 | insn->modrm.value | 0-255 |
| USER_DATA | 0 | insn->moffset1.value | (-128)-255 |
| USER_DATA | 0 | insn->moffset2.value | (-128)-255 |
| USER_DATA | 0 | insn->rex_prefix.value | 0-255 |
| USER_DATA | 0 | insn->sib.value | 0-255 |
arch/x86/lib/insn-eval.c get_addr_ref_64() -> get_eff_addr_modrm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | insn | 3280860769348898816,3929561995604525064,4671128583144820736,6127367958537531392,6747283956112052232,7961320843205591040,8874595658658983936 |
| PARAM_VALUE | 0 | insn->addr_bytes | 8 |
| PARAM_VALUE | 0 | insn->opcode.got | 1-255 |
| PARAM_VALUE | 0 | insn->sib.nbytes | 0 |
| PARAM_VALUE | 1 | regs | 4096-ptr_max |
| PARAM_VALUE | 2 | regoff | 2459513180810584064 |
| PARAM_VALUE | 3 | eff_addr | 1639076966435868672 |
| BUF_SIZE | 1 | regs | (-1),168 |
| BUF_SIZE | 1 | regs | (-1),168 |
| DATA_SOURCE | 0 | insn | $0 |
| DATA_SOURCE | 1 | regs | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | insn->displacement.value | (-128)-255 |
| USER_DATA | 0 | insn->immediate.value | (-128)-255 |
| USER_DATA | 0 | insn->immediate1.value | (-128)-255 |
| USER_DATA | 0 | insn->immediate2.value | (-128)-255 |
| USER_DATA | 0 | insn->modrm.value | 0-255 |
| USER_DATA | 0 | insn->moffset1.value | (-128)-255 |
| USER_DATA | 0 | insn->moffset2.value | (-128)-255 |
| USER_DATA | 0 | insn->rex_prefix.value | 0-255 |
| USER_DATA | 0 | insn->sib.value | 0-255 |