हम Google पर पीवीएस-स्टूडियो या क्रोमियम में नियमित त्रुटियों को कैसे बेचने की कोशिश करते हैं

जब हम पीवीएस-स्टूडियो का उपयोग करके किसी भी प्रोजेक्ट की जांच करने के बारे में लेख लिखते हैं, तो, एक नियम के रूप में, हम अधिक ग्राहक जोड़ते हैं। यहां सब कुछ उचित है। प्रोग्रामर विज्ञापन पसंद नहीं करते हैं, लेकिन दिलचस्प सामग्री का उत्सुकता से जवाब देते हैं जो सत्यापित करना आसान है। इसलिए, हम अपने टूल का विज्ञापन नहीं करते हैं, लेकिन केवल यह दिखाते हैं कि यह कर सकता है। हालाँकि, हालांकि हमने क्रोमियम कोड को तीन बार पहले ही जांच लिया था और इसमें तीन बार त्रुटियां पाईं, फिर भी मेरे मेल में google.com पर मेल के साथ कोई वारंट नहीं है। चूंकि मुझे इस बात में दिलचस्पी है कि मैं क्या गलत कर रहा हूं और Google अभी तक पीवीएस-स्टूडियो का उपयोग क्यों नहीं कर रहा है, इसलिए मैंने एक और लेख लिखने का फैसला किया।

इस लेख के दो भाग हैं। पहला क्रोमियम परियोजना के बुनियादी ढांचे और एकीकरण की बारीकियों के बारे में बताता है, दूसरा अगली त्रुटियों को दर्शाता है ।

वैसे, यह लेख अंग्रेजी में प्रकाशित हुआ है। यदि आप इसे अंग्रेजी बोलने वाले सहयोगियों को अग्रेषित करना चाहते हैं, तो कृपया उन्हें इसके लिए लिंक दें।

क्या आप जानना चाहते हैं कि क्रोमियम को विकसित करना मुश्किल क्यों है और प्रोग्रामर के लिए हर उपकरण का उपयोग क्रोमियम परियोजना में नहीं किया जा सकता है? फिर हम पढ़ते हैं ...

क्रोमियम डेवलपर्स विजुअल स्टूडियो को पसंद नहीं करते हैं, मेकफाइल का उपयोग नहीं करते हैं, लेकिन साथ ही उनके पास काल्पनिक रूप से उच्च-गुणवत्ता वाला कोड है। ऐसा कैसे?

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

उदाहरण के लिए, क्रोमियम विकसित करते समय यह बहुत सक्रिय नहीं होता है, यह पता चलता है कि वे विज़ुअल स्टूडियो का उपयोग करते हैं। कारण सरल है - क्रोमियम में बड़ी संख्या में परियोजनाएं हैं, और Microsoft आईडीई स्पष्ट रूप से "इतनी मात्रा में" नहीं खींचती है। "अहा!" कठोर लिनक्सॉयड्स ने कहा ... "मैं चाहता हूं !!!" लेकिन क्रोमियम विकसित करते समय लिनक्स मेकफाइल्स का उपयोग नहीं करता है। ठीक उसी कारण से - मानक GNU मेक "बहुत सारे प्रोजेक्ट्स" और बहुत लंबे समय तक काम नहीं करता है।

क्रोमियम के डेवलपर्स क्या उपयोग करते हैं? यह GYP (Generate Your Projects) बिल्ड सिस्टम है। इसका उपयोग करके, आप या तो .vcxproj फाइलें (MSBuild / Visual C ++) या निंजा सिस्टम फाइलें (यह इस तरह के एक बहुत ही सरल और तेज मेकफाइल है) उत्पन्न कर सकते हैं। इसलिए, किसी प्रकार के स्थैतिक विश्लेषण का नियमित रूप से उपयोग करने के लिए, इसे इस विधानसभा प्रणाली में एकीकृत करना आवश्यक है। हमने Google पर PVS-Studio बेचने के लिए क्या किया।

