ইন্টেল কন্ট্রোলফ্ল্যাগ 1.2 প্রকাশ করে, সোর্স কোডে অসঙ্গতি সনাক্ত করার জন্য একটি টুল

ইন্টেল কন্ট্রোলফ্ল্যাগ 1.2 এর রিলিজ প্রকাশ করেছে, একটি টুলকিট যা আপনাকে প্রচুর পরিমাণে বিদ্যমান কোডের উপর প্রশিক্ষিত একটি মেশিন লার্নিং সিস্টেম ব্যবহার করে সোর্স কোডে ত্রুটি এবং অসঙ্গতি সনাক্ত করতে দেয়। প্রথাগত স্ট্যাটিক বিশ্লেষকদের বিপরীতে, কন্ট্রোলফ্ল্যাগ তৈরি নিয়মগুলি প্রয়োগ করে না, যেখানে সমস্ত সম্ভাব্য বিকল্পের জন্য প্রদান করা কঠিন, তবে বিদ্যমান প্রকল্পগুলির একটি বৃহৎ সংখ্যক বিভিন্ন ভাষার নির্মাণ ব্যবহারের পরিসংখ্যানের উপর ভিত্তি করে। কন্ট্রোল ফ্ল্যাগ কোডটি C++ এ লেখা এবং MIT লাইসেন্সের অধীনে ওপেন সোর্স করা হয়েছে।

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

প্রশিক্ষণ পর্যায়ে, সিস্টেম কোডে কাঠামো নির্মাণের জন্য সাধারণ নিদর্শন নির্ধারণ করে এবং এই প্যাটার্নগুলির মধ্যে সংযোগের একটি সিনট্যাকটিক ট্রি তৈরি করে, যা প্রোগ্রামে কোড সম্পাদনের প্রবাহকে প্রতিফলিত করে। ফলস্বরূপ, একটি রেফারেন্স সিদ্ধান্ত গ্রহণকারী ট্রি গঠিত হয় যা সমস্ত বিশ্লেষণকৃত উত্স কোডগুলির বিকাশের অভিজ্ঞতাকে একত্রিত করে। পর্যালোচনাধীন কোডটি একটি রেফারেন্স ডিসিশন ট্রির বিরুদ্ধে চেক করা প্যাটার্নগুলি সনাক্ত করার একই প্রক্রিয়ার মধ্য দিয়ে যায়। প্রতিবেশী শাখাগুলির সাথে বড় অসঙ্গতিগুলি পরীক্ষা করা প্যাটার্নে একটি অসঙ্গতির উপস্থিতি নির্দেশ করে৷

উত্স: opennet.ru