دانلود مقاله ترجمه شده اسکنر ایستا یا دینامیک برای کد C و C ++ – مجله IEEE

گروه آموزشی ترجمه فا اقدام به ارائه ترجمه مقاله با موضوع ” اسکنر ایستا یا دینامیک برای کد C و C ++ ” در قالب فایل ورد نموده است که شما عزیزان میتوانید پس از دانلود رایگان مقاله انگلیسی و نیز مطالعه نمونه ترجمه و سایر مشخصات، ترجمه را خریداری نمایید.

• فهرست مطالب:

چکیده
1. معرفی
2. مشکلات مربوط به grep
3. چرا تحلیل دقیق تر نیست؟
3.1. استراتژی تجزیه
3.1.1. منفی های کاذب
3.1.2. تعامل
3.2. محدودیت های کنونی تجزیه و تحلیل پیشرفته استاتیک برای C و ++C
4 . این نرم افزار احمقانه است! (اسکنر امنیت)
4.1. اسکن اولیه و ارزیابی
4.2. پایگاه داده آسیب پذیر
4.3.دستورات 4 ITS
4.4.تکنیک های تجزیه و تحلیل
4.4.1. سلامت استدلال های بررسی
4.4.2 . تجزیه و تحلیل شرایط مسابقه
4.5. ادغام محیط زیست
4.6 . عملکرد
5. تجربه عملی با 4 ITS
5.1 . IPay
5.2. Jitterbug
6. مقایسه 4 ITS با راه حل های دیگر
6.1 . grep (گرپ)
6.2 . تشخیص سرریزی بافر از طریق تجزیه و تحلیل محدوده
7. کارهای مرتبط
8. نتیجه گیری

• بخشی از ترجمه:

6.2 . تشخیص سرریزی بافر از طریق تجزیه و تحلیل محدوده
تنها ابزار دیگری که ما می توانیم با استفاده از آن کارمان را مقایسه کنیم، توسط واگنر و همکاران در [17] نشان داده شده است. متاسفانه این مقایسه بسیار دشوار است:
1. کار آنها به انتخاب تماسهای عملکردی که در حال حاضر چنین است، محدود نمی باشد. بنابراین، ممکن است آنها برخی از مشکلاتی که ما نمی دانیم را نشان دهند.
2. کار آنها نمی تواند تقریبا 18٪ از برنامه را که 4 ITSقادر به تجزیه و تحلیل آن نیست را تجزیه و تحلیل کند. (بخش 3.11 را ببینید).
3. خروجی آنها براساس معیارهای مختلفی است که با معیارهای ما تفاوت دارد. در حالی که معیارهای آنها تنها بر اساس نتایج تجزیه و تحلیل خودشان است، معیارهای ما عمدتا مبتنی بر تجربه انسانی و فقط یک جزء تجزیه و تحلیل کوچک است.

• بخشی از مقاله انگلیسی:

6.2. Buffer overflow detection via range analysis

The only other tool we are aware of that we can compare our work to is presented by Wagner et. al. in [17]. Unfortunately, this comparison proves quite difficult: 1. Their work is not limited to picking out function calls as ours currently is. Therefore, they may flag some problems that we do not. 2. Their work fails to analyze approximately 18% of the program that ITS4 does not fail to analyze. (See Section 3.11) 3. Their output is based on different metrics than ours. While theirs is based solely on the results of their analysis, ours is largely based on human experience, with only a small analysis component.

دانلود رایگان مقاله انگلیسی

خرید ترجمه فارسی مقاله