🥇ស្វែងយល់ពីឧបករណ៍វិភាគឋិតិវន្ត PVS-Studio នៅពេលអភិវឌ្ឍកម្មវិធី C++ នៅក្នុងបរិស្ថាន Linux

PVS-Studio គាំទ្រការវិភាគគម្រោងដែលសរសេរជា C, C++, C# និង Java។ ឧបករណ៍វិភាគនេះអាចត្រូវបានប្រើលើប្រព័ន្ធនានា។ Windows, Linux и macOSអត្ថបទនេះនឹងពិភាក្សាអំពីការវិភាគកូដដែលសរសេរជា C និង C++ នៅក្នុងបរិស្ថាន Linux.

ការកំណត់

ដំឡើង PVS-Studio នៅក្រោម Linux មានវិធីជាច្រើនដើម្បីធ្វើដូចនេះ អាស្រ័យលើប្រភេទនៃការចែកចាយ។ វិធីសាស្ត្រងាយស្រួល និងពេញចិត្តបំផុតគឺប្រើឃ្លាំងផ្ទុក ព្រោះវាអនុញ្ញាតឱ្យមានការអាប់ដេតដោយស្វ័យប្រវត្តិនៃឧបករណ៍វិភាគនៅពេលដែលកំណែថ្មីត្រូវបានចេញផ្សាយ។ ជម្រើសទីពីរគឺប្រើកញ្ចប់ដំឡើង ដែលអាចទាញយកបាន។ នៅទីនេះ.

ពាក្យបញ្ជាដែលអ្នកត្រូវដំណើរការសម្រាប់ការដំឡើងអាស្រ័យលើការចែកចាយ។ Linuxដែលអ្នកប្រើ។ ឧទាហរណ៍ សម្រាប់ប្រព័ន្ធដែលផ្អែកលើ Debianការដំឡើងពីឃ្លាំងមើលទៅដូចនេះ៖

wget -q -O - https://files.viva64.com/etc/pubkey.txt | sudo apt-key add -

sudo wget -O /etc/apt/sources.list.d/viva64.list 
https://files.viva64.com/etc/viva64.list

sudo apt update
sudo apt install pvs-studio

ដើម្បីដំឡើង PVS-Studio ពីកញ្ចប់ដំឡើង អ្នកអាចប្រើឧបករណ៍ប្រើប្រាស់ gdebi៖

sudo gdebi pvs-studio-VERSION.deb

ដំណើរការដំឡើងត្រូវបានពិពណ៌នាលម្អិតនៅក្នុងផ្នែក "ការដំឡើង និងការធ្វើបច្ចុប្បន្នភាព PVS-Studio នៅក្នុង Linux» ឯកសារ។ នៅទីនោះ អ្នកក៏អាចស្វែងរកព័ត៌មានអំពីប្រព័ន្ធដែលមិនផ្អែកលើ Debian.

បន្ទាប់ពីការដំឡើងអ្នកត្រូវបញ្ចូលព័ត៌មានអាជ្ញាប័ណ្ណ។ ដើម្បីធ្វើដូចនេះសូមប្រើពាក្យបញ្ជា

pvs-studio-analyzer credentials NAME KEY [-o LIC-FILE]

កន្លែងណា NAME и KEY - ឈ្មោះដែលអាជ្ញាប័ណ្ណត្រូវបានចុះបញ្ជី និងសោអាជ្ញាប័ណ្ណ។ ប៉ារ៉ាម៉ែត្រស្រេចចិត្ត -ឬ អនុញ្ញាតឱ្យអ្នកបញ្ជាក់ផ្លូវដែលឯកសារអាជ្ញាប័ណ្ណនឹងត្រូវបានបង្កើត។ តាមលំនាំដើមវាត្រូវបានរក្សាទុកក្នុងថត ~/.config/PVS-Studio/.

អ្នកអាចទទួលបានគន្លឹះសាកល្បងនៅលើទំព័រ "ទាញយក និងសាកល្បង PVS-Studio"។

ការផ្ទៀងផ្ទាត់គម្រោង

