{"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\/it\/blog\/news\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","title":{"rendered":"Il progetto LLVM sviluppa strumenti per un uso sicuro dei buffer in C++","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Gli sviluppatori del progetto LLVM hanno proposto una serie di modifiche volte a migliorare la sicurezza dei progetti critici in linguaggio C++ e a fornire strumenti per escludere errori causati da accessi oltre i limiti consentiti dei buffer. Il lavoro si concentra su due direzioni: fornire un modello di sviluppo che consenta di lavorare in modo sicuro con i buffer e svolgere attivit\u00e0 per rafforzare la protezione della libreria standard delle funzioni libc++. <\/p>\n
Il modello di programmazione sicura proposto per C++ prevede l'uso delle classi fornite dalla libreria standard durante il lavoro con i buffer, invece di manovrare puntatori 'nudi'. Ad esempio, si suggerisce di utilizzare le classi std::array, std::vector e std::span, alle quali sar\u00e0 aggiunto un controllo sugli accessi oltre i limiti della memoria allocata, eseguito durante il runtime. <\/p>\n
Per affrontare pratiche di programmazione pericolose in clang, si propone di emettere avvisi del compilatore per tutte le operazioni aritmetiche con i puntatori, simili agli avvisi del linter clang-tidy, che vengono visualizzati utilizzando l'opzione \u00abcppcoreguidelines-pro-bounds-pointer-arithmetic\u00bb, il cui supporto sar\u00e0 introdotto nella versione LLVM 16. Per abilitare tali avvisi in clang, sar\u00e0 aggiunta un'opzione separata, non attiva di default. <\/p>\n
In libc++ si prevede di implementare una modalit\u00e0 opzionale di protezione avanzata, alla quale, se attivata, durante l'esecuzione saranno rilevate alcune situazioni che portano a un comportamento indefinito. Ad esempio, nelle classi std::span e std::vector sar\u00e0 monitorato l'accesso oltre l'area di memoria allocata; qualora venga rilevato tale accesso, il programma si interromper\u00e0 in modo anomalo. Gli sviluppatori ritengono che l'aggiunta di tali modifiche manterr\u00e0 libc++ conforme agli standard C++, poich\u00e9 la scelta del metodo di trattamento dei casi di comportamento indefinito spetta agli sviluppatori della libreria, che possono anche considerare il comportamento indefinito come un errore che richiede l'interruzione del programma. <\/p>\n
Le verifiche eseguite durante l'esecuzione in libc++ si prevede siano suddivise in categorie che potranno essere abilitate singolarmente. Alcune delle verifiche proposte, che non portano a complicazioni nelle operazioni o a modifiche dell'ABI, sono gi\u00e0 implementate nell'ambito della modalit\u00e0 sicura di libc++ (safe mode). <\/p>\n
Inoltre, \u00e8 prevista la preparazione di strumenti per la correzione del codice, che consentiranno di sostituire le variabili con puntatori nudi con contenitori e di applicare gestori alternativi in situazioni in cui un contenitore non pu\u00f2 sostituire direttamente un puntatore (ad esempio, la costruzione \u00abif(array_pointer)\u00bb pu\u00f2 essere trasformata in \u00abif(span.data()\u00bb). Le correzioni possono essere applicate non solo a variabili locali, ma anche a parametri di tipo con puntatori. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"