3.6% ຂອງ Python repositories ທີ່ທົດສອບແລ້ວມີຂໍ້ຜິດພາດໃນເຄື່ອງໝາຍຈຸດ

ຜົນໄດ້ຮັບຂອງການສຶກສາກ່ຽວກັບຄວາມອ່ອນແອຂອງລະຫັດ Python ຕໍ່ຄວາມຜິດພາດທີ່ກ່ຽວຂ້ອງກັບການໃຊ້ເຄື່ອງໝາຍຈຸດທີ່ບໍ່ຖືກຕ້ອງໃນລະຫັດໄດ້ຖືກເຜີຍແຜ່ແລ້ວ. ບັນຫາແມ່ນເກີດມາຈາກຄວາມຈິງທີ່ວ່າໃນເວລາທີ່ enumerating, Python ອັດຕະໂນມັດ concatenates strings ໃນບັນຊີລາຍຊື່ຖ້າຫາກວ່າພວກເຂົາເຈົ້າບໍ່ໄດ້ຖືກແຍກດ້ວຍເຄື່ອງໝາຍຈຸດ, ແລະຍັງປະຕິບັດຄ່າເປັນ tuple ຖ້າຄ່າປະຕິບັດຕາມດ້ວຍເຄື່ອງໝາຍຈຸດ. ຫຼັງຈາກດໍາເນີນການວິເຄາະອັດຕະໂນມັດຂອງ 666 GitHub repositories ກັບລະຫັດ Python, ນັກຄົ້ນຄວ້າໄດ້ກໍານົດບັນຫາ comma ທີ່ເປັນໄປໄດ້ໃນ 5% ຂອງໂຄງການທີ່ໄດ້ສຶກສາ.

ການກວດສອບຄູ່ມືເພີ່ມເຕີມໄດ້ສະແດງໃຫ້ເຫັນວ່າຄວາມຜິດພາດທີ່ແທ້ຈິງມີຢູ່ໃນພຽງແຕ່ 24 repositories (3.6%), ແລະສ່ວນທີ່ເຫຼືອ 1.4% ແມ່ນຜົນບວກທີ່ບໍ່ຖືກຕ້ອງ (ຕົວຢ່າງເຊັ່ນ, ເຄື່ອງໝາຍຈຸດສາມາດຖືກຍົກເລີກໂດຍເຈດຕະນາລະຫວ່າງເສັ້ນເພື່ອເຊື່ອມຕໍ່ເສັ້ນທາງໄຟລ໌ຫຼາຍເສັ້ນ, ຍາວ, HTML. blocks ຫຼື SQL expressions). ມັນເປັນທີ່ສັງເກດວ່າໃນບັນດາ 24 repositories ທີ່ມີຄວາມຜິດພາດທີ່ແທ້ຈິງແມ່ນໂຄງການຂະຫນາດໃຫຍ່ເຊັ່ນ Tensorflow, Google V8, Sentry, Pydata xarray, rapidpro, django-colorfield ແລະ django-helpdesk. ແນວໃດກໍ່ຕາມ, ບັນຫາກ່ຽວກັບເຄື່ອງໝາຍຈຸດບໍ່ແມ່ນສະເພາະກັບ Python ແລະມັກຈະເກີດຂຶ້ນໃນໂຄງການ C/C++ (ຕົວຢ່າງຂອງການແກ້ໄຂທີ່ຜ່ານມາແມ່ນ LLVM, Mono, Tensorflow).

ປະເພດຂອງຄວາມຜິດພາດຕົ້ນຕໍທີ່ໄດ້ສຶກສາ:

• ບັງເອີນຂາດເຄື່ອງໝາຍຈຸດໃນລາຍການ, tuples, ແລະຊຸດ, ເຊິ່ງເຮັດໃຫ້ສະຕຣິງຖືກເຂົ້າກັນແທນທີ່ຈະຖືກຕີຄວາມໝາຍເປັນຄ່າແຍກຕ່າງຫາກ. ຕົວຢ່າງເຊັ່ນ, ໃນ Sentry, ຫນຶ່ງໃນການທົດສອບໄດ້ພາດເຄື່ອງຫມາຍຈຸດລະຫວ່າງສາຍ "ການປ່ອຍ" ແລະ "ຄົ້ນພົບ" ໃນບັນຊີລາຍຊື່, ເຊິ່ງເຮັດໃຫ້ການກວດສອບຕົວຈັດການ "/releasesdiscover" ທີ່ບໍ່ມີຢູ່ແລ້ວ, ແທນທີ່ຈະກວດເບິ່ງ "/releases" ແລະ ". /ຄົ້ນພົບ" ແຍກຕ່າງຫາກ.

  ຕົວຢ່າງອີກອັນຫນຶ່ງແມ່ນວ່າເຄື່ອງໝາຍຈຸດທີ່ຂາດຫາຍໄປໃນ rapidpro ເຮັດໃຫ້ສອງກົດທີ່ແຕກຕ່າງກັນຖືກລວມເຂົ້າກັນຢູ່ໃນເສັ້ນ 572:

  

• ເຄື່ອງໝາຍຈຸດທີ່ຂາດໄປໃນຕອນທ້າຍຂອງຄຳນິຍາມ tuple ອົງປະກອບດຽວ, ເຊິ່ງກໍ່ໃຫ້ເກີດການມອບໝາຍປະເພດປົກກະຕິແທນທີ່ຈະເປັນ tuple. ຕົວຢ່າງ, ການສະແດງອອກ "ຄ່າ = (1,)" ຈະສົ່ງຜົນໃຫ້ມີການມອບຫມາຍໃຫ້ກັບຕົວແປຂອງ tuple ຂອງອົງປະກອບຫນຶ່ງ, ແຕ່ "ຄ່າ = (1)" ຈະເຮັດໃຫ້ການມອບຫມາຍຂອງປະເພດຈໍານວນເຕັມ. ວົງເລັບໃນການມອບໝາຍເຫຼົ່ານີ້ບໍ່ມີຜົນຕໍ່ຄຳນິຍາມປະເພດ ແລະເປັນທາງເລືອກ, ແລະການປະກົດຕົວຂອງ tuple ແມ່ນກຳນົດໂດຍຕົວແຍກວິເຄາະໂດຍອ້າງອີງໃສ່ເຄື່ອງໝາຍຈຸດ. REST_FRAMEWORK = { 'DEFAULT_PERMISSION_CLASSES': ( 'rest_framework.permissions.IsAuthenticated' # ຈະຖືກມອບໝາຍສະຕຣິງແທນ tuple. ) }
• ສະຖານະການກົງກັນຂ້າມແມ່ນເຄື່ອງໝາຍຈຸດພິເສດໃນລະຫວ່າງການມອບໝາຍ. ຖ້າເຄື່ອງໝາຍຈຸດຖືກປະໄວ້ໂດຍບັງເອີນໃນຕອນທ້າຍຂອງການມອບໝາຍ, tuple ຈະຖືກມອບໝາຍເປັນຄ່າແທນທີ່ຈະເປັນປະເພດປົກກະຕິ (ຕົວຢ່າງ, ຖ້າ “value = 1,” ຖືກລະບຸແທນ “value = 1”).

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