បន្ទាប់ពីដំឡើងឧបករណ៍វិភាគ អ្នកអាចចាប់ផ្តើមពិនិត្យមើលគម្រោង។ មានវិធីសំខាន់ពីរដើម្បីធ្វើរឿងនេះ៖

ការត្រួតពិនិត្យការចងក្រង;
ដំណើរការក្នុងអំឡុងពេលដំណើរការសាងសង់ដោយផ្ទាល់ពីប្រព័ន្ធស្ថាបនា។

ចូរយើងពិនិត្យមើលវិធីសាស្ត្រដំបូងជាមុនសិន។ ដើម្បីចាប់ផ្តើមត្រួតពិនិត្យនៅក្រោម Linux, អ្នកនឹងត្រូវការឧបករណ៍ប្រើប្រាស់ ខ្សែ. អ្នកវិភាគប្រើវាដើម្បីប្រមូលព័ត៌មានអំពីដំណើរការណាមួយដែលត្រូវបានចាប់ផ្តើមកំឡុងពេលបង្កើតគម្រោង។

ការបាញ់បង្ហោះត្រូវបានអនុវត្តដោយពាក្យបញ្ជាដូចខាងក្រោមៈ

pvs-studio-analyzer trace -- make

ឧទាហរណ៍នេះប្រើ make to build ប៉ុន្តែ make call អាចត្រូវបានជំនួសដោយ command ផ្សេងទៀតដែលអ្នកប្រើដើម្បីចាប់ផ្តើម build។ ប៉ារ៉ាម៉ែត្របន្ទាត់ពាក្យបញ្ជាអាចត្រូវបានបញ្ជូនទៅវាតាមរបៀបធម្មតា។

នៅពេលបង្កើតរួច ខ្សែនឹងបង្កើតឯកសារដែលអ្នកវិភាគនឹងប្រើដើម្បីពិនិត្យមើលកូដប្រភព។ អ្នកអាចចាប់ផ្តើមការវិភាគដោយប្រើពាក្យបញ្ជា

pvs-studio-analyzer analyze -o /path/to/project.log

លទ្ធផលនឹងជាឯកសារដែលបានអ៊ិនកូដជាមួយលទ្ធផល ដែលអ្នកអាចបំប្លែងទៅជាទម្រង់ដែលបានគាំទ្រ។ យើងនឹងពិនិត្យមើលការធ្វើការជាមួយរបាយការណ៍នៅក្នុងផ្នែកបន្ទាប់។

បន្ថែមពីលើការប្រើ strace ការវិភាគក៏អាចដំណើរការដោយផ្អែកលើឯកសារផងដែរ។ compile_commands.json (មូលដ្ឋានទិន្នន័យចងក្រង JSON) ។ ប្រព័ន្ធស្ថាបនាជាច្រើនអនុញ្ញាតឱ្យអ្នកនាំចេញពាក្យបញ្ជាហៅកម្មវិធីចងក្រង ឬអ្នកអាចប្រើឧបករណ៍ប្រើប្រាស់ ខ្លាឃ្មុំ។. ក្នុងករណីនេះអ្នកអាចចាប់ផ្តើមការវិភាគដោយប្រើពាក្យបញ្ជា

pvs-studio-analyzer analyze –f /path/to/compile_commands.json

វាគួរតែត្រូវបានកត់សម្គាល់ថាអ្នកវិភាគទទួលស្គាល់អ្នកចងក្រងដែលប្រើដោយឈ្មោះឯកសារដែលអាចប្រតិបត្តិបាន។ ប្រសិនបើអ្នកទទួលបានកំហុស "រកមិនឃើញឯកតាចងក្រង" នៅពេលពិនិត្យ សូមព្យាយាមបញ្ជាក់ឈ្មោះអ្នកចងក្រងរបស់អ្នកតាមប៉ារ៉ាម៉ែត្រ - អ្នកចងក្រង ឬ – គ:

pvs-studio-analyzer analyze -c MyCompiler

