آشکارسازهای (دیکدر) سر ریز بافر

با وجود تلاش های قبلی در زمینه بررسی نرم افزار به صورت دستی و خودکار، سرریزهای بافر هنوز هم در برنامه های در حالاستفاده دیده می شود. یک کنترل کننده مرزهای پویا، سرریزی بافر را در نرم افزارهای اشتباه قبل از وقوع تشخیص می دهد و از این طریق مانع حملات مخرب به یکپارچگی سیستم می گردد. آشکارسازهای (دیکدر) سرریز بافر پویا به طور گسترده به دلیل : (۱) عدم حفاظت در برابر تمام حملات سرریز بافر، (۲) شکستن کد موجود، و یا (۳) سربار بالای بیش از حد پذیرفته نشده اند. این مقاله یک دیکدر کاربردی به نام (دیکدر خطای حوزه ی C )ارائه می دهد که مانع بروز هر یک از این معایب می گردد. CRED تمام حملات سرریز بافر را می یابد به طوریکه به طور مستقیم برای مرزهای دسترسی به حافظه آنها را بررسی می کند. بر خلاف اصل -referent object مبتنی بر تکنیک CRED، bounds-checking کد موجود را نقض نمی کند زیرا از یک راه حل جدید برای حمایت از کاربرد برنامه در خارج از مرز آدرس ها استفاده می کند. در نهایت، با محدود کردن حدود بررسی برای رشته ها در یک برنامه، سربار CRED بدون محافظت در آزمایش هایی که ما انجام داده ایم بسیار کاهش یافته است.CRED به عنوان تعمیمی از نسخه کامپایلر ۳.۳.۱ GNU C اجرا شده است. سادگی طرح ما پیاده سازی دقیقی را فراهم کرده است که بر روی بیش از ۲۰ برنامه متن باز، شامل بیش از ۱.۲ میلیون خط کد C تست شده است. اثربخشی CRED در تشخیص حملات بافر به برنامه ها با آسیب های شناخته شده اثبات گردیده و آن تنها ابزار موجود برای محافظت در برابر ۲۰ حمله ی سرریز بافر متفاوت تست شده است [۳۴] .با یافتن سرریزها تنها بر روی رشته ها، یک سربار کمتر از ۲۶% برای ۱۴ برنامه و یک سربار تا ۱۳۰% برای شش برنامه باقی مانده تحمیل می گردد، در حالی که کنترل کننده ی مرزهای state-of-the-art توسط Jones و Kelly ۶۰% از برنامه ها را متوقف می کنند و آن ۱۲ بار کندتر است. با در اختیار داشتن تکنیک های شناخته شده برای بهینه سازی bounds-checking نسبت به CRED می توان منجر به بهبود بیشتر عملکرد شد.

کلیدواژه ها:

CRED ، bounds-checkingحملات سرریز بافر ، آشکارسازهای (دیکدر) ، تکنیک