क्रोमियम परियोजना इस तथ्य के लिए उल्लेखनीय है कि सी / सी ++ भाषाओं में इसके स्रोत कोड का आकार, तीसरे पक्ष के पुस्तकालयों को ध्यान में रखते हुए, 500 एमबी से अधिक है, और प्रत्येक कोड परिवर्तन को विभिन्न आर्किटेक्चर और कॉन्फ़िगरेशन के सैकड़ों परीक्षण कंप्यूटरों पर समानांतर में हजारों स्वचालित परीक्षणों द्वारा जांचा जाता है। हम इस परियोजना में उच्च विकास की गति को नोट कर सकते हैं: 2012 में, क्रोमियम रिपॉजिटरी में 900 से अधिक अद्वितीय लेखकों द्वारा 48 हजार से अधिक संशोधन किए गए थे, जो हर 11 मिनट में औसतन एक संशोधन और परियोजना में प्रत्येक सक्रिय भागीदार के लिए प्रति सप्ताह एक संशोधन से मेल खाती है।

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

हालांकि पीवीएस-स्टूडियो एक ओपन सोर्स प्रोजेक्ट नहीं है, लेकिन हम लचीलेपन से इनकार नहीं कर सकते। इसलिए, हम क्रोमियम के उदाहरण से दिखाना चाहते थे कि हम इसकी विधानसभा प्रणाली में एकीकृत कर सकते हैं और समस्याओं के बिना इतने बड़े प्रोजेक्ट का परीक्षण कर सकते हैं।

नियमित जांच के लिए क्रोमियम बिल्ड सिस्टम में पीवीएस-स्टूडियो को कैसे एकीकृत किया जाए?

पीवीएस-स्टूडियो के संचालन के सिद्धांतों पर सामान्य जानकारी

PVS-Studio वितरण किट में 2 मुख्य घटक हैं: PVS-Studio.exe कमांड-लाइन विश्लेषक और IDE प्लग-इन इस कमांड-लाइन विश्लेषक को समर्थित विकास परिवेशों (Microsoft Visual Studio और Embarcroero RAD Studio) में से एक में एकीकृत करता है।

कमांड-लाइन विश्लेषक, इसके संचालन के सिद्धांत से, कंपाइलर के समान है - यह प्रत्येक चेक किए गए फ़ाइलों के लिए बुलाया जाता है जिसमें पैरामीटर शामिल हैं, जिसमें इस फ़ाइल के मूल संकलन पैरामीटर भी शामिल हैं। फिर विश्लेषक बाहरी प्रीप्रोसेसर को इसकी आवश्यकता कहता है (जाँच की जाने वाली फ़ाइल का निर्माण करने के लिए उपयोग किए गए कंपाइलर के अनुसार) और परिणामी प्रीप्रोसेस्ड अस्थायी फ़ाइल (i-file) का सीधे विश्लेषण करता है, अर्थात। एक फ़ाइल जिसमें सभी शामिल हैं और निर्देशों को परिभाषित किया गया है।

लेकिन PVS-Studio.exe विश्लेषक का उपयोग आईडीई प्लगइन्स तक सीमित नहीं है। जैसा कि ऊपर उल्लेख किया गया है, कमांड-लाइन विश्लेषक सीधे कंपाइलर के उपयोग के बहुत करीब है। तदनुसार, इसकी कॉल को एकीकृत किया जा सकता है, यदि आवश्यक हो, तो सीधे संकलक के साथ विधानसभा प्रणाली में। उदाहरण के लिए, यदि आपका प्रोजेक्ट ग्रहण आईडीई का उपयोग करके ग्रहण आईडीई में बनाया गया है, तो आप अपने एफएफ़ाइल्स में पीवीएस-स्टूडियो सत्यापन को एम्बेड कर सकते हैं।

