وارسی امنیتی خودکار برنامه های زبان C به کمک حاشی هگذاری

توجه به امنیت در تمام مراحل توسعه نرم افزار لازم است اما از آن جایی که معمولاً تا مرحله پیاده سازی بسیاری از جزئیات نادیده گرفته می شوند، تشخیص و رفع آسیب پذیری های موجود در پیاده سازی نرم افزار روشی تکمیل کننده برای تضمین امنیت نرم افزار می باشد. در صورت در دسترس بودن کد منبع، تحلیل ایستا بهترین روش برای کشف اشکالات نرم افزار محسوب می شود. از میان تکنیک های ایستا، تکنیک حاشیه گذاری امکان اضافه کردن ساختارها و دستورات اضافه به کد و در نتیجه معنا بخشیدن به آن را فراهم می کند. از این رو به نظر می رسد که این روش بتواند به صورت کارآمدتری آسیب پذیری های امنیتی را بیابد. در این مقاله روشی برای تشخیص آسیب پذیری های موجود در نحوه استفاده از توابع کتابخانه ای زبان C با کمک حاشیه گذاری ارائه شده است. روش پیشنهادی با در نظر گرفتن تعدادی قید امنیتی برای توابع و بررسی این قیود به کمک حاشیه ها، وارسی را انجام می دهد. روش ارائه شده با کمک ابزار حاشیه گذاری VCC پیاده سازی شده است. نتایج حاصل از به کارگیری ابزار فراهم شده به روی مجموعه آزمون Fortify برای کشف مجموع های از آسیب پذیری های امنیتی نشان دهنده قابلیت بالای روش پیشنهادی است. نتایج حاصل از تحلیل با نتایج ابزار تحلیل ایستای Flawfinder که یکی از ابزارهای قوی ارائه شده در سالهای اخیر است، مقایسه شده و بهبود نسبی روش در مقایسه با ابزار مذکور را نشان می دهد.

کلیدواژه ها:

وارسی کد ، تحلیل ایستای کد ، حاشیه گذاری ، VCC