कैलकुलेटरों के निशान के बाद: स्पीडक्रंच

कैलकुलेटर कोड का अध्ययन जारी है! इस समीक्षा में, स्पीडक्रंच परियोजना की समीक्षा की जाएगी - मुफ्त कैलकुलेटर के बीच दूसरा सबसे लोकप्रिय।

परिचय

स्पीडक्रंच एक सटीक कीबोर्ड-संचालित वैज्ञानिक कैलकुलेटर है जिसमें तेज उपयोगकर्ता इंटरफ़ेस है। यह विंडोज, लिनक्स और मैकओएस पर उपलब्ध मुक्त स्रोत सॉफ्टवेयर है।

स्रोत कोड को BitBucket पर होस्ट किया गया है। मुझे वास्तव में असेंबली डॉक्यूमेंटेशन पसंद नहीं आया, जो कि मेरी राय में, अधिक विस्तार से लिखा जाना चाहिए। आवश्यकताएँ "Qt 5.2 या बाद के संस्करण" को निर्दिष्ट करती हैं, हालांकि कई विशिष्ट पैकेजों की आवश्यकता थी, जो सीएमके लॉग से सीखना आसान नहीं था। वैसे, अब वांछित डेवलपर वातावरण को जल्दी से कॉन्फ़िगर करने के लिए एक प्रोजेक्ट के लिए डॉकरफाइल को लागू करने का अच्छा अभ्यास है।

अन्य कैलकुलेटर के साथ तुलना के लिए, मैं क्लोक उपयोगिता का उत्पादन लाता हूं:

अन्य परियोजनाओं में कीड़े की समीक्षा:

• विंडोज कैलकुलेटर में कीड़े की गिनती
• परिकलकों के निशान के बाद: कलकल करें!

पीवीएस-स्टूडियो का उपयोग स्थैतिक विश्लेषण उपकरण के रूप में किया गया था । यह कोड गुणवत्ता नियंत्रण, त्रुटियों की खोज और संभावित कमजोरियों के समाधान का एक समूह है। समर्थित भाषाओं में शामिल हैं: C, C ++, C #, और Java। विश्लेषक विंडोज, लिनक्स और मैकओएस पर लॉन्च किया जा सकता है।

एक लूप में अजीब तर्क

V560 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा सच होता है: RuleFound। मूल्यांकनकर्ता। सीसी 1414