असेंबली प्रक्रिया में स्थैतिक विश्लेषण के प्रत्यक्ष एकीकरण के लिए, आपको सीबीएस / C ++ कंपाइलर को सीधे कॉल के बगल में विधानसभा स्क्रिप्ट में PVS-Studio.exe कॉल एम्बेड करना होगा, और विश्लेषक के लिए वही पैरामीटर पास करना होगा जो कंपाइलर को (साथ ही कई अतिरिक्त पैरामीटर जो विश्लेषण परिणामों के आउटपुट को नियंत्रित करते हैं। )। यह आवश्यकता इस तथ्य के कारण है कि इस फ़ाइल के लिए विशिष्ट मापदंडों के साथ, स्कैन किए जा रहे प्रत्येक फ़ाइल के लिए एक स्थिर विश्लेषक चलाने की आवश्यकता होगी। और यह सबसे आसानी से सिर्फ उस जगह पर किया जाता है जहां परियोजना के सभी स्रोत फ़ाइलों का स्वचालित क्रॉल होता है।

PVS-Studio.exe स्थिर विश्लेषक के साथ क्रोमियम प्रोजेक्ट की जाँच करना

जैसा कि ऊपर वर्णित है, क्रोमियम को GYP (जनरेट योर प्रोजेक्ट्स) बिल्ड सिस्टम का उपयोग करके विकसित किया गया है, जो आपको विभिन्न ऑपरेटिंग सिस्टम और कंपाइलर्स के लिए देशी प्रोजेक्ट फाइल प्राप्त करने की अनुमति देता है। क्योंकि फिलहाल, पीवीएस-स्टूडियो विश्लेषक केवल विंडोज ओएस का समर्थन करता है, हम विज़ुअल सी ++ 10 कंपाइलर का उपयोग करके क्रोमियम के निर्माण के लिए संभावित विकल्पों पर विचार करेंगे। यह कंपाइलर (cl.exe) विजुअल स्टूडियो एकीकृत विकास वातावरण के हिस्से के रूप में आपूर्ति की जाती है और इसे मुफ्त विंडोज पैकेज से अलग से भी स्थापित किया जा सकता है। एसडीके।

MSBuild प्रोजेक्ट फ़ाइलों का उपयोग करना

क्रोमियम में उपयोग किया जाने वाला GYP सिस्टम आपको Visual C ++ कंपाइलर (cl.exe) का उपयोग करके क्रोमियम के निर्माण के लिए MSBuild प्रोजेक्ट फाइल (vcxproj) प्राप्त करने की अनुमति देता है। MSBuild असेंबली सिस्टम .NET फ्रेमवर्क का हिस्सा है, जो विंडोज ऑपरेटिंग सिस्टम के मानक घटकों में से एक है।

पीवीएस-स्टूडियो विश्लेषक द्वारा क्रोमियम परियोजना का परीक्षण करने का सबसे सरल तरीका दृश्य स्टूडियो के मूल आईडीई प्लग-इन का उपयोग करना है। MSBuild प्रोजेक्ट फ़ाइलों को Visual Studio विकास वातावरण में सत्यापन के लिए खोला जा सकता है। उसी समय, पीवीएस-स्टूडियो आईडीई प्लग-इन परियोजना फाइलों में से प्रत्येक के बारे में सभी आवश्यक जानकारी को स्वचालित रूप से एकत्र करेगा और उनके लिए पीवीएस-स्टूडियो.exe स्थिर विश्लेषक लॉन्च करेगा। ध्यान दें कि Visual Studio Express Edition डेवलपमेंट वातावरण का मुक्त संस्करण IDE प्लग-इन के साथ काम करने का समर्थन नहीं करता है।

MSBuild असेंबली सिस्टम का उपयोग करके (या बल्कि, कमांड-लाइन उपयोगिता MSBuild.exe का उपयोग करके) vcxproj प्रोजेक्ट फ़ाइलों का असेंबली और सत्यापन सीधे भी किया जा सकता है। इस मोड में स्थैतिक विश्लेषक के साथ परियोजनाओं का परीक्षण करने के लिए, कमांड-लाइन विश्लेषक PVS-Studio.exe को प्रत्येक प्रोजेक्ट फ़ाइल में सीधे एकीकृत करना आवश्यक होगा (आप एक समान प्रॉपर फ़ाइल को सभी प्रोजेक्ट फ़ाइलों में एक समान विश्लेषक कॉल आयात कर सकते हैं)।

