LLVM ပရောဂျက်သည် C++ တွင် ကြားခံဘေးကင်းသော ကိုင်တွယ်မှုကို ဖော်ဆောင်သည်။

LLVM ပရောဂျက်၏ developer များသည် mission-critical C++ ပရောဂျက်များ၏ လုံခြုံရေးကို အားကောင်းလာစေရန်နှင့် ကြားခံ overruns ကြောင့်ဖြစ်ရသည့် အမှားများကို ဖယ်ရှားပစ်ရန် နည်းလမ်းများ ပံ့ပိုးပေးရန်အတွက် အပြောင်းအလဲများစွာကို အဆိုပြုထားသည်။ အလုပ်သည် နယ်ပယ်နှစ်ခုကို အာရုံစိုက်သည်- buffers များနှင့် ဘေးကင်းစွာ အလုပ်လုပ်နိုင်စေမည့် ဖွံ့ဖြိုးတိုးတက်မှုပုံစံကို ပေးအပ်ခြင်းနှင့် လုပ်ဆောင်ချက်များ၏ libc++ စံပြစာကြည့်တိုက်၏ လုံခြုံရေးကို ခိုင်မာစေရန် လုပ်ဆောင်ခြင်း ဖြစ်သည်။

C++ အတွက် အဆိုပြုထားသော ဘေးကင်းသော ပရိုဂရမ်းမင်းပုံစံသည် စံပြစာကြည့်တိုက်မှ ပံ့ပိုးပေးထားသည့် အတန်းများကို အသုံးပြုရန်အတွက် buffers များနှင့် အလုပ်လုပ်သောအခါတွင် မပါရှိသော pointers များကို ကြိုးကိုင်ခြယ်လှယ်မည့်အစား အသုံးပြုရန်ဖြစ်သည်။ ဥပမာအားဖြင့်၊ classes std::array, std::vector နှင့် std::span တို့ကို အသုံးပြုရန် အဆိုပြုထားပြီး၊ ၎င်းသည် ကန့်သတ်ခွဲဝေထားသော မမ်မိုရီပြင်ပရှိ အချိန်စစ်ဆေးချက်ဖြင့် ပေါင်းထည့်မည်ဖြစ်သည်။

clang တွင် အန္တရာယ်ရှိသော ပရိုဂရမ်ရေးသားခြင်းအလေ့အကျင့်များကို တိုက်ဖျက်ရန် "cppcoreguidelines-pro-bounds-pointer-arithmetic" အလံကို အသုံးပြုသောအခါတွင် ပေါ်လာမည့် ပံ့ပိုးမှု အလံကို အသုံးပြုသည့်အခါ clang-tidy ၏ linter သတိပေးချက်များနှင့် ဆင်တူသည့် ညွှန်ကိန်းဂဏန်းသင်္ချာလုပ်ငန်းအားလုံးအတွက် compiler သတိပေးချက်များကို ထုတ်ပြန်ရန် အဆိုပြုထားသည်။ LLVM 16 ထုတ်ဝေမှု။ ထိုသို့သောသတိပေးချက်များကိုဖွင့်ရန်၊ ပုံမှန်အားဖြင့် မတက်ကြွသော သီးခြားအလံကို clang သို့ ပေါင်းထည့်မည်ဖြစ်သည်။

၎င်းသည် libc++ တွင် ရွေးချယ်နိုင်သော မာကျောသော ကာကွယ်မှုမုဒ်ကို အကောင်အထည်ဖော်ရန် စီစဉ်ထားပြီး ၎င်းကို ဖွင့်လိုက်သောအခါတွင်၊ runtime တွင် သတ်မှတ်ထားခြင်းမရှိသော အပြုအမူအချို့ကို ဖြစ်ပေါ်စေသည့် အခြေအနေအချို့ကို ဖမ်းစားနိုင်မည်ဖြစ်သည်။ ဥပမာအားဖြင့်၊ std::span နှင့် std::vector အတန်းများတွင်၊ ပြင်ပသို့ဝင်ရောက်ခွင့်ကို စောင့်ကြည့်မည်ဖြစ်ပြီး ယင်းအခြေအနေတွင် ပရိုဂရမ်သည် ပျက်စီးသွားမည်ဖြစ်သည်။ သတ်မှတ်မထားသော အမူအကျင့်များကို ကိုင်တွယ်နည်းရွေးချယ်မှုသည် စာကြည့်တိုက်၏ ဆော့ဖ်ဝဲရေးသားသူများနှင့် သက်ဆိုင်သောကြောင့်၊ ထိုသို့သောပြောင်းလဲမှုများကို ထည့်သွင်းခြင်းသည် libc++ စံနှုန်းများနှင့် လိုက်လျောညီထွေရှိစေမည်ဟု ဆော့ဖ်ဝဲအင်ဂျင်နီယာများက ယုံကြည်ကြသည်။ ထွက်ရန်အစီအစဉ်။

libc++ တွင် runtime checks များကို တစ်ဦးချင်းပါဝင်နိုင်သည့် အမျိုးအစားများ ခွဲခြားရန် စီစဉ်ထားသည်။ ပိုမိုရှုပ်ထွေးသောလုပ်ဆောင်မှုများ သို့မဟုတ် ABI အပြောင်းအလဲများကို မဖြစ်ပေါ်စေသည့် အကြံပြုချက်အချို့ကို libc++ ၏ဘေးကင်းသောမုဒ်တွင် အကောင်အထည်ဖော်ပြီးဖြစ်သည်။

ထို့အပြင်၊ ကွန်တိန်နာပေါ်ရှိ ညွှန်ပြချက်များနှင့် ကိန်းရှင်များကို အစားထိုးရန်နှင့် ကွန်တိန်နာကို တိုက်ရိုက်မအစားထိုးနိုင်သည့် အခြေအနေများတွင် အစားထိုးကိုင်တွယ်သူများကို အသုံးပြုခွင့်ပေးကာ ကုဒ်ကိုပြင်ရန်အတွက် ကိရိယာတန်ဆာပလာအစုံကို ပြင်ဆင်ရန် စီစဉ်ထားသည် (ဥပမာ၊ "if (array_pointer)" construct ကို “if (span.data ()”) သို့ ပြောင်းနိုင်သည်။ ချိန်ညှိချက်များကို local variable များတွင်သာမက pointers များဖြင့် parameters များကို ရိုက်ထည့်ရန်လည်း အသုံးပြုနိုင်မည်ဖြစ်သည်။

source: opennet.ru