Linting Cache Lines from Source
snarf: a static linter that finds false sharing in Rust structs before you ship.
snarf: a static linter that finds false sharing in Rust structs before you ship.
False sharing: your threads are fighting over cache lines and your profiler can't see it.
The BPF verifier proves your XDP program won't crash the kernel. It doesn't prove it's not a wiretap.
Fuzzing is an evolutionary attacker. I pointed the same breed-and-select loop at a timing side channel: it matched the standard attack but couldn't beat it — and the reward's shape is why.
Your branchless code has a branch, your key-zeroing is gone, and your hardware register write never happened.
Decrypting Initial packets, exploiting PATH_CHALLENGE memory exhaustion, and hitting the wall of AEAD.
Using eBPF to find blocking code in Tokio without instrumenting your code.