LLVM પ્રોજેક્ટ C++ માં બફર સલામત હેન્ડલિંગ વિકસાવે છે

LLVM પ્રોજેક્ટના ડેવલપર્સે મિશન-ક્રિટીકલ C++ પ્રોજેક્ટ્સની સુરક્ષાને મજબૂત બનાવવા અને બફર ઓવરરન્સને કારણે થતી ભૂલોને દૂર કરવાના માધ્યમ પૂરા પાડવાના હેતુથી સંખ્યાબંધ ફેરફારોની દરખાસ્ત કરી છે. કાર્ય બે ક્ષેત્રો પર કેન્દ્રિત છે: વિકાસ મોડેલ પ્રદાન કરવું જે તમને બફર્સ સાથે સુરક્ષિત રીતે કામ કરવાની મંજૂરી આપે છે, અને કાર્યોની libc++ પ્રમાણભૂત લાઇબ્રેરીની સુરક્ષાને સખત બનાવવા પર કામ કરે છે.

C++ માટે સૂચિત સલામત પ્રોગ્રામિંગ મોડલ એ છે કે બેર પોઇન્ટર સાથે ચેડાં કરવાને બદલે બફર્સ સાથે કામ કરતી વખતે સ્ટાન્ડર્ડ લાઇબ્રેરી દ્વારા પૂરા પાડવામાં આવેલ વર્ગોનો ઉપયોગ કરવો. ઉદાહરણ તરીકે, વર્ગો std::array, std::vector અને std::span નો ઉપયોગ કરવાની દરખાસ્ત છે, જે આઉટ ઓફ બાઉન્ડ્સ ફાળવેલ મેમરી માટે રન-ટાઇમ ચેક સાથે ઉમેરવામાં આવશે.

રણકારમાં ખતરનાક પ્રોગ્રામિંગ પ્રથાઓનો સામનો કરવા માટે, "cppcoreguidelines-pro-bounds-pointer-Arithmetic" ફ્લેગનો ઉપયોગ કરતી વખતે ક્લેંગ-ટિડીની લિન્ટર ચેતવણીઓ જેવી જ તમામ પોઇન્ટર અંકગણિત કામગીરી માટે કમ્પાઇલર ચેતવણીઓ જારી કરવાનો પ્રસ્તાવ છે, જેના માટે સમર્થન આમાં દેખાશે. પ્રકાશન LLVM 16. આવી ચેતવણીઓને સક્ષમ કરવા માટે, રણકારમાં એક અલગ ધ્વજ ઉમેરવામાં આવશે, જે મૂળભૂત રીતે સક્રિય નથી.

libc++ માં વૈકલ્પિક કઠણ સંરક્ષણ મોડને અમલમાં મૂકવાનું આયોજન કરવામાં આવ્યું છે, જે જ્યારે સક્ષમ હશે, ત્યારે કેટલીક પરિસ્થિતિઓને પકડી લેશે જે રન સમયે અવ્યાખ્યાયિત વર્તન તરફ દોરી જશે. ઉદાહરણ તરીકે, std::span અને std::vector વર્ગોમાં, સીમાની બહારની ઍક્સેસનું નિરીક્ષણ કરવામાં આવશે, જે કિસ્સામાં પ્રોગ્રામ ક્રેશ થશે. વિકાસકર્તાઓ માને છે કે આવા ફેરફારો ઉમેરવાથી libc++ C++ ધોરણો સાથે સુસંગત રહેશે, કારણ કે અવ્યાખ્યાયિત વર્તણૂકના કેસોને કેવી રીતે હેન્ડલ કરવા તેની પસંદગી લાઇબ્રેરીના વિકાસકર્તાઓ પાસે છે, જે અન્ય બાબતોની સાથે, અવ્યાખ્યાયિત વર્તનને ક્રેશ તરીકે અર્થઘટન કરી શકે છે જેને જરૂરી છે. બહાર નીકળવાનો કાર્યક્રમ.

libc++ માં રનટાઇમ તપાસોને વ્યક્તિગત રીતે સમાવી શકાય તેવી શ્રેણીઓમાં વિભાજિત કરવાની યોજના છે. કેટલાક સૂચવેલ તપાસો કે જે વધુ જટિલ કામગીરીમાં પરિણમતા નથી અથવા ABI ફેરફારો પહેલાથી જ libc++ ના સલામત મોડમાં અમલમાં છે.

વધુમાં, કોડને સુધારવા માટે એક ટૂલકીટ તૈયાર કરવાની યોજના છે, જેનાથી તમે કન્ટેનર પર બેર પોઈન્ટર્સ સાથે વેરીએબલ્સને બદલી શકો છો અને કન્ટેનર સીધા જ પોઈન્ટરને બદલી શકતા નથી તેવા સંજોગોમાં વૈકલ્પિક હેન્ડલર્સ લાગુ કરી શકો છો (ઉદાહરણ તરીકે, "if (array_pointer)" construct ને "if (span.data ()" માં રૂપાંતરિત કરી શકાય છે. એડજસ્ટમેન્ટ માત્ર સ્થાનિક ચલોને જ નહીં, પણ પોઇન્ટર સાથેના પરિમાણોને ટાઇપ કરવા માટે પણ લાગુ કરી શકાય છે.

સોર્સ: opennet.ru