include/linux/bpf_verifier.h

861

int *insn_state;

kernel/bpf/cfg.c

101

if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH))

kernel/bpf/cfg.c

116

if (insn_state[w] == 0) {

kernel/bpf/cfg.c

118

insn_state[t] = DISCOVERED | e;

kernel/bpf/cfg.c

119

insn_state[w] = DISCOVERED;

kernel/bpf/cfg.c

124

} else if ((insn_state[w] & 0xF0) == DISCOVERED) {

kernel/bpf/cfg.c

131

} else if (insn_state[w] == EXPLORED) {

kernel/bpf/cfg.c

133

insn_state[t] = DISCOVERED | e;

kernel/bpf/cfg.c

349

int *insn_state = env->cfg.insn_state;

kernel/bpf/cfg.c

374

if (insn_state[w])

kernel/bpf/cfg.c

381

insn_state[w] |= DISCOVERED;

kernel/bpf/cfg.c

554

int *insn_stack, *insn_state;

kernel/bpf/cfg.c

557

insn_state = env->cfg.insn_state = kvzalloc_objs(int, insn_cnt,

kernel/bpf/cfg.c

559

if (!insn_state)

kernel/bpf/cfg.c

565

kvfree(insn_state);

kernel/bpf/cfg.c

573

insn_state[0] = DISCOVERED; /* mark 1st insn as discovered */

kernel/bpf/cfg.c

584

insn_state[t] = EXPLORED;

kernel/bpf/cfg.c

604

if (ex_insn_beg && insn_state[ex_insn_beg] != EXPLORED) {

kernel/bpf/cfg.c

605

insn_state[ex_insn_beg] = DISCOVERED;

kernel/bpf/cfg.c

614

if (insn_state[i] != EXPLORED) {

kernel/bpf/cfg.c

620

if (insn_state[i + 1] != 0) {

kernel/bpf/cfg.c

633

kvfree(insn_state);

kernel/bpf/cfg.c

635

env->cfg.insn_state = env->cfg.insn_stack = NULL;

kernel/bpf/cfg.c

96

int *insn_state = env->cfg.insn_state;

kernel/bpf/cfg.c

98

if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH))

tools/objtool/check.c

2721

static bool has_modified_stack_frame(struct instruction *insn, struct insn_state *state)

tools/objtool/check.c

2751

static bool has_valid_stack_frame(struct insn_state *state)

tools/objtool/check.c

325

static void init_insn_state(struct objtool_file *file, struct insn_state *state,

tools/objtool/check.c

3342

struct insn_state *state)

tools/objtool/check.c

3344

struct insn_state prev_state __maybe_unused = *state;

tools/objtool/check.c

3531

struct insn_state *state)

tools/objtool/check.c

3554

struct insn_state *state)

tools/objtool/check.c

3564

static int validate_return(struct symbol *func, struct instruction *insn, struct insn_state *state)

tools/objtool/check.c

3748

struct instruction *insn, struct insn_state state);

tools/objtool/check.c

3750

struct instruction *insn, struct insn_state *state);

tools/objtool/check.c

3753

struct instruction *insn, struct insn_state *statep,

tools/objtool/check.c

4015

struct instruction *insn, struct insn_state *state)

tools/objtool/check.c

4077

struct instruction *insn, struct insn_state state)

tools/objtool/check.c

4090

struct insn_state *state)

tools/objtool/check.c

4111

struct insn_state state;

tools/objtool/check.c

4518

struct symbol *sym, struct insn_state *state)

tools/objtool/check.c

4564

struct insn_state state;

tools/objtool/include/objtool/trace.h

108

void trace_insn_state(struct instruction *insn, struct insn_state *sprev,

tools/objtool/include/objtool/trace.h

109

struct insn_state *snext);

tools/objtool/trace.c

111

void trace_insn_state(struct instruction *insn, struct insn_state *sprev,

tools/objtool/trace.c

112

struct insn_state *snext)

tools/objtool/trace.c

117

if (!memcmp(sprev, snext, sizeof(struct insn_state)))