কোড ত্রুটি সনাক্ত করতে ইন্টেল ওপেন সোর্সড কন্ট্রোলফ্ল্যাগ মেশিন লার্নিং সিস্টেম

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

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

পর্যালোচনাধীন কোডটি একটি রেফারেন্স ডিসিশন ট্রির বিরুদ্ধে চেক করা প্যাটার্ন সনাক্তকরণের অনুরূপ প্রক্রিয়ার মধ্য দিয়ে যায়। প্রতিবেশী শাখাগুলির সাথে বড় অসঙ্গতিগুলি পরীক্ষা করা প্যাটার্নে একটি অসঙ্গতির উপস্থিতি নির্দেশ করে৷ সিস্টেমটি আপনাকে শুধুমাত্র টেমপ্লেটের একটি ত্রুটি সনাক্ত করতেই নয়, একটি সংশোধন করার পরামর্শও দেয়। উদাহরণস্বরূপ, ওপেনএসএসএল কোডে, "(s1 == NULL) ∧ (s2 == NULL)" নির্মাণ শনাক্ত করা হয়েছিল, যা সিনট্যাক্স ট্রিতে মাত্র 8 বার প্রদর্শিত হয়েছিল, যখন "(s1 == মান সহ নিকটতম শাখা) NULL) || (s2 == NULL)” প্রায় 7 হাজার বার ঘটেছে। সিস্টেমটি একটি অসঙ্গতিও সনাক্ত করেছে “(s1 == NULL) | (s2 == NULL)” যা গাছে 32 বার দেখা গেছে।

কোডের খণ্ডটি বিশ্লেষণ করার সময় "যদি (x = 7) y = x;" সিস্টেমটি নির্ধারণ করেছে যে "ভেরিয়েবল == সংখ্যা" নির্মাণটি সাংখ্যিক মান তুলনা করার জন্য সাধারণত "if" অপারেটরে ব্যবহার করা হয়, তাই এটি খুব সম্ভবত "যদি" অভিব্যক্তিতে "ভেরিয়েবল = সংখ্যা" ইঙ্গিতটি দ্বারা সৃষ্ট হয় টাইপো ঐতিহ্যগত স্ট্যাটিক বিশ্লেষকরা এই ধরনের একটি ত্রুটি ধরতেন, কিন্তু তাদের বিপরীতে, কন্ট্রোলফ্ল্যাগ তৈরি নিয়মগুলি প্রয়োগ করে না, যেখানে সমস্ত সম্ভাব্য বিকল্পের জন্য প্রদান করা কঠিন, তবে এটি প্রচুর পরিমাণে বিভিন্ন কাঠামোর ব্যবহারের পরিসংখ্যানের উপর ভিত্তি করে। প্রকল্পের

একটি পরীক্ষা হিসাবে, CURL ইউটিলিটির সোর্স কোডে ControlFlag ব্যবহার করে, যা প্রায়শই উচ্চ-মানের এবং পরীক্ষিত কোডের উদাহরণ হিসাবে উদ্ধৃত করা হয়, কাঠামো উপাদান "s->keepon" ব্যবহার করার সময় স্ট্যাটিক বিশ্লেষকদের দ্বারা সনাক্ত করা না হওয়া একটি ত্রুটি চিহ্নিত করা হয়েছিল, যার একটি সংখ্যাসূচক প্রকার ছিল, কিন্তু বুলিয়ান মান TRUE এর সাথে তুলনা করা হয়েছিল। OpenSSL কোডে, "(s1 == NULL) ∧ (s2 == NULL)" এর সাথে উপরে উল্লিখিত সমস্যা ছাড়াও, "(-2 == rv)" অভিব্যক্তিতেও অসামঞ্জস্যগুলি চিহ্নিত করা হয়েছিল (মাইনাস ছিল একটি টাইপো) এবং "BIO_puts(bp, ":")

উত্স: opennet.ru