PVS-Studio និងការរួមបញ្ចូលជាបន្តបន្ទាប់៖ TeamCity ។ ការវិភាគលើគម្រោង Open RollerCoaster Tycoon 2

សេណារីយ៉ូមួយក្នុងចំណោមសេណារីយ៉ូបច្ចុប្បន្នបំផុតសម្រាប់ការប្រើប្រាស់ឧបករណ៍វិភាគ PVS-Studio គឺការរួមបញ្ចូលរបស់វាជាមួយប្រព័ន្ធ CI ។ ហើយទោះបីជាការវិភាគនៃគម្រោង PVS-Studio ពីប្រព័ន្ធរួមបញ្ចូលជាបន្តបន្ទាប់ស្ទើរតែទាំងអស់អាចត្រូវបានបង្កើតទៅជាពាក្យបញ្ជាមួយចំនួនក៏ដោយ ក៏យើងបន្តធ្វើឱ្យដំណើរការនេះកាន់តែងាយស្រួល។ ឥឡូវនេះ PVS-Studio មានការគាំទ្រសម្រាប់ការបំប្លែងលទ្ធផលអ្នកវិភាគទៅជាទម្រង់សម្រាប់ TeamCity - TeamCity Inspections Type។ តោះមើលរបៀបដែលវាដំណើរការ។

ព័ត៌មានអំពីកម្មវិធីដែលបានប្រើ

ភី។ អេស។ អេស។ ស្ទូឌីយោ — ឧបករណ៍វិភាគឋិតិវន្តសម្រាប់កូដ C, C++, C# និង Java ដែលត្រូវបានរចនាឡើងដើម្បីសម្រួលដល់កិច្ចការស្វែងរក និងជួសជុលកំហុសប្រភេទផ្សេងៗ។ ឧបករណ៍វិភាគអាចត្រូវបានប្រើនៅក្នុង Windows, Linux и macOSនៅក្នុងអត្ថបទនេះ យើងនឹងប្រើប្រាស់យ៉ាងសកម្មមិនត្រឹមតែឧបករណ៍វិភាគខ្លួនឯងប៉ុណ្ណោះទេ ប៉ុន្តែថែមទាំងឧបករណ៍ប្រើប្រាស់មួយចំនួនពីការចែកចាយរបស់វាផងដែរ។

CLMonitor — គឺ​ជា​ម៉ាស៊ីន​មេ​ត្រួត​ពិនិត្យ​ដែល​ត្រួត​ពិនិត្យ​ការ​បើក​ដំណើរ​ការ​ចងក្រង។ វាត្រូវតែដំណើរការភ្លាមៗមុនពេលចាប់ផ្តើមបង្កើតគម្រោងរបស់អ្នក។ នៅក្នុងរបៀប snooping, server នឹងរារាំងដំណើរការនៃ compilers ដែលគាំទ្រទាំងអស់។ គួរកត់សម្គាល់ថាឧបករណ៍ប្រើប្រាស់នេះអាចប្រើដើម្បីវិភាគគម្រោង C/C++ ប៉ុណ្ណោះ។

កម្មវិធីបម្លែង Plog - ឧបករណ៍ប្រើប្រាស់សម្រាប់បំប្លែងរបាយការណ៍អ្នកវិភាគទៅជាទម្រង់ផ្សេងៗ។

ព័ត៌មានអំពីគម្រោងដែលកំពុងសិក្សា

តោះសាកល្បងមុខងារនេះនៅលើឧទាហរណ៍ជាក់ស្តែង - តោះវិភាគគម្រោង OpenRCT2 ។

OpenRCT2 - ការអនុវត្តបើកចំហនៃហ្គេម RollerCoaster Tycoon 2 (RCT2) ដោយពង្រីកវាជាមួយនឹងមុខងារថ្មី និងជួសជុលកំហុស។ ការលេងហ្គេមវិលជុំវិញការសាងសង់ និងការថែរក្សាសួនកម្សាន្តដែលមានកន្លែងជិះ ហាង និងសម្ភារៈបរិក្ខារផ្សេងៗ។ អ្នកលេងត្រូវតែព្យាយាមរកប្រាក់ចំណេញ និងរក្សាកេរ្តិ៍ឈ្មោះល្អរបស់ឧទ្យាន ខណៈពេលដែលធ្វើឱ្យភ្ញៀវសប្បាយចិត្ត។ OpenRCT2 អនុញ្ញាតឱ្យអ្នកលេងទាំងក្នុងសេណារីយ៉ូ និងប្រអប់ខ្សាច់។ សេណារីយ៉ូតម្រូវឱ្យអ្នកលេងបំពេញកិច្ចការជាក់លាក់មួយក្នុងរយៈពេលកំណត់ ខណៈពេលដែល Sandbox អនុញ្ញាតឱ្យអ្នកលេងបង្កើតសួនកម្សាន្តដែលអាចបត់បែនបានដោយមិនមានការរឹតបន្តឹង ឬហិរញ្ញវត្ថុណាមួយឡើយ។