यह ध्यान देने योग्य है कि यद्यपि MSBuild आपको अपनी असेंबली लिपियों से सीधे निष्पादन योग्य फ़ाइलों को कॉल करने की अनुमति देता है (जो, अन्य बातों के अलावा, vcxproj प्रोजेक्ट फ़ाइलें हैं), असेंबली टूल्स जैसे कंपाइलर और लिंकर को प्लग-इन रैपर का उपयोग करके मानक परियोजनाओं में कॉल करें (MSBuild शब्दावली में बिल्ड टास्क कहा जाता है)। PVS-Studio वितरण किट में MSBuild लिपियों के लिए एक समान असेंबली टास्क मॉड्यूल है, साथ ही एक Props (प्रॉपर्टी शीट) फ़ाइल है जिसे सीधे मानक vcxproj परियोजनाओं में आयात किया जा सकता है ताकि उनमें स्थैतिक विश्लेषण को एकीकृत किया जा सके।

निंजा प्रोजेक्ट फाइलों का उपयोग करना

Cl.exe कंपाइलर का उपयोग करके विंडोज पर क्रोमियम का निर्माण निंजा बिल्ड सिस्टम स्क्रिप्ट का उपयोग करके भी संभव है, जिसे GYP प्रोजेक्ट जनरेटर द्वारा भी प्राप्त किया जा सकता है।

जैसा कि ऊपर वर्णित है, विधानसभा की प्रक्रिया में पीवीएस-स्टूडियो स्थैतिक विश्लेषण को सीधे एकीकृत करने के लिए, आपको उस जगह पर पीवीएस-स्टूडियो.exe कॉल को एम्बेड करने की आवश्यकता होती है जहां स्रोत फाइलें विधानसभा प्रणाली को बायपास करते समय उन्हें संकलित करती हैं।

निन्जा प्रणाली की फाइलों के मामले में, यह एकीकरण विधि कठिन है क्योंकि एकत्र की गई फाइलें आटो-जनरेटेड * .ninja फाइलों में obj फाइलों के लिए निर्भरता के रूप में हार्ड-कोडित हैं। इस संबंध में, इस असेंबली चरण में विश्लेषण को एकीकृत करने के लिए, इस स्टेप के अनुसार असेंबली नियमों को संशोधित करना आवश्यक होगा (सामान्य बिल्ड.निंजा फ़ाइल में वर्णित): ये ss और cxx हैं, क्योंकि यह ये नियम हैं जो सभी स्रोत फ़ाइलों को ट्रेस करते समय उपयोग किए जाते हैं।

फिलहाल, हम सीधे cc और cxx नियमों में PVS-Studio.exe कॉल नहीं जोड़ पाए। निंजा बिल्ड नियम आपको केवल एक कमांड वेरिएबल का उपयोग करने की अनुमति देते हैं जिससे यह निर्धारित किया जा सके कि किस कमांड को निष्पादित करना है। उसी समय, दस्तावेज़ीकरण के अनुसार, कमांड चर में && वर्णों द्वारा अलग किए गए कई कमांड हो सकते हैं। हालांकि, यदि आप मौजूदा नियम में जोड़ते हैं, जैसे:

command = ninja -t msvc -e $arch -- $cc /nologo /showIncludes /FC 
@$out.rsp /c $in /Fo$out /Fd$pdbname

PVS-Studio.exe:

PVS = "PVS-Studio.exe"
...
command = ninja -t msvc -e $arch -- $cc /nologo /showIncludes /FC 
@$out.rsp /c $in /Fo$out /Fd$pdbname && $PVS –cfg "c:\test.cfg"

, ninja, , , –t msvs cl.exe ($cc). , $PVS , && PVS-Studio.exe.

, -, ninja, PVS-Studio.exe, command (cc cxx). , Chromium PVS-Studio .

