در آتل یک ابزار برای چک کردن برنامه های آماری C برای آسیب پذیری های امنیتی و اشتباهات برنامه نویسی است.
آتل می کند بسیاری از چک پرز سنتی از جمله اظهارات استفاده نشده، نوع تناقضات، استفاده قبل از تعریف، کد قابل دسترس نیست، مقادیر بازگشتی نادیده گرفته میشوند، مسیرهای اعدام بدون بازگشت، حلقه بی نهایت به احتمال زیاد، و از طریق موارد می گیرند.
چک قوی تر با اطلاعات اضافی داده شده در حاشیه نویسی کد منبع ممکن است ساخته شده است. حاشیه نویسی نظرات تلطیف که مفروضات سند در مورد توابع، متغیرها، پارامترها و انواع هستند.
علاوه بر چک به طور خاص توسط حاشیه نویسی را فعال کنید، بسیاری از چک پرز سنتی با استفاده از این اطلاعات اضافی بهبود یافته است.
به عنوان تلاش بیشتر به برنامه های حاشیه نویسی، نتایج بررسی بهتر قرار داده است. منحنی تلاش سود بازنمودی برای استفاده از آتل در شکل 1 نشان داده شده است.
آتل طراحی شده است که انعطاف پذیر و به برنامه نویسان برای انتخاب نقاط مناسب در منحنی تلاش سود برای پروژه های خاص است.
چک به عنوان های مختلف روشن و اطلاعات بیشتر در کد داده شده حاشیه نویسی تعداد اشکالات است که می تواند به طور چشمگیری افزایش می یابد شناسایی.
مشکلات تشخیص داده شده توسط آتل عبارتند از:
نظر یافت نشد