នេះអាចជាការចាំបាច់នៅពេលដែលការចងក្រងឆ្លង និងប្រើប្រាស់កម្មវិធីចងក្រងដែលមានឈ្មោះឯកសារដែលមិនអាចប្រតិបត្តិបានស្តង់ដារ។

បន្ថែមពីលើការដំណើរការក្នុងរបៀបត្រួតពិនិត្យ អ្នកអាចបញ្ចូលឧបករណ៍វិភាគទៅក្នុងប្រព័ន្ធសាងសង់ ឬ IDE របស់អ្នក។ ឧទាហរណ៍នៃគម្រោងជាមួយនឹងការរួមបញ្ចូលដែលបានកំណត់រចនាសម្ព័ន្ធរួចហើយអាចរកបាននៅ GitHub នៅក្នុងឃ្លាំង PVS_Studio៖

ការណែនាំលម្អិតបន្ថែមអំពីរបៀបដំណើរការការវិភាគមាននៅខាងក្រោម។ Linux រកមើល ឯកសារ.

ធ្វើការជាមួយរបាយការណ៍

បន្ទាប់ពីពិនិត្យមើលការរចនា អ្នកវិភាគបង្កើតរបាយការណ៍កូដ។ ដើម្បីបំប្លែងវាទៅជាទម្រង់ដែលបានគាំទ្រ អ្នកគួរតែប្រើឧបករណ៍ប្រើប្រាស់ កម្មវិធីបម្លែង plogដែលត្រូវបានដំឡើងជាមួយ PVS-Studio ។

ឧបករណ៍ប្រើប្រាស់គាំទ្រទម្រង់ដូចខាងក្រោមៈ

xml - ទម្រង់ងាយស្រួលសម្រាប់ដំណើរការបន្ថែមនៃលទ្ធផលវិភាគ គាំទ្រដោយកម្មវិធីជំនួយសម្រាប់ SonarQube;
csv - ទម្រង់អត្ថបទដែលមានបំណងសម្រាប់បង្ហាញទិន្នន័យតារាង;
errorfile - ទម្រង់លទ្ធផល gcc និង clang;
បញ្ជីភារកិច្ច - ទម្រង់កំហុសដែលអាចត្រូវបានបើកនៅក្នុង QtCreator;
html - របាយការណ៍ html ជាមួយនឹងការពិពណ៌នាសង្ខេបនៃលទ្ធផលវិភាគ;
fullhtml – របាយការណ៍ html ជាមួយនឹងលទ្ធផលការវិភាគតម្រៀបតាមប៉ារ៉ាម៉ែត្រផ្សេងគ្នា និងការរុករកតាមរយៈកូដប្រភព។

ទម្រង់ fullhtml គឺងាយស្រួលបំផុតសម្រាប់ការមើលរបាយការណ៍ ព្រោះវាអនុញ្ញាតឱ្យអ្នកទៅកាន់បន្ទាត់នៃកូដប្រភពដែលជាកន្លែងដែលការព្រមានបានកើតឡើង។ ពាក្យបញ្ជាខាងក្រោមអនុញ្ញាតឱ្យអ្នកបំប្លែងរបាយការណ៍អ្នកវិភាគទៅជាទម្រង់នេះ៖

plog-converter -a GA:1,2 -t fullhtml /path/project.log -o /path/report_dir

បន្ទាប់ពីប្រតិបត្តិពាក្យបញ្ជា ថតមួយនឹងត្រូវបានបង្កើត /path/report_dirដែលនឹងមានឯកសាររបាយការណ៍។

យកចិត្តទុកដាក់លើគន្លឹះ -a. វាអនុញ្ញាតឱ្យអ្នកបញ្ជាក់ការព្រមានណាមួយដែលគួរបញ្ចូលក្នុងរបាយការណ៍។ វាងាយស្រួលប្រសិនបើមានតម្រូវការក្នុងការត្រងលទ្ធផលរបស់ឧបករណ៍វិភាគ។ ពាក្យបញ្ជាខាងលើនឹងបង្កើតរបាយការណ៍ដែលនឹងមានតែការព្រមានពីក្រុមវិភាគទូទៅនៃកម្រិតទំនុកចិត្តទីមួយ និងទីពីរ (ខ្ពស់ и មធ្យម).

