Az Amazon \u00e9s a Rust Foundation bemutatta azt az kezdem\u00e9nyez\u00e9st, amely a Rust programoz\u00e1si nyelv standard k\u00f6nyvt\u00e1r\u00e1nak biztons\u00e1g\u00e1nak n\u00f6vel\u00e9s\u00e9re ir\u00e1nyul. A c\u00e9l a megb\u00edzhat\u00f3s\u00e1g \u00e9s a biztons\u00e1g ellen\u0151rz\u00e9se olyan funkci\u00f3k eset\u00e9ben, amelyek az «unsafe» kulcssz\u00f3t haszn\u00e1lj\u00e1k, lehet\u0151v\u00e9 t\u00e9ve a mem\u00f3ri\u00e1val vesz\u00e9lyesen dolgoz\u00f3 m\u0171veleteket, p\u00e9ld\u00e1ul a mutat\u00f3k derefer\u00e1l\u00e1s\u00e1t, statikus v\u00e1ltoz\u00f3k m\u00f3dos\u00edt\u00e1s\u00e1t \u00e9s a k\u00fcls\u0151 C\/C++ k\u00f6nyvt\u00e1rak h\u00edv\u00e1s\u00e1t. Megjegyzik, hogy a Rust standard k\u00f6nyvt\u00e1r\u00e1ban jelenleg k\u00f6r\u00fclbel\u00fcl 35 ezer funkci\u00f3 tal\u00e1lhat\u00f3, amelyek k\u00f6z\u00fcl 7500 eset\u00e9ben fordul el\u0151 «unsafe» kontextusban v\u00e9grehajtott k\u00f3dr\u00e9szlet. Az elm\u00falt h\u00e1rom \u00e9vben a k\u00f6nyvt\u00e1rban 57 m\u0171k\u00f6d\u00e9si probl\u00e9m\u00e1t azonos\u00edtottak, ezek k\u00f6z\u00fcl 20-at sebezhet\u0151s\u00e9gk\u00e9nt jel\u00f6ltek meg. <\/p>\n
A k\u00f6nyvt\u00e1r ellen\u0151rz\u00e9se versenyform\u00e1ban zajlik, ahol a r\u00e9sztvev\u0151k k\u00fcl\u00f6nb\u00f6z\u0151 feladatokat kapnak, amelyek c\u00e9lja a Rust k\u00f6nyvt\u00e1rak biztons\u00e1gos mem\u00f3riahaszn\u00e1lat\u00e1nak igazol\u00e1sa, vagy olyan eszk\u00f6z\u00f6k kidolgoz\u00e1sa, amelyek ilyen ellen\u0151rz\u00e9sek automatiz\u00e1l\u00e1s\u00e1ra szolg\u00e1lnak. A vizsg\u00e1lat c\u00e9lj\u00e1nak sikeres teljes\u00edt\u00e9se (form\u00e1lis bizony\u00edt\u00e9k rendelkez\u00e9sre bocs\u00e1t\u00e1sa a megb\u00edzhat\u00f3s\u00e1gr\u00f3l) jutalomkifizet\u00e9st von maga ut\u00e1n. K\u00eds\u00e9rletek elv\u00e9gz\u00e9s\u00e9re \u00e9s az eredm\u00e9nyek k\u00f6zz\u00e9t\u00e9tel\u00e9re egy repozit\u00f3rium j\u00f6tt l\u00e9tre, amely a Rust eredeti repozit\u00f3rium\u00e1nak el\u00e1gaz\u00e1sa. <\/p>\n
Jelenleg \u00f6sszesen 13 feladat \u00e1ll rendelkez\u00e9sre. P\u00e9ld\u00e1ul az egyik feladat arra k\u00e9ri a r\u00e9sztvev\u0151ket, hogy bizonyosodjanak meg a raw pointerek biztons\u00e1gos kezel\u00e9s\u00e9r\u0151l a core::ptr modul funkci\u00f3iban \u00e9s ny\u00fajtsanak form\u00e1lis bizony\u00edt\u00e9kot a pointerekkel v\u00e9gzett m\u0171veletek helyess\u00e9g\u00e9r\u0151l. A verifik\u00e1ci\u00f3hoz haszn\u00e1lhat\u00f3k olyan megl\u00e9v\u0151 eszk\u00f6z\u00f6k, mint az Aeneas, Kani, Gillian, Verus \u00e9s Creusot, vagy \u00faj eszk\u00f6z\u00f6ket is javasolhatnak. Teljes\u00edtett feladatok p\u00e9ld\u00e1i. \n Forr\u00e1s: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"