👩🏽‍💼 🎅🏾 🔬 कैलकुलेटर के नक्शेकदम पर चलें: स्पीडक्रंच 👩🏾‍🤝‍👨🏻 👩🏾‍🎨 🕗

यहाँ हम कैलकुलेटर के कोड का पता लगाने के लिए जारी हैं! आज हम दूसरी सबसे लोकप्रिय मुफ्त कैलकुलेटर स्पीडक्रंच नामक परियोजना पर एक नज़र डालने जा रहे हैं।

परिचय

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

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

यहां क्लोक उपयोगिता से आउटपुट दिखाया गया है कि स्पीडक्रंच अन्य कैलकुलेटर से तुलना कैसे करता है:

अन्य परियोजनाओं के लिए बग समीक्षा:

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

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

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); }

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

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; } .... }

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

शून्य से भाग

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; }

Lgbase फ़ंक्शन शून्य वापस कर सकता है, जिसे तब एक भाजक के रूप में इस्तेमाल किया जा सकता है। फ़ंक्शन को संभावित रूप से किसी भी मूल्य के साथ कहा जा सकता है, न केवल 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; }

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

यहां ऐसे सभी मामलों की पूरी सूची दी गई है:

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; }

जैसा कि अक्सर सी / सी ++ कोड के साथ होता है, स्रोत का अध्ययन करने से चीजों का पता लगाने में बहुत मदद नहीं मिलती है, इसलिए हम इसके बजाय प्रीप्रोसेस किए गए कोड पर एक नज़र डालेंगे:

चित्र 3

एनालाइज़र ने एक अप्रकाशित div टैग का पता लगाया है। इस फ़ाइल में HTML में बहुत सारे स्निपेट्स हैं, और डेवलपर्स को उस कोड को भी जांचना होगा।

पीवीएस-स्टूडियो द्वारा पाए गए कुछ अन्य संदिग्ध मामले यहां दिए गए हैं:

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. }

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

निष्कर्ष

हमने पहले ही तीन कैलकुलेटर प्रोग्रामों के कोड की जांच कर ली है - विंडोज कैलकुलेटर, कलकलेट! और स्पीडक्रंच - और बंद नहीं होने जा रहे हैं। बेझिझक उन परियोजनाओं के बारे में सुझाव दें जिनकी आप हमें जाँच करना चाहते हैं क्योंकि सॉफ्टवेयर रैंकिंग हमेशा चीजों की वास्तविक स्थिति को नहीं दर्शाती है।

पीवीएस-स्टूडियो डाउनलोड करने और अपने स्वयं के "कैलकुलेटर" पर प्रयास करने के लिए आपका स्वागत है। :-)

कैलकुलेटर के नक्शेकदम पर चलें: स्पीडक्रंच