At #LinuxPlumbers, @shunghsiyu.bsky.social had another great talk explaining how the eBPF verifier's value tracking evolved over time, including an explanation of the new cnum abstract domain!

Slides: lpc.events/event/20/con...
Stream: www.youtube.com/live/Df1XnT7...