Evolution of Value Tracking in the BPF Verifier - Shung-Hsi Yu, SUSE
0:00 · Watch on YouTube
The talk is a historical tour of how the BPF verifier's scalar value tracking evolved—from simple constant checks in 2014, through range tracking, separate signed/unsigned ranges, bit-level (tnum) tracking, 32-bit sub...