LLVM പ്രോജക്റ്റ് C++ ൽ ബഫർ സുരക്ഷിതമായ കൈകാര്യം ചെയ്യൽ വികസിപ്പിക്കുന്നു

LLVM പ്രോജക്റ്റിന്റെ ഡെവലപ്പർമാർ മിഷൻ-ക്രിട്ടിക്കൽ C++ പ്രോജക്റ്റുകളുടെ സുരക്ഷ ശക്തിപ്പെടുത്തുന്നതിനും ബഫർ ഓവർറൺ മൂലമുണ്ടാകുന്ന പിശകുകൾ ഇല്ലാതാക്കുന്നതിനും ലക്ഷ്യമിട്ടുള്ള നിരവധി മാറ്റങ്ങൾ നിർദ്ദേശിച്ചിട്ടുണ്ട്. പ്രവർത്തനം രണ്ട് മേഖലകളിൽ ശ്രദ്ധ കേന്ദ്രീകരിച്ചിരിക്കുന്നു: ബഫറുകൾ ഉപയോഗിച്ച് സുരക്ഷിതമായി പ്രവർത്തിക്കാൻ നിങ്ങളെ അനുവദിക്കുന്ന ഒരു വികസന മോഡൽ നൽകുന്നു, ഒപ്പം libc++ സ്റ്റാൻഡേർഡ് ലൈബ്രറിയുടെ സുരക്ഷ ഉറപ്പിക്കുന്നതിലും പ്രവർത്തിക്കുന്നു.

C++ നുള്ള നിർദ്ദിഷ്ട സുരക്ഷിത പ്രോഗ്രാമിംഗ് മോഡൽ, ബഫറുകൾ ഉപയോഗിച്ച് പ്രവർത്തിക്കുമ്പോൾ, വെറും പോയിന്ററുകൾ കൈകാര്യം ചെയ്യുന്നതിനുപകരം സാധാരണ ലൈബ്രറി നൽകുന്ന ക്ലാസുകൾ ഉപയോഗിക്കുക എന്നതാണ്. ഉദാഹരണത്തിന്, std::array, std::vector, std::span എന്നീ ക്ലാസുകൾ ഉപയോഗിക്കാൻ നിർദ്ദേശിക്കപ്പെട്ടിരിക്കുന്നു, ഇത് പരിധിക്ക് പുറത്തുള്ള മെമ്മറിക്കായി റൺ-ടൈം പരിശോധനയ്‌ക്കൊപ്പം ചേർക്കും.

ക്ലാംഗിലെ അപകടകരമായ പ്രോഗ്രാമിംഗ് സമ്പ്രദായങ്ങളെ ചെറുക്കുന്നതിന്, "cppcoreguidelines-pro-bounds-pointer-arithmetic" ഫ്ലാഗ് ഉപയോഗിക്കുമ്പോൾ clang-tidy യുടെ ലിന്റർ മുന്നറിയിപ്പുകൾക്ക് സമാനമായി, എല്ലാ പോയിന്റർ ഗണിത പ്രവർത്തനങ്ങൾക്കും കമ്പൈലർ മുന്നറിയിപ്പുകൾ നൽകാൻ നിർദ്ദേശിക്കപ്പെട്ടിരിക്കുന്നു, അതിനുള്ള പിന്തുണ ദൃശ്യമാകും. റിലീസ് LLVM 16. അത്തരം മുന്നറിയിപ്പുകൾ പ്രവർത്തനക്ഷമമാക്കുന്നതിന്, ക്ലാങ്ങിലേക്ക് ഒരു പ്രത്യേക ഫ്ലാഗ് ചേർക്കും, അത് സ്ഥിരസ്ഥിതിയായി സജീവമല്ല.

libc++-ൽ ഒരു ഓപ്‌ഷണൽ ഹാർഡ്‌ഡൻഡ് പ്രൊട്ടക്ഷൻ മോഡ് നടപ്പിലാക്കാൻ പദ്ധതിയിട്ടിട്ടുണ്ട്, ഇത് പ്രവർത്തനക്ഷമമാക്കുമ്പോൾ, റൺ ടൈമിൽ നിർവചിക്കാത്ത സ്വഭാവത്തിലേക്ക് നയിക്കുന്ന ചില സാഹചര്യങ്ങൾ പിടിക്കും. ഉദാഹരണത്തിന്, std::span, std::vector ക്ലാസുകളിൽ, പരിധിക്ക് പുറത്തുള്ള ഒരു ആക്സസ് നിരീക്ഷിക്കപ്പെടും, ഈ സാഹചര്യത്തിൽ പ്രോഗ്രാം ക്രാഷാകും. അത്തരം മാറ്റങ്ങൾ ചേർക്കുന്നത് ലിബിസി++ സി++ മാനദണ്ഡങ്ങൾക്ക് അനുസൃതമായി നിലനിർത്തുമെന്ന് ഡെവലപ്പർമാർ വിശ്വസിക്കുന്നു, കാരണം നിർവചിക്കാത്ത പെരുമാറ്റം എങ്ങനെ കൈകാര്യം ചെയ്യണമെന്നത് ലൈബ്രറിയുടെ ഡെവലപ്പർമാരുടേതാണ്, മറ്റ് കാര്യങ്ങൾക്കൊപ്പം, നിർവചിക്കാത്ത സ്വഭാവത്തെ ക്രാഷായി വ്യാഖ്യാനിക്കാം. പുറത്തുകടക്കാനുള്ള പ്രോഗ്രാം.

libc++ ലെ റൺടൈം പരിശോധനകൾ വ്യക്തിഗതമായി ഉൾപ്പെടുത്താവുന്ന വിഭാഗങ്ങളായി വിഭജിക്കാൻ പദ്ധതിയിട്ടിരിക്കുന്നു. കൂടുതൽ സങ്കീർണ്ണമായ പ്രവർത്തനങ്ങളോ ABI മാറ്റങ്ങളോ ഉണ്ടാക്കാത്ത ചില നിർദ്ദേശിച്ച ചെക്കുകൾ ഇതിനകം libc++ ന്റെ സുരക്ഷിത മോഡിൽ നടപ്പിലാക്കിയിട്ടുണ്ട്.

കൂടാതെ, കോഡ് ശരിയാക്കാൻ ഒരു ടൂൾകിറ്റ് തയ്യാറാക്കാൻ പദ്ധതിയിട്ടിട്ടുണ്ട്, ഇത് കണ്ടെയ്‌നറുകളിൽ നഗ്നമായ പോയിന്ററുകൾ ഉപയോഗിച്ച് വേരിയബിളുകൾ മാറ്റിസ്ഥാപിക്കാനും കണ്ടെയ്‌നറിന് നേരിട്ട് പോയിന്റർ മാറ്റിസ്ഥാപിക്കാൻ കഴിയാത്ത സാഹചര്യങ്ങളിൽ ഇതര ഹാൻഡ്‌ലറുകൾ പ്രയോഗിക്കാനും നിങ്ങളെ അനുവദിക്കുന്നു (ഉദാഹരണത്തിന്, "if (array_pointer)" കൺസ്ട്രക്റ്റ് "if (span.data ()") ആയി പരിവർത്തനം ചെയ്യാവുന്നതാണ്. ലോക്കൽ വേരിയബിളുകൾക്ക് മാത്രമല്ല, പോയിന്ററുകൾ ഉപയോഗിച്ച് പാരാമീറ്ററുകൾ ടൈപ്പ് ചെയ്യുന്നതിനും ക്രമീകരണം പ്രയോഗിക്കാൻ കഴിയും.

അവലംബം: opennet.ru