-
شماره ركورد
12984
-
شماره راهنما
COM2 347
-
نويسنده
زيلوچي، زهرا
-
عنوان
وارسي امنيتي توابع كتابخانه‌اي در كدهاي منبع زبان 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
-
لينک به اين مدرک :
