👨🏻‍🍳 🎢 🔣 मनोरंजक पुरातत्व। या पीवीएस-स्टूडियो माइक्रोसॉफ्ट वर्ड 1.1 ए की जांच करता है 🧣 👲🏾 🦇

हाल ही में, Microsoft ने उन सभी प्रोग्रामर्स को एक उपहार दिया, जो किसी दिलचस्प चीज़ में तल्लीन करना चाहते हैं। Microsoft ने MS-DOS v 1.1, v 2.0 और Word के लिए विंडोज 1.1a के लिए स्रोत कोड खोला। MS-DOS ऑपरेटिंग सिस्टम कोडांतरक में लिखा है, और विश्लेषक उस पर लागू नहीं है। लेकिन वर्ड सी भाषा में लिखा गया है। वर्ड 1.1a के लिए स्रोत कोड लगभग 25 वर्ष पुराना है, लेकिन हम किसी तरह इसे सत्यापित करने में कामयाब रहे। बेशक, इस परीक्षण में कोई व्यावहारिक मूल्य नहीं है। सिर्फ मनोरंजन के लिए।

स्रोत से लाभ कहाँ

शायद बहुत से इस लेख में दिलचस्पी नहीं लेंगे, लेकिन इस तथ्य में कि आप एमएस-डॉस वी 1.1, वी 2.0 और वर्ड के लिए विंडोज 1.1 ए के लिए स्रोत कोड डाउनलोड कर सकते हैं। उन लोगों के लिए जो स्वयं स्रोत कोड में खुदाई करने में रुचि रखते हैं, मैं इसे मूल स्रोत पर भेजता हूं।

प्रेस विज्ञप्ति: कंप्यूटर इतिहास संग्रहालय जनता के लिए उपलब्ध विंडोज सोर्स कोड के लिए ऐतिहासिक एमएस-डॉस और वर्ड बनाता है ।

वर्ड 1.1a की जाँच करें

चित्र 1. विंडोज 1.1 ए के लिए शब्द।

विंडोज 1.1 ए के लिए शब्द 1990 में लॉन्च किया गया था। 25 मार्च, 2014 को इस उत्पाद का कोड जनता के लिए उपलब्ध हो गया। Word Microsoft का प्रमुख उत्पाद रहा है और बना हुआ है। मैं और कई अन्य लोग सॉफ्टवेयर उत्पाद के उन पहलुओं को देखने में रुचि रखते हैं जिन्होंने Microsoft की व्यावसायिक सफलता में बहुत योगदान दिया है।

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

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

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

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

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

वर्ड 1.1a कोड पर विविध

सबसे जटिल विशेषताएं

निम्नलिखित कार्यों की सबसे बड़ी चक्रीय जटिलता:

CursUpDown - 219;
बाधा - 192;
CmdDrCurs1 - 142।

#ifdef WIN23

स्रोत कोड और मीटिंग "#ifdef WIN23" को देखकर, मैं मुस्कुराया। और यह जगह लिखी भी। मुझे लगा कि यह एक टाइपो है और इसे #ifdef WIN32 लिखा जाना चाहिए।

जब मैंने दूसरी बार WIN23 को देखा, तो मुझे संदेह हुआ। और फिर उसने अचानक महसूस किया कि मैं 24 साल पहले स्रोत कोड देख रहा था। WIN23 का अर्थ है विंडोज 2.3 का संस्करण।

हर्ष समय

कोड में, मैं इस दिलचस्प रेखा के पार आया।

Assert((1 > 0) == 1);

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

बेशक, अगर हम K & R को एक मानक मानते हैं, तो सिद्धांत रूप में स्थिति ((1> 0) == 1) हमेशा संतुष्ट रहती है। लेकिन K & R सिर्फ एक वास्तविक मानक था और इससे ज्यादा कुछ नहीं। यह संकलक पर्याप्तता के लिए एक जाँच है।

मान्यता परिणाम

अब बात करते हैं उन संदिग्ध स्थानों की जो मुझे कोड में मिले। मुझे लगता है कि इसके लिए आप इस लेख को पढ़ रहे हैं। चलिए शुरू करते हैं।

अंतहीन पाश

 void GetNameElk(elk, stOut) ELK elk; unsigned char *stOut; { unsigned char *stElk = &rgchElkNames[mpelkichName[elk]]; unsigned cch = stElk[0] + 1; while (--cch >= 0) *stOut++ = *stElk++; }

पीवीएस-स्टूडियो चेतावनी : V547 एक्सप्रेशन '- cch> = 0' हमेशा सच होता है। अहस्ताक्षरित प्रकार का मान हमेशा> = 0. मर्जेल्.एक्स 1188 है

जबकि लूप (- cch> = 0) कभी बंद नहीं होगा। चर 'cch' प्रकार का अहस्ताक्षरित है। तो इस चर को कितना कम न करें, यह हमेशा> = 0 रहेगा।

