| H A D | liveness.c | 1 // SPDX-License-Identifier: GPL-2.0-only 14 * Stack liveness is tracked with a 4-byte (half register) granularity. 15 * Half-slot 0 covers [fp-4, fp), half-slot 1 covers [fp-8, fp- 131 struct func_instance *instance; bpf_stack_liveness_free() local 149 relative_idx(struct func_instance * instance,u32 insn_idx) relative_idx() argument 154 get_frame_masks(struct func_instance * instance,u32 frame,u32 insn_idx) get_frame_masks() argument 163 alloc_frame_masks(struct func_instance * instance,u32 frame,u32 insn_idx) alloc_frame_masks() argument 179 mark_stack_read(struct func_instance * instance,u32 frame,u32 insn_idx,spis_t mask) mark_stack_read() argument 190 mark_stack_write(struct func_instance * instance,u32 frame,u32 insn_idx,spis_t mask) mark_stack_write() argument 273 update_insn(struct bpf_verifier_env * env,struct func_instance * instance,u32 frame,u32 insn_idx) update_insn() argument 306 update_instance(struct bpf_verifier_env * env,struct func_instance * instance) update_instance() argument 330 is_live_before(struct func_instance * instance,u32 insn_idx,u32 frameno,u32 half_spi) is_live_before() argument 341 struct func_instance *instance; bpf_live_stack_query_init() local 368 struct func_instance *instance, *curframe_instance; bpf_stack_slot_alive() local 416 fmt_instance(struct bpf_verifier_env * env,struct func_instance * instance) fmt_instance() argument 477 print_instance(struct bpf_verifier_env * env,struct func_instance * instance) print_instance() argument 546 struct func_instance *instance, **sorted_instances; print_instances() local 1093 arg_track_xfer(struct bpf_verifier_env * env,struct bpf_insn * insn,int insn_idx,struct arg_track * at_out,struct arg_track * at_stack_out,const struct arg_track * at_stack_arg_entry,struct func_instance * instance,u32 * callsites) arg_track_xfer() argument 1234 record_stack_access_off(struct func_instance * instance,s64 fp_off,s64 access_bytes,u32 frame,u32 insn_idx) record_stack_access_off() argument 1279 record_stack_access(struct func_instance * instance,const struct arg_track * arg,s64 access_bytes,u32 frame,u32 insn_idx) record_stack_access() argument 1308 record_imprecise(struct func_instance * instance,u32 mask,u32 insn_idx) record_imprecise() argument 1327 record_load_store_access(struct bpf_verifier_env * env,struct func_instance * instance,struct arg_track * at,int insn_idx) record_load_store_access() argument 1394 record_arg_access(struct bpf_verifier_env * env,struct func_instance * instance,struct bpf_insn * insn,struct arg_track * at,int arg_idx,int insn_idx) record_arg_access() argument 1431 record_call_access(struct bpf_verifier_env * env,struct func_instance * instance,struct arg_track * at,int insn_idx) record_call_access() argument 1610 compute_subprog_args(struct bpf_verifier_env * env,struct subprog_at_info * info,struct arg_track * callee_entry,struct func_instance * instance,u32 * callsites) compute_subprog_args() argument 1822 free_instance(struct func_instance * instance) free_instance() argument 1843 analyze_subprog(struct bpf_verifier_env * env,struct arg_track * entry_args,struct subprog_at_info * info,struct func_instance * instance,u32 * callsites) analyze_subprog() argument 1989 struct func_instance *instance; bpf_compute_subprog_arg_access() local [all...] |