Zhvilluesit e projektit LLVM propozuan nj\u00eb s\u00ebr\u00eb ndryshimesh t\u00eb drejtuara drejt p\u00ebrmir\u00ebsimit t\u00eb siguris\u00eb s\u00eb projekteve kritik\u00eb n\u00eb gjuh\u00ebn C++ dhe ofrimin e mjeteve p\u00ebr t\u00eb eliminuar gabimet t\u00eb shkaktuara nga dalja jasht\u00eb kufijve t\u00eb mundsh\u00ebm t\u00eb bufet\u00ebve. Puna p\u00ebrqendrohet n\u00eb dy drejtimet: ofrimi i nj\u00eb modeli zhvillimi q\u00eb lejon pun\u00eb t\u00eb sigurt me bufet\u00eb dhe realizimi i pun\u00ebs p\u00ebr forcimin e mbrojtjes s\u00eb bibliotek\u00ebs standarde t\u00eb funksioneve libc++. <\/p>\n
Modeli i propozuar i programimit t\u00eb sigurt p\u00ebr C++ parashikon p\u00ebrdorimin e klasave t\u00eb ofruara nga biblioteka standarde kur punoni me bufet\u00eb, n\u00eb vend t\u00eb manipulimeve me tregues t\u00eb past\u00ebr. P\u00ebr shembull, propozohet p\u00ebrdorimi i klasave std::array, std::vector dhe std::span, n\u00eb t\u00eb cilat do t\u00eb shtohet nj\u00eb kontroll p\u00ebr daljen jasht\u00eb kufijve t\u00eb memorie t\u00eb alokuar, q\u00eb do t\u00eb b\u00ebhet gjat\u00eb ekzekutimit. <\/p>\n
P\u00ebr t\u00eb luftuar me praktikat e rrezikshme t\u00eb programimit n\u00eb clang, propozohet q\u00eb t\u00eb l\u00ebshohen paralajm\u00ebrime nga kompajleri p\u00ebr t\u00eb gjitha operacionet aritmetike me tregues, t\u00eb ngjashme me paralajm\u00ebrimet e l\u00ebshuar nga linter-i clang-tidy, t\u00eb cilat jepen kur p\u00ebrdoret flagu \u00abcppcoreguidelines-pro-bounds-pointer-arithmetic\u00bb, mb\u00ebshtetje p\u00ebr t\u00eb cilin do t\u00eb shfaqet n\u00eb versionin e LLVM 16. P\u00ebr t\u00eb aktivizuar k\u00ebto paralajm\u00ebrime n\u00eb clang, do t\u00eb shtohet nj\u00eb flag i ve\u00e7ant\u00eb, i cili nuk \u00ebsht\u00eb aktiv nga default. <\/p>\n
N\u00eb libc++ planifikohet implementimi i nj\u00eb mode opsionale t\u00eb mbrojtjes s\u00eb forcuar, ku, kur aktivizohet, do t\u00eb kapen disa situata q\u00eb \u00e7ojn\u00eb n\u00eb sjellje t\u00eb pabesueshme gjat\u00eb ekzekutimit. P\u00ebr shembull, n\u00eb klasat std::span dhe std::vector do t\u00eb monitorohet aksesimi p\u00ebrtej zon\u00ebs s\u00eb alokuar t\u00eb memories, dhe n\u00eb rastin e zbulimit t\u00eb tij, programi do t\u00eb p\u00ebrfundoj\u00eb n\u00eb m\u00ebnyr\u00eb t\u00eb paplanifikuar. Zhvilluesit besojn\u00eb se shtimi i ndryshimeve t\u00eb tilla do t\u00eb ruaj\u00eb p\u00ebrputhshm\u00ebrin\u00eb e libc++ me standardet C++, sepse zgjedhja e metod\u00ebs p\u00ebr trajtimin e rasteve t\u00eb sjelljes s\u00eb pabesueshme \u00ebsht\u00eb n\u00eb duar t\u00eb zhvilluesve t\u00eb bibliotek\u00ebs, t\u00eb cil\u00ebt gjithashtu mund ta interpretojn\u00eb sjelljen e pabesueshme si nj\u00eb d\u00ebshtim q\u00eb k\u00ebrkon ndalimin e programit. <\/p>\n
Kontrollat e prodhuara gjat\u00eb ekzekutimit do t\u00eb kategorizohen n\u00eb kategori q\u00eb mund t\u00eb aktivizohen ve\u00e7mas. Disa nga kontrollat e propozuara q\u00eb nuk \u00e7ojn\u00eb n\u00eb nd\u00ebrlikimin e operacioneve ose n\u00eb ndryshimin e ABI-s\u00eb jan\u00eb tashm\u00eb t\u00eb implementuara n\u00eb kuad\u00ebr t\u00eb modit t\u00eb sigurt libc++. <\/p>\n
P\u00ebr m\u00eb tep\u00ebr, planifikohet q\u00eb t\u00eb p\u00ebrgatitet nj\u00eb mjet p\u00ebr rregullimin e kodit, i cili do t\u00eb lejoj\u00eb z\u00ebvend\u00ebsimin e variablave me tregues t\u00eb thjesht\u00eb me kontejner\u00eb dhe t\u00eb aplikohet trajtues alternativ n\u00eb situatat kur kontejneri nuk mund t\u00eb z\u00ebvend\u00ebsoj\u00eb drejtp\u00ebrdrejt treguesin (p\u00ebr shembull, konstrukti \u00abif(array_pointer)\u00bb mund t\u00eb shnd\u00ebrrohet n\u00eb \u00abif(span.data()\u00bb). Rregullimet mund t\u00eb aplikohen jo vet\u00ebm p\u00ebr variablat lokal\u00eb, por edhe p\u00ebr parametrat e tipeve me tregues. \n Burimi: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"