{"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\/nl\/blog\/news\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","title":{"rendered":"Het LLVM-project ontwikkelt hulpmiddelen voor veilige bufferwerking in C++.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
De ontwikkelaars van het LLVM-project hebben een reeks wijzigingen voorgesteld die gericht zijn op het verbeteren van de veiligheid van kritieke projecten in C++ en het bieden van middelen om fouten die voortvloeien uit overschrijdingen van geheugenbuffers te voorkomen. Het werk richt zich op twee gebieden: het bieden van een ontwikkelingsmodel dat veilig werken met buffers mogelijk maakt en het versterken van de beveiliging van de standaardfunctie bibliotheek libc++. <\/p>\n
Het voorgestelde model voor veilig programmeren in C++ stelt voor om de door de standaardbibliotheek aangeboden klassen te gebruiken bij het werken met buffers, in plaats van te werken met blote pointers. Zo wordt voorgesteld om de klassen std::array, std::vector en std::span te gebruiken, waarbij runtime-controle op geheugenoverschrijdingen zal worden toegevoegd. <\/p>\n
Om gevaarlijke programmeertechnieken in clang te bestrijden, wordt voorgesteld om compilerwaarschuwingen te geven voor alle rekenkundige bewerkingen met pointers, vergelijkbaar met de waarschuwingen van de clang-tidy linter die worden weergegeven bij het gebruik van de vlag «cppcoreguidelines-pro-bounds-pointer-arithmetic», waarvan de ondersteuning beschikbaar zal zijn in LLVM 16. Voor het inschakelen van dergelijke waarschuwingen zal clang een aparte vlag worden toegevoegd, die standaard niet is ingeschakeld. <\/p>\n
In libc++ is het de bedoeling om een optionele modus voor versterkte beveiliging te implementeren, waarbij tijdens runtime bepaalde situaties die leiden tot onbepaald gedrag worden opgevangen. Bijvoorbeeld, in de klassen std::span en std::vector zal het toegang tot gebieden buiten de toegewezen geheugenruimte worden gevolgd, en als dit wordt vastgesteld, zal de applicatie worden afgebroken. De ontwikkelaars zijn van mening dat het toevoegen van dergelijke wijzigingen de compatibiliteit van libc++ met de C++-standaarden zal behouden, aangezien de keuze van de methode voor het omgaan met gevallen van onbepaald gedrag ligt bij de bibliotheekontwikkelaars, die onbepaald gedrag ook kunnen interpreteren als een fout die een programma-afsluiting vereist. <\/p>\n
De runtime-controles in libc++ zijn van plan om te worden onderverdeeld in categorie\u00ebn die afzonderlijk kunnen worden ingeschakeld. Sommige van de voorgestelde controles die geen complicaties in de operaties of veranderingen in de ABI veroorzaken, zijn al ge\u00efmplementeerd binnen de veilige modus van libc++ (safe mode). <\/p>\n
Bovendien is het de bedoeling om gereedschap te ontwikkelen voor het aanpassen van code, waarmee variabelen met kale pointers kunnen worden vervangen door containers en alternatieve handlers kunnen worden toegepast in situaties waarin de container de pointer niet direct kan vervangen (bijvoorbeeld kan de constructie «if(array_pointer)» worden omgevormd tot «if(span.data()»). Aanpassingen kunnen niet alleen worden toegepast op lokale variabelen, maar ook op parameters van typen met pointers. \n Bron: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"