وارسي امنيتي توابع كتابخانه‌اي در كدهاي منبع زبان C به كمك حاشيه‌گذاري

مقطع تحصيلي

كارشناسي ارشد

رشته تحصيلي

مهندسي كامپيوتر گرايش نرم‌افزار

دانشكده

دانشكده مهندسي كامپيوتر، گروه نرم افزار

تاريخ دفاع

بهمن 1393

صفحه شمار

103ص

استاد راهنما

بهروز ترك لاداني

كليدواژه فارسي

تحليل برنامه , تحليل ايستاي كد , حاشيه‌گذاري , VCC

تاريخ نمايه سازي

1394/05/31

نام نمايه ساز

زهرا مظاهري كيچي

كليدواژه لاتين

program analysis , static code analysis , annotation , VCC

عنوان لاتين

Security Verification of Library Functions in C Source Code using Annotation

نويسنده

زيلوچي، زهرا

لينک به اين مدرک