cppcheck 2.6 এর রিলিজ, C++ এবং C ভাষার জন্য একটি স্ট্যাটিক কোড বিশ্লেষক

স্ট্যাটিক কোড বিশ্লেষক cppcheck 2.6-এর একটি নতুন সংস্করণ প্রকাশ করা হয়েছে, যা আপনাকে C এবং C++ ভাষায় কোডের বিভিন্ন শ্রেণীর ত্রুটি সনাক্ত করতে দেয়, যার মধ্যে অ-মানক সিনট্যাক্স ব্যবহার করার সময়, এমবেডেড সিস্টেমের জন্য সাধারণ। প্লাগইনগুলির একটি সংগ্রহ প্রদান করা হয় যার মাধ্যমে cppcheck বিভিন্ন উন্নয়ন, ক্রমাগত একীকরণ এবং পরীক্ষার সিস্টেমের সাথে সংহত করা হয় এবং কোড শৈলীর সাথে কোড সম্মতি পরীক্ষা করার মতো বৈশিষ্ট্যগুলিও প্রদান করে। কোড পার্স করতে, আপনি হয় আপনার নিজের পার্সার বা ক্ল্যাং থেকে একটি বাহ্যিক পার্সার ব্যবহার করতে পারেন। ডেবিয়ান প্যাকেজগুলির জন্য সহযোগী কোড পর্যালোচনা কাজ করার জন্য স্থানীয় সংস্থানগুলি সরবরাহ করার জন্য এটিতে donate-cpu.py স্ক্রিপ্টও অন্তর্ভুক্ত রয়েছে। প্রকল্পের সোর্স কোড GPLv3 লাইসেন্সের অধীনে বিতরণ করা হয়।

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

নতুন বিশ্বে:

• নিম্নলিখিত চেকগুলি বিশ্লেষক কোরে যোগ করা হয়েছে:
  • ফাংশন বডিতে রিটার্ন অপারেটরের অনুপস্থিতি;
  • ওভারল্যাপিং ডেটা রেকর্ড করে, অনির্ধারিত আচরণ নির্ধারণ করে;
  • যে মানটির তুলনা করা হচ্ছে তা টাইপের মান উপস্থাপনের বাইরে;
  • কপি অপ্টিমাইজেশান রিটার্ন std::move(local);
  • ফাইলটি বিভিন্ন স্ট্রীমে (স্ট্রিম) পড়ার এবং লেখার জন্য একসাথে খোলা যাবে না;
• ইউনিক্স প্ল্যাটফর্মের জন্য, বিভিন্ন রঙে ডায়াগনস্টিক বার্তা প্রদর্শনের জন্য সমর্থন যোগ করা হয়েছে;
• ValueFlow-এর জন্য প্রতীকী বিশ্লেষণ যোগ করা হয়েছে। দুটি অজানা ভেরিয়েবলের মধ্যে পার্থক্য গণনা করার সময় সাধারণ ডেল্টা ব্যবহার করে;
• টোকেন "সংজ্ঞায়িত" তালিকার জন্য ব্যবহৃত নিয়মগুলি #include-এর সাথেও মিলতে পারে;
• লাইব্রেরি ট্যাগ এখন একটি ট্যাগ থাকতে পারে , এবং সেই অনুযায়ী বিনামূল্যের ফাংশন, যা std::size, std::empty, std::begin, std::end, ইত্যাদির মত কন্টেইনার গ্রহণ করতে পারে। সংযোগকারীর জন্য ইয়েলড বা ক্রিয়া নির্দিষ্ট করতে পারে;
• লাইব্রেরি ট্যাগ এখন একটি ট্যাগ থাকতে পারে অনন্য মালিকানা আছে যে স্মার্ট পয়েন্টার জন্য. এই ধরনের স্মার্ট পয়েন্টারগুলির ঝুলন্ত রেফারেন্স সম্পর্কে এখন একটি সতর্কতা জারি করা হয়েছে;
• —cppcheck-build-dir পরামিতি প্রক্রিয়াকরণের সমস্যা সমাধান করা হয়েছে;
• htmlreport এখন লেখক সম্পর্কে তথ্য প্রদর্শন করতে পারে (গিট ব্লেম ব্যবহার করে);
• ভেরিয়েবল সম্পর্কে বর্ধিত সতর্কতা যা ধ্রুবক নয়, কিন্তু হতে পারে;
• বিশ্লেষকের পুঞ্জীভূত ত্রুটি এবং ত্রুটিগুলি সংশোধন করা হয়েছে।

অতিরিক্তভাবে, 2012, 1 এবং 2 ব্যতীত, সংশোধনী 1.1 এবং সংশোধন 1.2 সহ Misra C 17.3-এর চেকগুলি সম্পূর্ণরূপে বাস্তবায়িত হয়েছে৷ চেক 1.1 এবং 1.2 অবশ্যই কম্পাইলার দ্বারা সঞ্চালিত হবে। যাচাইকরণ 17.3 একটি কম্পাইলার যেমন GCC দ্বারা সঞ্চালিত হতে পারে।

উত্স: opennet.ru