num_context
struct num_context loop_ctx = { .i = 0 };
static __always_inline __u64 oob_state_machine(struct num_context *ctx)
struct num_context loop_ctx = { .i = 0 };
struct num_context loop_ctx = { .i = 0 };
struct num_context loop_ctx = { .i = 0 };
static int iter_limit_cb(__u32 idx, struct num_context *ctx)
struct num_context ctx = { .i = 0 };
struct num_context ctx = { .i = 0 };
static int iter_limit_level2a_cb(__u32 idx, struct num_context *ctx)
static int iter_limit_level2b_cb(__u32 idx, struct num_context *ctx)
static int iter_limit_level1_cb(__u32 idx, struct num_context *ctx)
struct num_context ctx1 = { .i = 0 };
struct num_context ctx2 = { .i = 0 };
static int unsafe_on_zero_iter_cb(__u32 idx, struct num_context *ctx)
struct num_context loop_ctx = { .i = 32 };
static int widening_cb(__u32 idx, struct num_context *ctx)
struct num_context loop_ctx = { .i = 0, .j = 1 };
static int loop_detection_cb(__u32 idx, struct num_context *ctx)