include/linux/bpf_verifier.h

953

int *insn_state;

kernel/bpf/cfg.c

105

int *insn_state = env->cfg.insn_state;

kernel/bpf/cfg.c

107

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

kernel/bpf/cfg.c

110

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

kernel/bpf/cfg.c

125

if (insn_state[w] == 0) {

kernel/bpf/cfg.c

127

insn_state[t] = DISCOVERED | e;

kernel/bpf/cfg.c

128

insn_state[w] = DISCOVERED;

kernel/bpf/cfg.c

133

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

kernel/bpf/cfg.c

140

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

kernel/bpf/cfg.c

142

insn_state[t] = DISCOVERED | e;

kernel/bpf/cfg.c

358

int *insn_state = env->cfg.insn_state;

kernel/bpf/cfg.c

383

if (insn_state[w])

kernel/bpf/cfg.c

390

insn_state[w] |= DISCOVERED;

kernel/bpf/cfg.c

565

int *insn_stack, *insn_state;

kernel/bpf/cfg.c

568

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

kernel/bpf/cfg.c

570

if (!insn_state)

kernel/bpf/cfg.c

576

kvfree(insn_state);

kernel/bpf/cfg.c

584

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

kernel/bpf/cfg.c

595

insn_state[t] = EXPLORED;

kernel/bpf/cfg.c

615

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

kernel/bpf/cfg.c

616

insn_state[ex_insn_beg] = DISCOVERED;

kernel/bpf/cfg.c

625

if (insn_state[i] != EXPLORED) {

kernel/bpf/cfg.c

631

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

kernel/bpf/cfg.c

644

kvfree(insn_state);

kernel/bpf/cfg.c

646

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

tools/objtool/check.c

2699

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

tools/objtool/check.c

2729

static bool has_valid_stack_frame(struct insn_state *state)

tools/objtool/check.c

321

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

tools/objtool/check.c

3320

struct insn_state *state)

tools/objtool/check.c

3322

struct insn_state prev_state __maybe_unused = *state;

tools/objtool/check.c

3509

struct insn_state *state)

tools/objtool/check.c

3532

struct insn_state *state)

tools/objtool/check.c

3542

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

tools/objtool/check.c

3644

struct instruction *insn, struct insn_state state);

tools/objtool/check.c

3646

struct instruction *insn, struct insn_state *state);

tools/objtool/check.c

3649

struct instruction *insn, struct insn_state *statep,

tools/objtool/check.c

3911

struct instruction *insn, struct insn_state *state)

tools/objtool/check.c

3970

struct instruction *insn, struct insn_state state)

tools/objtool/check.c

3983

struct insn_state *state)

tools/objtool/check.c

4001

struct insn_state state;

tools/objtool/check.c

4360

struct symbol *sym, struct insn_state *state)

tools/objtool/check.c

4400

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)))