void Evaluator::compile(const Tokens& tokens) { .... while (!syntaxStack.hasError()) { bool ruleFound = false; // <= // Rule for function last argument: id (arg) -> arg. if (!ruleFound && syntaxStack.itemCount() >= 4) { // <= Token par2 = syntaxStack.top(); Token arg = syntaxStack.top(1); Token par1 = syntaxStack.top(2); Token id = syntaxStack.top(3); if (par2.asOperator() == Token::AssociationEnd && arg.isOperand() && par1.asOperator() == Token::AssociationStart && id.isIdentifier()) { ruleFound = true; // <= syntaxStack.reduce(4, MAX_PRECEDENCE); m_codes.append(Opcode(Opcode::Function, argCount)); #ifdef EVALUATOR_DEBUG dbg << "\tRule for function last argument " << argCount << " \n"; #endif argCount = argStack.empty() ? 0 : argStack.pop(); } } .... } .... } 

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

संदिग्ध तुलना

V560 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा सही होता है: m_scrollDirection! = 0. resultdisplay.cpp 242

 void ResultDisplay::fullContentScrollEvent() { QScrollBar* bar = verticalScrollBar(); int value = bar->value(); bool shouldStop = (m_scrollDirection == -1 && value <= 0) || (m_scrollDirection == 1 && value >= bar->maximum()); if (shouldStop && m_scrollDirection != 0) { // <= stopActiveScrollingAnimation(); return; } scrollLines(m_scrollDirection * 10); } 

यदि कंधे वाला चर सत्य है , तो m_scrollDirection चर में दो मान होंगे: -1 या 1. इसलिए, निम्नलिखित सशर्त कथन में, m_scrollDirection चर का मान निश्चित रूप से शून्य नहीं होगा, जो विश्लेषक इसके बारे में चेतावनी देता है।

V668 नल के खिलाफ 'आइटम' पॉइंटर के परीक्षण में कोई समझदारी नहीं है, क्योंकि स्मृति को 'नए' ऑपरेटर का उपयोग करके आवंटित किया गया था। मेमोरी आवंटन त्रुटि के मामले में अपवाद उत्पन्न होगा। Editor.cpp 998

 void EditorCompletion::showCompletion(const QStringList& choices) { .... for (int i = 0; i < choices.count(); ++i) { QStringList pair = choices.at(i).split(':'); QTreeWidgetItem* item = new QTreeWidgetItem(m_popup, pair); if (item && m_editor->layoutDirection() == Qt::RightToLeft) item->setTextAlignment(0, Qt::AlignRight); .... } .... } 

एक प्रकार की वस्तु के लिए मेमोरी QTreeWidgetItem को नए ऑपरेटर का उपयोग करके आवंटित किया जाता है। इसका मतलब है कि यदि गतिशील मेमोरी आवंटन संभव नहीं है, तो एक अपवाद std :: bad_alloc () फेंका जाएगा। इसलिए, आइटम पॉइंटर की जाँच करना बहुत ही शानदार है और इसे हटाया जा सकता है।

संभावित पूर्ण विचलन

N5ptr के खिलाफ सत्यापित होने से पहले V595 'ioparams' पॉइंटर का उपयोग किया गया था। चेक लाइनें: 969, 983. floatio.c 969

 int cattokens(....) { .... if (printexp) { if (expbase < 2) expbase = ioparams->expbase; // <= .... } dot = '.'; expbegin = "("; expend = ")"; if (ioparams != NULL) // <= { dot = ioparams->dot; expbegin = ioparams->expbegin; expend = ioparams->expend; } .... } 

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

शून्य से भाग

V609 को शून्य से विभाजित करें। डेनोमिनेटर रेंज [0..4]। फ्लोटकॉनवर्ट। 266

 static int lgbase( signed char base) { switch(base) { case 2: return 1; case 8: return 3; case 16: return 4; } return 0; // <= } static void _setlongintdesc( p_ext_seq_desc n, t_longint* l, signed char base) { int lg; n->seq.base = base; lg = lgbase(base); // <= n->seq.digits = (_bitlength(l) + lg - 1) / lg; // <= n->seq.leadingSignDigits = 0; n->seq.trailing0 = _lastnonzerobit(l) / lg; // <= n->seq.param = l; n->getdigit = _getlongintdigit; } 

लेगबेस फ़ंक्शन एक शून्य मान को वापस करने की अनुमति देता है, जिसके द्वारा तब विभाजन किया जाता है। संभावित रूप से, मान 2, 8 और 16 के अलावा कुछ भी फ़ंक्शन को पास किया जा सकता है।

अपरिभाषित व्यवहार

V610 अपरिभाषित व्यवहार। शिफ्ट ऑपरेटर '<<' की जाँच करें। बायाँ ऑपरेंड '(~ 0)' नकारात्मक है। floatlogic.c 64

 static char _signextend( t_longint* longint) { unsigned mask; signed char sign; sign = _signof(longint); mask = (~0) << SIGNBIT; // <= if (sign < 0) longint->value[MAXIDX] |= mask; else longint->value[MAXIDX] &= ~mask; return sign; } 

शून्य के उलटा का परिणाम साइन प्रकार इंट में रखा गया है, इसलिए परिणाम एक नकारात्मक संख्या होगी, जिसके लिए एक पारी का प्रदर्शन किया जाता है। ऋणात्मक संख्या को बाईं ओर स्थानांतरित करना अपरिभाषित व्यवहार है।

खतरनाक स्थानों की पूरी सूची:

• V610 अपरिभाषित व्यवहार। शिफ्ट ऑपरेटर '<<' की जाँच करें। बाएं ऑपरेंड '(- 1)' नकारात्मक है। फ्लोटनम। 289
• V610 अपरिभाषित व्यवहार। शिफ्ट ऑपरेटर '<<' की जाँच करें। बाएं ऑपरेंड '(- 1)' नकारात्मक है। फ्लोटनम। सी सी 325
• V610 अपरिभाषित व्यवहार। शिफ्ट ऑपरेटर '<<' की जाँच करें। बाएं ऑपरेंड '(- 1)' नकारात्मक है। floatnum.c 344
• V610 अपरिभाषित व्यवहार। शिफ्ट ऑपरेटर '<<' की जाँच करें। बाएं ऑपरेंड '(- 1)' नकारात्मक है। फ्लोटनम.कु 351

अनछुए HTML टैग्स

V735 संभवतः एक गलत HTML है। "</ Body>" समापन टैग का सामना करना पड़ा, जबकि "</ div>" टैग अपेक्षित था। book.cpp 127

 static QString makeAlgebraLogBaseConversionPage() { return BEGIN INDEX_LINK TITLE(Book::tr("Logarithmic Base Conversion")) FORMULA(y = log(x) / log(a), log<sub>a</sub>x = log(x) / log(a)) END; } 

जैसा कि अक्सर C / C ++ कोड के साथ होता है, स्रोत से कुछ भी स्पष्ट नहीं होता है, तो आइए इस खंड के लिए प्रीप्रोसेस किए गए कोड की ओर मुड़ें:

विश्लेषक ने एक अप्रकाशित div टैग का पता लगाया। इस फ़ाइल में html कोड के कई टुकड़े हैं और अब इसे डेवलपर्स द्वारा अतिरिक्त रूप से जांचा जाना चाहिए।

यहाँ कुछ और संदिग्ध जगहें हैं जो PVS-Studio का उपयोग करते हुए पाई गईं:

• V735 संभवतः एक गलत HTML है। "</ Td>" समापन टैग का सामना करना पड़ा, जबकि "</ sub>" टैग अपेक्षित था। book.cpp 344
• V735 संभवतः एक गलत HTML है। "</ Td>" समापन टैग का सामना करना पड़ा, जबकि "</ sub>" टैग अपेक्षित था। book.cpp 347

असाइनमेंट ऑपरेटर

V794 असाइनमेंट ऑपरेटर को 'यह == & अन्य' के मामले से संरक्षित किया जाना चाहिए। मात्रा

 Quantity& Quantity::operator=(const Quantity& other) { m_numericValue = other.m_numericValue; m_dimension = other.m_dimension; m_format = other.m_format; stripUnits(); if(other.hasUnit()) { m_unit = new CNumber(*other.m_unit); m_unitName = other.m_unitName; } cleanDimension(); return *this; } 

यह उस स्थिति पर विचार करने की सिफारिश की जाती है जब ऑब्जेक्ट को बिंदुओं की तुलना करके खुद को सौंपा जाता है।

दूसरे शब्दों में, फ़ंक्शन बॉडी की शुरुआत में कोड की निम्नलिखित दो पंक्तियों को जोड़ा जाना चाहिए:

 if (this == &other) return *this; 

अनुस्मारक

V601 'गलत' मान पूर्णांक प्रकार के लिए निहित है। cmath.cpp 318

 /** * Returns -1, 0, 1 if n1 is less than, equal to, or more than n2. * Only valid for real numbers, since complex ones are not an ordered field. */ int CNumber::compare(const CNumber& other) const { if (isReal() && other.isReal()) return real.compare(other.real); else return false; // FIXME: Return something better. } 

कभी-कभी हमारे लेखों की टिप्पणियों में वे सुझाव देते हैं कि कुछ चेतावनी अपूर्ण कोड पर जारी की जाती हैं। हां, ऐसा होता है, लेकिन जब यह वास्तव में होता है, तो इसके बारे में सीधे लिखा जाता है।

निष्कर्ष

पहले से ही उपलब्ध तीन कैलकुलेटरों की समीक्षाएँ: विंडोज कैलकुलेटर, कलकलनेट! और स्पीडक्रंच। हम लोकप्रिय कैलकुलेटर के कोड पर शोध जारी रखने के लिए तैयार हैं। आप सत्यापन के लिए परियोजनाओं की पेशकश कर सकते हैं, क्योंकि सॉफ़्टवेयर की रेटिंग हमेशा वास्तविक तस्वीर को प्रतिबिंबित नहीं करती है।

पीवीएस-स्टूडियो डाउनलोड करके और अपने प्रोजेक्ट पर प्रयास करके अपने "कैलकुलेटर" की जाँच करें :-)

यदि आप इस लेख को अंग्रेजी बोलने वाले दर्शकों के साथ साझा करना चाहते हैं, तो कृपया अनुवाद के लिंक का उपयोग करें: Svyatoslav Razmyslov। कैलकुलेटर के नक्शेकदम पर चलें: स्पीडक्रंच