Debugging Type-Based Alias Analysis optimizations in BPF
Summary
The article presents a deep technical debugging session around BPF Type-Based Alias Analysis (TBAA) optimizations and CO-RE. It shows how preserving access indices affects memory aliasing decisions, demonstrates a practical workaround using READ_ONCE to force memory reads, and discusses why the Clang/LLVM alias analysis can misbehave with CO-RE.