সাম 3.12 এর রিলিজ, পিএইচপি ভাষার জন্য একটি স্ট্যাটিক বিশ্লেষক। PHP 8.0 এর আলফা রিলিজ

ভিমিও কোম্পানি প্রকাশিত স্ট্যাটিক বিশ্লেষক নতুন রিলিজ গীতসংহিতা 3.12, যা আপনাকে পিএইচপি কোডে সুস্পষ্ট এবং সূক্ষ্ম উভয় ত্রুটি সনাক্ত করতে দেয়, সেইসাথে কিছু ধরণের ত্রুটি স্বয়ংক্রিয়ভাবে সংশোধন করে। সিস্টেমটি লিগ্যাসি কোড এবং কোড উভয় ক্ষেত্রেই সমস্যা চিহ্নিত করার জন্য উপযুক্ত যা পিএইচপি-র নতুন শাখাগুলিতে প্রবর্তিত আধুনিক বৈশিষ্ট্যগুলি ব্যবহার করে। প্রজেক্ট কোড পিএইচপি এবং লেখা হয় দ্বারা বিতরণ এমআইটি লাইসেন্সের অধীনে।

গীতসংহিতা ভুল টাইপ ব্যবহারের সাথে যুক্ত বেশিরভাগ সমস্যা চিহ্নিত করে, সেইসাথে বিভিন্ন সাধারণ ভুল. উদাহরণস্বরূপ, এটি একটি অভিব্যক্তিতে বিভিন্ন ধরনের ভেরিয়েবল মিশ্রিত করার বিষয়ে সতর্কতা সমর্থন করে, ভুল যৌক্তিক পরীক্ষা (যেমন "if ($a && $a) {}", "if ($a && !$a) {}" এবং " if ( $a) {} elseif ($a) {}"), অবজেক্ট বৈশিষ্ট্যের অসম্পূর্ণ আরম্ভ। বিশ্লেষক মাল্টি-থ্রেডেড মোডে চলে। ক্রমবর্ধমান স্ক্যান করা সম্ভব, যা শুধুমাত্র শেষ স্ক্যানের পর থেকে পরিবর্তিত ফাইলগুলি বিশ্লেষণ করে।

উপরন্তু, নিরাপদ প্রোগ্রামিং টুল অনুমতি প্রদান করা হয় ব্যবহার করতে বিন্যাসে টীকা ডকব্লক (“/** @var টাইপ */”) পরিবর্তনশীল প্রকার, রিটার্ন মান, ফাংশন প্যারামিটার, বস্তুর বৈশিষ্ট্য সম্পর্কে তথ্য প্রদান করতে। টাইপ ব্যবহারের ধরণ নির্ধারণ করা এবং অ্যাসার্ট স্টেটমেন্ট ব্যবহার করাও সমর্থিত। উদাহরণ স্বরূপ:

/** @var স্ট্রিং|নাল */
$a = foo();

/** @var স্ট্রিং $a */
echo strpos($a, 'hello');

/** @psalm-assert-if-true B$a */
ফাংশন isValidB(A $a): bool {
B && $a->isValid();
}

পাওয়া সমস্যাগুলিকে স্বয়ংক্রিয়ভাবে নির্মূল করার জন্য, Psalter ইউটিলিটি সরবরাহ করা হয়েছে, যা প্লাগইনগুলিকে সমর্থন করে এবং এটা করতে পারবেন সাধারণ কোড সমস্যাগুলি সমাধান করুন, টাইপ টীকা যোগ করুন এবং ম্যানিপুলেশনগুলি সঞ্চালন করুন যেমন ক্লাসগুলিকে এক নামস্থান থেকে অন্য নামস্থানে সরানো, ক্লাসগুলির মধ্যে পদ্ধতিগুলি সরানো এবং ক্লাস এবং পদ্ধতিগুলির নাম পরিবর্তন করা।

