ការចេញផ្សាយ PHPStan 1.0 ដែលជាអ្នកវិភាគឋិតិវន្តសម្រាប់កូដ PHP

ឧទាហរណ៍នៃបញ្ហាមូលដ្ឋានត្រូវបានកំណត់៖

• អត្ថិភាពនៃថ្នាក់ដែលប្រើក្នុងឧទាហរណ៍ ចាប់ វាយអក្សរ និងរចនាសម្ព័ន្ធភាសាផ្សេងទៀត។
• អត្ថិភាព និងលទ្ធភាពនៃវិធីសាស្រ្ត និងមុខងារដែលបានហៅ ក៏ដូចជាចំនួនអាគុយម៉ង់ដែលបានអនុម័ត។
• ពិនិត្យ​មើល​ថា​វិធីសាស្ត្រ​ត្រឡប់​ទិន្នន័យ​ជាមួយ​ប្រភេទ​ដូច​ដែល​បាន​កំណត់​ក្នុង​កន្សោម​ត្រឡប់។
• អត្ថិភាព និងភាពមើលឃើញនៃលក្ខណៈសម្បត្តិដែលកំពុងចូលប្រើប្រាស់ និងពិនិត្យមើលប្រភេទទិន្នន័យដែលបានប្រកាស និងជាក់ស្តែងដែលប្រើក្នុងលក្ខណៈសម្បត្តិ។
• ចំនួននៃប៉ារ៉ាម៉ែត្រដែលបានបញ្ជូនទៅការហៅ sprintf/printf នៅក្នុងប្លុកទម្រង់ខ្សែអក្សរគឺត្រឹមត្រូវ។
• អត្ថិភាពនៃអថេរដោយគិតគូរពីប្លុកដែលបង្កើតឡើងដោយប្រតិបត្តិករសាខា និងរង្វិលជុំ។
• ការខាសប្រភេទគ្មានប្រយោជន៍ (ឧ. "(ខ្សែអក្សរ) 'foo'") និងការធ្វើតេស្តយ៉ាងតឹងរឹង ("===" និង "!==") លើទិន្នន័យដែលមានប្រភេទ និងប្រតិបត្តិការផ្សេងៗគ្នា ដែលតែងតែត្រឡប់មិនពិត។

ការច្នៃប្រឌិតសំខាន់ៗនៅក្នុង PHPStan 1.0៖

• កម្រិតពិនិត្យ "9" ត្រូវបានអនុវត្ត ដែលពិនិត្យមើលការប្រើប្រាស់ប្រភេទ "ចម្រុះ" ដែលមានបំណងរៀបចំមុខងារទទួលប៉ារ៉ាម៉ែត្រជាមួយប្រភេទផ្សេងៗគ្នា។ កម្រិតទី XNUMX កំណត់ការប្រើប្រាស់ដែលមិនមានសុវត្ថិភាពនៃ "លាយបញ្ចូលគ្នា" ដូចជាការបញ្ជូនតម្លៃនៃប្រភេទ "លាយ" ទៅប្រភេទផ្សេងទៀត ការហៅវិធីសាស្ត្រនៃប្រភេទ "លាយបញ្ចូលគ្នា" និងការចូលប្រើលក្ខណៈសម្បត្តិរបស់វា ព្រោះវាប្រហែលជាមិនមាន។
• គ្រប់គ្រងថាតើតម្លៃត្រឡប់គឺដូចគ្នាបេះបិទសម្រាប់ការហៅមុខងារដូចគ្នាដោយប្រើចំណារពន្យល់ @phpstan-pure និង @phpstan-impure ។
• វាយការវិភាគនៅក្នុង try-catch-finally constructs ដោយប្រើ @throws annotations ។
• ការកំណត់អត្តសញ្ញាណនៃលក្ខណៈសម្បត្តិផ្ទៃក្នុង (ឯកជន) ដែលបានកំណត់ ប៉ុន្តែមិនបានប្រើ វិធីសាស្ត្រ និងថេរ។
• ឆ្លងកាត់ការហៅត្រឡប់មកវិញដែលមិនឆបគ្នាទៅនឹងមុខងារអារេដូចជា array_map និង usort ។
• វាយបញ្ចូលការត្រួតពិនិត្យសម្រាប់ចំណារពន្យល់ប្រភេទអក្សរដែលបាត់។
• បានធ្វើសេចក្តីប្រកាសប្រភេទដែលត្រូវគ្នាជាមួយ PHPDocs ដែលអនុញ្ញាតឱ្យប្រភេទពីសារកំហុសត្រូវបានប្រើនៅក្នុង PHPDocs ។

ប្រភព: opennet.ru