ការលៃតម្រូវ

ដើម្បីសន្សំពេលវេលា ខ្ញុំប្រហែលនឹងរំលងដំណើរការដំឡើង ហើយចាប់ផ្តើមពីពេលដែលខ្ញុំមានម៉ាស៊ីនមេ TeamCity ដំណើរការលើកុំព្យូទ័ររបស់ខ្ញុំ។ យើងត្រូវចូលទៅកាន់៖ localhost:{port ដែលបានបញ្ជាក់ក្នុងអំឡុងពេលដំណើរការដំឡើង} (ក្នុងករណីរបស់ខ្ញុំ localhost:9090) ហើយបញ្ចូលទិន្នន័យការអនុញ្ញាត។ បន្ទាប់ពីចូលយើងនឹងស្វាគមន៍ដោយ៖

ចុចលើប៊ូតុងបង្កើតគម្រោង។ បន្ទាប់មកជ្រើសរើសដោយដៃ ហើយបំពេញក្នុងវាល។

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

តោះចុច បង្កើតការកំណត់រចនាសម្ព័ន្ធ.

បំពេញវាលហើយចុច បង្កើត. យើងឃើញបង្អួចមួយដែលស្នើឱ្យអ្នកជ្រើសរើសប្រព័ន្ធត្រួតពិនិត្យកំណែ។ ដោយសារប្រភពមានទីតាំងរួចហើយ សូមចុច រំលង.

ជាចុងក្រោយ យើងបន្តទៅការកំណត់គម្រោង។

តោះ​បន្ថែម​ជំហាន​ដំឡើង​ដើម្បី​ធ្វើ​ការ​ចុច​នេះ៖ ជំហានសាងសង់ -> បន្ថែមជំហានសាងសង់.

នៅទីនេះយើងជ្រើសរើស៖

• ប្រភេទអ្នករត់ -> បន្ទាត់ពាក្យបញ្ជា
• រត់ -> ស្គ្រីបផ្ទាល់ខ្លួន

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

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

រឿងចុងក្រោយដែលយើងត្រូវធ្វើគឺកំណត់អថេរបរិស្ថាន ដែលខ្ញុំបានរៀបរាប់អំពីវិធីមួយចំនួនដើម្បីកែលម្អលទ្ធភាពអានរបស់ពួកគេ។ ដើម្បីធ្វើដូចនេះសូមបន្ត៖ ប៉ារ៉ាម៉ែត្រ -> បន្ថែមប៉ារ៉ាម៉ែត្រថ្មី។ ហើយបន្ថែមអថេរបី៖

អ្វីដែលអ្នកត្រូវធ្វើគឺចុចប៊ូតុង Run នៅជ្រុងខាងស្តាំខាងលើ។ ខណៈពេលដែលគម្រោងកំពុងត្រូវបានប្រមូលផ្តុំ និងវិភាគ ខ្ញុំនឹងប្រាប់អ្នកអំពីស្គ្រីប។

ស្គ្រីបដោយផ្ទាល់

ដំបូងយើងត្រូវទាញយកការចែកចាយ PVS-Studio ចុងក្រោយបង្អស់។ សម្រាប់បញ្ហានេះយើងប្រើកម្មវិធីគ្រប់គ្រងកញ្ចប់ Chocolatey ។ សម្រាប់អ្នកដែលចង់ដឹងបន្ថែមអំពីរឿងនេះមានដែលត្រូវគ្នា។ អត្ថបទ:

choco install pvs-studio -y

បន្ទាប់មក សូមបើកដំណើរការឧបករណ៍តាមដានការកសាងគម្រោង CLMonitor ។

%CLmon% monitor –-attach

បន្ទាប់មកយើងនឹងសាងសង់គម្រោងជាអថេរបរិស្ថាន អេសប៊ីប៊ី គឺជាផ្លូវទៅកាន់កំណែ MSBuild ដែលខ្ញុំត្រូវសាងសង់

