Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:r any branch, call, exit record the history of jmps in the given state

Proto:static int push_jmp_history(struct bpf_verifier_env *env, struct bpf_verifier_state *cur)

Type:int

Parameter:

TypeParameterName
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 * size of p , GFP_USER)
1479  If Not p Then Return -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  Return 0
Caller
NameDescribe
is_state_visited