函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：r any branch, call, exit record the history of jmps in the given state

函数原型：static int push_jmp_history(struct bpf_verifier_env *env, struct bpf_verifier_state *cur)

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
struct bpf_verifier_state *cur
1474  cnt等于jmp_history_cnt
1477  cnt自加
1478  p等于krealloc( jmp history recorded from first to last. * backtracking is using it to go from last to first. * For most states jmp_history_cnt is [0-3]. * For loops can go up to ~40., cnt * p的长度, GFP_USER)
1479  如果非p则返回:负ENOMEM
1481  idx等于insn_idx
1482  prev_idx等于prev_insn_idx
1483  jmp history recorded from first to last. * backtracking is using it to go from last to first. * For most states jmp_history_cnt is [0-3]. * For loops can go up to ~40.等于p
1484  jmp_history_cnt等于cnt
1485  返回:0
调用者
名称描述
is_state_visited