%MSB% %ProjPath% /t:clean
%MSB% %ProjPath% /t:rebuild /p:configuration=release
%MSB% %ProjPath% /t:g2
%MSB% %ProjPath% /t:PublishPortable

តោះបញ្ចូលលេខកូដចូល និងអាជ្ញាប័ណ្ណសម្រាប់ PVS-Studio៖

%PVS-Studio_cmd% credentials --username %PVS_Name% --serialNumber %PVS_Key%

បន្ទាប់ពីការសាងសង់បានបញ្ចប់ សូមដំណើរការ CLMonitor ម្តងទៀតដើម្បីបង្កើតឯកសារដែលបានដំណើរការមុន និងការវិភាគឋិតិវន្ត៖

%CLmon% analyze -l "c:ptest.plog"

បន្ទាប់មកយើងនឹងប្រើប្រាស់ឧបករណ៍ប្រើប្រាស់មួយផ្សេងទៀតពីការចែកចាយរបស់យើង។ PlogConverter បំប្លែងរបាយការណ៍ពីទម្រង់ស្តង់ដារទៅជាទម្រង់ជាក់លាក់របស់ TeamCity ។ សូមអរគុណចំពោះការនេះ យើងនឹងអាចមើលវាដោយផ្ទាល់នៅក្នុងបង្អួចសាងសង់។

%PlogConverter% "c:ptest.plog" --renderTypes=TeamCity -o "C:temp"

ជំហានចុងក្រោយគឺត្រូវបង្ហាញរបាយការណ៍ដែលបានធ្វើទ្រង់ទ្រាយនៅក្នុង stdoutដែលជាកន្លែងដែលវានឹងត្រូវបានជ្រើសរើសដោយអ្នកញែក TeamCity ។

type "C:tempptest.plog_TeamCity.txt"

កូដស្គ្រីបពេញ៖

choco install pvs-studio -y
%CLmon% monitor --attach
set platform=x64
%MSB% %ProjPath% /t:clean
%MSB% %ProjPath% /t:rebuild /p:configuration=release
%MSB% %ProjPath% /t:g2
%MSB% %ProjPath% /t:PublishPortable
%PVS-Studio_cmd% credentials --username %PVS_Name% --serialNumber %PVS_Key%
%CLmon% analyze -l "c:ptest.plog"
%PlogConverter% "c:ptest.plog" --renderTypes=TeamCity -o "C:temp"
type "C:tempptest.plog_TeamCity.txt"

ក្នុងពេលនេះការជួបប្រជុំគ្នានិងការវិភាគនៃគម្រោងត្រូវបានបញ្ចប់ដោយជោគជ័យយើងអាចចូលទៅកាន់ផ្ទាំង គម្រោង ហើយត្រូវប្រាកដថាវា។

ឥឡូវនេះសូមចុចលើ ការត្រួតពិនិត្យសរុបទៅមើលរបាយការណ៍អ្នកវិភាគ៖

ការព្រមានត្រូវបានដាក់ជាក្រុមដោយលេខក្បួនរោគវិនិច្ឆ័យ។ ដើម្បីរុករកតាមលេខកូដ អ្នកត្រូវចុចលើលេខបន្ទាត់ដែលមានសញ្ញាព្រមាន។ ការចុចលើសញ្ញាសួរនៅជ្រុងខាងស្តាំខាងលើនឹងបើកផ្ទាំងថ្មីមួយជាមួយឯកសារ។ អ្នកក៏អាចរុករកតាមរយៈកូដដោយចុចលើលេខបន្ទាត់ជាមួយនឹងការព្រមានអ្នកវិភាគ។ ការរុករកពីកុំព្យូទ័រពីចម្ងាយគឺអាចធ្វើទៅបាននៅពេលប្រើ ប្រភពTreeRoot សញ្ញាសម្គាល់។ នរណាម្នាក់ដែលចាប់អារម្មណ៍លើរបៀបប្រតិបត្តិការរបស់អ្នកវិភាគនេះអាចស្គាល់ខ្លួនឯងជាមួយនឹងផ្នែកដែលត្រូវគ្នា។ ឯកសារ.

ការមើលលទ្ធផលរបស់អ្នកវិភាគ

ឥឡូវនេះ យើងបានបញ្ចប់ការដាក់ពង្រាយ និងកំណត់រចនាសម្ព័ន្ធសំណង់ហើយ សូមពិនិត្យមើលការព្រមានគួរឱ្យចាប់អារម្មណ៍មួយចំនួនដែលបានរកឃើញនៅក្នុងគម្រោងដែលយើងកំពុងមើល។

