The classifier judged this item not relevant to AI security, so it is left out of lists, feeds, the API and dataset releases. If that is wrong, report a correction on this page.
InfoResearchPeer-reviewed
KLAUS++: Facilitating Patch Correctness Assessment With Hybrid Feedback
- Published
- Record updated
Summary
KLAUS++ is a patch-correctness assessment approach for Linux kernel fixes. It uses abstract interpretation to extract patch-induced changes to variable reads and writes, then guides a kernel fuzzer with those changes and a distance-guided hybrid feedback scheme. The authors reported 30 incorrect patches to the Linux community, some of which could enable privilege escalation on Android and Ubuntu systems, and the distance-guided strategy improved the efficiency of triggering newly introduced vulnerabilities by 35.4%.