קטגוריות: כלי פיתוח, תוכנת ניפוי שגיאות
Splint 3.1.1
סד הוא כלי לבדיקה סטטי תוכניות C לפגיעויות אבטחה וטעויות תכנות.סד עושה רב של בדיקות מוך המסורתיות כוללים הצהרות שאינן בשימוש, חוסר עקביות סוג, שימוש לפני ההגדרה, קוד בלתי מושג, ערכי תמורה התעלמו, שבילי ביצוע ללא תמורה, לולאות אינסופיות סביר, ונופל דרך...
