ל-3.6% ממאגרי Python שנבדקו היו חסרות שגיאות פסיק

פורסמו תוצאות מחקר על פגיעותו של קוד Python לשגיאות הקשורות לשימוש שגוי בפסיקים בקוד. הבעיות נגרמות מהעובדה שבעת הספירה, Python משרשרת אוטומטית את המחרוזות ברשימה אם הן אינן מופרדות בפסיק, וגם מתייחסת לערך כאל tuple אם הערך מלווה בפסיק. לאחר ביצוע ניתוח אוטומטי של 666 מאגרי GitHub עם קוד Python, החוקרים זיהו בעיות אפשריות בפסיקים ב-5% מהפרויקטים שנחקרו.

בדיקה ידנית נוספת הראתה שגיאות אמיתיות היו קיימות רק ב-24 מאגרים (3.6%), ו-1.4% הנותרים היו חיוביות שגויות (לדוגמה, ניתן היה להשמיט פסיק בכוונה בין השורות כדי לשרשר נתיבי קבצים מרובי שורות, גיבוב ארוך, HTML בלוקים או ביטויי SQL). ראוי לציין שבין 24 המאגרים עם שגיאות אמיתיות היו פרויקטים גדולים כמו Tensorflow, Google V8, Sentry, Pydata xarray, rapidpro, django-colorfield ו-django-helpdesk. עם זאת, בעיות עם פסיקים אינן ספציפיות לפייתון ולעיתים קרובות צצות בפרויקטים של C/C++ (דוגמאות לתיקונים אחרונים הם LLVM, Mono, Tensorflow).

סוגי השגיאות העיקריים שנחקרו:

• בטעות חסר פסיק ברשימות, טופלים וקבוצות, מה שגורם לשרשור מחרוזות במקום להתפרש כערכים נפרדים. לדוגמה, ב- Sentry, אחת הבדיקות החמיצה פסיק בין המחרוזות "releases" ו-"discover" ברשימה, מה שהביא לבדיקת מטפל "/releasesdiscover" שאינו קיים, במקום בדיקת "/releases" ו-" /discover" בנפרד.

  דוגמה נוספת היא שפסיק חסר ב-rapidpro גרם למיזוג שני כללים שונים בשורה 572:

  

• פסיק חסר בסוף הגדרת tuple של אלמנט בודד, הגורם להקצאה להקצות סוג רגיל ולא tuple. לדוגמה, הביטוי "ערכים = (1,)" יביא להקצאה למשתנה של טופלה של אלמנט אחד, אבל "ערכים = (1)" יביא להקצאה מסוג מספר שלם. הסוגריים בהקצאות אלה אינם משפיעים על הגדרת הסוג והם אופציונליים, והנוכחות של tuple נקבעת על ידי המנתח רק על סמך נוכחות של פסיקים. REST_FRAMEWORK = { 'DEFAULT_PERMISSION_CLASSES': ( 'rest_framework.permissions.IsAuthenticated' # תוקצה מחרוזת במקום tuple. ) }
• המצב ההפוך הוא תוספת פסיקים במהלך ההקצאה. אם פסיק נשאר בטעות בסוף מטלה, tuple יוקצה כערך במקום הסוג הרגיל (לדוגמה, אם "ערך = 1," מצוין במקום "ערך = 1").

מקור: OpenNet.ru