របាយការណ៍គំរូ៖

ដោយចុចលើក្រឡាមួយ។ ទីតាំង សារ អ្នកអាចលោតទៅកាន់បន្ទាត់កូដដែលត្រូវគ្នា៖

ចុចលើលេខរោគវិនិច្ឆ័យក្នុងជួរឈរ លេខកូដ នឹងបើកឯកសារដែលពិពណ៌នាអំពីរោគវិនិច្ឆ័យនេះ។

ការទប់ស្កាត់ការកេះឧបករណ៍វិភាគ

នៅពេលពិនិត្យកូដដោយប្រើឧបករណ៍វិភាគឋិតិវន្ត ភាពវិជ្ជមានមិនពិត ឬសារដែលមិនចង់បាន (សំឡេងរំខាន) គឺអាចធ្វើទៅបាន។ PVS-Studio ផ្តល់យន្តការសម្រាប់ទប់ស្កាត់ការព្រមានបែបនេះ។ ដើម្បីទប់ស្កាត់ការកេះជាលក្ខណៈបុគ្គល អ្នកអាចប្រើវិធីមួយក្នុងចំណោមវិធីដែលបានពិពណ៌នាក្នុងផ្នែកឯកសារ "ការទប់ស្កាត់ការជូនដំណឹងមិនពិត"។

ម្យ៉ាងទៀត នៅពេលវិភាគកូដចាស់ វាអាចចាំបាច់ក្នុងការទប់ស្កាត់សារទាំងអស់។ ជាធម្មតា វាចាំបាច់ដើម្បីពិនិត្យមើលតែកូដដែលត្រូវបានបន្ថែមទៅមូលដ្ឋានកូដដែលមានស្រាប់។ ដើម្បីធ្វើដូចនេះសូមប្រើប៉ារ៉ាម៉ែត្រ បង្ក្រាប ឧបករណ៍ប្រើប្រាស់ pvs-studio-អ្នកវិភាគ.

អ្នកអាចបង្រ្កាបសារយ៉ាងច្រើននៅក្នុងរបាយការណ៍ដោយប្រើពាក្យបញ្ជាខាងក្រោម៖

pvs-studio-analyzer suppress /path/to/report.log

ព័ត៌មានអំពីសារដែលត្រូវបានបង្ក្រាបត្រូវបានរក្សាទុកក្នុងឯកសារមួយ។ suppress_base.jsonដែលស្ថិតនៅជាប់គម្រោង។ សារបែបនេះត្រូវបានដកចេញពីរបាយការណ៍កំឡុងពេលត្រួតពិនិត្យជាបន្តបន្ទាប់។

យន្តការនេះត្រូវបានពិពណ៌នាលម្អិតបន្ថែមទៀតនៅក្នុងឯកសារ នៅទីនេះ.

សេចក្តីសន្និដ្ឋាន

នេះជាការណែនាំសង្ខេបអំពីការប្រើប្រាស់ឧបករណ៍វិភាគ PVS-Studio ក្រោម... Linuxខ្ញុំសង្ឃឹមថារឿងនេះមានប្រយោជន៍ ហើយបានឆ្លើយសំណួរមួយចំនួនដែលអ្នកសួរញឹកញាប់បំផុត។ អ្នកអាចអានបន្ថែមអំពីប្រធានបទនេះនៅក្នុងឯកសារ។ នៅទីនេះ.

ប្រសិនបើអ្នកចង់ចែករំលែកអត្ថបទនេះជាមួយទស្សនិកជនដែលនិយាយភាសាអង់គ្លេស សូមប្រើតំណភ្ជាប់ការបកប្រែ៖ Yuri Minaev ។ ការចាប់ផ្តើមជាមួយ PVS-Studio Static Analyzer សម្រាប់ការអភិវឌ្ឍន៍ C++ ក្រោម Linux.

ប្រភព: www.habr.com