זוהי הפקודה bugpoint-3.8 שניתן להריץ בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות החינמיות שלנו כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS.
תָכְנִית:
שֵׁם
bugpoint - כלי אוטומטי להפחתת מקרי בדיקה
תַקצִיר
נקודת באג [אפשרויות] [קלט Llvm ll/BC קבצים] [Llvm מעברי] --ארגס התוכנית טיעונים
תיאור
נקודת באג מצמצם את מקור הבעיות בכלים ובמעברים של LLVM. ניתן להשתמש בו כדי
ניפוי באגים בשלושה סוגי כשלים: קריסות של כלי הממטב, קומפילציות שגויות על ידי מטבי או תקלות
יצירת קוד מקורי (כולל בעיות במהדרים סטטיים ובמהדרים JIT). מטרתו היא
צמצמו מקרי בדיקה גדולים למקרי בדיקה קטנים ושימושיים. למידע נוסף על העיצוב וה
פעולות פנימיות של נקודת באג, וכן עצות לשימוש ב-bugpoint, ראה
llvm/docs/Bugpoint.html בהתפלגות LLVM.
אפשרויות
--נוסף-כך ספריה
טען את האובייקט הדינמי המשותף ספריה לתוך תוכנית הבדיקה בכל פעם שהיא מופעלת. זה
שימושי אם אתה מבצע ניפוי באגים בתוכניות שתלויות בספריות שאינן LLVM (כגון
ספריות X או curses) לרוץ.
--הוסף-קוד-יציאה={אמת, לא נכון}
הוסף את קוד היציאה של תוכניות הבדיקה לקובץ הפלט כך ששינוי בקוד היציאה יבוצע
נחשב ככישלון בבדיקה. ברירת המחדל היא false.
--ארגס התוכנית טוען
העברת כל הארגומנטים שצוינו לאחר מכן --ארגס לתוכנית הבדיקה בכל פעם שהיא פועלת. הערה
שאם מישהו מה- התוכנית טוען להתחיל עם "-", עליך להשתמש ב:
נקודת באג [ארגומנטים של נקודת באג] --ארגומנטים -- [ארגומנטים של תוכנית]
ה "--"מיד אחרי ה- --ארגס אפשרות מספרת נקודת באג לשקול כל אופציה החל מ
עם "-"להיות חלק מ- --ארגס אופציה, לא כאופציות ל נקודת באג עצמו.
--tool-args כלי טוען
העברת כל הארגומנטים שצוינו לאחר מכן --tool-args לכלי LLVM הנבדק (llc, lli,
וכו') בכל פעם שהוא פועל. עליך להשתמש באפשרות זו באופן הבא:
נקודת באג [ארגומנטים של נקודת באג] --tool-args -- [ארגומנטים של כלי]
ה "--"מיד אחרי ה- --tool-args אפשרות מספרת נקודת באג לשקול כל אופציה
מתחיל ב"-"להיות חלק מ- --tool-args אופציה, לא כאופציות ל נקודת באג
עצמו. (ראה --ארגס, למעלה.)
--args-tool-safe כלי טוען
העברת כל הארגומנטים שצוינו לאחר מכן --args-tool-safe לכלי הביצוע "הבטוח".
--gcc-tool-args gcc כלי טוען
העברת כל הארגומנטים שצוינו לאחר מכן --gcc-tool-args לקריאה של gcc.
--opt-args לִבחוֹר טוען
העברת כל הארגומנטים שצוינו לאחר מכן --opt-args לקריאה של לִבחוֹר.
--disable-{dce,simplifycfg}
אין להפעיל את המעברים שצוינו כדי לנקות ולהקטין את גודל תוכנית הבדיקה.
ברירת מחדל נקודת באג משתמש במעברים אלה באופן פנימי בעת ניסיון לצמצם תוכניות בדיקה.
אם אתם מנסים למצוא באג באחד מהמעברים האלה, נקודת באג עלול לקרוס.
--הפעל-valgrind
השתמשו ב-valgrind כדי למצוא תקלות בשלב האופטימיזציה. זה יאפשר ל-bugpoint למצוא
בעיות אסימפטומטיות הנגרמות עקב ניהול זיכרון לקוי.
-מצא-באגים
לבצע באופן אקראי רציף את המעברים שצוינו ולהריץ אותם בתוכנית הבדיקה עד שמתגלה באג.
נמצא או שהמשתמש הורג נקודת באג.
עזרה
הדפס סיכום של אפשרויות שורת הפקודה.
--קֶלֶט שם הקובץ
להרחיב שם הקובץ ולנתב מחדש את הקלט הסטנדרטי של תוכנית הבדיקה, בכל פעם שהיא פועלת, אל
מגיעים מהקובץ הזה.
--לִטעוֹן חיבור
טען את האובייקט הדינמי חיבור אל תוך נקודת באג עצמו. אובייקט זה צריך לרשום רישיון חדש
אופטימיזציה עוברת. לאחר הטעינה, האובייקט יוסיף אפשרויות שורת פקודה חדשות ל
לאפשר אופטימיזציות שונות. כדי לראות את הרשימה המלאה החדשה של אופטימיזציות, השתמש ב
עזרה ו --לִטעוֹן אפשרויות יחד; לדוגמה:
נקודת באג --load myNewPass.so -help
--mlimit מגה בייט
מציין גבול עליון לשימוש בזיכרון של האופטימיזציה ויצירת הקוד. מוגדר לאפס.
כדי להשבית את המגבלה.
--תְפוּקָה שם הקובץ
בכל פעם שתוכנית הבדיקה מייצרת פלט על זרם הפלט הסטנדרטי שלה, היא צריכה
להתאים את התוכן של שם הקובץ ("פלט הייחוס"). אם אינך משתמש באפשרות זו,
נקודת באג ינסה לייצר פלט ייחוס על ידי קומפילציה של התוכנית עם ה-
backend "בטוח" והפעלתו.
--run-{int,jit,llc,custom}
בכל פעם שתוכנית הבדיקה מתקמפלת, נקודת באג צריך לייצר קוד עבורו באמצעות
מחולל קוד מסוים. אפשרויות אלו מאפשרות לך לבחור את המפרש, את ה-JIT
מהדר, מהדר קוד סטטי מקורי, או פקודה מותאמת אישית (ראה --פקודה-exec)
בהתאמה.
--safe-{llc,מותאם אישית}
בעת ניפוי שגיאות מחולל קוד, נקודת באג צריך להשתמש במחולל הקוד שצוין כ
מחולל הקודים ה"בטוח". זהו מחולל קוד ידוע ותקין המשמש ליצירת ה...
"פלט ייחוס" אם לא סופק, ולקמפל חלקים מהתוכנית
שכן הם אינם כלולים במקרה הבדיקה. אפשרויות אלו מאפשרות לך לבחור את
מהדר קוד סטטי מקורי, או פקודה מותאמת אישית, (ראה --פקודה-exec) בהתאמה.
לא ניתן להשתמש כעת במתורגמן ובממשקי JIT כממשקי backend "בטוחים".
--פקודה-exec הפקודה
אפשרות זו מגדירה את הפקודה לשימוש עם --run-custom ו --בטוח-מותאם אישית אפשרויות
כדי להריץ את בדיקת קוד הביטים. זה יכול להיות שימושי להרכבה צולבת.
--compile-command הפקודה
אפשרות זו מגדירה את הפקודה לשימוש עם --קומפיל-מותאם אישית אפשרות לקמפל את
מקרה בדיקה של קוד סיביות. זה יכול להיות שימושי לבדיקת פלט המהדר מבלי להריץ אף אחד
קישור או ביצוע שלבים. כדי ליצור בדיקת יחידה מצומצמת, ניתן להוסיף הנחיות CHECK
למקרה הבדיקה ולהעביר את שם סקריפט הפקודה-קומפילציה הניתן להרצה בצורה זו:
#!/ Bin / sh
בע"מ "$@"
לא FileCheck [קובץ קלט של bugpoint].ll < bugpoint-test-program.s
סקריפט זה "יכשל" כל עוד FileCheck עובר. לכן התוצאה תהיה המינימום
קוד סיביות שעובר את FileCheck.
--נתיב-בטוח נתיב
אפשרות זו מגדירה את הנתיב לפקודה שיש לבצע באמצעות
--safe-{int,jit,llc,custom} אוֹפְּצִיָה.
יְצִיאָה סטָטוּס
If נקודת באג אם יצליח למצוא בעיה, הוא יסתיים עם 0. אחרת, אם מתרחשת שגיאה
אם מתרחש, הוא יסתיים עם ערך שאינו אפס.
השתמש ב-bugpoint-3.8 באופן מקוון באמצעות שירותי onworks.net
