{"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 lavorare in sicurezza con i 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 C++ e a fornire strumenti per escludere errori causati dall'uscita dai limiti consentiti dei buffer. Il lavoro si concentra su due direzioni: fornire un modello di sviluppo che consenta di lavorare in sicurezza con i buffer e lavorare 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 quando si lavora con i buffer, anzich\u00e9 manipolare puntatori grezzi. Ad esempio, si propone di utilizzare le classi std::array, std::vector e std::span, a cui sar\u00e0 aggiunto un controllo dell'uscita dai limiti della memoria allocata, eseguito in fase di runtime. <\/p>\n
Per contrastare pratiche di programmazione pericolose in clang, si propone di generare avvisi del compilatore per tutte le operazioni aritmetiche con puntatori, simili agli avvisi del linter clang-tidy, emessi utilizzando il flag \u00abcppcoreguidelines-pro-bounds-pointer-arithmetic\u00bb, il cui supporto sar\u00e0 disponibile nella release LLVM 16. Per attivare tali avvisi in clang, sar\u00e0 aggiunto un flag separato, disattivato di default. <\/p>\n
In libc++ \u00e8 prevista l'implementazione di una modalit\u00e0 opzionale di protezione avanzata; quando attivata, durante l'esecuzione verranno catturate alcune situazioni che portano a comportamenti indefiniti. Ad esempio, nei classi std::span e std::vector verr\u00e0 monitoraccesso oltre il limite dell'area di memoria allocata, il che causer\u00e0 un arresto anomalo del programma. Gli sviluppatori ritengono che l'aggiunta di queste modifiche manterr\u00e0 la conformit\u00e0 di libc++ agli standard C++, poich\u00e9 la scelta del metodo di gestione dei casi di comportamento indefinito spetta agli sviluppatori della libreria, che possono anche interpretare il comportamento indefinito come un errore che richiede l'interruzione del programma. <\/p>\n
Le verifiche eseguite in libc++ verranno suddivise in categorie che potranno essere incluse separatamente. Alcuni dei controlli proposti, che non complicano le operazioni o alterano l'ABI, sono gi\u00e0 stati implementati nel contesto della modalit\u00e0 sicura di libc++ (safe mode). <\/p>\n
In aggiunta, \u00e8 in programma la preparazione di strumenti per la modifica 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 potrebbe essere convertita in \u00abif(span.data()\u00bb). Le modifiche possono essere applicate non solo alle variabili locali, ma anche ai parametri di tipo con puntatori. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"