ការពិនិត្យឯករាជ្យនៃ PVS-Studio (Linux, C++)

ខ្ញុំបានឃើញការបោះពុម្ពផ្សាយដែល PVS បានរៀនវិភាគនៅក្រោមលីនុច ហើយបានសម្រេចចិត្តសាកល្បងវានៅលើគម្រោងផ្ទាល់ខ្លួនរបស់ខ្ញុំ។ ហើយនេះគឺជាអ្វីដែលចេញពីវា។

មាតិកា

1. ផត
2. Минусы
3. លទ្ធផល
4. Afterword

ផត

ការគាំទ្រឆ្លើយតប

ខ្ញុំបានស្នើសុំសោសាកល្បង ហើយពួកគេបានផ្ញើវាមកខ្ញុំនៅថ្ងៃតែមួយ។

ឯកសារច្បាស់លាស់

យើងបានគ្រប់គ្រងដើម្បីបើកដំណើរការឧបករណ៍វិភាគដោយគ្មានបញ្ហា។ ជំនួយសម្រាប់ពាក្យបញ្ជាកុងសូលក៏មានផងដែរ (ទោះបីជាមានការត្អូញត្អែរខ្លះនៅទីនេះ សូមមើលផ្នែក Минусы).

លទ្ធភាពនៃការវិភាគពហុខ្សែ

ឧបករណ៍វិភាគមានជម្រើស "ស្តង់ដារ" -jអនុញ្ញាតឱ្យការវិភាគត្រូវបានអនុវត្តស្របគ្នាក្នុងកិច្ចការជាច្រើន។ នេះជួយសន្សំសំចៃពេលវេលាច្រើន។

ការមើលឃើញល្អ។

ទ្រង់ទ្រាយលទ្ធផលខុសៗគ្នាជាច្រើន ពីអត្ថបទទៅគេហទំព័រតូចមួយ។ ចំណុចប្រទាក់គេហទំព័រគឺងាយស្រួល សង្ខេប ជាមួយនឹងព័ត៌មានជំនួយនៅជាប់នឹងបន្ទាត់ក្នុងកូដ និងតំណភ្ជាប់ទៅកាន់ការពិពណ៌នារោគវិនិច្ឆ័យ.

ការរួមបញ្ចូលងាយស្រួលចូលទៅក្នុងការជួបប្រជុំគ្នា។

ឯកសារទាំងអស់គឺនៅលើគេហទំព័ររបស់ពួកគេ ខ្ញុំគ្រាន់តែអាចនិយាយបានថា ប្រសិនបើគម្រោងរបស់អ្នកត្រូវបានសាងសង់ដោយប្រើ CMake នោះអ្វីៗគឺសាមញ្ញណាស់។

ការពិពណ៌នារោគវិនិច្ឆ័យល្អ។

ប្រសិនបើអ្នកបង្កើតលទ្ធផលនៅក្នុងរបៀប fullhtmlបន្ទាប់មកសារនីមួយៗមានតំណភ្ជាប់ទៅកាន់ការពិពណ៌នារោគវិនិច្ឆ័យ ជាមួយនឹងការពន្យល់ កូដឧទាហរណ៍ និងតំណបន្ថែម។

Минусы

ភាពល្ងង់ខ្លៅនៃភាសា C ++ ដោយអ្នកវិភាគ

ជាអកុសល PVS ពេលខ្លះធ្វើឱ្យមានកំហុសវាក្យសម្ព័ន្ធ និងបង្កើតសារវិជ្ជមានមិនពិត នៅពេលដែលកូដត្រឹមត្រូវទាំងស្រុង។

ឧទាហរណ៍មានមុខងារដែលត្រឡប់ void:

template <typename T>
auto copy (const void * source, void * destination)
    ->
        std::enable_if_t
        <
            std::is_copy_constructible<T>::value
        >
{
    new (destination) T(*static_cast<const T *>(source));
}

បាទគឺជាពាក្យគន្លឹះ auto អាចមានន័យ voidនោះហើយជាអ្វីដែលវាសម្រាប់ រថយន្ត. ប៉ុន្តែ PVS បានបង្កើតសារដូចខាងក្រោមៈ

dynamic_tuple_management.hpp:29:1: error: V591 Non-void function should return a value.
dynamic_tuple_management.hpp:29:1: error: V2542 Function with a non-void return type should return a value from all exit paths.

គេហទំព័រយឺតណាស់។