टाइपो के कारण अतिप्रवाह सरणी

 uns rgwSpare0 [5]; DumpHeader() { .... printUns ("rgwSpare0[0] = ", Fib.rgwSpare0[5], 0, 0, fTrue); printUns ("rgwSpare0[1] = ", Fib.rgwSpare0[1], 1, 1, fTrue); printUns ("rgwSpare0[2] = ", Fib.rgwSpare0[2], 0, 0, fTrue); printUns ("rgwSpare0[3] = ", Fib.rgwSpare0[3], 1, 1, fTrue); printUns ("rgwSpare0[4] = ", Fib.rgwSpare0[4], 2, 2, fTrue); .... }

PVS- स्टूडियो चेतावनी: V557 ऐरे ओवररन संभव है। '5' सूचकांक सरणी बाउंड से परे इंगित कर रहा है। dnatfile.c 444

किसी तरह यह हुआ कि पहली पंक्ति कहती है: Fib.rgwSpare0 [5]। यह गलत है। सरणी में केवल 5 तत्व हैं, जिसका अर्थ है कि अधिकतम सूचकांक 4. होना चाहिए। मान 5 'टाइपो का परिणाम है। पहली पंक्ति में सबसे अधिक संभावना शून्य सूचकांक का उपयोग किया जाना चाहिए:

 printUns ("rgwSpare0[0] = ", Fib.rgwSpare0[0], 0, 0, fTrue);

Uninitialized चर

 FPrintSummaryInfo(doc, cpFirst, cpLim) int doc; CP cpFirst, cpLim; { int fRet = fFalse; int pgnFirst = vpgnFirst; int pgnLast = vpgnLast; int sectFirst = vsectFirst; int sectLast = sectLast; .... }

पीवीएस-स्टूडियो चेतावनी: वी 573 अनइंस्टाल्यूटेड वेरिएबल 'सेक्टलास्ट' का इस्तेमाल किया गया था। वैरिएबल का इस्तेमाल खुद को इनिशियलाइज़ करने के लिए किया जाता था। Print2.c 599

चर 'sectLast' खुद को सौंपा गया है:

 int sectLast = sectLast;

ऐसा लगता है कि वैरिएबल 'vsectLast' का इस्तेमाल आरंभीकरण के लिए किया जाना चाहिए:

 int sectLast = vsectLast;

एक और समान त्रुटि पाई गई। कॉपी-पेस्ट का परिणाम:

V573 Uninitialized चर 'sectLast' का उपयोग किया गया था। वैरिएबल का इस्तेमाल खुद को इनिशियलाइज़ करने के लिए किया जाता था। Print2.c 719

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

 CmdBitmap() { static int iBitmap = 0; .... iBitmap = ++iBitmap % MAXBITMAP; }

चेतावनी PVS-Studio: V567 अपरिभाषित व्यवहार। अनुक्रम बिंदुओं के बीच दो बार उपयोग किए जाने के दौरान 'iBitmap' चर को संशोधित किया जाता है। ddedit.c 107

मुझे नहीं पता कि इस कोड का 20 साल पहले कैसे व्यवहार किया गया था। लेकिन अब इसे गुंडागर्दी माना जाता है, क्योंकि यह अपरिभाषित व्यवहार की ओर जाता है।

इसी तरह:

V567 अपरिभाषित व्यवहार। अनुक्रम बिंदुओं के बीच दो बार उपयोग किए जाने के दौरान 'iIcon' चर को संशोधित किया जाता है। ddedit.c 132
V567 अपरिभाषित व्यवहार। अनुक्रम बिंदुओं के बीच दो बार उपयोग किए जाने के दौरान 'iCursor' चर को संशोधित किया जाता है। ddedit.c 150

Printf () फ़ंक्शन के लिए असफल कॉल

 ReadAndDumpLargeSttb(cb,err) int cb; int err; { .... printf("\n - %d strings were read, " "%d were expected (decimal numbers) -\n"); .... }

चेतावनी PVS-Studio: V576 गलत प्रारूप। 'प्रिंटफ' फ़ंक्शन को कॉल करते समय एक वास्तविक संख्या में वास्तविक तर्क की उम्मीद की जाती है। अपेक्षित: 3. वर्तमान: 1. dini.c 498

Printf () फ़ंक्शन एक फ़ंक्शन होता है जिसमें विभिन्न प्रकार के तर्क होते हैं । तर्क उस पर पारित किए जा सकते हैं, या नहीं। यहां वे तर्कों के बारे में भूल गए, जिसके परिणामस्वरूप कचरा मुद्रित किया जाएगा।

अनइंस्टॉल किए गए संकेत

सहायक उपयोगिताओं में से एक में, जो वर्ड के स्रोत कोड में शामिल है, आप कुछ पूरी तरह से समझ से बाहर पा सकते हैं।

 main(argc, argv) int argc; char * argv []; { FILE * pfl; .... for (argi = 1; argi < argc; ++argi) { if (FWild(argv[argi])) { FEnumWild(argv[argi], FEWild, 0); } else { FEWild(argv[argi], 0); } fclose(pfl); } .... }

