函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：he scalar precision tracking algorithm:* . at the start all registers have precise=false.* . scalar ranges are tracked as normal through alu and jmp insns.* . once precise value of the scalar register is used in:* . ptr + scalar alu*

函数原型：static void mark_all_scalars_precise(struct bpf_verifier_env *env, struct bpf_verifier_state *st)

返回类型：void

参数：

类型参数名称
struct bpf_verifier_env *env
struct bpf_verifier_state *st
1707  以st循环以i小于等于curframe循环
1709  func等于 call stack tracking [i]
1710  以j小于BPF_REG_FP循环
1711  reg等于regs[j]
1712  如果 Ordering of fields matters. See states_equal() 不等于g doesn't contain a valid pointer 则继续下一循环
1714  if (!precise && SCALAR_VALUE) min/max/tnum don't affect safety = true
1716  以j小于allocated_stack除size of eBPF register in bytes 循环
1717  如果slot_type[0]不等于 register spilled into stack 则继续下一循环
1719  reg等于spilled_ptr
1720  如果 Ordering of fields matters. See states_equal() 不等于g doesn't contain a valid pointer 则继续下一循环
1722  if (!precise && SCALAR_VALUE) min/max/tnum don't affect safety = true
调用者
名称描述
__mark_chain_precision