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

ექვსწლიანი შემუშავების შემდეგ, გამოვიდა PHPStan 1.0-ის პირველი სტაბილური ვერსია, სტატიკური ანალიზატორი. ის საშუალებას გაძლევთ იპოვოთ შეცდომები PHP კოდში მისი შესრულების ან ერთეული ტესტების გამოყენების გარეშე. პროექტის კოდი დაწერილია PHP-ში და გავრცელებულია MIT ლიცენზიით.

ანალიზატორი უზრუნველყოფს ვერიფიკაციის 10 დონეს, თითოეული შემდგომი დონე აფართოებს წინა დონის შესაძლებლობებს და უზრუნველყოფს უფრო მკაცრ შემოწმებას:

ძირითადი შემოწმებები, უცნობი კლასების, ფუნქციებისა და მეთოდების ($ეს), განუსაზღვრელი ცვლადების აღმოჩენა და არგუმენტების არასწორი რაოდენობის გადაცემა.

პოტენციურად განუსაზღვრელი ცვლადების, უცნობი მაგიური მეთოდების და კლასის თვისებების იდენტიფიცირება __call-ისა და __get-ის გამოყენებით.

ახდენს უცნობი მეთოდების იდენტიფიცირებას ყველა გამოსახულებაში, და არა მხოლოდ $this-ის მეშვეობით გამოძახებებით. PHPDocs შემოწმება.

დაბრუნებული ტიპების შემოწმება და თვისებებისთვის ტიპების მინიჭება.

„მკვდარი“ (არასდროს გამოძახებული) კოდის საბაზისო აღმოჩენა. იმ გამოძახებების ეგზემპლარების აღმოჩენა, რომლებიც ყოველთვის აბრუნებენ „false“-ს, „else“ ბლოკების აღმოჩენა, რომლებიც არასდროს აქტიურდება და კოდის აღმოჩენა დაბრუნების ოპერატორების შემდეგ.

მეთოდებსა და ფუნქციებზე გადაცემული არგუმენტების ტიპების შემოწმება.

გაფრთხილება ტიპის ინფორმაციის შემცველი ანოტაციების დაკარგვის შესახებ.

გაფრთხილება არასწორი გაერთიანების ტიპების შესახებ, რომლებიც განსაზღვრავენ ორი ან მეტი ტიპის კოლექციებს.

გაფრთხილება მეთოდების გამოძახებისა და nullable ტიპების მქონე თვისებებზე წვდომის შესახებ.

„შერეული“ ტიპის გამოყენების შემოწმება.

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

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

PHPStan 1.0-ის ძირითადი მახასიათებლები:

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

წყარო: opennet.ru

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