🥇 PHPStan 1.0 चे प्रकाशन, PHP कोडसाठी एक स्थिर विश्लेषक

सहा वर्षांच्या विकासानंतर, स्थिर विश्लेषक PHPStan 1.0 चे पहिले स्थिर प्रकाशन झाले, जे आपल्याला PHP कोडमध्ये ते कार्यान्वित न करता आणि युनिट चाचण्या न वापरता त्रुटी शोधू देते. प्रकल्प कोड PHP मध्ये लिहिलेला आहे आणि MIT परवान्याअंतर्गत वितरित केला जातो.

विश्लेषक तपासणीचे 10 स्तर प्रदान करते, ज्यामध्ये प्रत्येक पुढील स्तर मागील पातळीच्या क्षमतेचा विस्तार करतो आणि अधिक कठोर तपासणी प्रदान करतो:

मूलभूत तपासणी, अज्ञात वर्ग परिभाषित करणे, कार्ये आणि पद्धती ($this), अपरिभाषित चल, आणि वितर्कांची चुकीची संख्या पास करणे.

__call आणि __get सह शक्यतो अपरिभाषित चल, अज्ञात जादूच्या पद्धती आणि वर्गांचे गुणधर्म ओळखणे.

सर्व अभिव्यक्तींमध्ये अज्ञात पद्धती शोधणे, $this द्वारे कॉलपर्यंत मर्यादित नाही. PHPDocs तपासत आहे.

रिटर्न प्रकार तपासणे आणि गुणधर्मांना प्रकार नियुक्त करणे.

"मृत" (कधीही कॉल न करता) कोडची मूलभूत ओळख. नेहमी खोट्या परत येणाऱ्या कॉल्सची उदाहरणे ओळखा, "इतर" ब्लॉक जे कधीही फायर होत नाहीत आणि परत आल्यानंतर कोड.

पद्धती आणि फंक्शन्सना पास केलेल्या वितर्कांचे प्रकार तपासत आहे.

गहाळ प्रकारच्या माहिती भाष्याबद्दल चेतावणी.

चुकीच्या युनियन प्रकारांबद्दल चेतावणी जे दोन किंवा अधिक प्रकारांचे संग्रह परिभाषित करतात.

कॉलिंग पद्धती आणि "न्युलेबल" प्रकारांसह गुणधर्मांमध्ये प्रवेश करण्याबद्दल चेतावणी.

"मिश्र" प्रकाराचा वापर तपासत आहे.

ओळखल्या गेलेल्या अंतर्निहित समस्यांची उदाहरणे:

उदाहरणे, कॅच, टाईपहिंट्स आणि इतर भाषा रचनांमध्ये वापरल्या जाणार्‍या वर्गांचे अस्तित्व.
कॉल केलेल्या पद्धती आणि कार्यांचे अस्तित्व आणि उपलब्धता, तसेच उत्तीर्ण झालेल्या वितर्कांची संख्या.
रिटर्न एक्सप्रेशनमध्ये परिभाषित केल्याप्रमाणे पद्धत समान प्रकारासह डेटा परत करते हे तपासत आहे.
ऍक्सेस केलेल्या गुणधर्मांचे अस्तित्व आणि दृश्यमानता आणि गुणधर्मांमध्ये वापरलेले घोषित आणि वास्तविक डेटा प्रकार तपासणे.
स्ट्रिंग फॉरमॅटिंग ब्लॉकमध्ये sprintf/printf कॉल्सवर पास केलेल्या पॅरामीटर्सची संख्या योग्य आहे.
ब्रँचिंग ऑपरेटर आणि लूपद्वारे तयार केलेले खाते ब्लॉक्स घेऊन चलांचे अस्तित्व.
निरुपयोगी प्रकार कास्ट (उदा. "(स्ट्रिंग) 'foo'") आणि वेगवेगळ्या प्रकारच्या आणि ऑपरेंडसह डेटावर कठोर चाचण्या ("===" आणि "!==") जे नेहमी खोटे परत येतात.

PHPStan 1.0 मधील प्रमुख नवकल्पना:

"9" चेक लेव्हल लागू केले गेले आहे, जे "मिश्र" प्रकाराचा वापर तपासते, विविध प्रकारांसह पॅरामीटर्सचे फंक्शन रिसेप्शन आयोजित करण्याच्या उद्देशाने. स्तर XNUMX "मिश्र" च्या असुरक्षित वापरांना ओळखते, जसे की "मिश्र" प्रकाराची मूल्ये दुसर्‍या प्रकारात पास करणे, "मिश्र" प्रकाराच्या पद्धती कॉल करणे आणि त्यांच्या गुणधर्मांमध्ये प्रवेश करणे कारण ते अस्तित्वात नसू शकतात.
@phpstan-pure आणि @phpstan-अशुद्ध भाष्य वापरून समान फंक्शन कॉलसाठी रिटर्न व्हॅल्यू एकसारखी आहेत की नाही हे नियंत्रित करा.
@throws भाष्ये वापरून ट्राय-कॅच-फायनल कन्स्ट्रक्टमध्ये टाइप विश्लेषण.
परिभाषित परंतु न वापरलेले अंतर्गत (खाजगी) गुणधर्म, पद्धती आणि स्थिरांकांची ओळख.
array_map आणि usort सारख्या अ‍ॅरे फंक्शन्सवर विसंगत कॉलबॅक पास करणे.
गहाळ टाईपहिंट भाष्यांसाठी प्रकार तपासणी.
PHPDocs सह सुसंगत प्रकार घोषणा केल्या आहेत, ज्यामुळे त्रुटी संदेशांचे प्रकार PHPDocs मध्ये वापरले जाऊ शकतात.

स्त्रोत: opennet.ru

PHPStan 1.0 चे प्रकाशन, PHP कोडसाठी एक स्थिर विश्लेषक

एक टिप्पणी जोडा Отменить ответ