सामान्य प्रयोजन के स्थैतिक विश्लेषणकर्ताओं के साथ पांच खुली परियोजनाओं का परीक्षण

लेख "कोड एनालाइजर की तुलना करने में कठिनाई या प्रयोज्य के बारे में मत भूलना" [ 1 ] कहता है कि दो टूल की तुलना करना उतना आसान नहीं है जितना लगता है, क्योंकि एनालाइजर की वास्तविक तकनीकी विशेषताओं के अलावा, इस तरह के एक पैरामीटर की उपयोगिता बहुत महत्वपूर्ण है।

लेकिन फिर भी, पता की गई त्रुटियों की तुलना करने से कोई बच नहीं सकता है। स्वाभाविक रूप से, बस उनकी संख्या गिनने का कोई मतलब नहीं है। इसलिए, हमने वास्तविक परियोजनाओं में त्रुटियों का पता लगाने के लिए एक व्यावहारिक प्रयोग करने का निर्णय लिया।

आलेख विज़ुअल स्टूडियो 2010 में निर्मित स्थिर कोड विश्लेषक का उपयोग करके पहचानी गई त्रुटियों को दिखाता है। अध्ययन पांच ओपन सोर्स परियोजनाओं पर आयोजित किया गया था। इन परियोजनाओं को पीवीएस-स्टूडियो का उपयोग करके सत्यापित किया गया था। इन दो उपकरणों की तुलना के परिणाम प्रस्तुत किए गए हैं।



हमने दृश्य स्टूडियो 2010 प्रीमियम में निर्मित स्थिर विश्लेषक के साथ पहले पांच यादृच्छिक ओपन सोर्स प्रोजेक्ट्स का परीक्षण किया। हमने संदेशों की पूरी सूची देखी और स्पष्ट त्रुटियों को चुना। फिर वे पीवीएस-स्टूडियो से भी आए।

यहाँ अध्ययन में शामिल परियोजनाओं की एक सूची है:

• ईमुले प्लस ;
• परी ;
• VirtualDub ;
• WinMerge ;
• XUIFramework ।

तो चलिए!

eMule प्लस

विजुअल स्टूडियो स्थिर विश्लेषक के 237 संदेश हैं। इनमें से 4 वास्तविक त्रुटियां थीं।

PVS-Studio के कुल 68 संदेश हैं। इनमें से 3 वास्तविक त्रुटियां हैं।

  विजुअल स्टूडियो: चेतावनी C6054: स्ट्रिंग 'szwThemeFile' नहीं हो सकता है 
 शून्य समाप्त हो गया।  c: \ emuleplus \ Dialmintraybtn.hpp 445 

  WCHAR szwThemeFile [MAX_PATH];
 WCHAR szwThemeColor [256];
 अगर (m_themeHelper.GetCurrentThemeName (szwThemeFile)
     ARRSIZE (szwThemeFile), szwThemeColor, 
     ARRSIZE (szwThemeColor), NULL, 0)! = S_OK)
   वापसी NULL;
 WCHAR * पी;
 अगर ((p = wcsrchr (szwThemeFile, L '\\')) == NULL) 

वास्तव में, लाइन 0 के साथ समाप्त नहीं हो सकती है, जिससे संभावित समस्याएं हो सकती हैं। हालांकि, इस मामले में, यह त्रुटि स्वयं प्रकट नहीं होगी, सबसे अधिक संभावना है।

  विजुअल स्टूडियो: चेतावनी C6269: संभवतः संचालन का गलत क्रम:
 घालमेल की अनदेखी की गई।  c: \ emuleplus \ customautocomplete.cpp 277 

  PVS-Studio: V532 '* पॉइंटर ++' के कथन का निरीक्षण करने पर विचार करें
 पैटर्न।  शायद इसका मतलब है: '(* सूचक) ++'।  customautocomplete.cpp 277 

  अगर (pceltFetched! = NULL)
   * pceltFetched ++; 

