Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-28 12:56:04
Last Modify:2022-05-19 20:02:10 Copyright©Brick
home page Tree
Annotation kernel can get tool activityDownload SCCTChinese

Name:print_verifier_state

Proto:static void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state)

Type:void

Parameter:

TypeParameterName
struct bpf_verifier_env *env
const struct bpf_func_state *state
493  If stack frame number of this function state from pov of* enclosing bpf_verifier_state.* 0 = main function, 1 = first callee. Then verbose(env, " frame%d:", stack frame number of this function state from pov of* enclosing bpf_verifier_state.* 0 = main function, 1 = first callee.)
495  When i < BPF has 10 general purpose 64-bit registers and stack frame. cycle
496  reg = regs[i]
497  t = Ordering of fields matters. See states_equal()
498  If t == hing was written into register Then Continue
500  verbose(env, " R%d", i)
501  print_liveness(env, live)
502  verbose(env, "=%s", string representation of 'enum bpf_reg_type' [t])
503  If t == g doesn't contain a valid pointer && if (!precise && SCALAR_VALUE) min/max/tnum don't affect safety Then verbose(env, "P")
505  If ( t == g doesn't contain a valid pointer || t == g == frame_pointer + offset ) && Returns true if @a is a known constant Then
508  verbose(env, "%lld", value + Fixed part of pointer offset, pointer types only )
509  Else
510  If t == g points to kernel struct Then verbose(env, "%s", kernel_type_name( for PTR_TO_BTF_ID ))
512  verbose(env, "(id=%d", For PTR_TO_PACKET, used to find other pointers with the same variable * offset, so they can share range knowledge. * For PTR_TO_MAP_VALUE_OR_NULL this is used to share which map value we * came from, when one is tested for != NULL. * For PTR_TO_SOCKET thi)
513  If reg_type_may_be_refcounted_or_null(t) Then verbose(env, ",ref_obj_id=%d", PTR_TO_SOCKET and PTR_TO_TCP_SOCK could be a ptr returned * from a pointer-cast helper, bpf_sk_fullsock() and * bpf_tcp_sock(). * Consider the following where "sk" is a reference counted * pointer returned from "sk = bpf_sk_lookup_tcp();": * 1: sk = bpf_s)
515  If t != g doesn't contain a valid pointer Then verbose(env, ",off=%d", Fixed part of pointer offset, pointer types only )
517  If type_is_pkt_pointer(t) Then verbose(env, ",r=%d", valid when type == PTR_TO_PACKET )
519  Else if t == g points to struct bpf_map || t == g points to map element value || t == points to map elem value or NULL Then verbose(env, ",ks=%d,vs=%d", key_size, value_size)
525  If Returns true if @a is a known constant Then
530  verbose(env, ",imm=%llx", value)
531  Else
553  verbose(env, ")")
556  When i < allocated_stack / size of eBPF register in bytes cycle
558  bool valid = false
561  When j < size of eBPF register in bytes cycle
562  If slot_type[j] != nothing was stored in this stack slot Then valid = true
564  types_buf[j] = slot_type_char[slot_type[j]]
567  types_buf[size of eBPF register in bytes ] = 0
568  If Not valid Then Continue
570  verbose(env, " fp%d", ( - i - 1) * size of eBPF register in bytes )
571  print_liveness(env, live)
572  If slot_type[0] == register spilled into stack Then
573  reg = spilled_ptr
574  t = Ordering of fields matters. See states_equal()
575  verbose(env, "=%s", string representation of 'enum bpf_reg_type' [t])
576  If t == g doesn't contain a valid pointer && if (!precise && SCALAR_VALUE) min/max/tnum don't affect safety Then verbose(env, "P")
578  If t == g doesn't contain a valid pointer && Returns true if @a is a known constant Then verbose(env, "%lld", value + Fixed part of pointer offset, pointer types only )
580  Else
581  verbose(env, "=%s", types_buf)
584  If The following fields should be last. See copy_func_state() && Track each reference created with a unique id, even if the same * instruction creates the reference multiple times (eg, via CALL). Then
585  verbose(env, " refs=%d", Track each reference created with a unique id, even if the same * instruction creates the reference multiple times (eg, via CALL).)
586  When i < The following fields should be last. See copy_func_state() cycle If Track each reference created with a unique id, even if the same * instruction creates the reference multiple times (eg, via CALL). Then
588  verbose(env, ",%d", Track each reference created with a unique id, even if the same * instruction creates the reference multiple times (eg, via CALL).)
590  verbose(env, "\n")
Caller
NameDescribe
__mark_chain_precision
check_map_accessheck read/write into a map element with possible variable offset
check_func_call
prepare_func_exit
adjust_reg_min_max_valsHandles ALU ops other than BPF_END, BPF_NEG and BPF_MOV: computes new min/max* and var_off.
check_cond_jmp_op
do_check