ຊ່ອງໂຫວ່ໃນ Python ເມື່ອຈັດການກັບຕົວເລກເສດສ່ວນທີ່ບໍ່ຖືກຕ້ອງໃນ ctypes

ການແກ້ໄຂສະບັບພາສາການຂຽນໂປລແກລມ Python 3.7.10 ແລະ 3.6.13 ແມ່ນມີຢູ່, ເຊິ່ງແກ້ໄຂຊ່ອງໂຫວ່ (CVE-2021-3177) ທີ່ສາມາດນໍາໄປສູ່ການປະຕິບັດລະຫັດໃນເວລາທີ່ການປະມວນຜົນຕົວເລກຈຸດລອຍທີ່ບໍ່ໄດ້ຮັບການກວດສອບໃນຕົວຈັດການທີ່ເອີ້ນຟັງຊັນ C ໂດຍໃຊ້ກົນໄກ ctypes. . ບັນຫາຍັງສົ່ງຜົນກະທົບຕໍ່ສາຂາ Python 3.8 ແລະ 3.9, ແຕ່ການອັບເດດສໍາລັບພວກມັນຍັງຢູ່ໃນສະຖານະຜູ້ສະຫມັກທີ່ປ່ອຍອອກມາ (ມີກໍານົດການປ່ອຍໃນວັນທີ 1 ມີນາ).

ບັນຫາແມ່ນເກີດມາຈາກ buffer overflow ໃນຟັງຊັນ ctypes PyCARg_repr(), ເຊິ່ງເກີດຂຶ້ນເນື່ອງຈາກການໃຊ້ sprintf ທີ່ບໍ່ປອດໄພ. ໂດຍສະເພາະ, ເພື່ອປະມວນຜົນຜົນໄດ້ຮັບຂອງການຫັນເປັນ 'sprintf (buffer, ". ", self->tag, self->value.b)' ຈັດສັນ static buffer ຂອງ 256 bytes ("char buffer[256]"), ໃນຂະນະທີ່ຜົນໄດ້ຮັບສາມາດເກີນຄ່ານີ້. ເພື່ອກວດເບິ່ງຈຸດອ່ອນຂອງແອັບພລິເຄຊັນຕໍ່ກັບຄວາມອ່ອນແອ, ທ່ານສາມາດລອງຜ່ານຄ່າ “1e300”, ເຊິ່ງເມື່ອປະມວນຜົນໂດຍວິທີການ c_double.from_param, ຈະເຮັດໃຫ້ການຂັດຂ້ອງ, ເນື່ອງຈາກຕົວເລກທີ່ອອກມາມີ 308 ຕົວອັກສອນ ແລະ ບໍ່ເໝາະສົມກັບຕົວໜັງສື. 256-byte buffer. ຕົວຢ່າງຂອງລະຫັດທີ່ມີບັນຫາ: ctypes ນໍາເຂົ້າ; x = ctypes.c_double.from_param(1e300); repr(x)

ບັນຫາຍັງບໍ່ຖືກແກ້ໄຂໃນ Debian, Ubuntu ແລະ FreeBSD, ແຕ່ໄດ້ຖືກແກ້ໄຂແລ້ວໃນ Arch Linux, Fedora, SUSE. ໃນ RHEL, ຊ່ອງໂຫວ່ບໍ່ເກີດຂຶ້ນເນື່ອງຈາກການປະກອບຊຸດຢູ່ໃນໂຫມດ FORTIFY_SOURCE, ເຊິ່ງຂັດຂວາງການລົ້ນບັບເຟີດັ່ງກ່າວໃນຟັງຊັນສະຕຣິງ.

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