Splint 3.1.1
در آتل یک ابزار برای چک کردن برنامه های آماری C برای آسیب پذیری های امنیتی و اشتباهات برنامه نویسی است.آتل می کند بسیاری از چک پرز سنتی از جمله اظهارات استفاده نشده، نوع تناقضات، استفاده قبل از تعریف، کد قابل دسترس نیست، مقادیر بازگشتی نادیده گرفته میشوند، مسیرهای اعدام بدون بازگشت، حلقه بی نهایت به احتمال زیاد، و از...