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

छह साल के विकास के बाद, स्थैतिक विश्लेषक PHPStan 1.0 की पहली स्थिर रिलीज हुई, जो आपको इसे निष्पादित किए बिना और यूनिट परीक्षणों का उपयोग किए बिना PHP कोड में त्रुटियां ढूंढने की अनुमति देती है। प्रोजेक्ट कोड PHP में लिखा गया है और MIT लाइसेंस के तहत वितरित किया गया है।

विश्लेषक जाँच के 10 स्तर प्रदान करता है, जिसमें प्रत्येक अगला स्तर पिछले स्तर की क्षमताओं का विस्तार करता है और अधिक कठोर जाँच प्रदान करता है:

बुनियादी जांच, अज्ञात वर्गों, कार्यों और विधियों को परिभाषित करना ($यह), अपरिभाषित चर, और तर्कों की गलत संख्या पारित करना।

__call और __get के साथ संभवतः अपरिभाषित चर, अज्ञात जादुई तरीकों और कक्षाओं के गुणों की पहचान करना।

सभी अभिव्यक्तियों में अज्ञात तरीकों का पता लगाना, $this के माध्यम से कॉल तक सीमित नहीं है। PHPDocs की जाँच कर रहा हूँ।

रिटर्न प्रकारों की जाँच करना और संपत्तियों को प्रकार निर्दिष्ट करना।

"मृत" (कभी नहीं बुलाया गया) कोड की मूल पहचान। ऐसे इंस्टेंसऑफ़ कॉल की पहचान करें जो हमेशा गलत रिटर्न देते हैं, "अन्यथा" ब्लॉक जो कभी सक्रिय नहीं होते हैं, और रिटर्न के बाद कोड की पहचान करें।

विधियों और कार्यों के लिए पारित तर्कों के प्रकारों की जाँच करना।

गुम प्रकार की जानकारी एनोटेशन के बारे में चेतावनी।

गलत यूनियन प्रकारों के बारे में चेतावनी जो दो या दो से अधिक प्रकारों के संग्रह को परिभाषित करते हैं।

कॉलिंग विधियों और "शून्य" प्रकारों वाली संपत्तियों तक पहुंचने के बारे में चेतावनी।

"मिश्रित" प्रकार के उपयोग की जाँच करना।

पहचानी गई अंतर्निहित समस्याओं के उदाहरण:

उदाहरण, कैच, टाइपहिंट और अन्य भाषा निर्माणों में उपयोग की जाने वाली कक्षाओं का अस्तित्व।
बुलाए गए तरीकों और कार्यों का अस्तित्व और उपलब्धता, साथ ही पारित तर्कों की संख्या।
यह जांचना कि विधि उसी प्रकार का डेटा लौटाती है जैसा कि रिटर्न एक्सप्रेशन में परिभाषित किया गया है।
एक्सेस की जा रही संपत्तियों का अस्तित्व और दृश्यता, और संपत्तियों में उपयोग किए गए घोषित और वास्तविक डेटा प्रकारों की जांच करना।
स्ट्रिंग फ़ॉर्मेटिंग ब्लॉक में स्प्रिंटफ़/प्रिंटफ़ कॉल में पारित पैरामीटरों की संख्या सही है।
ब्रांचिंग ऑपरेटरों और लूपों द्वारा गठित ब्लॉकों को ध्यान में रखते हुए चर का अस्तित्व।
विभिन्न प्रकार और ऑपरेंड वाले डेटा पर बेकार प्रकार के कास्ट (उदाहरण के लिए "(स्ट्रिंग) 'फू'") और सख्त परीक्षण ("===" और "!==") जो हमेशा गलत रिटर्न देते हैं।

PHPStan 1.0 में प्रमुख नवाचार:

"9" चेक स्तर लागू किया गया है, जो "मिश्रित" प्रकार के उपयोग की जांच करता है, जिसका उद्देश्य फ़ंक्शन के विभिन्न प्रकारों के साथ मापदंडों के स्वागत को व्यवस्थित करना है। लेवल XNUMX "मिश्रित" के असुरक्षित उपयोगों की पहचान करता है, जैसे "मिश्रित" प्रकार के मानों को दूसरे प्रकार में पास करना, "मिश्रित" प्रकार के तरीकों को कॉल करना, और इसके गुणों तक पहुंचना क्योंकि वे मौजूद नहीं हो सकते हैं।
@phpstan-pure और @phpstan-impure एनोटेशन का उपयोग करके नियंत्रित करें कि समान फ़ंक्शन कॉल के लिए रिटर्न मान समान हैं या नहीं।
@throws एनोटेशन का उपयोग करके ट्राइ-कैच-फ़ाइनली निर्माणों में विश्लेषण टाइप करें।
परिभाषित लेकिन अप्रयुक्त आंतरिक (निजी) गुणों, विधियों और स्थिरांक की पहचान।
array_map और usort जैसे सरणी फ़ंक्शंस में असंगत कॉलबैक पास करना।
गुम टाइपहिंट एनोटेशन के लिए टाइप निरीक्षण।
प्रकार की घोषणाओं को PHPDocs के साथ संगत बनाया गया, जिससे त्रुटि संदेशों के प्रकारों को PHPDocs में उपयोग करने की अनुमति मिली।

स्रोत: opennet.ru

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

एक टिप्पणी जोड़ें उत्तर रद्द