סד - אונליין בענן

תָכְנִית:

שֵׁם

splint - כלי לבדיקה סטטית של תוכניות C

תַקצִיר

סַד [אפשרויות]

תיאור

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

אפשרויות

עזרה תוכניות עזרה

אתחול

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

-tmpdir בספרייה
הגדר ספרייה לכתיבת קבצי זמניים. ברירת המחדל היא /tmp/.

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

-S בספרייה
הוסף ספרייה לחיפוש נתיבים עבור קבצי מפרט .lcl.

-f פילה
טעינת קובץ אפשרויות אם דגל זה משמש משורת הפקודה, ברירת המחדל
~/.splintrc הקובץ לא נטען. ניתן להשתמש בדגל זה בקובץ אפשרויות לטעינה
קובץ אפשרויות נוסף.

-נוף מונע את קבצי האפשרויות המוגדרים כברירת מחדל (./.splintrc ו- ~/.splintrc) מלהיות טעון.
(הגדרת -nof גוברת על +nof, וגורמת לקבצי האפשרויות להיטען כרגיל.)

-מערכת תיקיות ספריות
הגדר ספריות עבור קבצי מערכת (ברירת המחדל היא "/ usr / include"). ספריות נפרדות
עם נקודתיים (למשל, "/ usr / include:/ usr / local / lib"). הגדרות דגל מופצות לקבצים
בספריית מערכת. אם מוגדר -systemdirerrors, לא מדווחות שגיאות עבור קבצים.
בספריות המערכת.

קדם-מעבד

דגלים אלה משמשים להגדרה או ביטול הגדרה של קבועי קדם-מעבד.
הדגל מועבר גם לקדם-מעבד C.

-D אתחול
הועבר לקדם-מעבד C.

-U אתחול
הועבר לקדם-מעבד C

ספריות דגלים אלה שולטים ביצירה ובשימוש בספריות.

-מזבלה פילה
שמור מדינה ב לטעינה. הסיומת .lcd, המוגדרת כברירת מחדל, מתווספת אם יש
אין הארכה.

- טען פילה
טעינת מצב מ (נוצר על ידי -dump). הסיומת ‎.lcd המוגדרת כברירת מחדל מתווספת אם
אין סיומת. ניתן לטעון רק קובץ ספרייה אחד.

כברירת מחדל, הספרייה הסטנדרטית נטענת אם הדגל -load אינו משמש לטעינת
ספריית משתמשים. אם לא נטענת ספריית משתמשים, ניתן להשתמש באחד מהדגלים הבאים
כדי לבחור ספרייה סטנדרטית אחרת. הקדים את הדגל בסימן + כדי לטעון את המתואר.
ספרייה (או למנוע טעינה של ספרייה באמצעות nolib). ראה נספח ו' עבור
מידע על הספריות המוצעות.

-נוליב
אל תטען אף ספרייה. פעולה זו תמנע טעינת הספרייה הסטנדרטית.

-ansi-lib
השתמש בספריית הסטנדרטים ANSI (נבחרת כברירת מחדל).

-strict-lib
השתמש בגרסה Strict של ספריית הסטנדרטים ANSI.

-posix-lib
השתמש בספריית POSIX הסטנדרטית.

-posix-strict-lib
השתמש בגרסה הסטנדרטית של ספריית POSIX.

-1-lib
השתמש בגרסת יוניקס של הספרייה הסטנדרטית.

-1-strict-lib
השתמש בגרסה הסטריקטית של ספריית יוניקס הסטנדרטית.

תְפוּקָה

דגלים אלה קובעים איזה מידע נוסף מודפס על ידי splint. הגדרה +
גורם להדפסת המידע המתואר; הגדרה - מונע זאת. כברירת מחדל,
כל הדגלים האלה מורדים.

-usestderr
שלח הודעות שגיאה לשגיאה סטנדרטית (במקום ליציאה סטנדרטית). דגל זה הוגדר
הוחלפו בדגלים מדויקים יותר לשליטה באזהרה, בהודעת סטטוס ובפעולות קטלניות
זרמי שגיאה באופן עצמאי. ראה את הפלט של splint + usestderr

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

-showscan
הצג שמות קבצים תוך כדי עיבודם.

-הצגת אליוזים
הצג רשימה של שימושים של כל המזהים החיצוניים ממוינים לפי מספר שימושים.

-סטטיסטיקות
הצגת מספר השורות שעובדו וזמן הבדיקה.

-הפרש זמן
הצגת התפלגות היכן מושקע זמן הבדיקה.

