bpf: replace path-sensitive with path-insensitive live stack analysis#5990

Closed

kernel-patches-daemon-bpf-rc[bot] wants to merge 12 commits intobpf-next_basefrom

series/1003966=>bpf-next

Commits on Sep 19, 2025

bpf: bpf_verifier_state->cleaned flag instead of REG_LIVE_DONE

eddyz87
authored and
Kernel Patches Daemon
committed
bpf: use compute_live_registers() info in clean_func_state

eddyz87
authored and
Kernel Patches Daemon
committed
bpf: remove redundant REG_LIVE_READ check in stacksafe()

eddyz87
authored and
Kernel Patches Daemon
committed
bpf: declare a few utility functions as internal api

eddyz87
authored and
Kernel Patches Daemon
committed
bpf: compute instructions postorder per subprogram

eddyz87
authored and
Kernel Patches Daemon
committed
bpf: callchain sensitive stack liveness tracking using CFG

eddyz87
authored and
Kernel Patches Daemon
committed
bpf: enable callchain sensitive stack liveness tracking

eddyz87
authored and
Kernel Patches Daemon
committed
bpf: signal error if old liveness is more conservative than new

eddyz87
authored and
Kernel Patches Daemon
committed
bpf: disable and remove registers chain based liveness

eddyz87
authored and
Kernel Patches Daemon
committed
bpf: table based bpf_insn_successors()

eddyz87
authored and
Kernel Patches Daemon
committed
selftests/bpf: __not_msg() tag for test_loader framework

eddyz87
authored and
Kernel Patches Daemon
committed
selftests/bpf: test cases for callchain sensitive live stack tracking

eddyz87
authored and
Kernel Patches Daemon
committed