ការព្រមាន N1

V773 [CWE-401] ករណីលើកលែងត្រូវបានបោះចោលដោយមិនបញ្ចេញទ្រនិច 'លទ្ធផល' ។ ការលេចធ្លាយអង្គចងចាំគឺអាចធ្វើទៅបាន។ libopenrct2 ObjectFactory.cpp ៤៤៣

Object* CreateObjectFromJson(....)
{
  Object* result = nullptr;
  ....
  result = CreateObject(entry);
  ....
  if (readContext.WasError())
  {
    throw std::runtime_error("Object has errors");
  }
  ....
}

Object* CreateObject(const rct_object_entry& entry)
{
  Object* result;
  switch (entry.GetType())
  {
    case OBJECT_TYPE_RIDE:
      result = new RideObject(entry);
      break;
    case OBJECT_TYPE_SMALL_SCENERY:
      result = new SmallSceneryObject(entry);
      break;
    case OBJECT_TYPE_LARGE_SCENERY:
      result = new LargeSceneryObject(entry);
      break;
    ....
    default:
      throw std::runtime_error("Invalid object type");
  }
  return result;
}

អ្នកវិភាគបានកត់សម្គាល់ឃើញកំហុសដែលបន្ទាប់ពីបែងចែកអង្គចងចាំដោយថាមវន្ត បង្កើតវត្ថុនៅពេលករណីលើកលែងកើតឡើង អង្គចងចាំមិនត្រូវបានសម្អាតទេ ហើយការលេចធ្លាយអង្គចងចាំកើតឡើង។

ការព្រមាន N2

V501 មានកន្សោមរងដូចគ្នាបេះបិទ '(1ULL << WIDX_MONTH_BOX)' នៅខាងឆ្វេង និងទៅខាងស្តាំនៃ '|' ប្រតិបត្តិករ។ libopenrct2ui Cheats.cpp ៤៨៧

static uint64_t window_cheats_page_enabled_widgets[] = 
{
  MAIN_CHEAT_ENABLED_WIDGETS |
  (1ULL << WIDX_NO_MONEY) |
  (1ULL << WIDX_ADD_SET_MONEY_GROUP) |
  (1ULL << WIDX_MONEY_SPINNER) |
  (1ULL << WIDX_MONEY_SPINNER_INCREMENT) |
  (1ULL << WIDX_MONEY_SPINNER_DECREMENT) |
  (1ULL << WIDX_ADD_MONEY) |
  (1ULL << WIDX_SET_MONEY) |
  (1ULL << WIDX_CLEAR_LOAN) |
  (1ULL << WIDX_DATE_SET) |
  (1ULL << WIDX_MONTH_BOX) |  // <=
  (1ULL << WIDX_MONTH_UP) |
  (1ULL << WIDX_MONTH_DOWN) |
  (1ULL << WIDX_YEAR_BOX) |
  (1ULL << WIDX_YEAR_UP) |
  (1ULL << WIDX_YEAR_DOWN) |
  (1ULL << WIDX_DAY_BOX) |
  (1ULL << WIDX_DAY_UP) |
  (1ULL << WIDX_DAY_DOWN) |
  (1ULL << WIDX_MONTH_BOX) |  // <=
  (1ULL << WIDX_DATE_GROUP) |
  (1ULL << WIDX_DATE_RESET),
  ....
};

មានមនុស្សតិចណាស់ដែលក្រៅពីអ្នកវិភាគឋិតិវន្តអាចឆ្លងកាត់ការសាកល្បងការយកចិត្តទុកដាក់នេះ។ ឧទាហរណ៍នៃការចម្លងបិទភ្ជាប់នេះគឺល្អសម្រាប់ហេតុផលនេះយ៉ាងជាក់លាក់។

ការព្រមាន N3

V703 វាជារឿងចម្លែកដែលវាល 'ទង់' នៅក្នុងថ្នាក់ដែលបានមកពី 'RCT12BannerElement' សរសេរជាន់លើវាលនៅក្នុងថ្នាក់មូលដ្ឋាន 'RCT12TileElementBase' ។ ពិនិត្យបន្ទាត់៖ RCT12.h:570, RCT12.h:259។ libopenrct2 RCT12.h 570

struct RCT12SpriteBase
{
  ....
  uint8_t flags;
  ....
};
struct rct1_peep : RCT12SpriteBase
{
  ....
  uint8_t flags;
  ....
};

