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