បាទ/ចាស នៅក្នុងចំណុចប្រទាក់បណ្ដាញនៅជាប់នឹងសារនីមួយៗ មានតំណភ្ជាប់ទៅកាន់ការពិពណ៌នារោគវិនិច្ឆ័យដែលត្រូវគ្នាជាមួយនឹងឧទាហរណ៍។ ប៉ុន្តែនៅពេលដែលអ្នកចុចលើតំណ អ្នកត្រូវរង់ចាំយូរណាស់ ហើយពេលខ្លះវាកើតឡើង 504 ច្រកផ្លូវអស់ពេល.

ភាសា

ការពិពណ៌នាទាំងអស់ជាភាសារុស្សី ដែលពិតជាអស្ចារ្យណាស់។ ប៉ុន្តែតំណភ្ជាប់ពីរបាយការណ៍តែងតែនាំទៅរកកំណែភាសាអង់គ្លេស។ វាជាការប្រសើរណាស់ដែលអាចប្តូរភាសា ដូច្នេះអ្នកអាចមើលការវិនិច្ឆ័យភ្លាមៗជាភាសារុស្សី។ ខ្ញុំមិនបានរកឃើញជម្រើសបែបនេះនៅក្នុងចំណុចប្រទាក់ទេ។

វាមានការរអាក់រអួលក្នុងការធ្វើការជាមួយកម្រិតរោគវិនិច្ឆ័យតាមរយៈកុងសូល។

ចូរចាប់ផ្តើមជាមួយនឹងការពិតដែលថាពាក្យបញ្ជាទាំងពីរបានប្រើ (នេះ។ pvs-studio-analyzer и plog-converter) ទម្រង់ផ្សេងគ្នាសម្រាប់ការបញ្ជាក់រោគវិនិច្ឆ័យ។

ជំនួយសម្រាប់ pvs-studio-analyzer អាន៖

-a [MODE], --analysis-mode [MODE]
    MODE defines the type of warnings:
    1 - 64-bit errors;
    2 - reserved;
    4 - General Analysis;
    8 - Micro-optimizations;
    16 - Customers Specific Requests;
    32 - MISRA.
    Modes can be combined by adding the values
    Default: 4

ខ្ញុំបានចំណាយពេលយូរដើម្បីស្វែងរកកន្លែងដែលត្រូវទៅ បន្ថែម ("បន្ថែមតម្លៃ") គ្រាប់ចុច។ ខ្ញុំបានព្យាយាមរាយបញ្ជីពួកវាដោយបំបែកដោយសញ្ញាក្បៀស៖

pvs-studio-analyzer analyze ... -a 1,4,16

ខ្ញុំបានព្យាយាមចុះឈ្មោះគន្លឹះជាច្រើនដង៖

pvs-studio-analyzer analyze ... -a 1 -a 4 -a 16

ហើយមានតែពេលនោះទេដែលខ្ញុំដឹងថាទាំងនេះជារបាំងមុខ! ហើយអ្នកត្រូវការ សរុប​រួម​មកនិងមិន បន្ថែម អត្ថន័យ។ ឧទាហរណ៍ ដើម្បីទទួលបានការវិភាគទូទៅ ការវិនិច្ឆ័យសម្រាប់ការបង្កើនប្រសិទ្ធភាពមីក្រូ និង MISRA អ្នកត្រូវបូកសរុបវា (4 + 8 + 32 = 44):

pvs-studio-analyzer analyze ... -a 44

ការប្រើ bitmasks នៅក្នុងចំណុចប្រទាក់អ្នកប្រើជាទូទៅគឺជាទម្រង់មិនល្អ។ ទាំងអស់នេះអាចត្រូវបានសង្ខេបនៅខាងក្នុង ហើយសំណុំទង់អាចត្រូវបានកំណត់សម្រាប់អ្នកប្រើប្រាស់។

លើសពីនេះទៀតវាក៏មានឧបករណ៍ប្រើប្រាស់ផងដែរ។ plog-converterដែលបង្កើតព័ត៌មានការវិភាគឋិតិវន្តដែលមនុស្សអាចអានបាន។ នាងមានបញ្ហាផ្សេងទៀត។

ជំនួយសម្រាប់កម្មវិធី plog-converter របាយការណ៍៖

-a, --analyzer            Specifies analyzer(s) and level(s) to be
                          used for filtering, i.e.
                          'GA:1,2;64:1;OP:1,2,3;CS:1;MISRA:1,2'
                          Default: GA:1,2

"កម្រិត" មួយចំនួនបានបង្ហាញខ្លួននៅទីនេះ ដែលមិនមានពីមុនមក ហើយខ្ញុំមិនបានរកឃើញអ្វីអំពីពួកគេនៅក្នុងឯកសារផងដែរ។

