पीवीएस-स्टूडियो आखिरकार बूस्ट में आ गया

हम लंबे समय से बूस्ट लाइब्रेरी को देखना चाहते हैं। हमें यकीन नहीं था कि सत्यापन के परिणाम लेख के लिए पर्याप्त होंगे। हालांकि, इच्छा गायब नहीं हुई। दो बार हमने ऐसा करने की कोशिश की, लेकिन समझ में नहीं आया कि कंपाइलर कॉल को PVS-Studio.exe कॉल से कैसे बदला जाए। अब हम नए उपकरणों से लैस थे, और तीसरा प्रयास सफल रहा। तो, क्या बूस्ट में त्रुटियों को ढूंढना संभव है?

बढ़ावा

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

• लाइब्रेरी साइट को बढ़ावा देना ।
• विकिपीडिया। बूस्ट ।
• बूस्ट डाउनलोड करें।

बूस्ट एक "भारी" कोड है जिसमें जटिल पैटर्न सक्रिय रूप से उपयोग किए जाते हैं। यह लाइब्रेरी कुछ मायनों में कंपाइलरों के लिए एक परीक्षा है। अक्सर ऐसा होता है कि एक कंपाइलर आधुनिक बूस्ट लाइब्रेरी से परियोजनाओं के केवल भाग को संकलित करने में सक्षम होता है।

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

मुझे आपको पीवीएस-स्टूडियो का उपयोग करने वाली परियोजनाओं की जांच के लिए मौजूदा विकल्पों की याद दिलाता हूं।

यदि Visual Studio या Embarcadero C ++ बिल्डर के लिए कोई साधारण प्रोजेक्ट है

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

यदि कोई परियोजना नहीं है (या परियोजना अनिवार्य रूप से एक प्रच्छन्न मेकफाइल है)

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

यह इस दृष्टिकोण था कि हमें बूस्ट का परीक्षण करना चाहिए था। यह अफ़सोस की बात है, हम अपर्याप्त स्तर के या सिर्फ आलसी थे। मैं विश्लेषक के कंसोल संस्करण के लिए सभी आवश्यक मापदंडों को पारित करने के लिए विधानसभा प्रणाली का पता नहीं लगा सका।

परियोजनाओं की जाँच के लिए एक नया तीसरा विकल्प हमारी सहायता के लिए आया

मेरे सहयोगी ने हालिया लेख " पीवीएस-स्टूडियो डेवलपर्स की गुप्त प्रयोगशाला के तहखाने से " इस नए मोड का उल्लेख किया । विधानसभा प्रणाली में पूरी तरह से एकीकृत करने की आवश्यकता नहीं है। बस प्रीप्रोसेस्ड * .i फाइलें प्राप्त करें । यह बहुत सरल है। यही हमने किया।

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

मुझे उम्मीद है कि हम इस उपकरण को कई संस्करणों के माध्यम से वितरण में शामिल करेंगे। शायद यह पीवीएस-स्टूडियो 5.10 में होगा।

शासन के बारे में कुछ शब्द, जो नहीं है, लेकिन जिसके बारे में हम सपने देखते हैं

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

निराशा की भावना

मैं तैयार था कि मैं बूस्ट के बारे में एक लेख नहीं लिख सकता। इस दु: खद धारणा का निम्नलिखित परिसर था।

बड़ी संख्या में संकलक और उपकरण

बूस्ट बड़ी संख्या में कंपाइलरों द्वारा बनाया गया है। कुछ आंशिक रूप से, कुछ पूरी तरह से। मैंने इस मुद्दे का अध्ययन नहीं किया। लेकिन, जैसा कि मैं इसे समझता हूं, बूस्ट विजुअल सी ++, इंटेल सी ++, सन स्टूडियो, कॉम्पैक सी ++, जीसीसी, क्लैंग का उपयोग करके काफी अच्छी तरह से बनाता है। प्रत्येक संकलक की अपनी विशिष्ट नैदानिक ​​क्षमताएं होती हैं। और उनके कुल उपयोग को एक बहुत ही उच्च गुणवत्ता वाला कोड प्रदान करना चाहिए। एक संकलक को त्रुटि ए, दूसरी त्रुटि बी, और इसी तरह मिलेगी।

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

इतने सारे संकलक और अन्य उपकरण के बाद त्रुटियों और टाइपोस की तलाश करना लगभग निराशाजनक है।

बड़ी संख्या में उपयोगकर्ता

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

चूंकि लाइब्रेरी का व्यापक रूप से उपयोग किया जाता है, इसलिए प्रोग्रामर द्वारा त्रुटियों का शीघ्र पता लगाया जाना चाहिए। त्रुटियां केवल शायद ही कभी उपयोग किए जाने वाले कोड के टुकड़ों में या विदेशी उप-प्रणालियों में रह सकती हैं जिनके कुछ उपयोगकर्ता हैं।

टेम्पलेट्स

