सुरक्षित कोड में मापदंडों के बिना मापदंडों को कैसे आगे बढ़ाया जाए

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

त्याग

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

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

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

इससे पहले कि हम अभ्यास करना शुरू करें, आइए याद रखें कि सी # कोड को कोडांतरक कोड में कैसे बदला जाता है।
आइए हम एक सरल उदाहरण की जाँच करें।

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

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

 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 की नकल है
चौथी पंक्ति में हम पद्धति तालिका पते की नकल को ईएक्सएक्स रजिस्टर में देख सकते हैं
पांचवीं पंक्ति में विधि तालिका के पते की तुलना में 40 बाइट्स पते पर मेमोरी से मूल्य का लोड होता है: विधि तालिका में विधियों के पते की शुरुआत। (विधि तालिका में विभिन्न जानकारी होती है, जो पहले संग्रहित होती है। उदाहरण के लिए बेस क्लास विधि तालिका, ईक्लास पता, विभिन्न झंडे, जिसमें कचरा इकट्ठा करने वाला झंडा, और इसी तरह) शामिल हैं। इस प्रकार, विधि तालिका से पहली विधि का पता अब ईएक्स रजिस्टर में संग्रहीत किया गया है।
नोट: .NET कोर में विधि तालिका का लेआउट बदल दिया गया था। अब फ़ील्ड है (32/64 बिट पर क्रमशः 32 और 64 बिट सिस्टम के लिए) जिसमें विधि सूची की शुरुआत का पता है।
छठी पंक्ति में, विधि को शुरुआत से 16 ऑफसेट कहा जाता है, अर्थात, विधि तालिका में पांचवां। हमारा एकमात्र तरीका पाँचवाँ क्यों है? मैं आपको याद दिलाता हूं कि ऑब्जेक्ट में 4 वर्चुअल तरीके ( ToString (), Equals (), GetHashCode () और Finalize () ) हैं, जो क्रमशः सभी वर्गों के पास होंगे।

गोटो अभ्यास;

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

  [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 के बेकार (int j) विधि को बुलाया जाएगा।

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

लेकिन आइए अब भी जेनरेट किए गए कोड अंशों को देखें।

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

मुझे लगता है कि आप वर्चुअल मेथड कॉल पैटर्न को पहचानते हैं, यह Stub.Foo (Int32) कॉल के बाद शुरू होता है। जैसा कि हम देख सकते हैं, जैसा कि अपेक्षित एक्स्ट्स उस उदाहरण के पते से भरा है जिस पर विधि कहा जाता है। लेकिन चूंकि कंपाइलर को लगता है कि हम टाइप 2 का एक तरीका कहते हैं, जिसमें कोई पैरामीटर नहीं है, तो edx को कुछ भी नहीं लिखा जाता है। हालाँकि, हमारे पास पहले एक और तरीका है। और वहां हमने पैरामीटर पारित करने के लिए edx का उपयोग किया है। और निश्चित रूप से हमारे पास निर्देश नहीं हैं, वह स्पष्ट edx है। इसलिए, जैसा कि आप कंसोल आउटपुट में देख सकते हैं, पिछले edx मान का उपयोग किया गया था।

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


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

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

संपूर्ण

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

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

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