TPoDT # 2 से Keygenme विश्लेषण

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

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

हम इसे डिबगर में लोड करते हैं और इनपुट फ़ील्ड से टेक्स्ट प्राप्त करने के लिए उपयोग किए जाने वाले मानक WinAPI फ़ंक्शन पर ब्रेकप्वाइंट सेट करते हैं: GetDlgItem, GetDlgItemTextA, GetWindowTextA. हम निष्पादन के लिए कार्यक्रम जारी करते हैं, किसी भी नाम पर ड्राइव करते हैं, कुंजी और 'चेक' बटन दबाएं।
कोई अप्रिय आश्चर्य नहीं है, और हम तुरंत GetDlgItemTextA पर GetDlgItemTextA । हम विराम हटाते हैं, और एपीआई से बाहर निकलते हैं - हम पते 0x0040195B पर हैं

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

  xor अल, अल
 inc al 

लेकिन एल्गोरिथ्म हमारे लिए ही रुचि का है, इसलिए हम CheckCode और ट्रेस में जाते हैं।

कोड बहुत साफ है और पढ़ने में आसान है। पहला कदम GetOnlyNumeric को कॉल करना है, जिसे मैंने GetOnlyNumeric कहा है, इसे पारित किया जाता है, एक पैरामीटर के रूप में, दर्ज कोड के लिए एक संकेतक।

सी उत्साही लोगों के लिए, मैंने विशेष रूप से सी-जैसे छद्म कोड पर टिप्पणियां कीं। लूप में कोड दर्ज की गई रेखा को पढ़ता है और यदि चरित्र 'A'-'F' या '0'-'9' की सीमा में नहीं है, तो यह चरित्र को छोड़ देता है। यदि चरित्र स्थिति को संतुष्ट करता है, तो उसे एक नई रेखा के साथ चमक देता है। यह इसलिए किया जाता है ताकि आप "सुंदर" रूप में, सीमांकक के साथ कुंजी दर्ज कर सकें।
चलिए CheckCode फ़ंक्शन के कोड पर वापस CheckCode हैं। 0x00401457 आप सामान्यीकृत स्ट्रिंग की लंबाई की गिनती देख सकते हैं, और यह 24 होनी चाहिए। (मेरे पास स्क्रीनशॉट में एक टाइपो है) । 24 क्यों? REP SCASB ECX को कम करते हुए AL एक चरित्र के लिए स्ट्रिंग खोजता है। प्रारंभ में, ECX 0xFFFFFFFF को अधिकतम मूल्य के रूप में इंगित करता है। आमतौर पर, इसके बाद, सामान्य रूप में स्ट्रिंग की लंबाई प्राप्त करने के लिए NOT ECX और DEC ECX कमांड निष्पादित नहीं किए जाते हैं। हम भी करेंगे

  -1 एएच = एफएफएफएफएफई 6 एच
 नहीं FFFFFFE6hh = 19h
 19h - 1 = 24dec

Sscanf फ़ंक्शन के बाद कॉल सामान्यीकृत स्ट्रिंग को एक पंक्ति में तीन बाइनरी DWORD में अनुवाद करता है। और स्क्रीनशॉट के बहुत नीचे एक छोटा लूप है जो दस बफर DWORD के अनुक्रमिक XOR द्वारा दर्ज नाम से हैश की गणना करता है। (बफ़र 40 अक्षर लंबे) यह वह जगह है जहाँ प्रारंभिक तैयारी पूरी हो जाती है और जाँच शुरू होती है।

व्यक्तिगत रूप से, जब कार्यक्रमों पर शोध करते हैं, तो मैं पहली बार सतही रूप से देखता हूं कि वह क्या करती है, कोड को ट्रेस करना, और फिर मैं चेकों से विपरीत दिशा में आवश्यक वर्गों का विश्लेषण करती हूं।
इस मामले में, समाधान सही होगा जिसमें EDI=ECX ।
चलो ECX साथ शुरू करते हैं - तुलना करने से ठीक पहले, LEA ECX, [ECX*4+ECX] कमांड को निष्पादित किया जाता है।
सामान्य तौर पर, LEA एक पते की गिनती के लिए एक कमांड है, लेकिन इस मामले में यह अभिव्यक्ति को निष्पादित करता है: ECX = ECX*4 + ECX या, और अधिक सरल, ECX*5 । हम कोड ऊपर जाते हैं, ECX अब 0x0040154F LEA ECX, [EDX*2+EDX] पर पाया जाता है। जैसा कि आप फिर से यह अनुमान लगा सकते हैं, एक सरल गुणन। यह पता चला है कि अंतिम ECX = EDX*3*5 । लेकिन फिर EDX क्या है? यदि हम कोड के साथ छेड़छाड़ करते हैं, तो हम समझते हैं कि यह कुंजी के अंतिम ब्लॉक के ऊपरी और निचले हिस्सों के बीच XOR ऑपरेशन के बराबर है। भविष्य में, मैं परिणामी संख्या SUM को कॉल करूंगा, और अंतिम ब्लॉक के उल्लंघन किए गए दो बाइट्स को सीआरसी कहा जाएगा। मुझे यह बताने दें कि एक ब्लॉक क्यों है - दर्ज किए गए स्ट्रिंग को द्विआधारी रूप में अनुवाद करने के बाद, उन पर सभी ऑपरेशन या तो DWORD या NORD मानों के साथ किए जाते हैं। इसलिए, प्रमुख प्रकार निम्नानुसार हो सकते हैं:

  1111-2222-3333-4444-5555-6666 

