ການທົບທວນຄືນເອກະລາດຂອງ PVS-Studio (Linux, C++)

ຂ້າພະເຈົ້າໄດ້ເຫັນສິ່ງພິມທີ່ PVS ໄດ້ຮຽນຮູ້ການວິເຄາະພາຍໃຕ້ Linux, ແລະຕັດສິນໃຈທົດລອງໃຊ້ໃນໂຄງການຂອງຂ້ອຍເອງ. ແລະນີ້ແມ່ນສິ່ງທີ່ອອກມາຈາກມັນ.

ເນື້ອໃນ

1. ຄວາມຄິດເຫັນ
2. Минусы
3. ຜົນໄດ້ຮັບ
4. Afterword

ຄວາມຄິດເຫັນ

ສະຫນັບສະຫນູນຕອບສະຫນອງ

ຂ້ອຍຂໍກະແຈທົດລອງ ແລະເຂົາເຈົ້າສົ່ງໃຫ້ຂ້ອຍໃນມື້ດຽວກັນ.

ເອກະສານທີ່ຊັດເຈນພໍສົມຄວນ

ພວກເຮົາຈັດການເປີດຕົວເຄື່ອງວິເຄາະໂດຍບໍ່ມີບັນຫາໃດໆ. ການຊ່ວຍເຫຼືອສໍາລັບຄໍາສັ່ງ console ແມ່ນມີຢູ່ (ເຖິງແມ່ນວ່າມີບາງຄໍາຮ້ອງທຸກຢູ່ທີ່ນີ້, ເບິ່ງພາກ Минусы).

ຄວາມເປັນໄປໄດ້ຂອງການວິເຄາະຫຼາຍກະທູ້

ເຄື່ອງວິເຄາະມີທາງເລືອກ "ມາດຕະຖານ". -j, ອະນຸຍາດໃຫ້ການວິເຄາະສາມາດດໍາເນີນການຂະຫນານໃນຫຼາຍວຽກງານ. ນີ້ຊ່ວຍປະຢັດເວລາຫຼາຍ.

ການເບິ່ງເຫັນທີ່ດີ

ຮູບແບບຜົນຜະລິດທີ່ແຕກຕ່າງກັນຫຼາຍ, ຈາກຂໍ້ຄວາມໄປຫາ muzzle ເວັບຂະຫນາດນ້ອຍ. ການໂຕ້ຕອບຂອງເວັບແມ່ນສະດວກ, ຫຍໍ້, ມີຄໍາແນະນໍາທີ່ຢູ່ຂ້າງແຖວໃນລະຫັດແລະການເຊື່ອມຕໍ່ກັບຄໍາອະທິບາຍການວິນິດໄສ..

ການເຊື່ອມໂຍງງ່າຍເຂົ້າໄປໃນການປະກອບ

ເອກະສານທັງຫມົດແມ່ນຢູ່ໃນເວັບໄຊທ໌ຂອງພວກເຂົາ, ຂ້າພະເຈົ້າພຽງແຕ່ສາມາດເວົ້າໄດ້ວ່າຖ້າໂຄງການຂອງທ່ານຖືກສ້າງຂຶ້ນໂດຍໃຊ້ CMake, ຫຼັງຈາກນັ້ນທຸກສິ່ງທຸກຢ່າງແມ່ນງ່າຍດາຍຫຼາຍ.

ລາຍລະອຽດການວິນິດໄສທີ່ດີ

ຖ້າທ່ານສ້າງຜົນຜະລິດໃນຮູບແບບ fullhtml, ຫຼັງຈາກນັ້ນແຕ່ລະຂໍ້ຄວາມມີການເຊື່ອມຕໍ່ກັບຄໍາອະທິບາຍການວິນິດໄສ, ມີຄໍາອະທິບາຍ, ຕົວຢ່າງລະຫັດແລະການເຊື່ອມຕໍ່ເພີ່ມເຕີມ.

Минусы

ຄວາມບໍ່ເຂົ້າໃຈຂອງພາສາ C ++ ໂດຍນັກວິເຄາະ