ជា​ការ​ពិត​ណាស់ ការ​ប្រើ​អថេរ​ដែល​មាន​ឈ្មោះ​ដូច​គ្នា​នៅ​ក្នុង​ថ្នាក់​មូលដ្ឋាន និង​ក្នុង​លំដាប់​បន្ត​មិន​មែន​តែងតែ​មាន​កំហុស​នោះ​ទេ។ ទោះជាយ៉ាងណាក៏ដោយ បច្ចេកវិទ្យាមរតកដោយខ្លួនវាសន្មត់ថាគ្រប់វិស័យទាំងអស់នៃថ្នាក់មេគឺមានវត្តមាននៅក្នុងថ្នាក់កូន។ តាមរយៈការប្រកាសវាលដែលមានឈ្មោះដូចគ្នានៅក្នុងអ្នកទទួលមរតក យើងបង្កើតការភ័ន្តច្រឡំ។

ការព្រមាន N4

V793 វាជារឿងចម្លែកដែលលទ្ធផលនៃសេចក្តីថ្លែងការណ៍ 'imageDirection / 8' គឺជាផ្នែកមួយនៃលក្ខខណ្ឌ។ ប្រហែលជាសេចក្តីថ្លែងការណ៍នេះគួរតែត្រូវបានប្រៀបធៀបជាមួយអ្វីផ្សេងទៀត។ libopenrct2 ObservationTower.cpp ៣៨

void vehicle_visual_observation_tower(...., int32_t imageDirection, ....)
{
  if ((imageDirection / 8) && (imageDirection / 8) != 3)
  {
    ....
  }
  ....
}

ចូរយើងពិនិត្យមើលឱ្យកាន់តែច្បាស់។ កន្សោម រូបភាពទិសដៅ / ៨ នឹងមិនពិតប្រសិនបើ ទិសដៅរូបភាព ស្ថិតនៅចន្លោះពី -7 ដល់ 7 ។ ផ្នែកទីពីរ៖ (រូបភាពទិសដៅ / ៨) != ៣ ពិនិត្យ ទិសដៅរូបភាព សម្រាប់នៅខាងក្រៅជួរ: ពី -31 ទៅ -24 និងពី 24 ទៅ 31 រៀងគ្នា។ វាហាក់ដូចជាចម្លែកណាស់សម្រាប់ខ្ញុំក្នុងការពិនិត្យមើលលេខសម្រាប់ការដាក់បញ្ចូលក្នុងជួរជាក់លាក់មួយនៅក្នុងវិធីនេះ ហើយទោះបីជាមិនមានកំហុសនៅក្នុងផ្នែកនៃកូដនេះក៏ដោយ ខ្ញុំសូមណែនាំឱ្យសរសេរលក្ខខណ្ឌទាំងនេះឡើងវិញដើម្បីឱ្យកាន់តែច្បាស់លាស់។ នេះនឹងធ្វើឱ្យជីវិតកាន់តែងាយស្រួលសម្រាប់អ្នកដែលនឹងអាន និងរក្សាកូដនេះ។

ការព្រមាន N5

V587 លំដាប់សេសនៃកិច្ចការប្រភេទនេះ៖ A = B; B = A; ពិនិត្យបន្ទាត់៖ 1115, 1118. libopenrct2ui MouseInput.cpp 1118

void process_mouse_over(....)
{
  ....
  switch (window->widgets[widgetId].type)
  {
    case WWT_VIEWPORT:
      ebx = 0;
      edi = cursorId;                                 // <=
      // Window event WE_UNKNOWN_0E was called here,
      // but no windows actually implemented a handler and
      // it's not known what it was for
      cursorId = edi;                                 // <=
      if ((ebx & 0xFF) != 0)
      {
        set_cursor(cursorId);
        return;
      }
      break;
      ....
  }
  ....
}

បំណែកកូដនេះទំនងជាទទួលបានដោយការបំបែក។ បន្ទាប់មក ដោយវិនិច្ឆ័យដោយមតិយោបល់ដែលនៅសល់ ផ្នែកនៃកូដមិនដំណើរការត្រូវបានដកចេញ។ ទោះយ៉ាងណាក៏ដោយនៅតែមានប្រតិបត្តិការពីរបីដែលនៅសល់ លេខសម្គាល់ទស្សន៍ទ្រនិចដែល​ក៏​មិន​មាន​ន័យ​ច្រើន​ដែរ។