यह मेरी भिन्नता है; हाइफ़न को अलग तरीके से भी व्यवस्थित किया जा सकता है।
इसलिए, हमने हालत का सही हिस्सा सीखा, अब आइए बाईं ओर चलते हैं - ईडीआई की गणना करने के लिए।
मैं संक्षेप में SUB EAX, 798134 कि SUB EAX, 798134 बाद क्या होता है। परिणामी मूल्य, तब KEY1, को एक चर में संग्रहीत किया जाता है, और 4 हाफ-बाइट्स (4 बिट्स) से लिया जाता है, जो पदों 2, 3, 6, 7 (0 से क्रमांकन) पर स्थित है और आपस में गुणा किया जाता है। परिणामी मूल्य ECX बराबर होना चाहिए। पहली बात जो दिमाग में आती है, वह मानों की गणना करना है जिस पर crc और KEY1 बराबर होगा। ऐसा लगता है कि सब कुछ ठीक है, लेकिन यह बहुत आसान होगा, इस विकल्प के साथ सभी जांचों को अंतिम एक को छोड़कर पारित किया जाता है। लेकिन उस पर और बाद में।
अब देखते हैं कि KEY1 बनने से पहले EDX साथ क्या होता है। टिप्पणियों से आप समझ सकते हैं कि पहले तो इसे ब्लॉक 1 और ब्लॉक 2 दोनों की ओर से हैश के निचले हिस्से से माना जाता है, फिर से XOR का उपयोग कर। इसके बाद, दो ऑपरेशन किए जाते हैं।

  XOR EAX, 9F827364
 SUB EAX, 798134 

जो, KEY1 से मूल संख्या प्राप्त करने के लिए, निम्नानुसार बदला जा सकता है:

  ADD EAX, 798134
 XOR EAX, 9F827364 

इस स्तर पर, हम संख्याओं को बदलने का प्रयास नहीं करेंगे; पहले, हम बाकी जाँचों को देखेंगे।

इस स्क्रीनशॉट में एक बार में उनमें से तीन हैं। पहला लगभग पिछले को दोहराता है। मतभेदों में से, हम गणना एल्गोरिथ्म KEY2 में एक बदलाव को अलग कर सकते हैं

  ADD ECX, 871623
 XOR ECX, 4637A819 

जो आसानी से परिवर्तित भी हो जाते हैं

  XOR ECX, 4637A819
 SUB ECX, 871623 

