include/linux/bpf_verifier.h

719 struct bpf_verifier_env {  struct
720 	u32 insn_idx;
721 	u32 prev_insn_idx;
722 	struct bpf_prog *prog;		/* eBPF program being verified */
723 	const struct bpf_verifier_ops *ops;
724 	struct module *attach_btf_mod;	/* The owner module of prog->aux->attach_btf */
725 	struct bpf_verifier_stack_elem *head; /* stack of verifier states to be processed */
726 	int stack_size;			/* number of states to be processed */
727 	bool strict_alignment;		/* perform strict pointer alignment checks */
728 	bool test_state_freq;		/* test verifier with different pruning frequency */
729 	bool test_reg_invariants;	/* fail verification on register invariants violations */
730 	struct bpf_verifier_state *cur_state; /* current verifier state */
734 	struct list_head *explored_states;
735 	struct list_head free_list;	/* list of struct bpf_verifier_state_list */
736 	struct bpf_map *used_maps[MAX_USED_MAPS]; /* array of map's used by eBPF program */
737 	struct btf_mod_pair used_btfs[MAX_USED_BTFS]; /* array of BTF's used by BPF program */
738 	u32 used_map_cnt;		/* number of used maps */
739 	u32 used_btf_cnt;		/* number of used BTF objects */
740 	u32 id_gen;			/* used to generate unique reg IDs */
741 	u32 hidden_subprog_cnt;		/* number of hidden subprogs */
742 	int exception_callback_subprog;
743 	bool explore_alu_limits;
744 	bool allow_ptr_leaks;
749 	bool allow_uninit_stack;
750 	bool bpf_capable;
751 	bool bypass_spec_v1;
752 	bool bypass_spec_v4;
753 	bool seen_direct_write;
754 	bool seen_exception;
755 	struct bpf_insn_aux_data *insn_aux_data; /* array of per-insn state */
756 	const struct bpf_line_info *prev_linfo;
757 	struct bpf_verifier_log log;
758 …_subprog_info subprog_info[BPF_MAX_SUBPROGS + 2]; /* max + 2 for the fake and exception subprogs */
759 	union {
763 	struct {
771 	} cfg;
772 	struct backtrack_state bt;
773 	struct bpf_insn_hist_entry *insn_hist;
774 	struct bpf_insn_hist_entry *cur_hist_ent;
775 	u32 insn_hist_cap;
776 	u32 pass_cnt; /* number of times do_check() was called */
777 	u32 subprog_cnt;
779 	u32 prev_insn_processed, insn_processed;
781 	u32 prev_jmps_processed, jmps_processed;
783 	u64 verification_time;
785 	u32 max_states_per_insn;
787 	u32 total_states;
792 	u32 peak_states;
816 static inline struct bpf_func_info_aux *subprog_aux(struct bpf_verifier_env *env, int subprog)  in subprog_aux()  argument