भजन ३.१२ को रिलीज, PHP भाषाको लागि स्थिर विश्लेषक। PHP 3.12 को अल्फा रिलीज

Vimeo कम्पनी प्रकाशित स्थिर विश्लेषक को नयाँ रिलीज भजन 3.12, जसले तपाईंलाई PHP कोडमा स्पष्ट र सूक्ष्म त्रुटिहरू पहिचान गर्न अनुमति दिन्छ, साथै केही प्रकारका त्रुटिहरूलाई स्वचालित रूपमा सच्याउँछ। प्रणाली लेगेसी कोड र PHP को नयाँ शाखाहरूमा पेश गरिएका आधुनिक सुविधाहरू प्रयोग गर्ने कोडमा समस्याहरू पहिचान गर्न उपयुक्त छ। परियोजना कोड PHP मा लेखिएको छ र द्वारा वितरित MIT लाइसेन्स अन्तर्गत।

भजनले गलत प्रकारको प्रयोगसँग सम्बन्धित धेरै जसो समस्याहरू पहिचान गर्दछ, साथै विभिन्न सामान्य गल्तीहरू। उदाहरणका लागि, यसले अभिव्यक्तिमा विभिन्न प्रकारका चरहरू मिश्रण गर्ने बारे चेतावनीहरूलाई समर्थन गर्दछ, गलत तार्किक परीक्षणहरू (जस्तै "यदि ($a && $a) {}", "if ($a && !$a) {}" र " if ($a) {} elseif ($a) {}"), वस्तु गुणहरूको अपूर्ण प्रारम्भिकरण। विश्लेषक बहु-थ्रेडेड मोडमा चल्छ। यो वृद्धिशील स्क्यान गर्न सम्भव छ, जसले अन्तिम स्क्यान पछि परिवर्तन भएका फाइलहरू मात्र विश्लेषण गर्दछ।

थप रूपमा, अनुमति दिन सुरक्षित प्रोग्रामिङ उपकरणहरू प्रदान गरिन्छ प्रयोग गर्नुहोस् ढाँचामा एनोटेशनहरू डकब्लक ("/** @var प्रकार */") चर प्रकारहरू, फिर्ता मानहरू, प्रकार्य प्यारामिटरहरू, वस्तु गुणहरू बारे जानकारी प्रदान गर्न। परिभाषित प्रकार उपयोग ढाँचा र दाबी बयान प्रयोग पनि समर्थित छ। उदाहरणका लागि:

/** @var string|null*/
$a = foo();

/** @var string $a */
echo strpos ($a, 'hello');

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

भेटिएका समस्याहरूको उन्मूलन स्वचालित गर्न, Psalter उपयोगिता प्रदान गरिएको छ, जसले प्लगइनहरूलाई समर्थन गर्दछ र यसलाई अनुमति दिन्छ सामान्य कोड समस्याहरू निवारण गर्नुहोस्, टाइप एनोटेसनहरू थप्नुहोस्, र हेरफेरहरू प्रदर्शन गर्नुहोस् जस्तै कक्षाहरू एक नेमस्पेसबाट अर्कोमा सार्ने, कक्षाहरू बीचको विधिहरू सार्ने, र वर्गहरू र विधिहरू पुन: नामाकरण गर्ने।

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

इको, exec, समावेश र हेडर जस्ता प्रकार्यहरू प्रयोग गर्दा प्रमाणीकरण प्रयोग गरिन्छ। एस्केपिङको आवश्यकताको विश्लेषण गर्दा, डेटा प्रकारहरू जस्तै पाठ, SQL, HTML र शेल कोड सहितको स्ट्रिङहरू, प्रमाणीकरण प्यारामिटरहरू भएका स्ट्रिङहरूलाई ध्यानमा राखिन्छ। प्रस्तावित मोडले तपाईंलाई क्रस-साइट स्क्रिप्टिङ (XSS) वा SQL प्रतिस्थापनमा नेतृत्व गर्ने कोडमा कमजोरीहरू पहिचान गर्न अनुमति दिन्छ।

थप रूपमा, यो नोट गर्न सकिन्छ सुरु गर्नुहोस् नयाँ PHP 8.0 शाखा को अल्फा परीक्षण। रिलिज नोभेम्बर 26 मा निर्धारित गरिएको छ। नयाँ शाखामा निम्न अपेक्षा गरिएको छ: नवाचारहरूमनपर्‍यो:

• सक्षम गर्दै JIT कम्पाइलरजसको प्रयोगले उत्पादकत्वमा सुधार हुन्छ ।
• समर्थन संघ प्रकारहरू, दुई वा बढी प्रकारका सङ्ग्रहहरू परिभाषित गर्दै (उदाहरणका लागि, "सार्वजनिक प्रकार्य foo(Foo|Bar $input): int|float;")।
• समर्थन विशेषताहरू (एनोटेसनहरू) जसले तपाइँलाई Docblock सिन्ट्याक्स प्रयोग नगरिकन कक्षाहरूमा मेटाडेटा (जस्तै जानकारी प्रकार) बाँध्न अनुमति दिन्छ।
• छोटो वाक्य रचना वर्ग परिभाषाहरू, तपाईंलाई कन्स्ट्रक्टर र गुणहरूको परिभाषा संयोजन गर्न अनुमति दिँदै।
• नयाँ रिटर्न प्रकार - स्थिर.
• नयाँ प्रकार - मिश्रित, जसलाई प्रकार्यले विभिन्न प्रकारका प्यारामिटरहरू स्वीकार गर्छ कि गर्दैन भनेर निर्धारण गर्न प्रयोग गर्न सकिन्छ।
• Выражение फेंक अपवादहरू ह्यान्डल गर्न।
• कमजोर नक्सा फोहोर संकलनको क्रममा बलिदान गर्न सकिने वस्तुहरू सिर्जना गर्न (उदाहरणका लागि, अनावश्यक क्यासहरू भण्डारण गर्न)।
• अवसर वस्तुहरूका लागि "::वर्ग" अभिव्यक्ति प्रयोग गर्दै (गेट_क्लास() लाई कल गर्ने अनुरूप)।
• अवसर चरहरूमा बाँधिएका अपवादहरूको क्याच ब्लकमा परिभाषाहरू।
• अवसर प्रकार्य प्यारामिटरहरूको सूचीमा अन्तिम तत्व पछि अल्पविराम छोड्दै।
• नयाँ इन्टरफेस स्ट्रिङयोग्य कुनै पनि स्ट्रिङ प्रकार वा डाटा पहिचान गर्न जुन स्ट्रिङमा रूपान्तरण गर्न सकिन्छ (जसको लागि __toString() विधि उपलब्ध छ)।
• नयाँ सुविधा str_contains(), सबस्ट्रिङको उपस्थिति निर्धारण गर्नका लागि strpos को सरलीकृत एनालग, साथै स्ट्रिङको सुरु र अन्त्यमा मिलानहरू जाँच गर्नका लागि कार्यहरू 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