और यह भी, आधे-बाइट इंडेक्स बदल गए हैं। अब 5 और 6 KEY2 और (!) 1, 2 से KEY1 से लिए गए हैं। इसलिए मैंने कहा कि यह संख्या लेने लायक नहीं है, क्योंकि इन्हें अभी भी एल्गोरिदम के अनुसार आगे उपयोग किया जाता है। आगे की जाँच में, महत्वपूर्ण संख्याएँ उत्पन्न नहीं होती हैं, लेकिन दो प्राप्त KEY1 और KEY2 का उपयोग किया जाता है।
तीसरी जाँच 0,1,4 और KEY1 के 5 बाइट को गुणा करती है।
स्क्रीनशॉट के बहुत नीचे, 0x00401654 , CMP SI, BX पर एक बहुत छोटा चेक है। यह जटिल नहीं है, और फिर से, ट्रेस के माध्यम से, आप देख सकते हैं कि ओर से हैश के निचले हिस्से की तुलना दर्ज कोड के पांचवें ब्लॉक के साथ की जाती है। शेष तीन चेक भी छोटे हैं:
उनमें से पहले दो एक ही प्रकार के हैं, और केवल गुणन के लिए प्रमुख संख्याओं में से अपने आधे-बाइट्स का चयन करते हैं। इसलिए, मैं खुद को नहीं दोहराऊंगा। 0x004016BF पर स्थित सत्यापन अधिक ध्यान देने योग्य है। यहाँ वह सबसे कपटी है - वह crc की तुलना करती है, या अधिक बस, पिछले ब्लॉक की पोकोर्सनेय बाइट्स, जिस पर सभी पिछले चेक निर्भर करते हैं। और जो वास्तव में हमें KEY1 और KEY2 को शून्य बनाने की अनुमति नहीं देता है।
SHL EDX, 1 कमांड 1 बिट से बाईं ओर शिफ्ट बनाता है, जो संख्या को 2 से गुणा करने के बराबर है। कुल में, हम पाते हैं कि पोकोर्सॉर्न संख्या किसी भी कोड के लिए एक स्थिर है और 0xB6 / 2 / 0x5B होना चाहिए।
अब थोड़ा गणित। शुरुआत में, हमने देखा कि चेकों में तुलना की गई संख्या CRC * 15 है। और जब से हमने उस CRC = 0x5B से ऊपर पाया, SUM = CRC * 15 = 0x555 = 1365 (10) प्राप्त करना मुश्किल नहीं है।
प्रत्येक चेक में, आधे-बाइट्स को गुणा करते समय, 4 ऑपरेंड का हमेशा उपयोग किया जाता है, जिसका अर्थ है कि हमें 1365 को 4 कारकों में बदलना चाहिए। यदि 3 और 5 की विभाज्यता आंख से दिखाई देती है, तो शेष 7 और 13 अब स्पष्ट नहीं हैं। लेकिन सामान्य तौर पर, कार्य मुश्किल नहीं है। वाणिज्यिक संस्करण में, बड़ी संख्या में कारकों को लेना संभव था और, तदनुसार, बहुत बड़ी संख्या, फिर अपघटन में अधिक समय लगेगा। हमने कारकों का पता लगा लिया है, अब आइए अलग-अलग पुनरावृत्तियों पर आधा-बाइट चयन मानचित्र देखें।

जैसा कि आपने देखा होगा, 4 कॉलम हाइलाइट किए गए हैं - वे चेक की एक जोड़ी में प्रतिच्छेद करते हैं, जिसका अर्थ है कि इन मूल्यों को अलग-अलग उत्पन्न करने की आवश्यकता है, और वे सभी अलग-अलग होने चाहिए। शेष आधे बाइट्स को यादृच्छिक रूप से चुना जा सकता है, इस शर्त के साथ कि प्रत्येक चेक के लिए सभी 4 अलग-अलग कारक होंगे।
उसी समय, मैंने कुछ समरूपता पर ध्यान दिया, जो हमें सभी को उत्पन्न करने की अनुमति देता है, लेकिन केवल आधे मूल्य हैं, और बाकी को दर्पण प्रतिबिंब के साथ भरें।
मैं आपको अपने उपनाम के लिए एक छोटा सा उदाहरण दूंगा।
इसमें से हैश 0x6930622F होगा। पुराना हिस्सा एल्गोरिथ्म में शामिल नहीं है।
KEY1 और KEY2 उदाहरण के लिए चुनें 5d7337d5 d537735d ।
फिर block1-block4 प्राप्त करने के लिए आपको निम्नलिखित ऑपरेशन करने होंगे:

  (5d7337d5 + 798134) ^ 9F827364 = C26ECA6D
 ब्लॉक 1 = C26E ^ 622F = A041
 ब्लॉक 2 = सीए 6 डी ^ 622 एफ = ए 842

 (d537735d ^ 4637A819) - 871623 = 9279C521
 ब्लॉक 3 = 9279 ^ 622F = F056
 ब्लॉक 4 = C521 ^ 622F = A70E 

पांचवा मुख्य ब्लॉक हैश का निचला हिस्सा है। मेरे मामले में - 622 एफ। खैर, अंतिम, छठे ब्लॉक में, हमारे पास विकल्प के लिए अधिक विकल्प हैं - सामान्य सूत्र होगा (c << 8) | (c ^ 0x5B)। सबसे सरल मामले में, 005B (00 ^ 5B = 5B)।
अंतिम कुंजी इस तरह होगी

  A041-A842-F056-A70E-622F-005B 

यदि सब कुछ सही पाया जाता है, तो निम्न विंडो प्रदर्शित की जानी चाहिए
कुंजी जनरेटर का मेरा संस्करण यहां पाया जा सकता है।