函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-27 14:10:57
Last Modify:2022-05-19 20:02:10 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：is_spillable_regtype

函数原型：static bool is_spillable_regtype(enum bpf_reg_type type)

返回类型：bool

参数：

类型参数名称
enum bpf_reg_typetype
1903  当:type恒等于g points to map element value
1904  当:type恒等于points to map elem value or NULL
1905  当:type恒等于g == frame_pointer + offset
1906  当:type恒等于g points to bpf_context
1907  当:type恒等于g points to skb->data
1908  当:type恒等于skb->data - meta_len
1909  当:type恒等于skb->data + headlen
1910  当:type恒等于g points to bpf_flow_keys
1911  当:type恒等于g points to struct bpf_map
1912  当:type恒等于g points to struct bpf_sock
1913  当:type恒等于g points to struct bpf_sock or NULL
1914  当:type恒等于g points to sock_common
1915  当:type恒等于g points to sock_common or NULL
1916  当:type恒等于g points to struct tcp_sock
1917  当:type恒等于g points to struct tcp_sock or NULL
1918  当:type恒等于g points to struct xdp_sock
1919  返回:true
1920  默认
1921  返回:false
调用者
名称描述
check_stack_writeheck_stack_read/write functions track spill/fill of registers,* stack boundary and alignment are checked in check_mem_access()