PVS-Studio चेतावनी: V614 Uninitialized सूचक 'pfl' का उपयोग किया गया। 'Fclose' फ़ंक्शन के पहले वास्तविक तर्क की जाँच करने पर विचार करें। eldes.c 87

चर 'pfl' को लूप से पहले और लूप में पहले से इनिशियलाइज़ नहीं किया गया है। लेकिन कई बार फेकलोज (pfl) फंक्शन को कहा जाता है। हालाँकि, यह सब अच्छी तरह से काम कर सकता है। फ़ंक्शन त्रुटि स्थिति लौटाएगा, और कार्यक्रम अपना काम जारी रखेगा।

और यहां एक और खतरनाक विशेषता है। सबसे अधिक संभावना है, इसके कॉल से कार्यक्रम की असामान्य समाप्ति हो जाएगी।

 FPathSpawn( rgsz ) char *rgsz[]; { /* puts the correct path at the beginning of rgsz[0] and calls FSpawnRgsz */ char *rgsz0; strcpy(rgsz0, szToolsDir); strcat(rgsz0, "\\"); strcat(rgsz0, rgsz[0]); return FSpawnRgsz(rgsz0, rgsz); }

PVS-Studio चेतावनी: V614 Uninitialized पॉइंटर 'rgsz0' का इस्तेमाल किया। 'Strcpy' फ़ंक्शन के पहले वास्तविक तर्क की जाँच करने पर विचार करें। makeopus.c 961

'Rgsz0' पॉइंटर को इनिशियलाइज़ नहीं किया गया है। यह आपको एक स्ट्रिंग की प्रतिलिपि बनाने में शुरू करने से नहीं रोकता है।

हालत में एक टाइपो

 .... #define wkHdr 0x4000 #define wkFtn 0x2000 #define wkAtn 0x0008 .... #define wkSDoc (wkAtn+wkFtn+wkHdr) CMD CmdGoto (pcmb) CMB * pcmb; { .... int wk = PwwdWw(wwCur)->wk; if (wk | wkSDoc) NewCurWw((*hmwdCur)->wwUpper, fTrue); .... }

PVS-Studio चेतावनी: V617 स्थिति का निरीक्षण करने पर विचार करें। '(0x0008 + 0x2000 + 0x4000)' का तर्क '' बिटवाइज़ ऑपरेशन में एक गैर-शून्य मान होता है। dlgmisc.c 409

स्थिति (wk | wkSDoc) हमेशा सत्य होती है। वास्तव में, यहाँ, सबसे अधिक संभावना है, वे लिखना चाहते थे:

 if (wk & wkSDoc)

सामान्य तौर पर, ऑपरेटर को मिलाया जाता है | और।

और अंत में, एक लंबा लेकिन सरल उदाहरण

 int TmcCharacterLooks(pcmb) CMB * pcmb; { .... if (qps < 0) { pcab->wCharQpsSpacing = -qps; pcab->iCharIS = 2; } else if (qps > 0) { pcab->iCharIS = 1; } else { pcab->iCharIS = 0; } .... if (hps < 0) { pcab->wCharHpsPos = -hps; pcab->iCharPos = 2; } else if (hps > 0) { pcab->iCharPos = 1; } else { pcab->iCharPos = 1; } .... }

PVS-Studio चेतावनी: V523 'तत्कालीन' कथन 'और' कथन के बराबर है। dlglook1.c 873

चर 'qps' के साथ काम करते समय, वे निम्नलिखित मानों को 'pcab-> iCharIS': 2, 1, 0 में लिखते हैं।

वे इसी तरह 'hps' वेरिएबल के साथ काम करते हैं। लेकिन एक ही समय में, संदिग्ध संख्याएं 'pcab-> iCharPos': 2, 1, 1 में रखी जाती हैं।

यह सबसे अधिक संभावना एक टाइपो है। बहुत अंत में, आपको शायद शून्य का उपयोग करना चाहिए।

निष्कर्ष

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

मुझे आशा है कि मैंने आपको कुछ मिनटों के दिलचस्प पढ़ने के लिए दिया। आपका ध्यान देने के लिए धन्यवाद। और अपने कोड पर पीवीएस-स्टूडियो विश्लेषक का प्रयास करें।

यह लेख अंग्रेजी में है।

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

क्या आपने लेख पढ़ा है और एक प्रश्न है?

अक्सर हमारे लेखों से वही प्रश्न पूछे जाते हैं। हमने यहां उनके उत्तर एकत्र किए हैं: पीवीएस-स्टूडियो और कैप्पकैट, संस्करण 2014 के बारे में लेखों के पाठकों के सवालों के जवाब । कृपया सूची देखें।

मनोरंजक पुरातत्व। या पीवीएस-स्टूडियो माइक्रोसॉफ्ट वर्ड 1.1 ए की जांच करता है