cppcheck 2.6-ის გამოშვება, სტატიკური კოდის ანალიზატორი C++ და C ენებისთვის

გამოვიდა სტატიკური კოდის ანალიზატორის cppcheck 2.6 ახალი ვერსია, რომელიც საშუალებას გაძლევთ ამოიცნოთ შეცდომების სხვადასხვა კლასი კოდში C და C++ ენებზე, მათ შორის ჩაშენებული სისტემებისთვის დამახასიათებელი არასტანდარტული სინტაქსის გამოყენებისას. მოწოდებულია დანამატების კოლექცია, რომლის მეშვეობითაც cppcheck ინტეგრირებულია სხვადასხვა განვითარების, უწყვეტი ინტეგრაციისა და ტესტირების სისტემებთან და ასევე უზრუნველყოფს ისეთ ფუნქციებს, როგორიცაა კოდის შესაბამისობის შემოწმება კოდის სტილთან. კოდის გასაანალიზებლად შეგიძლიათ გამოიყენოთ თქვენი საკუთარი ან გარე პარსერი Clang-დან. ის ასევე შეიცავს donate-cpu.py სკრიპტს, რათა უზრუნველყოს ადგილობრივი რესურსები Debian პაკეტებისთვის კოდების ერთობლივი განხილვის სამუშაოების შესასრულებლად. პროექტის წყაროს კოდი ნაწილდება GPLv3 ლიცენზიით.

cppcheck-ის განვითარება ორიენტირებულია პრობლემების იდენტიფიცირებაზე, რომლებიც დაკავშირებულია განუსაზღვრელ ქცევასთან და უსაფრთხოების თვალსაზრისით საშიში დიზაინის გამოყენებასთან. მიზანი ასევე არის ცრუ დადებითი შედეგების მინიმუმამდე შემცირება. იდენტიფიცირებულ პრობლემებს შორის: არარსებულ ობიექტებზე მითითებები, გაყოფა ნულზე, მთელი რიცხვის გადადინება, არასწორი ბიტის ცვლის ოპერაციები, არასწორი კონვერტაციები, პრობლემები მეხსიერებასთან მუშაობისას, STL-ის არასწორი გამოყენება, ნულოვანი მაჩვენებლის გაუქმება, შემოწმებების გამოყენება ფაქტობრივი წვდომის შემდეგ. ბუფერზე, ბუფერის გადაჭარბება, არაინიციალირებული ცვლადების გამოყენება.

ახალ ვერსიაში:

• შემდეგი შემოწმებები დაემატა ანალიზატორის ბირთვს:
  • ფუნქციის ორგანოში დაბრუნების ოპერატორის არარსებობა;
  • აღრიცხავს გადაფარვის მონაცემებს, განსაზღვრავს განუსაზღვრელ ქცევას;
  • შედარებადი მნიშვნელობა სცილდება ტიპის მნიშვნელობის წარმოდგენას;
  • ასლის ოპტიმიზაცია არ ვრცელდება დაბრუნებისთვის std::move(local);
  • ფაილის ერთდროულად გახსნა შეუძლებელია სხვადასხვა ნაკადში კითხვისა და ჩაწერისთვის (სტრიმინგი);
• Unix პლატფორმებისთვის, დაემატა მხარდაჭერა დიაგნოსტიკური შეტყობინებების სხვადასხვა ფერებში ჩვენებისთვის;
• დაემატა სიმბოლური ანალიზი ValueFlow-სთვის. იყენებს მარტივ დელტას ორ უცნობ ცვლადს შორის სხვაობის გამოთვლისას;
• "define" ნიშნების სიისთვის გამოყენებული წესები ასევე შეიძლება ემთხვეოდეს #include;
• ბიბლიოთეკის ტეგი ახლა შეიძლება შეიცავდეს ტეგს , და შესაბამისად უფასო ფუნქციები, რომლებსაც შეუძლიათ მიიღონ კონტეინერები, როგორიცაა std::size, std::empty, std::begin, std::end და ა.შ. შეუძლია მიუთითოს yeld ან action კონექტორებისთვის;
• ბიბლიოთეკის ტეგი ახლა შეიძლება შეიცავდეს ტეგს ჭკვიანი მაჩვენებლებისთვის, რომლებსაც აქვთ უნიკალური საკუთრება. გაფრთხილება გაცემულია ამ ტიპის ჭკვიანი მაჩვენებლების შესახებ ჩამოკიდებული მითითების შესახებ;
• დაფიქსირდა პრობლემები —cppcheck-build-dir პარამეტრის დამუშავებასთან დაკავშირებით;
• htmlreport-ს ახლა შეუძლია აჩვენოს ინფორმაცია ავტორის შესახებ (git blame-ის გამოყენებით);
• გაფართოებული გაფრთხილებები ცვლადების შესახებ, რომლებიც არ არის მუდმივი, მაგრამ შეიძლება იყოს;
• გამოსწორებულია ანალიზატორის დაგროვილი შეცდომები და ხარვეზები.

გარდა ამისა, Misra C 2012-ის შემოწმებები, მათ შორის შესწორება 1 და შესწორება 2, სრულად განხორციელდა, გარდა წესებისა 1.1, 1.2 და 17.3. შემოწმებები 1.1 და 1.2 უნდა შეასრულოს შემდგენელმა. ვერიფიკაცია 17.3 შეიძლება შესრულდეს შემდგენელის მიერ, როგორიცაა GCC.

წყარო: opennet.ru