ແຕ່ຫນ້າເສຍດາຍ, PVS ບາງຄັ້ງເຮັດໃຫ້ syntax ຜິດພາດແລະສ້າງຂໍ້ຄວາມໃນທາງບວກທີ່ບໍ່ຖືກຕ້ອງໃນເວລາທີ່ລະຫັດຖືກຕ້ອງຫມົດ.

ຕົວຢ່າງ, ມີຫນ້າທີ່ສົ່ງຄືນ 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 Gateway ໝົດເວລາ.

ພາສາ

ຄໍາອະທິບາຍທັງຫມົດແມ່ນຢູ່ໃນພາສາລັດເຊຍ, ຊຶ່ງເປັນທີ່ຍິ່ງໃຫຍ່. ແຕ່ການເຊື່ອມຕໍ່ຈາກບົດລາຍງານສະເຫມີນໍາໄປສູ່ສະບັບພາສາອັງກິດ. ມັນຈະເປັນການດີທີ່ຈະສາມາດປ່ຽນພາສາເພື່ອໃຫ້ທ່ານສາມາດເບິ່ງການວິນິດໄສໄດ້ທັນທີໃນພາສາລັດເຊຍ. ຂ້ອຍບໍ່ພົບທາງເລືອກດັ່ງກ່າວໃນການໂຕ້ຕອບ.

ມັນບໍ່ສະດວກທີ່ຈະເຮັດວຽກກັບລະດັບການວິນິດໄສຜ່ານ console