बूस्ट में बहुत सारे टेम्पलेट क्लास हैं। जब तक वे त्वरित नहीं होते, तब तक उनका सत्यापन लगभग असंभव है। उदाहरण के लिए, विजुअल C ++ टेम्पलेट क्लासेस को बिल्कुल भी पार्स नहीं करता है यदि उनका उपयोग नहीं किया जाता है। आप एक अप्रयुक्त वर्ग में किसी भी बकवास लिख सकते हैं और कोष्ठक और उद्धरण चिह्नों (), <>, {}, [], "", '' की संख्या को खोलने और बंद करने के लिए फ़ाइल को सफलतापूर्वक संकलित किया जाता है।

टेम्प्लेट क्लास का विश्लेषण करते हुए, हमें झूठी सकारात्मक और लंघन त्रुटियों के बीच समझौता करना होगा। मुझे एक सरल उदाहरण के साथ समझाएं कि जटिलता क्या है।

template <typename T>
bool IsNAN(T x) { return x != x; }

, « » (Not-a-Number). float/double/long double. , .

, ? . . . . . , PVS-Studio . - , - .

. Boost .

, . , . , .

3-4 Boost .

, PVS-Studio 5.06 Boost 1.55 ( ).

Boost

. .

N1.

point3D operator/(const point3D &p1, const point3D &p2)
{
  return point3D( p1.x/p2.x , p1.y/p2.y , p1.z/p1.z );
}

PVS-Studio: V501 There are identical sub-expressions to the left and to the right of the '/' operator: p1.z / p1.z lorenz_point.cpp 61

, 'p1.z' . , 'p2.z'.

N2.

BOOST_UBLAS_INLINE
compressed_matrix_view(const compressed_matrix_view& o) :
  size1_(size1_), size2_(size2_),
  nnz_(nnz_),
  index1_data_(index1_data_),
  index2_data_(index2_data_),
  value_data_(value_data_)
{}

PVS-Studio ( ): V546 Member of a class is initialized by itself: 'size1_(size1_)'. sparse_view.hpp 193

. , . , 'o'. , :

BOOST_UBLAS_INLINE
compressed_matrix_view(const compressed_matrix_view& o) :
  size1_(o.size1_), size2_(o.size2_),
  nnz_(o.nnz_),
  index1_data_(o.index1_data_),
  index2_data_(o.index2_data_),
  value_data_(o.value_data_)
{}

N3.

static std::basic_string<wchar_t> get(char const* source = "")
{
  ....
  std::auto_ptr<wchar_t> result (new wchar_t[len+1]);
  ....
}

PVS-Studio: V554 Incorrect use of auto_ptr. The memory allocated with 'new []' will be cleaned using 'delete'. tree_to_xml.ipp 71

'std::auto_ptr' . 'delete', 'delete []'. , . "delete, new[] C++ ".

: generate_static.hpp 53.

N4. . SOCKET

-, , , SOCKET. . :

SOCKET s = Foo();
if (s < 0) { Error(); }

. SOCKET_ERROR. , «socket < 0» «socket >= 0».

Linux SOCKET . Windows SOCKET . , .

Boost.

typedef SOCKET socket_type;

class socket_holder
{
  ....
  socket_type socket_;
  ....
  socket_type get() const { return socket_; }
  ....
};

template <typename Socket>
boost::system::error_code accept(....)
{
  ....
  // On success, assign new connection to peer socket object.
  if (new_socketnew_socket.get() >= 0)
  {
    if (peer_endpoint)
      peer_endpoint->resize(addr_len);
    if (!peer.assign(impl.protocol_, new_socket.get(), ec))
      new_socket.release();
  }
  return ec;
}

PVS-Studio: V547 Expression 'new_socket.get() >= 0' is always true. Unsigned type value is always >= 0. win_iocp_socket_service.hpp 436

Windows , . «new_socketnew_socket.get() >= 0» .

N5.

void set_duration_style(duration_style style)
{
  duration_style_ == style;
}

PVS-Studio: V607 Ownerless expression 'duration_style_ == style'. base_formatter.hpp 51

. , , : «duration_style_ = style». .

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

? ( ). , . , . , , : , TDD, .

N6.

template< typename CharT >
basic_settings< CharT > parse_settings(std::basic_istream< CharT >& strm)
{
  ....
  string_type line;
  while (!strm.eof())
  {
     std::getline(strm, line);

     const char_type* p = line.c_str();
     parser.parse_line(p, p + line.size());

     line.clear();
     ++line_number;
  }
  ....
}

PVS-Studio: V663 Infinite loop is possible. The 'cin.eof()' condition is insufficient to break from the loop. Consider adding the 'cin.fail()' function call to the conditional expression. settings_parser.cpp 285

, — . , . , , . . , . 'eof()' 'false'. . 'eof()' 'fail()'. 'fail()' , . .

: V663 Infinite loop is possible. The 'cin.eof()' condition is insufficient to break from the loop. Consider adding the 'cin.fail()' function call to the conditional expression. adjacency_list_io.hpp 195

N7.

template<> 
struct identity_element<boost::gregorian::date_duration>
{
  static boost::gregorian::date_duration value()
  { 
    return
      boost::gregorian::date(boost::gregorian::min_date_time) -
      boost::gregorian::date(boost::gregorian::min_date_time); 
  }
};

PVS-Studio: V501 There are identical sub-expressions 'boost::gregorian::date(boost::gregorian::min_date_time)' to the left and to the right of the '-' operator. gregorian.hpp 57

, 0?

, PVS-Studio . - Boost . !