-שֶׁקֶט
דיכוי ספירת שגיאות והודעת שגיאה. (אם השקט לא מוגדר, splint מדפיס הודעת שגיאה
עם מידע גרסה לפני תחילת הבדיקה, ושורה המסכמת את הסכום הכולל
מספר השגיאות שדווחו.)

-whichlib
הדפס את שם קובץ הספרייה הסטנדרטי ואת פרטי היצירה.

-לְהַגבִּיל מספר
לְכָל הַיוֹתֵר שגיאות דומות מדווחות ברצף. שגיאות נוספות מדווחות
מודחק, ומודפסת הודעה המציגה את מספר ההודעות המודחקות.

צפוי שגיאות

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

-לְצַפּוֹת
בְּדִיוּק צפויות שגיאות קוד. ה-splint ייסגר עם סטטוס יציאה כשל.
אֶלָא אִם מתגלות שגיאות קוד.

-הוֹדָעָה פוּרמָט
דגלים אלה שולטים באופן הדפסת ההודעות. ניתן להגדיר אותם בשורת הפקודה,
בקבצי אפשרויות, או באופן מקומי בהערות תחביריות. דגלי linelen ו-limit עשויים
שיופיעו לפניו + או - עם אותה משמעות; עבור שאר הדגלים, + מדליק את
מתארים הדפסה ו- מכבים אותה. התיבה משמאל לכל דגל מציגה את
ערך ברירת מחדל.

-הצגתעמודה
הצג את מספר העמודה שבה נמצאה השגיאה. ברירת מחדל: +

-showfunc
הצג את שם הגדרת הפונקציה (או המאקרו) המכילה שגיאה. שם הפונקציה הוא
הודפס פעם אחת לפני ההודעה הראשונה שזוהתה בפונקציה זו. ברירת מחדל: +

-showallconjs
הצג את כל הסוגים החלופיים האפשריים (ראה סעיף 8.2.2). ברירת מחדל: -

פורמט קובץ -paren
השתמש בפורמט קובץ (שורה) בהודעות.

רמזים
ספק רמזים המתארים שגיאה וכיצד ניתן להשתיק הודעה בפעם הראשונה
שגיאה שדווחה בכל מחלקת שגיאה. ברירת מחדל: +

רמזים לכוח
ספק רמזים לכל השגיאות שדווחו, גם אם הרמז כבר הוצג
עבור אותה מחלקת שגיאה. ברירת מחדל: -

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

מצב בורר דגלים

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

אלו הם תיאורים קצרים כדי לתת מושג כללי על מה כל מצב עושה. כדי לראות את
להשלים את הגדרות הדגל בכל מצב, השתמשו במצבי splint-help. לדגל מצב יש את אותו הדבר
השפעה כאשר משתמשים בה עם + או -.

-חַלָשׁ בדיקה חלשה, מיועדת לקוד C טיפוסי ללא הערות. אין שינויים בבדיקה, מאקרו
בדיקה, חשיפת חזרות או בדיקת ממשק נקי מתבצעת. החזרת ערכים מסוג
ניתן להתעלם מ-int. הסוגים bool, int, char ו-user-defined enum הם כולם
שווה ערך. הצהרות בסגנון ישן אינן מדווחות.

-סטנדרט
מצב ברירת המחדל. כל הבדיקות מתבצעות על ידי חלשים, בתוספת שינוי בדיקות, כינוי גלובלי.
בדיקה, שימוש בכל הפרמטרים, שימוש באחסון ששוחרר, ערכי החזרה שהוזנחו או כל
סוג, בדיקת מאקרו, קוד בלתי נגיש, לולאות אינסופיות ומקרי נסיגה.
הסוגים bool, int ו-char שונים זה מזה. הצהרות בסגנון ישן מדווחות.

-צ'קים
בדיקה קפדנית למדי. כל הבדיקות מתבצעות לפי התקן, בנוסף נדרשת שינוי.
בדיקה, חשיפת חזרות, כינוי החזרה, ניהול זיכרון וממשקים שלמים.

-קַפְּדָנִי
בדיקה קפדנית באופן אבסורדי. כל הבדיקות מתבצעות באמצעות צ'קים, בתוספת שינויים ובדיקות כלליות.
משתנים המשמשים בפונקציות שלא צוינו, ספריית תקן קפדנית והקלדה קפדנית
של אופרטורים ב-C. פרס מיוחד יוענק לאדם הראשון שייצר
תוכנית אמיתית שלא מייצרת שגיאות עם בדיקה קפדנית.

השתמש ב-splint באופן מקוון באמצעות שירותי onworks.net