C++, C ഭാഷകൾക്കുള്ള സ്റ്റാറ്റിക് കോഡ് അനലൈസർ ആയ cppcheck 2.6-ന്റെ റിലീസ്

സ്റ്റാറ്റിക് കോഡ് അനലൈസർ cppcheck 2.6-ന്റെ ഒരു പുതിയ പതിപ്പ് പുറത്തിറങ്ങി, ഇത് എംബഡഡ് സിസ്റ്റങ്ങൾക്ക് സാധാരണ നിലവാരമില്ലാത്ത സിന്റാക്സ് ഉപയോഗിക്കുമ്പോൾ ഉൾപ്പെടെ, C, C++ ഭാഷകളിലെ കോഡിലെ വിവിധ തരം പിശകുകൾ തിരിച്ചറിയാൻ നിങ്ങളെ അനുവദിക്കുന്നു. പ്ലഗിനുകളുടെ ഒരു ശേഖരം നൽകുന്നു, അതിലൂടെ cppcheck വിവിധ വികസനം, തുടർച്ചയായ സംയോജനം, ടെസ്റ്റിംഗ് സിസ്റ്റങ്ങൾ എന്നിവയുമായി സംയോജിപ്പിച്ചിരിക്കുന്നു, കൂടാതെ കോഡ് ശൈലിയുമായി കോഡ് പാലിക്കുന്നത് പരിശോധിക്കുന്നത് പോലുള്ള സവിശേഷതകളും നൽകുന്നു. കോഡ് പാഴ്‌സ് ചെയ്യാൻ, നിങ്ങൾക്ക് ഒന്നുകിൽ നിങ്ങളുടെ സ്വന്തം പാഴ്‌സർ അല്ലെങ്കിൽ Clang-ൽ നിന്നുള്ള ഒരു ബാഹ്യ പാഴ്സർ ഉപയോഗിക്കാം. ഡെബിയൻ പാക്കേജുകൾക്കായി സഹകരിച്ചുള്ള കോഡ് അവലോകന പ്രവർത്തനങ്ങൾ നടത്താൻ പ്രാദേശിക ഉറവിടങ്ങൾ നൽകുന്നതിന് donate-cpu.py സ്ക്രിപ്റ്റും ഇതിൽ ഉൾപ്പെടുന്നു. പ്രോജക്റ്റിന്റെ സോഴ്സ് കോഡ് GPLv3 ലൈസൻസിന് കീഴിലാണ് വിതരണം ചെയ്യുന്നത്.

cppcheck-ന്റെ വികസനം, നിർവചിക്കപ്പെടാത്ത പെരുമാറ്റവുമായി ബന്ധപ്പെട്ട പ്രശ്നങ്ങൾ തിരിച്ചറിയുന്നതിലും സുരക്ഷാ വീക്ഷണത്തിൽ നിന്ന് അപകടകരമായ ഡിസൈനുകളുടെ ഉപയോഗത്തിലും ശ്രദ്ധ കേന്ദ്രീകരിക്കുന്നു. തെറ്റായ പോസിറ്റീവുകൾ കുറയ്ക്കുക എന്നതാണ് ലക്ഷ്യം. തിരിച്ചറിഞ്ഞ പ്രശ്‌നങ്ങളിൽ: നിലവിലില്ലാത്ത ഒബ്‌ജക്‌റ്റുകളിലേക്കുള്ള പോയിന്ററുകൾ, പൂജ്യത്തിന്റെ വിഭജനം, പൂർണ്ണസംഖ്യ ഓവർഫ്ലോകൾ, തെറ്റായ ബിറ്റ് ഷിഫ്റ്റ് ഓപ്പറേഷനുകൾ, തെറ്റായ പരിവർത്തനങ്ങൾ, മെമ്മറിയിൽ പ്രവർത്തിക്കുമ്പോഴുള്ള പ്രശ്നങ്ങൾ, STL-ന്റെ തെറ്റായ ഉപയോഗം, നൾ പോയിന്റർ ഡീറഫറൻസുകൾ, യഥാർത്ഥ ആക്‌സസിന് ശേഷമുള്ള പരിശോധനകളുടെ ഉപയോഗം ബഫറിലേക്ക്, ബഫർ ഓവർറൺസ്, അൺഇനിഷ്യലൈസ്ഡ് വേരിയബിളുകളുടെ ഉപയോഗം.

പുതിയ വേർസികൾ:

