MATUS: Precise Bug Detection via Feature Slice Matching
Analysis
Key Takeaways
- •MATUS addresses the problem of noise interference in bug detection by focusing on relevant feature slices.
- •The method uses prior knowledge from buggy code to guide target slicing, improving precision.
- •The approach has demonstrated significant success in identifying real-world bugs in the Linux kernel.
- •The results include confirmed bugs and assigned CVEs, indicating practical impact.
“MATUS has spotted 31 unknown bugs in the Linux kernel. All of them have been confirmed by the kernel developers, and 11 have been assigned CVEs.”