digraph G {
Node0x55dd4a8d4b50 [label="{check_cond_jmp_op}", shape=record];
Node0x55dd4aa06790 [label="{sanitize_speculative_path}", shape=record];
Node0x55dd4a8ca580 [label="{check_helper_call}", shape=record];
Node0x55dd4a8cf260 [label="{check_kfunc_call}", shape=record];
Node0x55dd4a88d7d0 [label="{do_check}", shape=record];
Node0x55dd4aa3a360 [label="{adjust_ptr_min_max_vals}", shape=record];
Node0x55dd4a76c620 [label="{do_check_common}", shape=record];
Node0x55dd4a8ba850 [label="{adjust_reg_min_max_vals}", shape=record];
Node0x55dd4959fe40 [label="{process_iter_next_call}", shape=record];
Node0x55dd4aa5c1e0 [label="{sanitize_ptr_alu}", shape=record];
Node0x55dd4a9a3ac0 [label="{push_callback_call}", shape=record];
Node0x55dd4a9fb9d0 [label="{push_stack}", shape=record];
Node0x55dd4a778db0 [label="{do_check_subprogs}", shape=record];
Node0x55dd4a741990 [label="{bpf_check}", shape=record];
Node0x55dd4a741990 -> Node0x55dd4a778db0;
Node0x55dd4a741990 -> Node0x55dd4a76c620;
Node0x55dd4a778db0 -> Node0x55dd4a76c620;
Node0x55dd4a76c620 -> Node0x55dd4a88d7d0;
Node0x55dd4a88d7d0 -> Node0x55dd4a8d4b50;
Node0x55dd4a88d7d0 -> Node0x55dd4a8ca580;
Node0x55dd4a88d7d0 -> Node0x55dd4a8cf260;
Node0x55dd4a88d7d0 -> Node0x55dd4a8ba850;
Node0x55dd4a8cf260 -> Node0x55dd4959fe40;
Node0x55dd4a8cf260 -> Node0x55dd4a9a3ac0;
Node0x55dd4a8ca580 -> Node0x55dd4a9a3ac0;
Node0x55dd4a8d4b50 -> Node0x55dd4a9fb9d0;
Node0x55dd4a8d4b50 -> Node0x55dd4aa06790;
Node0x55dd4a8ba850 -> Node0x55dd4aa3a360;
Node0x55dd4aa3a360 -> Node0x55dd4aa5c1e0;
Node0x55dd4aa5c1e0 -> Node0x55dd4a9fb9d0;
Node0x55dd4aa06790 -> Node0x55dd4a9fb9d0;
Node0x55dd4a9a3ac0 -> Node0x55dd4a9fb9d0;
Node0x55dd4959fe40 -> Node0x55dd4a9fb9d0;
}