Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/uprobes.c arch_uprobe_analyze_insn() -> riprel_analyze()

Type Parameter Key Value
PARAM_VALUE 0 auprobe 4096-ptr_max
PARAM_VALUE 0 auprobe->ops 0,486589985358176256,4951916382444695552,6888986564815802368
PARAM_VALUE 0 auprobe->ops->abort 0,2436815697590460416
PARAM_VALUE 0 auprobe->ops->emulate 0,5258062336063995904,8263671918886490112
PARAM_VALUE 0 auprobe->ops->post_xol 0,2310730659778097152,5473417496896622592
PARAM_VALUE 0 auprobe->ops->pre_xol 0,7351772129661063168
PARAM_VALUE 0 auprobe->push.ilen 0-2
PARAM_VALUE 0 auprobe->push.reg_offset 0,8,16,24,32,40,48,56,64,72,80,88,96,104,112,152
PARAM_VALUE 1 insn 2693768499051995136
PARAM_VALUE 1 insn->addr_bytes 0
PARAM_VALUE 1 insn->attr 0
PARAM_VALUE 1 insn->displacement.got 0-1
PARAM_VALUE 1 insn->displacement.nbytes 0-2,4
PARAM_VALUE 1 insn->emulate_prefix_size 0
PARAM_VALUE 1 insn->end_kaddr 4096-ptr_max
PARAM_VALUE 1 insn->immediate.got 0-1
PARAM_VALUE 1 insn->immediate.nbytes 0-2,4
PARAM_VALUE 1 insn->immediate1.got 0-1
PARAM_VALUE 1 insn->immediate1.nbytes 0,2,4
PARAM_VALUE 1 insn->immediate2.got 0-1
PARAM_VALUE 1 insn->immediate2.nbytes 0-2,4
PARAM_VALUE 1 insn->kaddr 0
PARAM_VALUE 1 insn->length 0
PARAM_VALUE 1 insn->modrm.got 0-1
PARAM_VALUE 1 insn->modrm.nbytes 0
PARAM_VALUE 1 insn->modrm.value 0-255
PARAM_VALUE 1 insn->moffset1.got 0-1
PARAM_VALUE 1 insn->moffset1.nbytes 0,2,4
PARAM_VALUE 1 insn->moffset2.got 0-1
PARAM_VALUE 1 insn->moffset2.nbytes 0,4
PARAM_VALUE 1 insn->next_byte 0
PARAM_VALUE 1 insn->opcode.got 0
PARAM_VALUE 1 insn->opcode.nbytes 0
PARAM_VALUE 1 insn->opcode.value (-2147483633)-(-241),0-s32max
PARAM_VALUE 1 insn->opnd_bytes 0,2,4,8
PARAM_VALUE 1 insn->prefixes.got 0
PARAM_VALUE 1 insn->prefixes.nbytes 0
PARAM_VALUE 1 insn->rex_prefix.got 0
PARAM_VALUE 1 insn->rex_prefix.nbytes 0
PARAM_VALUE 1 insn->sib.got 0-1
PARAM_VALUE 1 insn->sib.nbytes 0-1
PARAM_VALUE 1 insn->sib.value 0-255
PARAM_VALUE 1 insn->vex_prefix.got 0
PARAM_VALUE 1 insn->vex_prefix.nbytes 0
PARAM_VALUE 1 insn->vex_prefix.value 0
PARAM_VALUE 1 insn->x86_64 0-1
PARAM_VALUE 1 insn->xop_prefix.nbytes 0
DATA_SOURCE 0 auprobe $0
MEM_ZERO 1 insn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &uprobe->consumer_rwsem
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &uprobe->register_rwsem
TYPE_LOCK (struct uprobe)->consumer_rwsem