חייב להיות תוכנה עבור David Evans

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