• അനലൈസർ കോറിലേക്ക് ഇനിപ്പറയുന്ന പരിശോധനകൾ ചേർത്തു:
  • ഫംഗ്ഷൻ ബോഡിയിൽ ഒരു റിട്ടേൺ ഓപ്പറേറ്ററുടെ അഭാവം;
  • ഓവർലാപ്പിംഗ് ഡാറ്റ രേഖപ്പെടുത്തുന്നു, നിർവചിക്കാത്ത സ്വഭാവം നിർണ്ണയിക്കുന്നു;
  • താരതമ്യപ്പെടുത്തുന്ന മൂല്യം തരത്തിന്റെ മൂല്യ പ്രതിനിധാനത്തിന് പുറത്താണ്;
  • റിട്ടേൺ std::move(local) എന്നതിന് കോപ്പി ഒപ്റ്റിമൈസേഷൻ ബാധകമല്ല;
  • വ്യത്യസ്ത സ്ട്രീമുകളിൽ (സ്ട്രീം) വായിക്കുന്നതിനും എഴുതുന്നതിനുമായി ഒരേസമയം ഫയൽ തുറക്കാൻ കഴിയില്ല;
• Unix പ്ലാറ്റ്‌ഫോമുകൾക്കായി, ഡയഗ്നോസ്റ്റിക് സന്ദേശങ്ങൾ വ്യത്യസ്ത നിറങ്ങളിൽ പ്രദർശിപ്പിക്കുന്നതിനുള്ള പിന്തുണ ചേർത്തു;
• വാല്യൂഫ്ലോയ്‌ക്കായി പ്രതീകാത്മക വിശകലനം ചേർത്തു. രണ്ട് അജ്ഞാത വേരിയബിളുകൾ തമ്മിലുള്ള വ്യത്യാസം കണക്കാക്കുമ്പോൾ ലളിതമായ ഡെൽറ്റ ഉപയോഗിക്കുന്നു;
• "നിർവചിക്കുക" എന്ന ടോക്കണുകളുടെ ലിസ്റ്റിനായി ഉപയോഗിക്കുന്ന നിയമങ്ങളും #ഉൾപ്പെടെ പൊരുത്തപ്പെടാം;
• ലൈബ്രറി ടാഗ് ഇപ്പോൾ ഒരു ടാഗ് അടങ്ങിയിരിക്കാം , അതനുസരിച്ച് std::size, std::empty, std::begin, std::end, തുടങ്ങിയ കണ്ടെയ്‌നറുകൾ സ്വീകരിക്കാൻ കഴിയുന്ന സൗജന്യ ഫംഗ്‌ഷനുകൾ. കണക്ടറുകൾക്കായി യെൽഡ് അല്ലെങ്കിൽ ആക്ഷൻ വ്യക്തമാക്കാൻ കഴിയും;
• ലൈബ്രറി ടാഗ് ഇപ്പോൾ ഒരു ടാഗ് അടങ്ങിയിരിക്കാം അദ്വിതീയ ഉടമസ്ഥതയുള്ള സ്മാർട്ട് പോയിന്ററുകൾക്കായി. ഇത്തരത്തിലുള്ള സ്‌മാർട്ട് പോയിന്ററുകളിലേക്കുള്ള റഫറൻസുകളെ കുറിച്ച് ഇപ്പോൾ ഒരു മുന്നറിയിപ്പ് നൽകിയിട്ടുണ്ട്;
• —cppcheck-build-dir പാരാമീറ്റർ പ്രോസസ്സ് ചെയ്യുന്നതിലെ പരിഹരിച്ച പ്രശ്നങ്ങൾ;
• htmlreport ഇപ്പോൾ രചയിതാവിനെക്കുറിച്ചുള്ള വിവരങ്ങൾ പ്രദർശിപ്പിക്കാൻ കഴിയും (ജിറ്റ് കുറ്റപ്പെടുത്തൽ ഉപയോഗിച്ച്);
• സ്ഥിരമല്ലാത്തതും എന്നാൽ ആയിരിക്കാവുന്നതുമായ വേരിയബിളുകളെക്കുറിച്ചുള്ള വിപുലമായ മുന്നറിയിപ്പുകൾ;
• അനലൈസറിന്റെ കുമിഞ്ഞുകൂടിയ പിശകുകളും പോരായ്മകളും തിരുത്തിയിട്ടുണ്ട്.

കൂടാതെ, നിയമങ്ങൾ 2012, 1, 2 എന്നിവ ഒഴികെ, ഭേദഗതി 1.1, ഭേദഗതി 1.2 എന്നിവയുൾപ്പെടെ മിശ്ര സി 17.3-ൽ നിന്നുള്ള പരിശോധനകൾ പൂർണ്ണമായും നടപ്പിലാക്കി. 1.1, 1.2 പരിശോധനകൾ കമ്പൈലർ നടത്തണം. സ്ഥിരീകരണം 17.3 GCC പോലുള്ള ഒരു കംപൈലറിന് നടത്താം.

അവലംബം: opennet.ru