ជាទូទៅវាមិនច្បាស់ទេ។ នោះហើយជាមូលហេតុដែលខ្ញុំកំណត់អ្វីគ្រប់យ៉ាងទៅជាអតិបរមា។

ហ្វូងនៃការស្បថឆោតល្ងង់នៅលើ Catch

គម្រោង​ពីរ​ក្នុង​ចំណោម​គម្រោង​ទាំង​បី​ដែល​ខ្ញុំ​បាន​វិភាគ​ប្រើ​បណ្ណាល័យ​តេស្ត​ឯកតា Catch2. ហើយការចែករំលែកសាររបស់សត្វតោ (!!! 90 ក្នុងចំណោម 138 ក្នុងមួយ និង 297 ក្នុងចំណោម 344 ផ្សេងទៀត!!!) មានទម្រង់ដូចខាងក្រោមៈ

មិន​គិត​បញ្ចូល​ទៅ​ក្នុង​គណនី multithreading

មានភាពវិជ្ជមានមិនពិតជាច្រើនអំពីអថេរដែលមិនផ្លាស់ប្តូរ ឬរង្វិលជុំគ្មានទីបញ្ចប់ ខណៈពេលដែលការងារជាមួយអថេរទាំងនេះកើតឡើងពីខ្សែស្រឡាយផ្សេងៗគ្នា ហើយប្រសិនបើវាមិនដូច្នោះទេ នោះការធ្វើតេស្តឯកតានឹងមិនដំណើរការទេ។

ទោះយ៉ាងណាក៏ដោយ អ្នកវិភាគឋិតិវន្តអាចយកវាទៅក្នុងគណនីបានទេ? មិនដឹងទេ។

លទ្ធផល

PVS មិនបានរកឃើញកំហុសពិតប្រាកដណាមួយនៅក្នុងគម្រោងប្រភពបើកចំហរបស់ខ្ញុំទេ។ ផ្ទុះ и បន្ទាប់ក៏ដូចជានៅក្នុងសេចក្តីព្រាងការងារ ដែលសម្រាប់ហេតុផលជាក់ស្តែង ខ្ញុំមិនអាចបង្ហាញបានទេ។ ពិតហើយ វាគឺមានតំលៃចងចាំថា ចំណុចខ្វះខាតមួយចំនួនត្រូវបានចាប់បាន និងកែតំរូវក្នុងការប្រើប្រាស់មុននេះ។ Cppcheck и scan-build.

ជាទូទៅ ការចាប់អារម្មណ៍ពីអ្នកវិភាគទាំងអស់នេះគឺប្រហែលដូចគ្នា៖ បាទ ពួកគេចាប់បានអ្វីមួយ ពេលខ្លះសូម្បីតែអ្វីមួយដែលសំខាន់ ប៉ុន្តែជាទូទៅអ្នកចងក្រងគឺគ្រប់គ្រាន់ហើយ។

វាអាចទៅរួច (ហើយខ្ញុំផ្ទាល់ចង់គិតដូច្នេះ) ដែលក្រុមរបស់យើងប្រើការអនុវត្តការអភិវឌ្ឍន៍កម្មវិធីដែលអនុញ្ញាតឱ្យយើងបង្កើតចំនួនអប្បបរមានៃកូដអាក្រក់។ ប្រសើរជាងកុំបង្កើតបញ្ហា ជាជាងយកឈ្នះដោយវីរភាព។

ដូច្នេះហើយ ខ្ញុំសូមមានសេរីភាពក្នុងការផ្តល់ដំបូន្មានខ្លះៗអំពីរបៀបសរសេរក្នុង C++ តាមរបៀបមួយ ដូចជាមិនត្រូវបាញ់ជើងអ្នកណាម្នាក់ ឬវាយនរណាម្នាក់ចំថ្ងាសដោយតុងរួច។

ធ្វើឱ្យភាគច្រើនបំផុតនៃការវិនិច្ឆ័យអ្នកចងក្រង

ក្រុមរបស់យើងប្រើ (និងណែនាំអ្នកឱ្យ) ជម្រើសចងក្រងខាងក្រោម៖

-Werror

-Wall
-Wextra
-Wpedantic

-Wcast-align
-Wcast-qual
-Wconversion
-Wctor-dtor-privacy
-Wenum-compare
-Wfloat-equal
-Wnon-virtual-dtor
-Wold-style-cast
-Woverloaded-virtual
-Wredundant-decls
-Wsign-conversion
-Wsign-promo

