কন্ট্রোলফ্ল্যাগ 1.0 এর রিলিজ, সি কোডে ত্রুটি সনাক্ত করার একটি টুল

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

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

ControlFlag-এর ক্ষমতার উদাহরণ হিসেবে, বিকাশকারীরা OpenSSL এবং cURL প্রকল্পের সোর্স কোড বিশ্লেষণ করেছেন:

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

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

উত্স: opennet.ru