PHPStan 1.0 এর রিলিজ, PHP কোডের জন্য একটি স্ট্যাটিক বিশ্লেষক

শনাক্তকৃত অন্তর্নিহিত সমস্যাগুলোর উদাহরণ:

• instanceof, catch, typehints এবং অন্যান্য ল্যাঙ্গুয়েজ কনস্ট্রাক্টে ব্যবহৃত ক্লাসের অস্তিত্ব।
• কল করা মেথড ও ফাংশনগুলোর অস্তিত্ব ও প্রাপ্যতা, সেইসাথে পাস করা আর্গুমেন্টের সংখ্যা।
• কোনো মেথড রিটার্ন স্টেটমেন্টে সংজ্ঞায়িত টাইপের ডেটা ফেরত দেয় কিনা, তা যাচাই করে।
• অ্যাক্সেস করা প্রপার্টিগুলোর অস্তিত্ব ও দৃশ্যমানতা, এবং প্রপার্টিগুলোতে ব্যবহৃত ঘোষিত ও প্রকৃত ডেটা টাইপগুলো যাচাই করা।
• স্ট্রিং ফরম্যাট ব্লকে sprintf/printf কলে সঠিক সংখ্যক প্যারামিটার পাস করা হয়েছে।
• ব্রাঞ্চিং অপারেটর এবং লুপ দ্বারা গঠিত ব্লক বিবেচনা করে ভেরিয়েবলের অস্তিত্ব।
• অপ্রয়োজনীয় টাইপ কাস্ট (যেমন "(string) 'foo'"), ভিন্ন টাইপের ডেটার উপর কঠোর চেক ("===" এবং "!==") এবং এমন অপারেন্ড যা সর্বদা ফলস রিটার্ন করে।

PHPStan 1.0-এর প্রধান বৈশিষ্ট্যসমূহ:

• ভ্যালিডেশন লেভেল "৯" প্রয়োগ করা হয়েছে, যা "মিক্সড" টাইপের ব্যবহার পরীক্ষা করে। এই টাইপটি এমন ফাংশনগুলোকে সমর্থন করার জন্য ডিজাইন করা হয়েছে যেগুলো বিভিন্ন ধরনের প্যারামিটার গ্রহণ করে। লেভেল ৯ "মিক্সড"-এর অনিরাপদ ব্যবহার শনাক্ত করে, যেমন "মিক্সড" টাইপের ভ্যালু অন্য কোনো টাইপে পাস করা, "মিক্সড" টাইপের মেথড কল করা এবং এর প্রোপার্টি অ্যাক্সেস করা, কারণ সেগুলো হয়তো বিদ্যমান নাও থাকতে পারে।
• @phpstan-pure এবং @phpstan-impure অ্যানোটেশন ব্যবহার করে একই ফাংশন কলের জন্য অভিন্ন রিটার্ন ভ্যালু যাচাই নিয়ন্ত্রণ করা।
• @throws অ্যানোটেশন ব্যবহার করে try-catch-finally কনস্ট্রাক্টে টাইপ অ্যানালাইসিস।
• সংজ্ঞায়িত কিন্তু অব্যবহৃত অভ্যন্তরীণ (ব্যক্তিগত) বৈশিষ্ট্য, পদ্ধতি এবং ধ্রুবক শনাক্ত করা।
• array_map এবং usort-এর মতো অ্যারে-হ্যান্ডলিং ফাংশনগুলিতে বেমানান কলব্যাক পাস করা।
• অনুপস্থিত টাইপহিন্ট অ্যানোটেশনের জন্য টাইপগুলো পরিদর্শন করুন।
• টাইপ ডেসক্রিপশন এখন PHPDocs-এর সাথে সামঞ্জস্যপূর্ণ, ফলে আপনি PHPDocs-এর এরর মেসেজ থেকে টাইপগুলো ব্যবহার করতে পারবেন।

উত্স: opennet.ru