← back to paper
arxiv: 2605.13246 · 2 revisions
Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers