PHPStan 1.0-ის გამოშვება, სტატიკური ანალიზატორი PHP კოდისთვის

გამოვლენილი ძირითადი პრობლემების მაგალითები:

• კლასების არსებობა, რომლებიც გამოიყენება მაგალითად, catch, typehints და სხვა ენის კონსტრუქციებში.
• გამოძახებული მეთოდებისა და ფუნქციების არსებობა და ხელმისაწვდომობა, ასევე არგუმენტების რაოდენობა.
• იმის შემოწმება, რომ მეთოდი აბრუნებს მონაცემებს იმავე ტიპის, რაც განსაზღვრულია დაბრუნების გამოხატულებაში.
• თვისებების არსებობა და ხილვადობა, რომლებზეც წვდომა ხდება, და საკუთრებაში გამოყენებული მონაცემების დეკლარირებული და ფაქტობრივი ტიპების შემოწმება.
• სტრიქონების ფორმატირების ბლოკში sprintf/printf ზარებზე გადაცემული პარამეტრების რაოდენობა სწორია.
• ცვლადების არსებობა განშტოების ოპერატორებისა და მარყუჟების მიერ წარმოქმნილი ბლოკების გათვალისწინებით.
• უსარგებლო ტიპის casts (მაგ. "(string) 'foo') და მკაცრი ტესტები ("===" და "!==") მონაცემებზე სხვადასხვა ტიპისა და ოპერანდებით, რომლებიც ყოველთვის აბრუნებენ false-ს.

ძირითადი ინოვაციები PHPStan 1.0-ში:

• დანერგილია „9“ შემოწმების დონე, რომელიც ამოწმებს „შერეული“ ტიპის გამოყენებას, რომელიც განკუთვნილია ფუნქციის სხვადასხვა ტიპის პარამეტრების მიღების ორგანიზებისთვის. მე-XNUMX დონე განსაზღვრავს „შერეულის“ არაუსაფრთხო გამოყენებას, როგორიცაა „შერეული“ ტიპის მნიშვნელობების სხვა ტიპზე გადაცემა, ტიპის მეთოდების „შერეული“ დარქმევა და მის თვისებებზე წვდომა, რადგან ისინი შეიძლება არ არსებობდეს.
• აკონტროლეთ, არის თუ არა დაბრუნებული მნიშვნელობები იდენტური ფუნქციის იდენტური ზარებისთვის @phpstan-pure და @phpstan-impure ანოტაციების გამოყენებით.
• აკრიფეთ ანალიზი try-catch-finally კონსტრუქციებში @throws ანოტაციების გამოყენებით.
• განსაზღვრული, მაგრამ გამოუყენებელი შიდა (პირადი) თვისებების, მეთოდებისა და მუდმივების იდენტიფიკაცია.
• შეუთავსებელი გამოძახების გადაცემა მასივის ფუნქციებზე, როგორიცაა array_map და usort.
• ტიპის ინსპექტირება გამოტოვებული საბეჭდი ანოტაციებისთვის.
• გაკეთდა ტიპის დეკლარაციები, რომლებიც თავსებადია PHPDocs-თან, რაც საშუალებას აძლევს შეცდომის შეტყობინებების ტიპებს გამოიყენონ PHPDocs-ში.

წყარო: opennet.ru