print_bpf

类型	参数	名称
const struct bpf_insn_cbs *	cbs
const struct bpf_insn *	insn
bool	allow_ptr_leaks

124

如果class恒等于BPF_ALU或class恒等于alu mode in double word width 则

125

如果alu/jmp fields ( opcode )恒等于lags for endianness conversion: 则

126

如果class恒等于alu mode in double word width 则verbose(private_data, "BUG_alu64_%02x\n", opcode )

128

否则print_bpf_end_insn(verbose, private_data, insn)

130

否则如果alu/jmp fields ( opcode )恒等于BPF_NEG则

131

verbose(private_data, "(%02x) %c%d = -%c%d\n", opcode , class == BPF_ALU ? 'w' : 'r', dest register , class == BPF_ALU ? 'w' : 'r', dest register )

135

否则如果BPF_SRC( opcode )恒等于BPF_X则

136

verbose(private_data, "(%02x) %c%d %s %c%d\n", opcode , class == BPF_ALU ? 'w' : 'r', dest register , bpf_alu_string[alu/jmp fields ( opcode ) >> 4], class == BPF_ALU ? 'w' : 'r', source register )

142

否则

143

verbose(private_data, "(%02x) %c%d %s %d\n", opcode , class == BPF_ALU ? 'w' : 'r', dest register , bpf_alu_string[alu/jmp fields ( opcode ) >> 4], signed immediate constant )

149

否则如果class恒等于BPF_STX则

150

如果BPF BPF_DW 0x18 64-bit ( opcode )恒等于BPF_MEM则verbose(private_data, "(%02x) *(%s *)(r%d %+d) = r%d\n", opcode , bpf_ldst_string[ld/ldx fields ( opcode ) >> 3], dest register , signed offset , source register )

156

否则如果BPF BPF_DW 0x18 64-bit ( opcode )恒等于xclusive add 则verbose(private_data, "(%02x) lock *(%s *)(r%d %+d) += r%d\n", opcode , bpf_ldst_string[ld/ldx fields ( opcode ) >> 3], dest register , signed offset , source register )

162

否则verbose(private_data, "BUG_%02x\n", opcode )

164

否则如果class恒等于BPF_ST则

165

如果BPF BPF_DW 0x18 64-bit ( opcode )不等于BPF_MEM则

166

verbose(private_data, "BUG_st_%02x\n", opcode )

167

169

verbose(private_data, "(%02x) *(%s *)(r%d %+d) = %d\n", opcode , bpf_ldst_string[ld/ldx fields ( opcode ) >> 3], dest register , signed offset , signed immediate constant )

174

否则如果class恒等于BPF_LDX则

175

如果BPF BPF_DW 0x18 64-bit ( opcode )不等于BPF_MEM则

176

verbose(private_data, "BUG_ldx_%02x\n", opcode )

177

179

verbose(private_data, "(%02x) r%d = *(%s *)(r%d %+d)\n", opcode , dest register , bpf_ldst_string[ld/ldx fields ( opcode ) >> 3], source register , signed offset )

183

否则如果class恒等于BPF_LD则

184

如果BPF BPF_DW 0x18 64-bit ( opcode )恒等于BPF_ABS则

185

verbose(private_data, "(%02x) r0 = *(%s *)skb[%d]\n", opcode , bpf_ldst_string[ld/ldx fields ( opcode ) >> 3], signed immediate constant )

189

否则如果BPF BPF_DW 0x18 64-bit ( opcode )恒等于BPF_IND则

190

verbose(private_data, "(%02x) r0 = *(%s *)skb[r%d + %d]\n", opcode , bpf_ldst_string[ld/ldx fields ( opcode ) >> 3], source register , signed immediate constant )

194

否则如果BPF BPF_DW 0x18 64-bit ( opcode )恒等于BPF_IMM且ld/ldx fields ( opcode )恒等于double word (64-bit) 则

199

imm等于 signed immediate constant 左移32位按位或 signed immediate constant

200

is_ptr等于 source register 恒等于When BPF ldimm64's insn[0]或 source register 恒等于BPF_PSEUDO_MAP_VALUE

204

如果is_ptr且非allow_ptr_leaks则imm等于0

207

verbose(private_data, "(%02x) r%d = %s\n", opcode , dest register , __func_imm_name(cbs, insn, imm, tmp, tmp的长度))

211

否则

212

verbose(private_data, "BUG_ld_%02x\n", opcode )

213

215

否则如果class恒等于jmp mode in word width 或class恒等于BPF_JMP则

216

opcode等于alu/jmp fields ( opcode )

218

如果opcode恒等于unction call 则

221

如果 source register 恒等于when bpf_call->src_reg == BPF_PSEUDO_CALL, bpf_call->imm == pc-relative* offset to another bpf function则

222

verbose(private_data, "(%02x) call pc%s\n", opcode , __func_get_name(cbs, insn, tmp, tmp的长度))

226

否则

227

strcpy(tmp, "unknown")

228

verbose(private_data, "(%02x) call %s#%d\n", opcode , __func_get_name(cbs, insn, tmp, tmp的长度), signed immediate constant )

233

否则如果 opcode 恒等于BPF_JMP按位或BPF_JA的值则

234

verbose(private_data, "(%02x) goto pc%+d\n", opcode , signed offset )

236

否则如果 opcode 恒等于BPF_JMP按位或unction return 的值则

237

verbose(private_data, "(%02x) exit\n", opcode )

238

否则如果BPF_SRC( opcode )恒等于BPF_X则

239

verbose(private_data, "(%02x) if %c%d %s %c%d goto pc%+d\n", opcode , class == jmp mode in word width ? 'w' : 'r', dest register , bpf_jmp_string[alu/jmp fields ( opcode ) >> 4], class == jmp mode in word width ? 'w' : 'r', source register , signed offset )

246

否则

247

verbose(private_data, "(%02x) if %c%d %s 0x%x goto pc%+d\n", opcode , class == jmp mode in word width ? 'w' : 'r', dest register , bpf_jmp_string[alu/jmp fields ( opcode ) >> 4], signed immediate constant , signed offset )

名称	描述
do_check
backtrack_insn	For given verifier state backtrack_insn() is called from the last insn to* the first insn. Its purpose is to compute a bitmask of registers and* stack slots that needs precision in the parent verifier state.

函数逻辑报告