हम सुरक्षित संचालन में असुरक्षित संचालन में मापदंडों को आगे बढ़ाते हैं

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

त्याग

कहानी शुरू करने से पहले, मैं दृढ़ता से सलाह देता हूं कि आप स्ट्रक्चरलआउट के बारे में पिछला पोस्ट पढ़ें, क्योंकि जिन बातों पर सहमति जताई गई है, उन्हें यहां दोहराया नहीं जाएगा।

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

कुछ प्रारंभिक जानकारी

आरंभ करने से पहले, आइए याद करें कि C # कोड कैसे परिवर्तित किया जाता है।
आइए एक साधारण उदाहरण देखें। मैं आपको याद दिला दूं कि स्ट्रक्चरलैयूट के साथ मस्ती करने के लिए, मैं केवल आभासी तरीकों का उपयोग करता हूं।

public class Helper { public virtual void Foo(int param) { } } public class Program { public void Main() { Helper helper = new Helper(); var param = 5; helper.Foo(param); } } 

इस कोड में कुछ भी जटिल नहीं है, लेकिन JiT द्वारा उत्पन्न निर्देशों में कई प्रमुख बिंदु हैं। मैं उत्पन्न कोड के केवल एक छोटे टुकड़े को पार्स करने का प्रस्ताव करता हूं।

  1: mov dword [ebp-0x8], 0x5 2: mov ecx, [ebp-0xc] 3: mov edx, [ebp-0x8] 4: mov eax, [ecx] 5: mov eax, [eax+0x28] 6: call dword [eax+0x10] 

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

इसलिए, पहली पंक्ति में हम स्थानीय चर 5 देखते हैं, यहाँ कुछ भी दिलचस्प नहीं है।
दूसरी पंक्ति में, हम हेल्पर उदाहरण के पते को एक्जिट रजिस्टर में कॉपी करते हैं। यह विधि तालिका का पता है।
तीसरी पंक्ति में edx रजिस्टर में स्थानीय चर 5 की नकल है
चौथी पंक्ति पद्धति तालिका के पते को eax रजिस्टर में कॉपी करती है
पांचवीं पंक्ति में 40 बाइट्स द्वारा ईएक्स रजिस्टर की एक शिफ्ट शामिल है, विधि तालिका के पते की तुलना में 40 बाइट्स के पते पर मेमोरी से मान को लोड करना: विधि तालिका में विधियों की शुरुआत का पता। (विधि तालिका में विभिन्न जानकारी होती है जो पहले संग्रहित होती है। ऐसी जानकारी, उदाहरण के लिए, बेस क्लास विधि तालिका, ईक्लास पता, विभिन्न झंडे, जिसमें कचरा इकट्ठा करने वाला झंडा, और इसी तरह का पता शामिल है) शामिल हैं। तदनुसार, विधि तालिका से पहली विधि का पता अब ईएक्स रजिस्टर में संग्रहीत किया गया है।
छठी पंक्ति में, विधि को शुरुआत से 16 ऑफसेट कहा जाता है, अर्थात, विधि तालिका में पांचवां। हमारा एकमात्र तरीका पाँचवाँ क्यों है? मैं आपको याद दिलाता हूं कि ऑब्जेक्ट में 4 वर्चुअल तरीके (ToString, Equals, GetHashCode और Finalize) हैं, जो तदनुसार, सभी वर्गों में होंगे।

अभ्यास के लिए आगे बढ़ते हैं

यह एक छोटा प्रदर्शन शुरू करने का समय है। मैं यहाँ इस तरह के एक रिक्त (पिछले लेख से रिक्त के समान) का प्रस्ताव करता हूँ।

 [StructLayout(LayoutKind.Explicit)] public class CustomStructWithLayout { [FieldOffset(0)] public Test1 Test1; [FieldOffset(0)] public Test2 Test2; } public class Test1 { public virtual int Useless(int param) { Console.WriteLine(param); return param; } } public class Test2 { public virtual int Useless() { return 888; } } public class Stub { public void Foo(int stub) { } } 

और मुख्य विधि के निम्नलिखित भराई:

  class Program { static void Main(string[] args) { Test2 fake = new CustomStructWithLayout { Test2 = new Test2(), Test1 = new Test1() }.Test2; Stub bar = new Stub(); int param = 55555; bar.Foo(param); fake.Useless(); Console.Read(); } } 

जैसा कि आप कल्पना कर सकते हैं, पिछले लेख के अनुभव से, टाइप 1 के बेकार (इंट जे) विधि को बुलाया जाएगा।

लेकिन क्या कटौती की जाएगी? एक चौकस पाठक, मुझे विश्वास है, पहले ही इस सवाल का जवाब दे चुका है। 55555 कंसोल पर प्रदर्शित किया गया है।

लेकिन आइए उत्पन्न कोड के टुकड़ों पर एक नज़र डालें।

  mov ecx, [ebp-0x20] mov edx, [ebp-0x10] cmp [ecx], ecx call Stub.Foo(Int32) nop mov ecx, [ebp-0x1c] mov eax, [ecx] mov eax, [eax+0x28] call dword [eax+0x10] 

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

एक और दिलचस्प बारीकियों है। मैंने विशेष रूप से एक सार्थक प्रकार का उपयोग किया। मेरा सुझाव है कि किसी भी संदर्भ प्रकार के साथ Stub प्रकार के फू विधि के पैरामीटर प्रकार को बदलने की कोशिश करें, उदाहरण के लिए, एक स्ट्रिंग। लेकिन बेकार विधि का पैरामीटर प्रकार नहीं बदला गया है। नीचे आप कुछ स्पष्ट तत्वों के साथ मेरी मशीन पर परिणाम देख सकते हैं: WinDBG और कैलकुलेटर :)


क्लिक करने योग्य छवि

आउटपुट विंडो दशमलव संख्या प्रणाली में संदर्भ प्रकार का पता प्रदर्शित करती है

परिणाम

उन्होंने फास्टकॉल कन्वेंशन का उपयोग करके कॉलिंग विधियों के ज्ञान को ताज़ा किया और एक समय में पैरामीटर 2 विधियों को पारित करने के लिए तुरंत अद्भुत edx रजिस्टर का उपयोग किया। उन्होंने सभी प्रकारों के बारे में जानकारी नहीं दी और यह याद रखना कि सभी बाइट्स केवल पॉइंटर्स और असुरक्षित कोड का उपयोग किए बिना आसानी से ऑब्जेक्ट का पता प्राप्त करते हैं। इसके अलावा मैं और भी अधिक अनुपयुक्त उद्देश्यों के लिए प्राप्त पते का उपयोग करने की योजना बना रहा हूं!

आपका ध्यान के लिए धन्यवाद!

PS C # कोड यहां पाया जा सकता है