साइक्लोन में सुरक्षित सिस्टम कोड

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