यहां प्रोग्रामर "पता नहीं कैसे" अभिव्यक्ति का उपयोग करने के लिए "(* ptr) ++। हालांकि, ऐसा लगता है, इस तरह के एक डिजाइन काफी हानिरहित दिखता है, फिर भी, ऐसी गलती बहुत आम है।

  दृश्य स्टूडियो: चेतावनी C6298: तर्क '6': केवल-पढ़ने के लिए स्ट्रिंग का उपयोग करना
 एक लिखने योग्य स्ट्रिंग तर्क के रूप में।  यह स्टेटिक में लिखने का प्रयास करेगा
 केवल पढ़ने के लिए स्मृति और यादृच्छिक दुर्घटनाओं का कारण।
 c: \ emuleplus \ firewallopener.cpp 183 

  HRESULT hr = pNSC-> AddPortMapping (
   riPortRule.m_strRuleName.AllocSysString (), riPortRule.m_byProtocol,
   riPortRule.m_nPortNumber, riPortRule.m_nPortNumber, 0, L "127.0.0.1",
   ICSTT_IPADDRESS, और pNSPM); 

हालांकि यह कोई गलती नहीं है, विश्लेषक का संदेश उचित है। सामान्य तौर पर, यह सभी स्थैतिक विश्लेषण उपकरणों के लिए एक समस्या है। वे पूरी तरह से सही संदेश देते हैं, लेकिन हमेशा से ये गलतियाँ हैं। क्या इसका मतलब यह है कि उपकरण और समान संदेश बेकार हैं? नहीं, यह नहीं है, क्योंकि इस तरह की टिप्पणी को सही करने से आमतौर पर कोड की गुणवत्ता में सुधार होता है।

  विजुअल स्टूडियो: चेतावनी C6314: संचालन का गलत क्रम: बिटवाइज़-
 या सशर्त-अभिव्यक्ति ऑपरेटर की तुलना में अधिक पूर्वता है। 
 आशय स्पष्ट करने के लिए कोष्ठक जोड़ें।  c: \ emuleplus \ searchlistctrl.cpp 659 

  PVS-Studio: V502 शायद '?' 'ऑपरेटर अलग तरीके से काम करता है
 अपेक्षा से अधिक था।  '?:' ऑपरेटर की तुलना में कम प्राथमिकता है
 '|'  ऑपरेटर।  searchlistctrl.cpp 659 

  menuSearchFile.AppendMenu (MF_STRING |
   ((iSelectionMark! = -1) और& (dwSelectedCount> 0) &&
   g_App.m_pServerConnect-> IsConnected () &&
   ((pCurServer = g_App.m_pServerConnect-> GetCurrentServer ())! = NULL) &&
   (pCurServer-> GetTCPFlags () और SRV_TCPFLG_RELATEDSEARCH)? 
     MF_ENABLED: MF_GRAYED, MP_SEARCHRELATED,
       GetResString (IDS_SEARCHRELATED)); 

यहां (डिजाइन की जटिलता के कारण) गलत ऑपरेटर प्राथमिकता प्राप्त की गई थी। कितनी बार उन्होंने दुनिया को दोहराया है ... खैर, जिन्होंने हमें एक पंक्ति (मूल कार्यक्रम में) पर यह सब लिखने से रोका, लेकिन कई अलग-अलग अभिव्यक्तियों में इसे तोड़ने पर? नहीं, प्रोग्रामर अक्सर "खूबसूरती से लिखना" चाहते हैं।

  PVS-Studio: V519 'm_clrSample' ऑब्जेक्ट को दो बार मान दिए गए हैं 
 क्रमिक।  शायद यह एक गलती है।  fontpreviewcombo.cpp 61 

  CFontPreviewCombo :: CFontPreviewCombo ()
 {
   ...
   m_clrSample = GetSysColor (COLOR_WINDOWTEXT);
   m_clrSample = RGB (60,0,0);
   ...
 } 

शायद उन्होंने कोशिश की कि आरजीबी रंग (60,0,0) कैसे दिखेगा और इसे निकालना भूल गए।

पिक्सी

Visual Studio स्थिर विश्लेषक के 18 संदेश हैं। इनमें से, 0 वास्तविक त्रुटियां हैं।

PVS-Studio के कुल 65 संदेश हैं। इनमें से 5 वास्तविक त्रुटियां हैं।

  PVS-Studio: V519 'numRays' ऑब्जेक्ट को दो बार मान दिए गए हैं
 क्रमिक।  शायद यह एक गलती है।  बंडल

 शून्य CGatherBundle :: पोस्ट () {
  numRays = last;
  संख्या = 0;
  अंतिम = 0;
  गहराई ++;
 } 

ओह, यह कितना संदिग्ध है कि पहले एक मूल्य के साथ अंक और फिर दूसरे के साथ अंकन किया जाता है। त्रुटि? या नहीं? केवल कोड का लेखक ही जानता है। लेकिन चिंताजनक!

  PVS-Studio: V501 बाईं ओर समान उप-अभिव्यक्तियाँ हैं और
 'के अधिकार के लिए |'  ऑपरेटर: PARAMETER_DPDU |  PARAMETER_DPDU
 quadCT.cpp 880 

  अगर (ऊपर और (PARAMETER_DPDU | PARAMETER_DPDU)) { 

जाहिर है यहां कुछ और होना चाहिए। वैसे, एक स्थिर विश्लेषक द्वारा ज्ञात त्रुटियों को ठीक करने पर एक सामान्य नोट। यदि कुछ मामलों में सुधार स्पष्ट है और कोई भी इसे बना सकता है, तो कुछ मामलों में केवल कोड के लेखक ही यह पता लगा सकते हैं कि वह क्या लिखना चाहता था। यह इस सवाल का है कि क्या एक उपकरण बनाना संभव है जो त्रुटि सुधार "वर्ड की तरह" प्रदान करता है।

  PVS-Studio: V501 बाईं ओर समान उप-अभिव्यक्तियाँ हैं और
 'के अधिकार के लिए |'  ऑपरेटर: SLC_VECTOR |  SLC_VECTOR 
 अभिव्यक्ति .pp 2604 

  लॉक (N, getConversion (SLC_VECTOR | SLC_VECTOR, पैरामीटर्स [2])); 

एक समान संदर्भ में दो बार उल्लिखित SLC_VECTOR, निश्चित रूप से, त्रुटि का संकेत है।

  PVS-Studio: V505 लूप के अंदर 'एलोका' फंक्शन का उपयोग किया जाता है। 
 यह जल्दी से अतिप्रवाह ढेर हो सकता है।  polygons.cpp 1120 

  इनलाइन शून्य triangulatePolygon (...) {
   ...
   for (i = 1; मैं <nloops; i ++) {
     ...
     करो {
       ...
       करो {
         ...
         CTriVertex * snVertex = (CTriVertex *)
           alloca (2 * sizeof (CTriVertex));
         ...
       } जबकि (dVertex! = छोरों [0]);
       ...
     } जबकि (sVertex! = छोरों [i]);
     ...
   }
   ...
 } 

बड़े घोंसले के कारण, एलोका को कॉल करने से स्टैक ओवरफ्लो हो सकता है।

VirtualDub

Visual Studio स्थिर विश्लेषक के 24 संदेश हैं। इनमें से, 0 वास्तविक त्रुटियां हैं।

PVS-Studio के कुल 41 संदेश हैं। इनमें से 2 वास्तविक त्रुटियां हैं।

  PVS-Studio: V547 एक्सप्रेशन 'c <0' हमेशा गलत होता है। 
 अहस्ताक्षरित प्रकार का मान कभी नहीं है <0। Lexer.cpp 279 

  typedef अहस्ताक्षरित लघु wint_t;

 wint_t lexgetescape () {
   wint_t c = lexgetc ();
   अगर (c <0)
     घातक ("एस्केप अनुक्रम में पाया जाने वाला न्यूलाइन");
   ...
 } 

कोड कभी नहीं कहा जाएगा क्योंकि अभिव्यक्ति हमेशा झूठी है।

  PVS-Studio: V557 ऐरे ओवररन संभव है।  '9' सूचकांक इंगित कर रहा है
 सरणी से परे।  f_convolute.cpp 73 

  संरचना संकलितफ़िल्टरडेटा {
  लंबी मी [९];
  लंबा पूर्वाग्रह;
  शून्य * dyna_func;
  DWORD dyna_size;
  DWORD dyna_old_protect;
  BOOL fClip;
 };

 स्थिर अहस्ताक्षरित लंबा __fastcall do_conv (
   अहस्ताक्षरित लंबा * डेटा,
   const ConvoluteFilterData * सीएफडी,
   लंबे sflags, लंबे गड्ढे)
 {
   long rt0 = cfd-> m [9], gt0 = cfd-> m [9], bt0 = cfd-> m [9];
   ...
 } 

व्यूह की सीमाओं से परे बनावटी निकास।

WinMerge

विज़ुअल स्टूडियो स्थिर विश्लेषक के संदेशों की कुल संख्या 343 है। इनमें से 3 वास्तविक त्रुटियां हैं।

कुल पीवीएस-स्टूडियो के 69 संदेश हैं। इनमें से 12 वास्तविक त्रुटियां हैं।

  दृश्य स्टूडियो: चेतावनी C6313: गलत ऑपरेटर: शून्य-मूल्यवान ध्वज
 बिट-व के साथ परीक्षण नहीं किया जा सकता है।  जांच के लिए एक समानता परीक्षण का उपयोग करें
 शून्य-मूल्यवान झंडे।  c: \ winmerge \ src \ bcmenu.cpp 1489 

  और यदि (nFlags & MF_STRING) {
  ASSERT (((NFlags & MF_OWNERDRAW));
  RevMenu (pos, nFlags, nID, mdata-> GetString ());
 } 

असफल रूप से दर्ज की गई स्थिति। वे कुछ और रिकॉर्ड करना चाहते थे, लेकिन पहले से ही "क्या हुआ"।

  विजुअल स्टूडियो: चेतावनी C6287: निरर्थक कोड: बाएँ और दाएँ 
 उप-अभिव्यक्तियाँ समान हैं।
 c: \ winmerge \ src \ editlib \ ccrystaleditview.cpp 1560 

  PVS-Studio: V501 बाईं ओर समान उप-अभिव्यक्तियाँ हैं और
 के अधिकार के लिए ||  संचालक: c == '}' ||  c == '}' 
 ccrystaleditview.cpp 1560 

  bool
 isclosebrace (TCHAR c)
 {
   वापसी c == _T ('}') ||  c == _T ('}') ||  c == _T (']') 
       ||  c == _T ('>');
 } 

सभी प्रकार के कोष्ठकों की जाँच नहीं की जाती है। क्यों? कॉपी-पेस्ट-तकनीक, जैसा कि अक्सर होता है, त्रुटियों की ओर जाता है।

  विजुअल स्टूडियो: चेतावनी C6287: निरर्थक कोड: बाएँ और दाएँ 
 उप-अभिव्यक्तियाँ समान हैं।  c: \ winmerge \ src \ mergedoc.cpp 1165

 PVS-Studio: V501 बाईं ओर समान उप-अभिव्यक्तियाँ हैं और
 के अधिकार के लिए ||  ऑपरेटर।  mergedoc.cpp 1165 

  अगर ((m_nBufferType [nBuffer] == BUFFER_UNNAMED) ||
  (m_nBufferType [nBuffer] == BUFFER_UNNAMED))
     nSaveErrorCode = SAVE_NO_FILENAME; 

फिर से एक बुरी स्थिति। और फिर, यह लगता है, खदान-पेस्ट के कारण।

  PVS-Studio: V551 इस 'केस' लेबल के तहत कोड उपलब्ध नहीं है। 
 हस्ताक्षरित चार प्रकार की मूल्य सीमा: [-128, 127]। 
 ccrystaltextview.cpp 1646 

  TCHAR ch = strText [i];
 स्विच (ch)
 {
   मामला 0xB7:
   मामला 0xBB:
     strHTML + = ch;
     strHTML + = _T ("<wbr>");
     bLastCharSpace = FALSE;
     nNonbreakChars = 0;
     तोड़; 

और यहाँ कोड का एक उदाहरण है जिसका उपयोग कभी नहीं किया जाएगा। ऐसा लगता है कि मुकदमा लिखा गया है, लेकिन वह कभी भी नियंत्रण में नहीं आता है। क्योंकि मूल्यों की सीमा बहुत संकीर्ण है। इस मामले में TCHAR एक प्रकार का चार है।

  PVS-Studio: V524 यह अजीब है कि 'IsValidTextPosX' फ़ंक्शन का शरीर
 'IsValidTextPos' फ़ंक्शन के शरीर के पूरी तरह से समकक्ष है 
 (ccrystaltextview.cpp, लाइन 3700)।  ccrystaltextview.cpp 3707 

  बूल CCrystalTextView :: IsValidTextPos (कास्ट CPoint और बिंदु)
 {
   GetLineCount ()> 0 && m_nTopLine> = 0 && 
          m_nOffsetChar> = 0 && point.y> = 0 && 
          point.y <GetLineCount () और& point.x> = 0 &&
          point.x <= GetLineLength (बिंदु.य);
 }

 बूल CCrystalTextView :: IsValidTextPosX (const CPoint और बिंदु)
 {
   GetLineCount ()> 0 && m_nTopLine> = 0 && 
          m_nOffsetChar> = 0 && point.y> = 0 && 
          point.y <GetLineCount () और& point.x> = 0 && 
          point.x <= GetLineLength (बिंदु.य);
 }

 बूल CCrystalTextView :: IsValidTextPosY (कास्ट CPoint और बिंदु)
 {
   GetLineCount ()> 0 && m_nTopLine> = 0 && 
          m_nOffsetChar> = 0 && point.y> = 0 && 
          point.y <GetLineCount ();
 } 

अत्यधिक समान कार्य ... ओवर-ओवर, कॉपी-पेस्टिल और परिणाम को सही करने के लिए भूल गया। IsValidTextPosX () फ़ंक्शन एक अतिरिक्त जाँच करता है।

  PVS-Studio: V563 यह संभव है कि यह 'और' शाखा पर लागू हो
 पिछले 'अगर' बयान।  bcmenu.cpp 1852 

  अगर (IsLunaMenuStyle ())
   अगर (xp_space_accelerators) वापस लौटते हैं;
 अन्यथा
   यदि (मूल_ स्थान_सेक्रेटर) वापस लौटते हैं; 

कौन, कोड को देखकर, वास्तव में क्या कहेगा अगर अन्य को संदर्भित करता है? क्या यह वही था जो प्रोग्रामर करना चाहता था? क्या आपको यकीन है?

  पीवीएस-स्टूडियो: वी 556 विभिन्न एनम प्रकारों के मूल्यों की तुलना की जाती है:
 स्विच (ENUM_TYPE_A) {मामला ENUM_TYPE_B: ...}।  diffwrapper.cpp 956 

  enum output_style {}
 ...
 enum DiffOutputType m_outputStyle;

 स्विच (m_options.m_outputStyle)
 {
   मामला OUTPUT_CONTEXT: 

स्विच में एनम प्रकार को थोड़ा गड़बड़ कर दिया। लेकिन क्या यह डरावना नहीं है? या डरावना?

  PVS-Studio: V530 'खाली' फ़ंक्शन का रिटर्न मान आवश्यक है
 उपयोग किया जाए।  diractions.cpp 1307 

  शून्य CDirView :: GetItemFileNames (int sel, स्ट्रिंग और strLeft,
                                 स्ट्रिंग और स्ट्राइट) कास्ट
 {
   UINT_PTR diffpos = GetItemKey (sel);
   अगर (diffpos == (UINT_PTR) SPECIAL_ITEM_POS)
   {
     strLeft.empty ();
     strRight.empty (); 

वह मामला जब खाली () खाली न हो। एक अत्यंत असफल विधि नाम का एक उदाहरण।

  PVS-Studio: V524 यह अजीब है कि 'OnUpdateLastdiff' का शरीर
 फ़ंक्शन 'OnUpdateFirstdiff' के शरीर के समतुल्य है
 फ़ंक्शन (DirView.cpp, पंक्ति 2189)।  dirview.cpp 2220 

  शून्य CDirView :: OnUpdateLastdiff (CCmdUI * pCmdUI)
 {
   int firstDiff = GetFirstDifferentItem ();
   अगर (फर्स्टडिफ़> -1)
     pCmdUI-> सक्षम करें (TRUE);
   अन्यथा
     pCmdUI-> सक्षम करें (FALSE);
 }

 शून्य CDirView :: OnUpdateFirstdiff (CCmdUI * pCmdUI)
 {
   int firstDiff = GetFirstDifferentItem ();
   अगर (फर्स्टडिफ़> -1)
     pCmdUI-> सक्षम करें (TRUE);
   अन्यथा
     pCmdUI-> सक्षम करें (FALSE);
 } 

दो अन्य बहुत ही समान विशेषताएं ...

  PVS-Studio: V501 समान उप-अभिव्यक्तियाँ हैं 
 'pView1-> GetTextBufferEol (लाइन)' बाईं ओर और दाईं ओर
 '! =' ऑपरेटर।  mergedociltiffs.cpp 216 

  if (pView1-> GetTextBufferEol (लाइन)! = 
     pView1-> GetTextBufferEol (लाइन))
 { 

या यह, या वह ... या नहीं? संभवतः यहाँ pView2 होना चाहिए।

  PVS-Studio: V530 'खाली' फ़ंक्शन का रिटर्न मान आवश्यक है
 उपयोग किया जाए।  varprop.cpp 133 

  शून्य VariantValue :: साफ़ ()
 {
   m_vtype = VT_NULL;
   m_bvalue = false;
   m_ivalue = 0;
   m_fvalue = 0;
   m_svalue.empty ();
   m_tvalue = 0;
 } 

और फिर से खाली () लाइन को बिल्कुल भी साफ नहीं करता है।

  PVS-Studio: V510 'प्रारूप' फ़ंक्शन को प्राप्त करने की उम्मीद नहीं है
 'एन' वास्तविक तर्क के रूप में वर्ग-प्रकार चर। PropShel 105 

  स्ट्रिंग GetSysError (int nerr);
 ...
 CString संदेश;
 msg.Format (
   _T ("रजिस्ट्री कुंजी खोलने में विफल HKCU /% s: \ n \ t% d:% s"),
   f_RegDir, retVal, GetSysError (retVal)
   ); 

यदि विभिन्न आपात स्थिति होती है, तो WinMerge त्रुटियों की रिपोर्ट करने का प्रयास करेगा, लेकिन कुछ मामलों में यह विफल हो जाएगा। पहली नज़र में, सब कुछ ठीक है। यह सिर्फ "स्ट्रिंग" का प्रकार है "std :: wstring" से ज्यादा कुछ नहीं है। और, इसलिए, सबसे अच्छे मामले में, हम एक एब्राकडाब्रा प्रिंट करेंगे, और सबसे खराब स्थिति में, एक पहुंच उल्लंघन त्रुटि होगी। सही कोड में c_str () का कॉल होना चाहिए।

  PVS-Studio: V534 यह संभावना है कि 'के लिए' ऑपरेटर के अंदर एक गलत चर की तुलना की जा रही है।  'I' की समीक्षा करने पर विचार करें। "BinTrans.cpp 357 

  // पाठ से बाइट्स के अनुवादित सरणी की लंबाई प्राप्त करें।
 int Text2BinTranslator :: iLengthOfTransToBin (
   चार * src, int srclen)
 {
   ...
   के लिए (k = i; i <srclen; k ++)
   {
     अगर (src [k] == '>')
       तोड़;
   }
   ...
 } 

विश्लेषक ने एक संदिग्ध चक्र पाया। यह कोड Access Violation के लिए पूर्वनिर्धारित है। लूप को तब तक जारी रखना चाहिए जब तक कि '>' वर्ण नहीं मिलता है या 'srclen' वर्ण की लंबाई के साथ एक स्ट्रिंग समाप्त हो जाती है। यह सिर्फ इस संयोग से है कि चर 'i' का उपयोग तुलना के लिए किया गया था, न कि 'k'। यदि '>' चरित्र नहीं मिला, तो शायद सब कुछ दुख की बात है।

XUIFramework

Visual Studio स्थिर विश्लेषक के 93 संदेश हैं। इनमें से 2 वास्तविक त्रुटियां हैं।

पीवीएस-स्टूडियो से कुल 30 संदेश हैं। इनमें से 5 वास्तविक त्रुटियां हैं।

  विजुअल स्टूडियो: चेतावनी C6269: संभवतः संचालन का गलत क्रम:
 घालमेल की अनदेखी की गई 
 c: \ xui-gui फ्रेमवर्क \ विगेट्स \ cstatichtml \ ppdrawmanager.cpp 298 

  PVS-Studio: V532 '* पॉइंटर ++' के कथन का निरीक्षण करने पर विचार करें
 पैटर्न।  शायद इसका मतलब है: '(* सूचक) ++'।  ppdrawmanager.cpp 298

 (DWORD पिक्सेल = 0; पिक्सेल <dwWidth * dwHeight; पिक्सेल ++, * pBits ++) 

फिर, कोई * ptr ++ का उपयोग नहीं कर सकता। जैसा कि ऊपर उल्लेख किया गया है, एक सामान्य गलती।

  विजुअल स्टूडियो: चेतावनी C6283: 'pBuffer' को सरणी के साथ आवंटित किया गया है [],
 लेकिन स्केलर हटाने के साथ हटा दिया गया।
 c: \ xui-gui फ्रेमवर्क \ विगेट्स \ cxstatic \ cxstatic.cpp 544 

  BYTE * pBuffer = नया BYTE [nBufferLen];
 ...
 pBuffer हटाएं; 

भ्रमित लोग हटाते हैं और हटाते हैं []। इससे समस्याएं पैदा होती हैं। कभी-कभी समस्याएं दिखाई देती हैं, कभी-कभी नहीं। लेकिन यह आवश्यक नहीं है।

  PVS-Studio: V519 'm_xSt' ऑब्जेक्ट को दो बार मान दिया गया है
 क्रमिक।  शायद यह एक गलती है।  resizedlg.cpp 244 

  m_xSt = CST_RESIZE;
 m_xSt = CST_RESIZE; 

कोड को देखते हुए, वहाँ m_ySt होना चाहिए। लेकिन आप खुद को बार-बार पेस्ट को बचाने से रोक नहीं सकते हैं, है ना?

  V531 यह अजीब है कि एक आकार () ऑपरेटर को आकार से गुणा किया जाता है ()।
 pphtmldrawer.cpp 258 

  DWORD dwLen = :: LoadString (hInstDll, dwID, szTemp) 
               (sizeof (szTemp) * sizeof (TCHAR))); 

साइज़ोफ़ (szTemp) / साइज़ोफ़ (TCHAR) होना चाहिए।

  पीवीएस-स्टूडियो: वी 556 विभिन्न एनम प्रकारों के मूल्यों की तुलना की जाती है:
 enuHAlign == केंद्र।  cxstatic.cpp 151 

  अगर (enuHAlign == केंद्र) 

EnuHAlign होना चाहिए == Midle। और पास के कोड में अभी भी है अगर (enuVAlign == Middle), हालांकि एक केंद्र होना चाहिए। असमंजस में, संक्षेप में।

  PVS-Studio: V501 बाईं ओर समान उप-अभिव्यक्तियाँ हैं और
 के अधिकार के लिए ||  ऑपरेटर।  resizedlg.cpp 157 

  HDWP CItemCtrl :: OnSize (...)
 {
   ...
   if (m_styTop == CST_ZOOM ||
       m_styTop == CST_ZOOM ||
       m_styBottom == CST_DELTA_ZOOM ||
       m_styBottom == CST_DELTA_ZOOM)
   ...
 } 

कोड को शायद इस तरह दिखना चाहिए:

  HDWP CItemCtrl :: OnSize (...)
 {
   ...
   if (m_styTop == CST_ZOOM ||
       m_styTop == CST_DELTA_ZOOM ||
       m_styBottom == CST_ZOOM ||
       m_styBottom == CST_DELTA_ZOOM)
   ...
 } 

तुलना परिणाम

हम कोई विशिष्ट निष्कर्ष नहीं देते हैं। कुछ परियोजनाओं में, एक उपकरण दूसरों की तुलना में बेहतर साबित हुआ, दूसरों में - दूसरा।