स्टैटिक कोड एनालिसिस पर जॉन कार्मैक

“हाल के वर्षों में एक प्रोग्रामर के रूप में मैंने जो सबसे महत्वपूर्ण काम किया है वह है स्टैटिक कोड विश्लेषण को आक्रामक रूप से लागू करना। - जॉन कार्मैक AltDevBlogADay पर प्रकाशित एक लेख में लिखते हैं । "सैकड़ों गंभीर कीड़े जिन्हें रोका गया था, वे इतने महत्वपूर्ण नहीं हैं, जितना कि मानसिकता में बदलाव और सॉफ्टवेयर विश्वसनीयता और कोड गुणवत्ता के लिए मेरा दृष्टिकोण।"

जॉन कार्मैक अपने करियर के दौरान उन विभिन्न औजारों के बारे में बात करते हैं, जिनका उन्होंने उपयोग करने की कोशिश की और नतीजों के बारे में बताया कि वे इसके परिणामस्वरूप आए।

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

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

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

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

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

उसके बाद, हमने Microsoft / विश्लेषण पुस्तकालय का परीक्षण किया, जो अब 360 एसडीके के साथ आता है। पहले, यह लाइब्रेरी विज़ुअल स्टूडियो के शीर्ष फ़बबुली रूप से महंगे संस्करण का हिस्सा थी, लेकिन अब यह बिना किसी अतिरिक्त शुल्क के प्रत्येक 360 मालिक को उपलब्ध है। "मैं इसे इसलिए समझता हूं कि माइक्रोसॉफ्ट के लिए Xbox के लिए गेम की गुणवत्ता विंडोज के लिए कार्यक्रमों की गुणवत्ता से अधिक महत्वपूर्ण है," जॉन कार्मैक चुटकुले।

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

चूंकि Microsoft का उपकरण केवल Xbox 360 कोड के लिए उपयोग किया गया था, इसलिए अभी भी एक खुला प्रश्न था कि पीसी और PS3 के लिए क्या उपयोग किया जाए। आगे हमने पीवीएस-स्टूडियो प्रोग्राम की कोशिश की, जो विज़ुअल स्टूडियो के साथ पूरी तरह से एकीकृत है और इसमें एक सुविधाजनक डेमो मोड है। / विश्लेषण की तुलना में, पीवीएस-स्टूडियो एक बेहद धीमा उपकरण साबित हुआ, लेकिन इसमें कुछ अतिरिक्त महत्वपूर्ण त्रुटियां पाई गईं, जिनमें तार्किक भी शामिल थे, यहां तक ​​कि कोड में / विश्लेषण के बिंदु से बिल्कुल साफ था। पीवीएस-स्टूडियो वेबसाइट पर कई अच्छे लेख हैं जिनमें वास्तविक उदाहरण हैं कि यह किस प्रकार की त्रुटियां हैं।

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

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

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

C / C ++ में सबसे बड़ी समस्या, कम से कम हमारे कोड में, कार्मैक का कहना है, NULL पॉइंटर्स है, इसके बाद प्रिंटफ लाइन प्रारूप त्रुटियां हैं। पुराने कोड के संशोधन के दौरान बड़ी संख्या में गंभीर त्रुटियां होती हैं।

और अंत में, जॉन कार्मैक ने ट्विटर से डेव रेवेल को उद्धृत किया: "जितना अधिक मैं स्थिर कोड विश्लेषण का उपयोग करता हूं, उतना ही मुझे आश्चर्य होता है कि कंप्यूटर आमतौर पर लोड हो रहे हैं।"