LLVM প্রকল্প C++ এ বাফার নিরাপদ হ্যান্ডলিং বিকাশ করে

LLVM প্রকল্পের বিকাশকারীরা মিশন-সমালোচনামূলক C++ প্রকল্পগুলির নিরাপত্তা জোরদার করার লক্ষ্যে এবং বাফার ওভাররানের কারণে সৃষ্ট ত্রুটিগুলি দূর করার উপায় প্রদানের লক্ষ্যে বেশ কয়েকটি পরিবর্তনের প্রস্তাব করেছেন। কাজটি দুটি ক্ষেত্রের উপর দৃষ্টি নিবদ্ধ করা হয়েছে: একটি উন্নয়ন মডেল প্রদান যা আপনাকে নিরাপদে বাফারগুলির সাথে কাজ করতে দেয় এবং libc++ ফাংশনগুলির স্ট্যান্ডার্ড লাইব্রেরির নিরাপত্তা কঠোর করার জন্য কাজ করে৷

C++ এর জন্য প্রস্তাবিত নিরাপদ প্রোগ্রামিং মডেল হল বেয়ার পয়েন্টার ব্যবহার করার পরিবর্তে বাফারগুলির সাথে কাজ করার সময় স্ট্যান্ডার্ড লাইব্রেরি দ্বারা প্রদত্ত ক্লাসগুলি ব্যবহার করা। উদাহরণস্বরূপ, এটি std::array, std::vector, এবং std::span ক্লাসগুলি ব্যবহার করার প্রস্তাব করা হয়েছে, যেগুলি বরাদ্দকৃত মেমরির জন্য একটি রান-টাইম চেকের সাথে যোগ করা হবে।

ঝনঝনানিতে বিপজ্জনক প্রোগ্রামিং অনুশীলনের বিরুদ্ধে লড়াই করার জন্য, "cppcoreguidelines-pro-bounds-pointer-arithmetic" পতাকা ব্যবহার করার সময় ক্ল্যাং-টাইডি'স লিন্টার সতর্কতার অনুরূপ, সমস্ত পয়েন্টার গাণিতিক ক্রিয়াকলাপের জন্য কম্পাইলার সতর্কতা জারি করার প্রস্তাব করা হয়েছে, যার জন্য সমর্থন প্রদর্শিত হবে রিলিজ LLVM 16. এই ধরনের সতর্কতা সক্রিয় করতে, ক্ল্যাং-এ একটি পৃথক পতাকা যোগ করা হবে, যা ডিফল্টরূপে সক্রিয় নয়।

এটি libc++-এ একটি ঐচ্ছিক শক্ত সুরক্ষা মোড প্রয়োগ করার পরিকল্পনা করা হয়েছে, যা সক্রিয় করা হলে, রানটাইমে অনির্ধারিত আচরণের দিকে পরিচালিত করে এমন কিছু পরিস্থিতি দেখাবে। উদাহরণস্বরূপ, std::span এবং std::vector ক্লাসে, একটি সীমার বাইরের অ্যাক্সেস নিরীক্ষণ করা হবে, এই ক্ষেত্রে প্রোগ্রামটি ক্র্যাশ হবে। বিকাশকারীরা বিশ্বাস করেন যে এই ধরনের পরিবর্তনগুলি যুক্ত করা হলে তা libc++ C++ মানগুলির সাথে সঙ্গতিপূর্ণ রাখবে, যেহেতু অনির্ধারিত আচরণের ক্ষেত্রে কীভাবে পরিচালনা করা যায় তার পছন্দটি লাইব্রেরির বিকাশকারীদের উপর রয়েছে, যা অন্যান্য বিষয়গুলির মধ্যে, অনির্ধারিত আচরণকে একটি ক্র্যাশ হিসাবে ব্যাখ্যা করতে পারে যার জন্য প্রয়োজন। প্রস্থান করার জন্য প্রোগ্রাম।

libc++-এ রানটাইম চেকগুলিকে পৃথকভাবে অন্তর্ভুক্ত করা যেতে পারে এমন বিভাগে বিভক্ত করার পরিকল্পনা করা হয়েছে। কিছু প্রস্তাবিত চেক যা আরও জটিল অপারেশন বা ABI পরিবর্তনের ফলে হয় না তা ইতিমধ্যে libc++ এর নিরাপদ মোডে প্রয়োগ করা হয়েছে।

উপরন্তু, কোড সংশোধন করার জন্য একটি টুলকিট প্রস্তুত করার পরিকল্পনা করা হয়েছে, যা আপনাকে কন্টেইনারে বেয়ার পয়েন্টার দিয়ে ভেরিয়েবল প্রতিস্থাপন করতে এবং এমন পরিস্থিতিতে বিকল্প হ্যান্ডলার প্রয়োগ করতে দেয় যেখানে কন্টেইনার সরাসরি পয়েন্টার প্রতিস্থাপন করতে পারে না (উদাহরণস্বরূপ, "যদি (অ্যারে_পয়েন্টার)" construct কে "if (span.data ()" এ রূপান্তরিত করা যেতে পারে)। অ্যাডজাস্টমেন্ট শুধুমাত্র স্থানীয় ভেরিয়েবলে নয়, পয়েন্টার সহ প্যারামিটার টাইপ করতেও প্রয়োগ করা যেতে পারে।

উত্স: opennet.ru