🥇השקה של PHPStan 1.0, מנתח סטטי לקוד PHP

לאחר שש שנים של פיתוח, התרחשה המהדורה היציבה הראשונה של המנתח הסטטי PHPStan 1.0, המאפשרת למצוא שגיאות בקוד PHP מבלי לבצע אותו ולהשתמש בבדיקות יחידה. קוד הפרויקט כתוב ב-PHP ומופץ תחת רישיון MIT.

המנתח מספק 10 רמות של בדיקה, שבהן כל רמה שלאחר מכן מרחיבה את היכולות של הקודמת ומספקת בדיקות מחמירות יותר:

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

זיהוי משתנים לא מוגדרים, שיטות קסם לא ידועות ומאפיינים של מחלקות עם __call ו-__get.

זיהוי שיטות לא ידועות בכל הביטויים, לא מוגבל לשיחות דרך $this. בודק PHPDocs.

בדיקת סוגי החזרות והקצאת טיפוסים לנכסים.

זיהוי בסיסי של קוד "מת" (אף פעם לא נקרא). זהה מופע של קריאות שתמיד מחזירות שקר, בלוקים "אחרים" שלעולם אינם פועלים, וקוד לאחר החזרה.

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

אזהרה לגבי הערות חסרות של מידע על סוגים.

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

אזהרה לגבי שיטות קריאה וגישה למאפיינים עם סוגי "nullable".

בדיקת השימוש בסוג "מעורב".

דוגמאות לבעיות בסיסיות שזוהו:

קיומן של מחלקות המשמשות ב-instanceof, catch, typhints ובנייני שפה אחרים.
הקיום והזמינות של שיטות ופונקציות שנקראו, כמו גם מספר הארגומנטים שעברו.
בדיקה שהשיטה מחזירה נתונים באותו סוג כמוגדר בביטוי ההחזרה.
קיומם והנראות של הנכסים אליהם ניגשים, ובדיקת סוגי הנתונים המוצהרים והממשיים המשמשים בנכסים.
מספר הפרמטרים המועברים לקריאות sprintf/printf בבלוק העיצוב של המחרוזת נכון.
קיומם של משתנים תוך התחשבות בלוקים שנוצרו על ידי אופרטורים מסועפים ולולאות.
השלכות טיפוס חסרות תועלת (למשל "(מחרוזת) 'foo'") ובדיקות קפדניות ("===" ו-"!==") על נתונים עם סוגים ואופרנדים שונים שתמיד מחזירים false.

חידושים מרכזיים ב-PHPStan 1.0:

הוטמעה רמת הסימון "9", הבודקת את השימוש בסוג "מעורב", המיועד לארגון קליטת הפרמטרים של הפונקציה עם סוגים שונים. רמה XNUMX מזהה שימושים לא בטוחים של "מעורב", כמו העברת ערכים מסוג "מעורב" לסוג אחר, קריאה לשיטות מסוג "מעורב", וגישה למאפיינים שלו כי ייתכן שהם לא קיימים.
שלטו אם ערכי החזרה זהים עבור קריאות זהות לפונקציות באמצעות ההערות @phpstan-pure ו-@phpstan-impure.
ניתוח סוג ב- try-catch-finally בונה באמצעות הערות @throws.
זיהוי של מאפיינים פנימיים (פרטיים) מוגדרים אך לא בשימוש, שיטות וקבועים.
העברת התקשרויות לא תואמות לפונקציות מערך כגון array_map ו-usort.
בדיקת סוג עבור הערות רמז חסר.
יצר הצהרות סוגים תואמות ל-PHPDocs, מה שמאפשר להשתמש בסוגים מהודעות שגיאה ב-PHPDocs.

מקור: OpenNet.ru

שחרור של PHPStan 1.0, מנתח סטטי לקוד PHP

הוספת תגובה ביטול תגובה