Command-line PVS-Studio.exe .

, PVS-Studio.exe (.. IDE ) — . PVS-Studio.exe cl-params, «» . PVS-Studio.exe (, cl.exe), , ( /P cl.exe).

, - , C/C++ . , , include , , precompiled . (, pch ), «cannot open include file».

IDE PVS-Studio precompiled , , include , pch ( ). PVS-Studio.exe , . , –I (/I) .

Chromium , .. , precompiled , Includes , h , . PVS-Studio (.. ) .

. , precompiled headers Chromium PVS-Studio .

?

«» (raw) . PVS-Studio Standalone ( ). .

PVS-Studio Chromium

, PVS-Studio Chromium?

1. precompiled headers.
2. Ninja.
3. Ninja PVS-Studio Wrapper ( PVS-Studio), PVS-Studio.
4. – – PVS-Studio Standalone .

– .

Chromium , . PVS-Studio . . , - , . , Chromium. , . Chromium .

. , . , Chromium , , , , PVS-Studio.

, , Chromium:

• ( 2011);
• ( 2011);
• ( 2013);

, . -, . -, Chromium. , , , . , ( ) , . , Chromium .

(, :)

static SECStatus
ssl3_SendEncryptedExtensions(sslSocket *ss)
{
  static const unsigned char P256_SPKI_PREFIX[] = {
    0x30, 0x59, 0x30, 0x13, 0x06, 0x07, 0x2a, 0x86,
    0x48, 0xce, 0x3d, 0x02, 0x01, 0x06, 0x08, 0x2a,
    0x86, 0x48, 0xce, 0x3d, 0x03, 0x01, 0x07, 0x03,
    0x42, 0x00, 0x04
  };
  ....
  if (.... ||
      memcmp(spki->data, P256_SPKI_PREFIX,
             sizeof(P256_SPKI_PREFIX) != 0))
  {
    PORT_SetError(SSL_ERROR_INVALID_CHANNEL_ID_KEY);
    rv = SECFailure;
    goto loser;
  }
  ....
}

PVS-Studio ( Network Security Services): V526 The 'memcmp' function returns 0 if corresponding buffers are equal. Consider examining the condition for mistakes. ssl3con.c 10533

- memcmp() .

«sizeof(P256_SPKI_PREFIX) != 0» . - 1.

:

if (.... ||
    memcmp(spki->data, P256_SPKI_PREFIX,
           sizeof(P256_SPKI_PREFIX)) != 0)

'i' 1.

void SkCanvasStack::pushCanvas(....) {
  ....
  for (int i = fList.count() - 1; i > 0; --i) {
    SkIRect localBounds = canvasBounds;
    localBounds.offset(origin - fCanvasData[i-1].origin);

    fCanvasData[i-1].requiredClip.op(localBounds,
                                     SkRegion::kDifference_Op);
    fList[i-i]->clipRegion(fCanvasData[i-1].requiredClip);
  }
  ....
}

? :) .

PVS-Studio ( Skia Graphics Engine): V501 There are identical sub-expressions to the left and to the right of the '-' operator: i — i SkCanvasStack.cpp 38

[i — 1]. , [i-i]. . , .

«»

Code* Code::FindFirstCode() {
  ASSERT(is_inline_cache_stub());
  DisallowHeapAllocation no_allocation;
  int mask = RelocInfo::ModeMask(RelocInfo::CODE_TARGET);
  for (RelocIterator it(this, mask); !it.done(); it.next())
  {
    RelocInfo* info = it.rinfo();
    return
      Code::GetCodeFromTargetAddress(info->target_address());
  }
  return NULL;
}

PVS-Studio (Chromium): V612 An unconditional 'return' within a loop. objects.cc 10326

. , . , . .

:

int SymbolTable::Symbolize() {
  ....
  if (socketpair(AF_UNIX, SOCK_STREAM,
                 0, child_fds[i]) == -1)
  {
    for (int j = 0; j < i; j++) {
      close(child_fds[j][0]);
      close(child_fds[j][1]);
      PrintError("Cannot create a socket pair");
      return 0;
    }
  }
  ....
}

