kernel/bpf/liveness.c

64 	struct bpf_liveness *liveness = env->liveness;
68 	hash_for_each_possible(liveness->func_instances, f, hl_node, key)
97 	hash_add(env->liveness->func_instances, &f->hl_node, hash);
122 	env->liveness = kvzalloc_obj(*env->liveness, GFP_KERNEL_ACCOUNT);
123 	if (!env->liveness)
125 	hash_init(env->liveness->func_instances);
135 	if (!env->liveness)
137 	hash_for_each_safe(env->liveness->func_instances, bkt, tmp, instance, hl_node) {
142 	kvfree(env->liveness);
341 	struct live_stack_query *q = &env->liveness->live_stack_query;
368 	struct live_stack_query *q = &env->liveness->live_stack_query;
549 	struct bpf_liveness *liveness = env->liveness;
553 	hash_for_each(liveness->func_instances, bkt, instance, hl_node)
559 	hash_for_each(liveness->func_instances, bkt, instance, hl_node)
1100 		 * (as a helper argument, another store, etc.), it sets stack liveness bits.
1102 		 * So the effect is over-reporting stack liveness — marking slots as live that aren't
1195 		 * into actual stack liveness. It will be rejected
1761 	if (++env->liveness->subprog_calls > 10000) {
1762 		verbose(env, "liveness analysis exceeded complexity limit (%d calls)\n",
1763 			env->liveness->subprog_calls);
1858 		/* Pull callee's entry liveness back to caller's callsite */