ໃຫ້ເລີ່ມຕົ້ນດ້ວຍຄວາມຈິງທີ່ວ່າສອງຄໍາສັ່ງທີ່ໃຊ້ (ນີ້ 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

ແລະພຽງແຕ່ຫຼັງຈາກນັ້ນຂ້າພະເຈົ້າໄດ້ຮັບຮູ້ວ່າເຫຼົ່ານີ້ແມ່ນຫນ້າກາກເລັກນ້ອຍ! ແລະທ່ານຕ້ອງການ ສະຫຼຸບແລະບໍ່ ເພີ່ມ ຄວາມ​ຫມາຍ. ສໍາລັບຕົວຢ່າງ, ເພື່ອໃຫ້ໄດ້ຮັບການວິນິດໄສທົ່ວໄປ, ການວິນິດໄສສໍາລັບ micro-optimizations ແລະ 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

ບາງ "ລະດັບ" ປາກົດຢູ່ທີ່ນີ້ທີ່ບໍ່ເຄີຍມີມາກ່ອນ, ແລະຂ້ອຍບໍ່ພົບຫຍັງກ່ຽວກັບພວກມັນຢູ່ໃນເອກະສານ.

ໂດຍທົ່ວໄປ, ມັນບໍ່ຊັດເຈນ. ນັ້ນແມ່ນເຫດຜົນທີ່ຂ້ອຍຕັ້ງທຸກຢ່າງໃຫ້ສູງສຸດ.

ຊໍ່ຂອງ stupid swear ສຸດ Catch

ສອງໃນສາມໂຄງການທີ່ຂ້ອຍວິເຄາະໃຊ້ຫ້ອງສະຫມຸດການທົດສອບຫນ່ວຍ Catch2. ແລະສ່ວນແບ່ງຂອງຊ້າງຂອງຂໍ້ຄວາມ (!!! 90 ອອກຈາກ 138 ໃນຫນຶ່ງແລະ 297 ໃນ 344 ອື່ນໆ!!!) ມີຮູບແບບດັ່ງຕໍ່ໄປນີ້:

ບໍ່ໄດ້ຄໍານຶງເຖິງ multithreading

ມີຂໍ້ດີທີ່ບໍ່ຖືກຕ້ອງຫຼາຍຢ່າງກ່ຽວກັບຕົວແປທີ່ບໍ່ປ່ຽນແປງຫຼື loops ທີ່ບໍ່ສິ້ນສຸດ, ໃນຂະນະທີ່ການເຮັດວຽກກັບຕົວແປເຫຼົ່ານີ້ເກີດຂື້ນຈາກກະທູ້ທີ່ແຕກຕ່າງກັນ, ແລະຖ້ານີ້ບໍ່ແມ່ນດັ່ງນັ້ນ, ການທົດສອບຫນ່ວຍງານຈະບໍ່ເຮັດວຽກ.

ຢ່າງໃດກໍຕາມ, ນັກວິເຄາະສະຖິດສາມາດເອົາສິ່ງນີ້ເຂົ້າໄປໃນບັນຊີໄດ້ບໍ? ບໍ່ຮູ້.

ຜົນໄດ້ຮັບ

PVS ບໍ່ພົບຂໍ້ບົກພ່ອງທີ່ແທ້ຈິງໃນໂຄງການແຫຼ່ງເປີດຂອງຂ້ອຍ ລະເບີດ и ຕໍ່ໄປ, ເຊັ່ນດຽວກັນກັບໃນຮ່າງການເຮັດວຽກ, ເຊິ່ງ, ສໍາລັບເຫດຜົນຈະແຈ້ງ, ຂ້າພະເຈົ້າບໍ່ສາມາດນໍາສະເຫນີ. ແທ້ຈິງແລ້ວ, ມັນເປັນມູນຄ່າທີ່ຄວນຈື່ໄວ້ວ່າຂໍ້ບົກຜ່ອງບາງຢ່າງໄດ້ຖືກຈັບແລະແກ້ໄຂກ່ອນຫນ້ານີ້ໂດຍໃຊ້ Cppcheck и scan-build.

ໂດຍທົ່ວໄປ, ຄວາມປະທັບໃຈຈາກນັກວິເຄາະທັງຫມົດນີ້ແມ່ນປະມານຄືກັນ: ແມ່ນແລ້ວ, ພວກເຂົາເຈົ້າຈັບບາງສິ່ງບາງຢ່າງ, ບາງຄັ້ງເຖິງແມ່ນວ່າບາງສິ່ງບາງຢ່າງທີ່ສໍາຄັນ, ແຕ່ໂດຍລວມ compiler ແມ່ນພຽງພໍ.

ມັນເປັນໄປໄດ້ (ແລະຂ້າພະເຈົ້າສ່ວນບຸກຄົນຢາກຄິດດັ່ງນັ້ນ) ທີມງານຂອງພວກເຮົານໍາໃຊ້ການປະຕິບັດການພັດທະນາຊອບແວທີ່ອະນຸຍາດໃຫ້ພວກເຮົາສ້າງຈໍານວນຕໍາ່ສຸດທີ່ຂອງລະຫັດ shitty. ມັນດີກວ່າທີ່ຈະບໍ່ສ້າງບັນຫາຫຼາຍກ່ວາການເອົາຊະນະພວກເຂົາຢ່າງກ້າຫານ.

ເພາະສະນັ້ນ, ຂ້າພະເຈົ້າມີສິດເສລີພາບໃນການໃຫ້ຄໍາແນະນໍາບາງຢ່າງກ່ຽວກັບວິທີການຂຽນໃນ C ++ ໃນວິທີການທີ່ຈະບໍ່ຍິງຂາຂອງໃຜຫຼືຕີໃຜຢູ່ໃນຫນ້າຜາກດ້ວຍ rake.

ໃຊ້ປະໂຫຍດສູງສຸດຈາກການວິນິໄສການລວບລວມ

ທີມງານຂອງພວກເຮົາໃຊ້ (ແລະແນະນໍາໃຫ້ທ່ານ) ທາງເລືອກການລວບລວມຕໍ່ໄປນີ້:

-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 ມາດຕະຖານ, ແລະຖ້າທ່ານບໍ່ສາມາດເຮັດໄດ້ຢ່າງແທ້ຈິງ, ຫໍ່ພວກມັນຢູ່ໃນບລັອກພິເສດສໍາລັບ macros (ຫຼືສິ່ງອື່ນ) ແລະພຽງແຕ່ບໍ່ໃຫ້ລະຫັດຂອງທ່ານຖືກລວບລວມພາຍໃຕ້ເງື່ອນໄຂທີ່ບໍ່ສະຫນັບສະຫນູນ.

ຍຶດຕິດກັບຄວາມຫມາຍຂອງການດໍາເນີນງານມາດຕະຖານ

ການບວກຕ້ອງບວກ, ຄູນຕ້ອງຄູນ, ການເອີ້ນຟັງຊັນຕ້ອງເປັນ function call, copy ຕ້ອງ copy, carry must be carry, container must be iterable, iterator ຕ້ອງມີໂປຣໂມຊັນ ++ ແລະການອ້າງອິງ *. ແລະອື່ນໆແລະອື່ນໆ.

ຂ້າພະເຈົ້າຄິດວ່າຄວາມຄິດແມ່ນຈະແຈ້ງ. ມີການສ້າງຕັ້ງສົນທິສັນຍາທີ່ບໍ່ມີການຜູກມັດ, ແຕ່ວ່າຜູ້ໃຊ້ທັງຫມົດແລະຜູ້ອ່ານລະຫັດຂອງທ່ານຄາດວ່າຈະເຫັນ. ຢ່າພະຍາຍາມຫລອກລວງຄົນອື່ນ, ຖ້າບໍ່ດັ່ງນັ້ນເຈົ້າຈະ outwit ຕົວເອງ.

ຂຽນລະຫັດເຂົ້າກັນໄດ້

ກ່ອນອື່ນ ໝົດ, ຂ້ອຍ ໝາຍ ເຖິງຫ້ອງສະຫມຸດມາດຕະຖານ. ມັນເປັນຄວາມປາຖະຫນາສູງທີ່ການໂຕ້ຕອບຂອງຫ້ອງຮຽນແລະຫນ້າທີ່ຂອງທ່ານສາມາດຖືກນໍາໃຊ້ກັບຫ້ອງສະຫມຸດມາດຕະຖານແລະອື່ນໆ (ຕົວຢ່າງ, Boost).

ຮູ້ສຶກວ່າບໍ່ເສຍຄ່າເພື່ອເຂົ້າໄປເບິ່ງໃນການໂຕ້ຕອບ STL ແລະ Boost. ມີຂໍ້ຍົກເວັ້ນທີ່ຫາຍາກ, ທ່ານຈະເຫັນແບບຢ່າງທີ່ມີຄ່າຄວນຢູ່ທີ່ນັ້ນ.

ໃຊ້ປະໂຫຍດສູງສຸດຈາກເຄື່ອງມືແຫຼ່ງເປີດ

ສໍາລັບການວິເຄາະແບບຄົງທີ່ດຽວກັນ, ມີຢ່າງຫນ້ອຍສອງເຄື່ອງມືທີ່ບໍ່ເສຍຄ່າທີ່ສາມາດເຊື່ອມຕໍ່ພຽງແຕ່ຫນຶ່ງຄັ້ງກັບໂຄງການທີ່ມີລະບົບການກໍ່ສ້າງ CMake.

ເຈົ້າສາມາດອ່ານເພີ່ມເຕີມກ່ຽວກັບເລື່ອງນີ້ໃນສິ່ງພິມຫຼ້າສຸດຂອງຂ້ອຍ.

Afterword

ສຸດທ້າຍ, ຂ້າພະເຈົ້າຢາກເນັ້ນຫນັກວ່າຂ້າພະເຈົ້າບໍ່ໄດ້ສະຫນັບສະຫນູນບໍ່ໃຫ້ໃຊ້ PVS ຫຼືເຄື່ອງວິເຄາະສະຖິດອື່ນໆ. ແຕ່ຂ້າພະເຈົ້າຊຸກຍູ້ໃຫ້ທ່ານຄິດກ່ຽວກັບວິທີທີ່ມັນເກີດຂຶ້ນທີ່ນັກວິເຄາະສະຖິດຢູ່ສະເຫມີຊອກຫາຄວາມຜິດພາດທີ່ສໍາຄັນໃນລະຫັດຂອງທ່ານ.

ນີ້ແມ່ນພຽງແຕ່ຜົນສະທ້ອນ. ພວກເຮົາຈໍາເປັນຕ້ອງຊອກຫາແລະລົບລ້າງສາເຫດ.

ແຫຼ່ງຂໍ້ມູນ: www.habr.com