Psalm 3.12 चे प्रकाशन, PHP भाषेसाठी एक स्थिर विश्लेषक. PHP 8.0 चे अल्फा रिलीज

Vimeo कंपनी प्रकाशित स्थिर विश्लेषक नवीन प्रकाशन स्तोत्र 3.12, जे तुम्हाला PHP कोडमधील स्पष्ट आणि सूक्ष्म अशा दोन्ही त्रुटी ओळखण्यास तसेच काही प्रकारच्या त्रुटी स्वयंचलितपणे दुरुस्त करण्यास अनुमती देते. लेगसी कोड आणि PHP च्या नवीन शाखांमध्ये सादर केलेल्या आधुनिक वैशिष्ट्यांचा वापर करणाऱ्या कोडमधील समस्या ओळखण्यासाठी ही प्रणाली योग्य आहे. प्रोजेक्ट कोड PHP मध्ये लिहिलेला आहे आणि द्वारा वितरित MIT परवान्या अंतर्गत.

स्तोत्र चुकीच्या प्रकारच्या वापराशी संबंधित बहुतेक समस्या तसेच विविध ओळखते ठराविक चुका. उदाहरणार्थ, ते अभिव्यक्तीमध्ये भिन्न प्रकारचे व्हेरिएबल्स मिसळण्याबद्दल चेतावणींना समर्थन देते, चुकीच्या तार्किक चाचण्या (जसे की “if ($a && $a) {}”, “if ($a && !$a) {}” आणि “ if ( $a) {} elseif ($a) {}"), ऑब्जेक्ट गुणधर्मांचे अपूर्ण आरंभीकरण. विश्लेषक मल्टी-थ्रेडेड मोडमध्ये चालते. वाढीव स्कॅन करणे शक्य आहे, जे फक्त शेवटच्या स्कॅनपासून बदललेल्या फाइल्सचे विश्लेषण करते.

याव्यतिरिक्त, परवानगी देण्यासाठी सुरक्षित प्रोग्रामिंग साधने प्रदान केली जातात वापरा स्वरूपातील भाष्ये डॉकब्लॉक (“/** @var प्रकार */”) व्हेरिएबल प्रकार, रिटर्न व्हॅल्यू, फंक्शन पॅरामीटर्स, ऑब्जेक्ट गुणधर्मांबद्दल माहिती देण्यासाठी. प्रकार वापर नमुने परिभाषित करणे आणि आग्रह विधाने वापरणे देखील समर्थित आहे. उदाहरणार्थ:

/** @var स्ट्रिंग|नल */
$a = foo();

/** @var स्ट्रिंग $a */
echo strpos($a, 'hello');

/** @psalm-asssert-if-true B$a */
कार्य isValidB(A $a): bool {
B && $a->isValid();
}

सापडलेल्या समस्यांचे उन्मूलन स्वयंचलित करण्यासाठी, Psalter उपयुक्तता प्रदान केली आहे, जी प्लगइनना समर्थन देते आणि तो संमत सामान्य कोड समस्यांचे निवारण करा, टाईप एनोटेशन्स जोडा आणि क्लासेस एका नेमस्पेसमधून दुसऱ्या नेमस्पेसमध्ये हलवा, क्लासेसमध्ये पद्धती हलवा आणि क्लासेस आणि पद्धतींचे नाव बदला.

स्तोत्राच्या नवीन अंकात लागू केले "--taint-analysis" पर्याय तुम्हाला वापरकर्त्याकडून मिळालेले इनपुट पॅरामीटर्स (उदाहरणार्थ, $_GET['name']) आणि कॅरेक्टर एस्केपिंग आवश्यक असलेल्या ठिकाणी त्यांचा वापर (उदाहरणार्थ, echo" यांच्यातील संबंध शोधण्याची परवानगी देतो. $नाव "), इंटरमीडिएट असाइनमेंट्स आणि फंक्शन कॉल्सच्या ट्रॅकिंग साखळीसह. असोसिएटिव्ह अॅरे $_GET, $_POST आणि $_COOKIE चा वापर संभाव्य धोकादायक डेटाचा स्रोत मानला जातो, परंतु हे देखील शक्य आहे व्याख्या स्वतःचे स्रोत. एस्केपिंग ट्रॅकिंग आवश्यक असलेल्या क्रियांमध्ये आउटपुट ऑपरेशन्स समाविष्ट आहेत जे HTML सामग्री तयार करतात, HTTP शीर्षलेख जोडतात किंवा SQL क्वेरी कार्यान्वित करतात.

echo, exec, include आणि header सारखी फंक्शन्स वापरताना प्रमाणीकरण वापरले जाते. एस्केपिंगच्या गरजेचे विश्लेषण करताना, डेटा प्रकार जसे की मजकूर, एसक्यूएलसह स्ट्रिंग, एचटीएमएल आणि शेल कोड, प्रमाणीकरण पॅरामीटर्ससह स्ट्रिंग विचारात घेतले जातात. प्रस्तावित मोड तुम्हाला कोडमधील भेद्यता ओळखण्याची परवानगी देतो ज्यामुळे क्रॉस-साइट स्क्रिप्टिंग (XSS) किंवा SQL प्रतिस्थापन होते.

याव्यतिरिक्त, हे लक्षात घेतले जाऊ शकते सुरुवात नवीन PHP 8.0 शाखेची अल्फा चाचणी. 26 नोव्हेंबरला रिलीज होणार आहे. नवीन शाखेत पुढील गोष्टी अपेक्षित आहेत. नवकल्पनाजसे:

• चालू आहे जेआयटी कंपाइलर, ज्याचा वापर उत्पादकता सुधारेल.
• आधार युनियन प्रकार, दोन किंवा अधिक प्रकारांचे संग्रह परिभाषित करणे (उदाहरणार्थ, “पब्लिक फंक्शन foo(Foo|Bar $input): int|float;”).
• आधार विशेषता (भाष्य) जे तुम्हाला डॉकब्लॉक सिंटॅक्स न वापरता मेटाडेटा (जसे की टाईप माहिती) वर्गांमध्ये बांधण्याची परवानगी देतात.
• संक्षिप्त वाक्यरचना वर्ग व्याख्या, तुम्हाला कन्स्ट्रक्टर आणि गुणधर्मांची व्याख्या एकत्र करण्याची परवानगी देते.
• नवीन परतावा प्रकार - स्थिर.
• नवीन प्रकार - मिश्रित, ज्याचा उपयोग फंक्शन विविध प्रकारच्या पॅरामीटर्स स्वीकारतो की नाही हे निर्धारित करण्यासाठी केला जाऊ शकतो.
• अभिव्यक्ती फेकणे अपवाद हाताळण्यासाठी.
• WeakMap कचरा गोळा करताना त्याग करता येणार्‍या वस्तू तयार करणे (उदाहरणार्थ, अनावश्यक कॅशे साठवणे).
• संधी ऑब्जेक्ट्ससाठी "::क्लास" अभिव्यक्ती वापरणे (गेट_क्लास() कॉल करण्यासारखे).
• संधी अपवादांच्या कॅच ब्लॉकमधील व्याख्या ज्या व्हेरिएबल्सना बांधील नाहीत.
• संधी फंक्शन पॅरामीटर्सच्या सूचीतील शेवटच्या घटकानंतर स्वल्पविराम सोडणे.
• नवीन इंटरफेस स्ट्रिंग करण्यायोग्य कोणत्याही स्ट्रिंग प्रकार किंवा डेटा ओळखण्यासाठी जो स्ट्रिंगमध्ये रूपांतरित केला जाऊ शकतो (ज्यासाठी __toString() पद्धत उपलब्ध आहे).
• नवीन गुणविशेष str_contains(), सबस्ट्रिंगची घटना निश्चित करण्यासाठी स्ट्रपोसचा एक सरलीकृत अॅनालॉग, तसेच स्ट्रिंगच्या सुरूवातीस आणि शेवटी जुळण्या तपासण्यासाठी str_starts_with() आणि str_ends_with() फंक्शन्स.
• वैशिष्ट्य जोडले fdiv(), जे शून्याने भागताना त्रुटी न टाकता भागाकार ऑपरेशन करते.
• बदलले स्ट्रिंग जॉइनिंग लॉजिक. उदाहरणार्थ, अभिव्यक्ती 'echo "sum:" . $a + $b' चा पूर्वी 'echo ("sum: " . $a) + $b' असा अर्थ लावला गेला होता आणि PHP 8 मध्ये 'echo "sum: " असे मानले जाईल. ($a + $b)'.
• घट्ट केले अंकगणित आणि बिट ऑपरेशन्स तपासताना, उदाहरणार्थ, "[] % [42]" आणि "$object + 4" या अभिव्यक्तीमुळे त्रुटी येईल.
• राबविण्यात आले एक स्थिर वर्गीकरण अल्गोरिदम ज्यामध्ये समान मूल्यांचा क्रम वेगवेगळ्या धावांवर जतन केला जातो.

स्त्रोत: opennet.ru