CVE-2026-31413

सारांश

Linux कर्नेल में, निम्नलिखित भेद्यता को हल किया गया है: bpf: BPF_OR के लिए maybe_fork_scalars() में असंगत स्केलर फोर्किंग को ठीक करना maybe_fork_scalars() को BPF_AND और BPF_OR दोनों के लिए तब कॉल किया जाता है जब स्रोत ऑपरेंड एक स्थिरांक होता है। जब dst की साइन्ड रेंज [-1, 0] होती है, तो यह वेरिफायर स्थिति को फोर्क करता है: पुश की गई पथ को dst = 0 मिलता है, वर्तमान पथ को dst = -1 मिलता है। BPF_AND के लिए यह सही है: 0 & K == 0। BPF_OR के लिए यह गलत है: 0 | K == K, 0 नहीं। इसलिए पुश की गई पथ dst को 0 के रूप में ट्रैक करती है जबकि रनटाइम मान K होता है, जिससे एक शोषण योग्य वेरिफायर/रनटाइम विचलन उत्पन्न होता है जो सीमा से बाहर मैप एक्सेस की अनुमति देता है। इसे push_stack() में env->insn_idx + 1 के बजाय env->insn_idx पास करके ठीक करें, ताकि पुश की गई पथ dst = 0 के साथ ALU निर्देश को फिर से निष्पादित करे और स्वाभाविक रूप से किसी भी ऑपकोड के लिए सही परिणाम की गणना करे।

स्रोत

• CVE-2026-31413-BPF-Container-Escapeएक्सप्लॉइट

  CVE-2026-31413: BPF वेरिफायर साउंडनेस बग - कंटेनर एस्केप