গীতসংহিতা নতুন সংখ্যায় বাস্তবায়িত "--taint-analysis" বিকল্পটি আপনাকে ব্যবহারকারীর কাছ থেকে প্রাপ্ত ইনপুট পরামিতিগুলির মধ্যে সম্পর্ক সনাক্ত করতে দেয় (উদাহরণস্বরূপ, $_GET['name']) এবং অক্ষর পালানোর প্রয়োজন হয় এমন জায়গায় তাদের ব্যবহার (উদাহরণস্বরূপ, ইকো" $নাম "), ইন্টারমিডিয়েট অ্যাসাইনমেন্ট এবং ফাংশন কলগুলির ট্র্যাকিং চেইন সহ। সহযোগী অ্যারে $_GET, $_POST এবং $_COOKIE ব্যবহার সম্ভাব্য বিপজ্জনক ডেটার উত্স হিসাবে বিবেচিত হয়, তবে এটিও সম্ভব সংজ্ঞা নিজস্ব সূত্র। যে অ্যাকশনগুলি এস্কেপিং ট্র্যাকিং প্রয়োজন তার মধ্যে আউটপুট ক্রিয়াকলাপগুলি অন্তর্ভুক্ত যা HTML সামগ্রী তৈরি করে, HTTP শিরোনাম যুক্ত করে বা SQL কোয়েরি চালায়।

ইকো, এক্সেক, অন্তর্ভুক্ত এবং হেডারের মতো ফাংশন ব্যবহার করার সময় বৈধতা ব্যবহার করা হয়। পালানোর প্রয়োজনীয়তা বিশ্লেষণ করার সময়, ডেটার ধরন যেমন পাঠ্য, এসকিউএল সহ স্ট্রিং, এইচটিএমএল এবং শেল কোড, প্রমাণীকরণ পরামিতি সহ স্ট্রিংগুলিকে বিবেচনায় নেওয়া হয়। প্রস্তাবিত মোড আপনাকে কোডের দুর্বলতা সনাক্ত করতে দেয় যা ক্রস-সাইট স্ক্রিপ্টিং (XSS) বা SQL প্রতিস্থাপনের দিকে পরিচালিত করে।

উপরন্তু, এটা উল্লেখ করা যেতে পারে শুরুতে নতুন পিএইচপি 8.0 শাখার আলফা পরীক্ষা। মুক্তি 26 শে নভেম্বর নির্ধারিত হয়েছে। নতুন শাখায় নিম্নলিখিতগুলি প্রত্যাশিত: উদ্ভাবন, যেমন:

• অন্তর্ভুক্তি JIT কম্পাইলার, যা ব্যবহার উত্পাদনশীলতা উন্নত হবে.
• সমর্থন ইউনিয়ন প্রকার, দুই বা ততোধিক ধরনের সংগ্রহ সংজ্ঞায়িত করা (উদাহরণস্বরূপ, "পাবলিক ফাংশন foo(Foo|Bar $input): int|float;")।
• সমর্থন গুণাবলী (টীকা) যা আপনাকে Docblock সিনট্যাক্স ব্যবহার না করেই ক্লাসে মেটাডেটা (যেমন তথ্য টাইপ) আবদ্ধ করতে দেয়।
• সংক্ষিপ্ত বাক্য গঠন ক্লাস সংজ্ঞা, আপনাকে একটি কনস্ট্রাক্টর এবং বৈশিষ্ট্যের সংজ্ঞা একত্রিত করতে দেয়।
• নতুন রিটার্ন প্রকার - স্থির.
• নতুন ধরনের - মিশ্র, যা একটি ফাংশন বিভিন্ন ধরনের পরামিতি গ্রহণ করে কিনা তা নির্ধারণ করতে ব্যবহার করা যেতে পারে।
• অভিব্যক্তি নিক্ষেপ ব্যতিক্রমগুলি পরিচালনা করতে।
• দুর্বলম্যাপ আবর্জনা সংগ্রহের সময় উৎসর্গ করা যেতে পারে এমন বস্তু তৈরি করতে (উদাহরণস্বরূপ, অপ্রয়োজনীয় ক্যাশে সংরক্ষণ করা)।
• সুযোগ অবজেক্টের জন্য "::class" এক্সপ্রেশন ব্যবহার করে (get_class() কল করার অনুরূপ)।
• সুযোগ ব্যতিক্রমের ক্যাচ ব্লকের সংজ্ঞা যা ভেরিয়েবলের সাথে আবদ্ধ নয়।
• সুযোগ ফাংশন প্যারামিটারের তালিকার শেষ উপাদানের পরে একটি কমা রেখে।
• নতুন ইন্টারফেস স্ট্রিংযোগ্য কোন স্ট্রিং প্রকার বা ডেটা সনাক্ত করতে যা একটি স্ট্রিং এ রূপান্তরিত হতে পারে (যার জন্য __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