PVS-Studio ( tcmalloc): V612 An unconditional 'return' within a loop. symbolize.cc 154

, , . , :

if (socketpair(AF_UNIX, SOCK_STREAM,
               0, child_fds[i]) == -1)
{
  for (int j = 0; j < i; j++) {
    close(child_fds[j][0]);
    close(child_fds[j][1]);
  }
  PrintError("Cannot create a socket pair");
  return 0;
}

—

class CONTENT_EXPORT EventPacket {
  ....
  InputEvents::const_iterator begin() const
    { return events_.end(); }
  InputEvents::const_iterator end() const
    { return events_.end(); }
  ....
protected:
  InputEvents events_;
  ....
};

PVS-Studio (Chromium): V524 It is odd that the body of 'end' function is fully equivalent to the body of 'begin' function. event_packet.h 36

beign() end() . , begin() :

InputEvents::const_iterator begin() const
  { return events_.begin(); }

rdtsc()

__inline__ unsigned long long int rdtsc()
{
#ifdef __x86_64__
  unsigned int a, d;
  __asm__ volatile ("rdtsc" : "=a" (a), "=d" (d));
  return (unsigned long)a | ((unsigned long)d << 32);
#elif defined(__i386__)
  unsigned long long int x;
  __asm__ volatile ("rdtsc" : "=A" (x));
  return x;
#else
#define NO_CYCLE_COUNTER
  return 0;
#endif
}

PVS-Studio ( SMHasher): V629 Consider inspecting the '(unsigned long) d << 32' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type. Platform.h 78

. , , long 32-. "(unsigned long)d << 32" . , :

return (unsigned long long)a |
       ((unsigned long long)d << 32);

break

'break' . . .

:

static v8::Handle<v8::Value>
toV8Object(....)
{
  switch (extension->name()) {
    ....
    case WebGLExtension::WebGLCompressedTextureATCName:
      extensionObject = toV8(....);
      referenceName = "webGLCompressedTextureATCName";
    case WebGLExtension::WebGLCompressedTexturePVRTCName:
      extensionObject = toV8(....);
      referenceName = "webGLCompressedTexturePVRTCName";
      break;
  }
  ....
}

PVS-Studio ( WebKit):

• V519 The 'extensionObject' variable is assigned values twice successively. Perhaps this is a mistake. Check lines: 222, 225. V8WebGLRenderingContextCustom.cpp 225
• V519 The 'referenceName' variable is assigned values twice successively. Perhaps this is a mistake. Check lines: 223, 226. V8WebGLRenderingContextCustom.cpp 226

. 'break'. .

:

bool ScriptDebugServer::executeSkipPauseRequest(....)
{
  const char* v8MethodName;
  switch (request)
  {
    case ScriptDebugListener::NoSkip:
      return false;
    case ScriptDebugListener::Continue:
      return true;
    case ScriptDebugListener::StepInto:
      v8MethodName = stepIntoV8MethodName;
    case ScriptDebugListener::StepOut:
      v8MethodName = stepOutV8MethodName;
  }
  ....
}

PVS-Studio ( WebKit): V519 The 'v8MethodName' variable is assigned values twice successively. Perhaps this is a mistake. Check lines: 412, 414. ScriptDebugServer.cpp 414

. , .

:

int linux_get_device_address (....,
  uint8_t *busnum, uint8_t *devaddr,
  ....)
{
  ....
  *busnum = __read_sysfs_attr(ctx, sys_name, "busnum");
  if (0 > *busnum)
    return *busnum;
  ....
}

PVS-Studio ( LibUSB): V547 Expression '0 > * busnum' is always false. Unsigned type value is never < 0. linux_usbfs.c 620

'busnum' , uint8_t. , (0 > *busnum) .

. . .

, Chromium

, PVS-Studio Chromium. , PVS-Studio . , - . – Chromium. PVS-Studio !

, . – , .

P.S. NDA , .