70% ຂອງບັນຫາຄວາມປອດໄພໃນ Chromium ແມ່ນເກີດມາຈາກຄວາມຜິດພາດຂອງຫນ່ວຍຄວາມຈໍາ

ຜູ້ພັດທະນາໂຄງການ Chromium ວິເຄາະ 912 ຊ່ອງໂຫວ່ທີ່ມີຄວາມສ່ຽງສູງແລະສໍາຄັນທີ່ລະບຸໄວ້ໃນການປ່ອຍ Chrome ທີ່ຫມັ້ນຄົງນັບຕັ້ງແຕ່ປີ 2015, ແລະສະຫຼຸບວ່າ 70% ຂອງມັນເກີດມາຈາກຄວາມບໍ່ຫມັ້ນຄົງຂອງຫນ່ວຍຄວາມຈໍາ (ຄວາມຜິດພາດໃນເວລາທີ່ເຮັດວຽກກັບຕົວຊີ້ໃນລະຫັດ C / C ++). ເຄິ່ງຫນຶ່ງຂອງບັນຫາເຫຼົ່ານີ້ (36.1%) ແມ່ນເກີດມາຈາກການເຂົ້າເຖິງ buffer ຫຼັງຈາກການປົດປ່ອຍຫນ່ວຍຄວາມຈໍາທີ່ກ່ຽວຂ້ອງກັບມັນ (ການນໍາໃຊ້ພາຍຫຼັງທີ່ບໍ່ເສຍຄ່າ).

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

ເພື່ອຮັກສາຄວາມປອດໄພຂອງ codebase, Google ຍັງບັງຄັບໃຊ້ "ກົດ​ລະ​ບຽບ​ຂອງ​ສອງ​", ອີງຕາມການເພີ່ມລະຫັດໃດໆຕ້ອງຕອບສະຫນອງບໍ່ເກີນສອງໃນສາມເງື່ອນໄຂ: ການເຮັດວຽກກັບຂໍ້ມູນການປ້ອນຂໍ້ມູນທີ່ບໍ່ມີຄວາມຖືກຕ້ອງ, ການນໍາໃຊ້ພາສາການຂຽນໂປຼແກຼມທີ່ບໍ່ປອດໄພ (C / C ++) ແລະແລ່ນດ້ວຍສິດທິພິເສດ. ກົດລະບຽບນີ້ຫມາຍຄວາມວ່າລະຫັດສໍາລັບການປະມວນຜົນຂໍ້ມູນພາຍນອກຈະຕ້ອງຖືກຫຼຸດລົງເປັນສິດທິພິເສດຫນ້ອຍ (ໂດດດ່ຽວ) ຫຼືຂຽນເປັນພາສາການຂຽນໂປຼແກຼມທີ່ປອດໄພ.

ເພື່ອເພີ່ມຄວາມປອດໄພຂອງພື້ນຖານລະຫັດ, ໂຄງການໄດ້ຖືກເປີດຕົວເພື່ອປ້ອງກັນຄວາມຜິດພາດຂອງຫນ່ວຍຄວາມຈໍາຈາກການປາກົດຢູ່ໃນຖານລະຫັດ. ມີສາມວິທີການຕົ້ນຕໍ: ການສ້າງຫ້ອງສະຫມຸດ C ++ ທີ່ມີຫນ້າທີ່ສໍາລັບການເຮັດວຽກທີ່ປອດໄພຂອງຫນ່ວຍຄວາມຈໍາແລະການຂະຫຍາຍຂອບເຂດຂອງຕົວເກັບຂີ້ເຫຍື້ອ, ການນໍາໃຊ້ກົນໄກການປົກປ້ອງຮາດແວ. MTE (Memory Tagging Extension) ແລະອົງປະກອບການຂຽນໃນພາສາທີ່ຮັບປະກັນການເຮັດວຽກທີ່ປອດໄພກັບຫນ່ວຍຄວາມຈໍາ (Java, Kotlin, JavaScript, Rust, Swift).

ຄາດ​ວ່າ​ວຽກ​ງານ​ຈະ​ໄດ້​ສຸມ​ໃສ່​ສອງ​ຂົງ​ເຂດ​ຄື:

• ການປ່ຽນແປງທີ່ສໍາຄັນຕໍ່ຂະບວນການພັດທະນາ C++, ເຊິ່ງບໍ່ລວມຜົນກະທົບທາງລົບຕໍ່ການປະຕິບັດ (ການກວດສອບຂອບເຂດເພີ່ມເຕີມແລະການເກັບຂີ້ເຫຍື້ອ). ແທນທີ່ຈະເປັນຕົວຊີ້ວັດຖຸດິບ, ມັນຖືກສະເຫນີໃຫ້ໃຊ້ປະເພດ MiraclePtr, ເຊິ່ງຊ່ວຍໃຫ້ທ່ານສາມາດຫຼຸດຜ່ອນຄວາມຜິດພາດໃນການນໍາໃຊ້ທີ່ບໍ່ມີປະໂຫຍດຕໍ່ກັບການຂັດຂ້ອງທີ່ບໍ່ເປັນໄພຂົ່ມຂູ່ຕໍ່ຄວາມປອດໄພ, ໂດຍບໍ່ມີຜົນກະທົບທາງລົບທີ່ເຫັນໄດ້ຊັດເຈນກ່ຽວກັບການປະຕິບັດ, ການບໍລິໂພກຄວາມຈໍາແລະຄວາມຫມັ້ນຄົງ.
• ການນໍາໃຊ້ພາສາທີ່ຖືກອອກແບບເພື່ອປະຕິບັດການກວດສອບຄວາມປອດໄພຂອງຫນ່ວຍຄວາມຈໍາໃນເວລາລວບລວມ (ຈະລົບລ້າງຜົນກະທົບທາງລົບຕໍ່ການປະຕິບັດທີ່ປະກົດຢູ່ໃນການກວດສອບດັ່ງກ່າວໃນລະຫວ່າງການປະຕິບັດລະຫັດ, ແຕ່ຈະນໍາໄປສູ່ຄ່າໃຊ້ຈ່າຍເພີ່ມເຕີມໃນການຈັດຕັ້ງການໂຕ້ຕອບຂອງລະຫັດໃນພາສາໃຫມ່ກັບລະຫັດໃນ. C++).

ການ​ນໍາ​ໃຊ້​ຫ້ອງ​ສະ​ຫມຸດ​ຄວາມ​ຊົງ​ຈໍາ​ທີ່​ປອດ​ໄພ​ແມ່ນ​ງ່າຍ​ທີ່​ສຸດ​, ແຕ່​ຍັງ​ມີ​ປະ​ສິດ​ທິ​ພາບ​ຫນ້ອຍ​. Rewriting the code in Rust is rated as the most effective , ແຕ່​ວິ​ທີ​ການ​ລາ​ຄາ​ແພງ​ຫຼາຍ​.

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