ການປ່ອຍ cppcheck 2.6, ເຄື່ອງວິເຄາະລະຫັດຄົງທີ່ສໍາລັບພາສາ C++ ແລະ C

ຮຸ່ນໃຫມ່ຂອງຕົວວິເຄາະລະຫັດຄົງທີ່ cppcheck 2.6 ໄດ້ຖືກປ່ອຍອອກມາ, ເຊິ່ງຊ່ວຍໃຫ້ທ່ານສາມາດກໍານົດປະເພດຕ່າງໆຂອງຄວາມຜິດພາດຂອງລະຫັດໃນພາສາ C ແລະ C ++, ລວມທັງໃນເວລາທີ່ໃຊ້ syntax ທີ່ບໍ່ແມ່ນມາດຕະຖານ, ປົກກະຕິສໍາລັບລະບົບຝັງ. ການເກັບກໍາ plugins ໄດ້ຖືກສະຫນອງໃຫ້ໂດຍຜ່ານທີ່ cppcheck ປະສົມປະສານກັບການພັດທະນາຕ່າງໆ, ການເຊື່ອມໂຍງຢ່າງຕໍ່ເນື່ອງແລະລະບົບການທົດສອບ, ແລະຍັງສະຫນອງຄຸນນະສົມບັດເຊັ່ນການກວດສອບການປະຕິບັດຕາມລະຫັດຂອງຮູບແບບລະຫັດ. ເພື່ອວິເຄາະລະຫັດ, ທ່ານສາມາດນໍາໃຊ້ຕົວແຍກວິເຄາະຂອງທ່ານເອງຫຼືຕົວແຍກວິເຄາະພາຍນອກຈາກ Clang. ມັນຍັງປະກອບມີສະຄິບ donate-cpu.py ເພື່ອສະຫນອງຊັບພະຍາກອນໃນທ້ອງຖິ່ນເພື່ອເຮັດວຽກທົບທວນລະຫັດຮ່ວມມືສໍາລັບແພັກເກັດ Debian. ລະຫັດແຫຼ່ງຂອງໂຄງການແມ່ນແຈກຢາຍພາຍໃຕ້ໃບອະນຸຍາດ GPLv3.

ການພັດທະນາ cppcheck ແມ່ນສຸມໃສ່ການກໍານົດບັນຫາທີ່ກ່ຽວຂ້ອງກັບພຶດຕິກໍາທີ່ບໍ່ໄດ້ກໍານົດແລະການນໍາໃຊ້ການອອກແບບທີ່ເປັນອັນຕະລາຍຈາກທັດສະນະຄວາມປອດໄພ. ເປົ້າຫມາຍແມ່ນເພື່ອຫຼຸດຜ່ອນຜົນບວກທີ່ບໍ່ຖືກຕ້ອງ. ໃນບັນດາບັນຫາທີ່ຖືກກໍານົດ: ຕົວຊີ້ໄປຫາວັດຖຸທີ່ບໍ່ມີຢູ່, ການແບ່ງໂດຍສູນ, ຈໍານວນເຕັມລົ້ນ, ການປະຕິບັດການປ່ຽນບິດທີ່ບໍ່ຖືກຕ້ອງ, ການແປງທີ່ບໍ່ຖືກຕ້ອງ, ບັນຫາໃນເວລາທີ່ເຮັດວຽກກັບຫນ່ວຍຄວາມຈໍາ, ການໃຊ້ STL ທີ່ບໍ່ຖືກຕ້ອງ, ການປະຕິເສດຕົວຊີ້ null, ການນໍາໃຊ້ການກວດສອບຫຼັງຈາກການເຂົ້າເຖິງຕົວຈິງ. ຕໍ່ກັບ buffer, buffer overruns , ການນໍາໃຊ້ຕົວແປ uninitialized.

ໃນ​ສະ​ບັບ​ໃຫມ່​:

• ການກວດສອບຕໍ່ໄປນີ້ໄດ້ຖືກເພີ່ມເຂົ້າໃນຫຼັກການວິເຄາະ:
  • ການຂາດຕົວປະຕິບັດການກັບຄືນຢູ່ໃນຮ່າງກາຍຂອງຫນ້າທີ່;
  • ບັນທຶກຂໍ້ມູນທັບຊ້ອນ, ກໍານົດພຶດຕິກໍາທີ່ບໍ່ໄດ້ກໍານົດ;
  • ມູນຄ່າທີ່ຖືກປຽບທຽບແມ່ນຢູ່ນອກການເປັນຕົວແທນຂອງມູນຄ່າຂອງປະເພດ;
  • ການເພີ່ມປະສິດທິພາບການຄັດລອກບໍ່ໄດ້ນໍາໃຊ້ກັບການກັບຄືນ std::move(local);
  • ໄຟລ໌ບໍ່ສາມາດເປີດພ້ອມໆກັນສໍາລັບການອ່ານແລະຂຽນໃນສາຍນ້ໍາທີ່ແຕກຕ່າງກັນ (ນ້ໍາ);
• ສໍາລັບເວທີ Unix, ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບການສະແດງຂໍ້ຄວາມວິນິດໄສໃນສີທີ່ແຕກຕ່າງກັນ;
• ເພີ່ມການວິເຄາະສັນຍາລັກສໍາລັບ ValueFlow. ໃຊ້ delta ງ່າຍໆເມື່ອຄິດໄລ່ຄວາມແຕກຕ່າງລະຫວ່າງສອງຕົວແປທີ່ບໍ່ຮູ້ຈັກ;
• ກົດລະບຽບທີ່ໃຊ້ສໍາລັບບັນຊີລາຍຊື່ຂອງ tokens "ກໍານົດ" ຍັງສາມາດກົງກັບ #include;
• tag ຫ້ອງສະຫມຸດ ດຽວນີ້ສາມາດບັນຈຸແທັກໄດ້ , ແລະຕາມຄວາມເຫມາະສົມຂອງຫນ້າທີ່ບໍ່ເສຍຄ່າ, ເຊິ່ງສາມາດຍອມຮັບພາຊະນະເຊັ່ນ: std::size, std::empty, std::begin, std::end, ແລະອື່ນໆ. ສາມາດລະບຸ yld ຫຼືການປະຕິບັດສໍາລັບຕົວເຊື່ອມຕໍ່;
• tag ຫ້ອງສະຫມຸດ ດຽວນີ້ສາມາດບັນຈຸແທັກໄດ້ ສໍາລັບຕົວຊີ້ອັດສະລິຍະທີ່ມີຄວາມເປັນເຈົ້າຂອງເປັນເອກະລັກ. ການເຕືອນໄພໄດ້ຖືກອອກໃນປັດຈຸບັນກ່ຽວກັບການອ້າງອິງ dangling ກັບປະເພດເຫຼົ່ານີ້ຂອງຕົວຊີ້ smart;
• ແກ້ໄຂບັນຫາທີ່ມີການປະມວນຜົນພາລາມິເຕີ —cppcheck-build-dir;
• htmlreport ຕອນນີ້ສາມາດສະແດງຂໍ້ມູນກ່ຽວກັບຜູ້ຂຽນ (ໂດຍໃຊ້ git ຕໍານິ);
• ຂະຫຍາຍການເຕືອນໄພກ່ຽວກັບຕົວແປທີ່ບໍ່ຄົງທີ່, ແຕ່ອາດຈະເປັນ;
• ຄວາມຜິດພາດທີ່ສະສົມແລະຂໍ້ບົກຜ່ອງຂອງເຄື່ອງວິເຄາະໄດ້ຖືກແກ້ໄຂ.

ນອກຈາກນັ້ນ, ການກວດສອບຈາກ Misra C 2012, ລວມທັງການປັບປຸງ 1 ແລະການປັບປຸງ 2, ໄດ້ຖືກປະຕິບັດຢ່າງສົມບູນ, ຍົກເວັ້ນກົດລະບຽບ 1.1, 1.2 ແລະ 17.3. ການກວດສອບ 1.1 ແລະ 1.2 ຕ້ອງໄດ້ຮັບການປະຕິບັດໂດຍ compiler. ການກວດສອບ 17.3 ສາມາດດໍາເນີນການໄດ້ໂດຍ compiler ເຊັ່ນ GCC.

ແຫຼ່ງຂໍ້ມູນ: opennet.ru