បើកពួកវានៅក្នុងគម្រោងរបស់អ្នក ហើយរៀនច្រើនអំពីកូដរបស់អ្នក។

ប្រកាន់ខ្ជាប់តាមស្តង់ដារ

ព្យាយាមមិនប្រើរបស់ដែលពឹងផ្អែកលើវេទិកា ប្រសិនបើមាន analogues ស្តង់ដារ ហើយប្រសិនបើអ្នកពិតជាមិនអាចធ្វើដោយគ្មានពួកវាទេ សូមរុំវានៅក្នុងប្លុកពិសេសសម្រាប់ម៉ាក្រូ (ឬអ្វីផ្សេងទៀត) ហើយគ្រាន់តែកុំឱ្យកូដរបស់អ្នកត្រូវបានចងក្រងនៅក្រោមលក្ខខណ្ឌដែលមិនគាំទ្រ។

ប្រកាន់ខ្ជាប់នូវសមីការប្រតិបត្តិការស្តង់ដារ

ការបន្ថែមត្រូវតែបូក, គុណត្រូវតែជាគុណ, ការហៅមុខងារត្រូវតែជាមុខងារហៅ, ច្បាប់ចម្លងត្រូវតែចម្លង, យកត្រូវតែមាន, កុងតឺន័រត្រូវតែអាចប្រើបាន, អ្នកសរសេរត្រូវតែមានការផ្សព្វផ្សាយ ++ និងការយោង *. ហើយដូច្នេះនៅលើជាដើម។

ខ្ញុំគិតថាគំនិតគឺច្បាស់។ មាន​អនុសញ្ញា​ដែល​បាន​បង្កើត​ឡើង​ដែល​មិន​ជាប់​កាតព្វកិច្ច ប៉ុន្តែ​អ្នក​ប្រើ​និង​អ្នក​អាន​កូដ​ទាំងអស់​រំពឹង​ថា​នឹង​ឃើញ។ កុំ​ព្យាយាម​មើលងាយ​អ្នក​ដទៃ បើ​មិន​ដូច្នេះ​ទេ អ្នក​នឹង​ហួស​ចិត្ត​ខ្លួនឯង។

សរសេរកូដដែលត្រូវគ្នា។

ជាដំបូងខ្ញុំមានន័យថា បណ្ណាល័យស្តង់ដារ។ វាជាការចង់បានយ៉ាងខ្លាំងដែលចំណុចប្រទាក់នៃថ្នាក់ និងមុខងាររបស់អ្នកអាចត្រូវបានប្រើជាមួយបណ្ណាល័យស្តង់ដារ និងផ្សេងទៀត (ឧទាហរណ៍ Boost)។

សូមក្រឡេកមើលចំណុចប្រទាក់ STL និង Boost ។ ជាមួយនឹងករណីលើកលែងដ៏កម្រ អ្នកនឹងឃើញគំរូដ៏សក្ដិសមនៅទីនោះ។

ទទួលបានអត្ថប្រយោជន៍ច្រើនបំផុតពីឧបករណ៍ប្រភពបើកចំហ

សម្រាប់ការវិភាគឋិតិវន្តដូចគ្នា យ៉ាងហោចណាស់មានឧបករណ៍ឥតគិតថ្លៃចំនួនពីរដែលអាចភ្ជាប់បានតែម្តងទៅគម្រោងណាមួយជាមួយនឹងប្រព័ន្ធស្ថាបនា CMake ។

អ្នកអាចអានបន្ថែមអំពីរឿងនេះនៅក្នុងការបោះពុម្ពផ្សាយថ្មីៗរបស់ខ្ញុំ.

Afterword

ជាចុងក្រោយ ខ្ញុំចង់បញ្ជាក់ថា ខ្ញុំមិនតស៊ូមតិមិនប្រើ PVS ឬឧបករណ៍វិភាគឋិតិវន្តផ្សេងទៀតទេ។ ប៉ុន្តែខ្ញុំលើកទឹកចិត្តអ្នកឱ្យគិតអំពីរបៀបដែលវាបានកើតឡើងដែលអ្នកវិភាគឋិតិវន្តរកឃើញកំហុសសំខាន់ៗនៅក្នុងកូដរបស់អ្នក។

នេះគ្រាន់តែជាផលវិបាកប៉ុណ្ណោះ។ យើងត្រូវស្វែងរក និងលុបបំបាត់មូលហេតុ។

ប្រភព: www.habr.com