ការចេញផ្សាយ cppcheck 2.6 ដែលជាកម្មវិធីវិភាគកូដឋិតិវន្តសម្រាប់ភាសា C ++ និង C

កំណែថ្មីនៃកម្មវិធីវិភាគកូដឋិតិវន្ត cppcheck 2.6 ត្រូវបានចេញផ្សាយ ដែលអនុញ្ញាតឱ្យអ្នកកំណត់អត្តសញ្ញាណប្រភេទផ្សេងៗនៃកំហុសនៅក្នុងកូដនៅក្នុងភាសា C និង C++ រួមទាំងនៅពេលប្រើវាក្យសម្ព័ន្ធមិនស្តង់ដារ ដែលជាតួយ៉ាងសម្រាប់ប្រព័ន្ធបង្កប់។ ការប្រមូលផ្ដុំនៃកម្មវិធីជំនួយត្រូវបានផ្តល់ជូនតាមរយៈនោះ cppcheck ត្រូវបានរួមបញ្ចូលជាមួយនឹងការអភិវឌ្ឍន៍ផ្សេងៗ ការរួមបញ្ចូលជាបន្តបន្ទាប់ និងប្រព័ន្ធសាកល្បង ហើយក៏ផ្តល់នូវលក្ខណៈពិសេសដូចជាការត្រួតពិនិត្យការអនុលោមតាមកូដជាមួយនឹងរចនាប័ទ្មកូដផងដែរ។ ដើម្បីញែកកូដ អ្នកអាចប្រើ parser ផ្ទាល់ខ្លួនរបស់អ្នក ឬញែកខាងក្រៅពី Clang ។ វាក៏រួមបញ្ចូលផងដែរនូវស្គ្រីប donate-cpu.py ដើម្បីផ្តល់ធនធានក្នុងស្រុកដើម្បីធ្វើការត្រួតពិនិត្យកូដសហការសម្រាប់កញ្ចប់ Debian ។ កូដប្រភពនៃគម្រោងត្រូវបានចែកចាយក្រោមអាជ្ញាប័ណ្ណ GPLv3 ។

ការអភិវឌ្ឍន៍នៃ cppcheck គឺផ្តោតលើការកំណត់បញ្ហាដែលទាក់ទងនឹងអាកប្បកិរិយាមិនបានកំណត់ និងការប្រើប្រាស់ការរចនាដែលមានគ្រោះថ្នាក់តាមទស្សនៈសុវត្ថិភាព។ គោលដៅក៏ដើម្បីកាត់បន្ថយភាពវិជ្ជមានមិនពិតផងដែរ។ ក្នុងចំណោមបញ្ហាដែលបានកំណត់អត្តសញ្ញាណ៖ ចង្អុលទៅវត្ថុដែលមិនមាន, ការបែងចែកដោយសូន្យ, ចំនួនគត់លើស, ប្រតិបត្តិការផ្លាស់ប្តូរប៊ីតមិនត្រឹមត្រូវ, ការបំប្លែងមិនត្រឹមត្រូវ, បញ្ហានៅពេលធ្វើការជាមួយអង្គចងចាំ, ការប្រើប្រាស់មិនត្រឹមត្រូវនៃ STL, ការបដិសេធទ្រនិចទទេ, ការប្រើប្រាស់ការត្រួតពិនិត្យបន្ទាប់ពីការចូលប្រើប្រាស់ជាក់ស្តែង។ ទៅសតិបណ្ដោះអាសន្ន ការរត់លើសសតិបណ្ដោះអាសន្ន ការប្រើប្រាស់អថេរដែលមិនបានបង្កើត។

នៅក្នុងកំណែថ្មី៖

• ការត្រួតពិនិត្យខាងក្រោមត្រូវបានបន្ថែមទៅស្នូលអ្នកវិភាគ៖
  • អវត្ដមាននៃប្រតិបត្តិករត្រឡប់មកវិញនៅក្នុងតួមុខងារ;
  • កត់ត្រាទិន្នន័យត្រួតស៊ីគ្នា កំណត់ឥរិយាបថដែលមិនបានកំណត់;
  • តម្លៃដែលត្រូវបានប្រៀបធៀបគឺនៅខាងក្រៅតម្លៃតំណាងនៃប្រភេទ។
  • ការបង្កើនប្រសិទ្ធភាពច្បាប់ចម្លងមិនអនុវត្តចំពោះត្រឡប់ std::move(local);
  • ឯកសារមិនអាចត្រូវបានបើកក្នុងពេលដំណាលគ្នាសម្រាប់ការអាននិងសរសេរនៅក្នុងស្ទ្រីមផ្សេងគ្នា (ស្ទ្រីម);
• សម្រាប់វេទិកា Unix បន្ថែមការគាំទ្រសម្រាប់ការបង្ហាញសាររោគវិនិច្ឆ័យនៅក្នុងពណ៌ផ្សេងគ្នា។
• បានបន្ថែមការវិភាគនិមិត្តសញ្ញាសម្រាប់ ValueFlow ។ ប្រើ delta សាមញ្ញ នៅពេលគណនាភាពខុសគ្នារវាងអថេរមិនស្គាល់ពីរ។
• ច្បាប់ដែលប្រើសម្រាប់បញ្ជីថូខឹន "កំណត់" ក៏អាចផ្គូផ្គង #include;
• ស្លាកបណ្ណាល័យ ឥឡូវ​នេះ​អាច​មាន​ស្លាក ហើយយោងទៅតាមមុខងារឥតគិតថ្លៃ ដែលអាចទទួលយកធុងដូចជា std::size, std::empty, std::begin, std::end ។ល។ អាចបញ្ជាក់ yld ឬសកម្មភាពសម្រាប់ឧបករណ៍ភ្ជាប់;
• ស្លាកបណ្ណាល័យ ឥឡូវ​នេះ​អាច​មាន​ស្លាក សម្រាប់ទ្រនិចឆ្លាតវៃដែលមានកម្មសិទ្ធិពិសេស។ ឥឡូវ​នេះ​ការ​ព្រមាន​មួយ​ត្រូវ​បាន​ចេញ​ផ្សាយ​អំពី​ការ​យោង​ទៅ​លើ​ប្រភេទ​ឧបករណ៍​ចង្អុល​ឆ្លាតវៃ​ទាំងនេះ។
• បញ្ហាដែលបានជួសជុលជាមួយនឹងដំណើរការប៉ារ៉ាម៉ែត្រ —cppcheck-build-dir;
• htmlreport ឥឡូវនេះអាចបង្ហាញព័ត៌មានអំពីអ្នកនិពន្ធ (ដោយប្រើ git បន្ទោស);
• ការព្រមានបន្ថែមអំពីអថេរដែលមិនថេរ ប៉ុន្តែអាចជា;
• កំហុសប្រមូលផ្តុំ និងចំណុចខ្វះខាតរបស់អ្នកវិភាគត្រូវបានកែតម្រូវ។

លើសពីនេះទៀត ការត្រួតពិនិត្យពី Misra C 2012 រួមទាំងវិសោធនកម្ម 1 និងវិសោធនកម្ម 2 ត្រូវបានអនុវត្តយ៉ាងពេញលេញ លើកលែងតែច្បាប់ 1.1, 1.2 និង 17.3 ។ ការត្រួតពិនិត្យ 1.1 និង 1.2 ត្រូវតែអនុវត្តដោយអ្នកចងក្រង។ ការផ្ទៀងផ្ទាត់ 17.3 អាចត្រូវបានអនុវត្តដោយអ្នកចងក្រងដូចជា GCC ។

ប្រភព: opennet.ru