{"id":105257,"date":"2022-10-06T15:36:38","date_gmt":"2022-10-06T13:36:38","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c"},"modified":"2022-10-06T15:36:38","modified_gmt":"2022-10-06T13:36:38","slug":"proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","status":"publish","type":"post","link":"https:\/\/prohoster.info\/sq\/blog\/novosti-interneta\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","title":{"rendered":"Projekti LLVM zhvillon mjete p\u00ebr t\u00eb punuar n\u00eb m\u00ebnyr\u00eb t\u00eb sigurt me buffers n\u00eb C++.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Zhvilluesit e projektit LLVM kan\u00eb propozuar nj\u00eb s\u00ebr\u00eb ndryshimesh p\u00ebr t\u00eb forcuar sigurin\u00eb e projekteve t\u00eb r\u00ebnd\u00ebsishme n\u00eb gjuh\u00ebn C++ dhe p\u00ebr t\u00eb ofruar mjete p\u00ebr t\u00eb eliminuar gabimet e shkaktuara nga dalja jasht\u00eb kufijve t\u00eb lejuar t\u00eb tampon\u00ebve. Puna p\u00ebrqendrohet n\u00eb dy drejtime: ofrimi i nj\u00eb modeli zhvillimi q\u00eb lejon pun\u00ebn e sigurt me tampon\u00ebt dhe forcimi i 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 tampon\u00ebt, n\u00eb vend t\u00eb manipulimeve me tregues t\u00eb pap\u00ebrpunuar. P\u00ebr shembull, sugjerohet t\u00eb p\u00ebrdoren klasat std::array, std::vector dhe std::span, t\u00eb cilat do t\u00eb shtojn\u00eb nj\u00eb kontroll p\u00ebr daljen jasht\u00eb kufijve t\u00eb memories t\u00eb ndar\u00eb, i realizuar gjat\u00eb ekzekutimit. <\/p>\n
P\u00ebr t\u00eb luftuar praktikat e rrezikshme t\u00eb programimit n\u00eb clang, propozohet q\u00eb t\u00eb jepet nj\u00eb paralajm\u00ebrim nga kompajleri p\u00ebr t\u00eb gjitha operacionet aritmetike me tregues, t\u00eb ngjashme me paralajm\u00ebrimet e linter-it clang-tidy, t\u00eb cilat jepen kur p\u00ebrdoret flag «cppcoreguidelines-pro-bounds-pointer-arithmetic», mb\u00ebshtetje e s\u00eb cil\u00ebs do t\u00eb jet\u00eb e disponueshme n\u00eb versionin 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 fillimi. <\/p>\n
N\u00eb libc++ planifikohet q\u00eb t\u00eb implementohet nj\u00eb mod i opsional i mbrojtjes s\u00eb forcuar, i cili gjat\u00eb ekzekutimit do t\u00eb kap disa situata q\u00eb \u00e7ojn\u00eb n\u00eb sjellje t\u00eb panjohura. P\u00ebr shembull, n\u00eb klasat std::span dhe std::vector do t\u00eb monitorohet qasja jasht\u00eb perimetrit t\u00eb memories t\u00eb ndar\u00eb, dhe n\u00eb rastin e zbulimit, programi do t\u00eb mbyllet. Zhvilluesit besojn\u00eb se shtimi i ndryshimeve t\u00eb tilla do t\u00eb ruaj\u00eb p\u00ebrputhshm\u00ebrin\u00eb e libc++ me standardet C++, pasi zgjedhja e metod\u00ebs p\u00ebr p\u00ebrpunimin e rasteve t\u00eb panjohura \u00ebsht\u00eb n\u00eb duar t\u00eb zhvilluesve t\u00eb bibliotek\u00ebs, t\u00eb cil\u00ebt mund t\u00eb interpretojn\u00eb gjithashtu sjelljen e panjohur si nj\u00eb d\u00ebshtim q\u00eb k\u00ebrkon ndalimin e funksionimit t\u00eb programit. <\/p>\n
Kontrollimet q\u00eb realizohen gjat\u00eb ekzekutimit n\u00eb libc++ planifikohen t\u00eb ndahen n\u00eb kategori, t\u00eb cilat do t\u00eb mund t\u00eb aktivizohen ve\u00e7mas. Disa nga kontrollet e propozuara, t\u00eb cilat nuk \u00e7ojn\u00eb n\u00eb komplikimin e operacioneve ose ndryshimin e ABI, tashm\u00eb jan\u00eb realizuar n\u00eb kuadrin e modit t\u00eb sigurt libc++ (safe mode). <\/p>\n
Shtes\u00eb, planifikohet t\u00eb p\u00ebrgatitet nj\u00eb mjet p\u00ebr rregullimin e kodit, q\u00eb p\u00ebrsonat do t\u00eb mund t\u00eb z\u00ebvend\u00ebsojn\u00eb variablat me tregues t\u00eb shkall\u00ebzuar me kontejner\u00eb dhe t\u00eb aplikojn\u00eb trajtues alternativ\u00eb n\u00eb situata kur kontejneri nuk mund t\u00eb z\u00ebvend\u00ebsoj\u00eb n\u00eb m\u00ebnyr\u00eb t\u00eb drejt\u00eb treguesin (p.sh., konstrukti «if(array_pointer)» mund t\u00eb transformohet n\u00eb «if(span.data()»). 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":"