ការព្រមាន N6

V1004 [CWE-476] ទ្រនិច 'អ្នកលេង' ត្រូវបានប្រើដោយគ្មានសុវត្ថិភាព បន្ទាប់ពីវាត្រូវបានផ្ទៀងផ្ទាត់ប្រឆាំងនឹង nullptr ។ ពិនិត្យបន្ទាត់៖ 2085, 2094. libopenrct2 Network.cpp 2094

void Network::ProcessPlayerList()
{
  ....
  auto* player = GetPlayerByID(pendingPlayer.Id);
  if (player == nullptr)
  {
    // Add new player.
    player = AddPlayer("", "");
    if (player)                                          // <=
    {
      *player = pendingPlayer;
       if (player->Flags & NETWORK_PLAYER_FLAG_ISSERVER)
       {
         _serverConnection->Player = player;
       }
    }
    newPlayers.push_back(player->Id);                    // <=
  }
  ....
}

លេខកូដនេះងាយស្រួលកែ អ្នកគ្រាន់តែត្រូវពិនិត្យវាជាលើកទីបី កីឡាករ ទៅ​ទ្រនិច​ទទេ ឬ​បន្ថែម​វា​ទៅ​តួ​នៃ​សេចក្តី​ថ្លែងការណ៍​តាម​លក្ខខណ្ឌ។ ខ្ញុំសូមណែនាំជម្រើសទីពីរ៖

void Network::ProcessPlayerList()
{
  ....
  auto* player = GetPlayerByID(pendingPlayer.Id);
  if (player == nullptr)
  {
    // Add new player.
    player = AddPlayer("", "");
    if (player)
    {
      *player = pendingPlayer;
      if (player->Flags & NETWORK_PLAYER_FLAG_ISSERVER)
      {
        _serverConnection->Player = player;
      }
      newPlayers.push_back(player->Id);
    }
  }
  ....
}

ការព្រមាន N7

V547 [CWE-570] កន្សោម 'name == nullptr' តែងតែមិនពិត។ libopenrct2 ServerList.cpp 102

std::optional<ServerListEntry> ServerListEntry::FromJson(...)
{
  auto name = json_object_get(server, "name");
  .....
  if (name == nullptr || version == nullptr)
  {
    ....
  }
  else
  {
    ....
    entry.name = (name == nullptr ? "" : json_string_value(name));
    ....
  }
  ....
}

អ្នក​អាច​កម្ចាត់​បន្ទាត់​កូដ​ដែល​ពិបាក​អាន​ក្នុង​ពេល​តែមួយ ហើយ​ដោះស្រាយ​បញ្ហា​ដោយ​ពិនិត្យ​មើល nullptr. ខ្ញុំស្នើឱ្យផ្លាស់ប្តូរលេខកូដដូចខាងក្រោមៈ

std::optional<ServerListEntry> ServerListEntry::FromJson(...)
{
  auto name = json_object_get(server, "name");
  .....
  if (name == nullptr || version == nullptr)
  {
    name = ""
    ....
  }
  else
  {
    ....
    entry.name = json_string_value(name);
    ....
  }
  ....
}

ការព្រមាន N8

V1048 [CWE-1164] អថេរ 'ColumnHeaderPressedCurrentState' ត្រូវបានផ្តល់តម្លៃដូចគ្នា។ libopenrct2ui CustomListView.cpp 510

void CustomListView::MouseUp(....)
{
  ....
  if (!ColumnHeaderPressedCurrentState)
  {
    ColumnHeaderPressed = std::nullopt;
    ColumnHeaderPressedCurrentState = false;
    Invalidate();
  }
}

កូដមើលទៅចម្លែកណាស់។ វាហាក់ដូចជាខ្ញុំថាមានការវាយខុសនៅក្នុងលក្ខខណ្ឌ ឬនៅពេលកំណត់អថេរឡើងវិញ ColumnHeaderPressedCurrentState តម្លៃ មិនពិត.

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

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

ប្រសិនបើអ្នកចង់ចែករំលែកអត្ថបទនេះជាមួយទស្សនិកជនដែលនិយាយភាសាអង់គ្លេស សូមប្រើតំណបកប្រែ៖ Vladislav Stolyarov ។ PVS-Studio និងការរួមបញ្ចូលជាបន្តបន្ទាប់៖ TeamCity ។ ការវិភាគលើគម្រោង Open RollerCoaster Tycoon 2.

ប្រភព: www.habr.com