Greg Kroah-Hartman, odpov\u011bdn\u00fd za podporu stabiln\u00edch a \u201estaging\u201c v\u011btv\u00ed j\u00e1dra Linuxu a dr\u017eitel pozice maintainer v 16 subsyst\u00e9mech j\u00e1dra, p\u0159ednesl p\u0159edn\u00e1\u0161ku na konferenci Rust Week 2026, ve kter\u00e9 vysv\u011btlil, jak m\u016f\u017ee jazyk Rust pomoci v prevenci vzniku zranitelnost\u00ed v j\u00e1d\u0159e, kter\u00e9 vypl\u00fdvaj\u00ed z typick\u00fdch chyb v\u00fdvoj\u00e1\u0159\u016f p\u0159i pr\u00e1ci se jazykem C, jako jsou chyby v pam\u011bti, z\u00e1mky, zpracov\u00e1n\u00ed chyb a pr\u00e1ce s nespolehliv\u00fdmi daty. Hlavn\u00ed v\u00fdhodou Rustu je mo\u017enost odhalit tyto chyby ji\u017e ve f\u00e1zi kompilace, nikoliv p\u0159i revizi k\u00f3du lidmi. Rust nen\u00ed ch\u00e1p\u00e1n jako v\u0161el\u00e9k, kter\u00fd by vy\u0159e\u0161il v\u0161echny probl\u00e9my, a nikdo nenazna\u010duje, \u017ee by se j\u00e1dro m\u011blo p\u0159epsat v Rustu: o\u010dek\u00e1v\u00e1 se postupn\u00e9 zav\u00e1d\u011bn\u00ed Rustu prost\u0159ednictv\u00edm jeho pou\u017e\u00edv\u00e1n\u00ed pro nov\u00e9 ovlada\u010de a subsyst\u00e9my.<\/p>\n
Jako p\u0159\u00edklad chyb v j\u00e1d\u0159e, kter\u00fdm by se dalo p\u0159edej\u00edt pou\u017eit\u00edm Rustu, byla zm\u00edn\u011bna chyba v podsystemu Bluetooth, kter\u00e1 z\u016fstala nepov\u0161imnuta 15 let, a probl\u00e9m v hypervisoru Xen. V prvn\u00edm p\u0159\u00edpad\u011b v\u00fdvoj\u00e1\u0159 provedl dereferenci ukazatele bez kontroly, zat\u00edmco v druh\u00e9m zapomn\u011bl uvolnit z\u00e1mek v k\u00f3du pro zpracov\u00e1n\u00ed chyb.
\nPodle Grega v\u011bt\u0161inu chyb v j\u00e1d\u0159e zp\u016fsobuj\u00ed podobn\u00e9 mali\u010dkosti, kter\u00e9 se v pr\u016fb\u011bhu \u010dasu hromad\u00ed a vyvst\u00e1vaj\u00ed jako zranitelnosti. V Rustu mnoh\u00e9 z t\u011bchto probl\u00e9m\u016f p\u0159edch\u00e1z\u00ed kompil\u00e1tor, nap\u0159\u00edklad Rust-abstrakce pro z\u00e1mky v j\u00e1d\u0159e umo\u017e\u0148uj\u00ed p\u0159\u00edstup k intern\u00edm ukazatel\u016fm struktur pouze po z\u00edsk\u00e1n\u00ed odpov\u00eddaj\u00edc\u00edho z\u00e1mku, kter\u00fd se uvoln\u00ed automaticky. Bez z\u00edsk\u00e1n\u00ed z\u00e1mku nen\u00ed mo\u017en\u00e9 z\u00edskat p\u0159\u00edstup k ukazatel\u016fm struktur v Rustu. <\/p>\n
Greg v\u011b\u0159\u00ed, \u017ee tyto schopnosti Rustu by nedovolily vznik 60% chyb identifikovan\u00fdch v j\u00e1d\u0159e, a kontroly prov\u00e1d\u011bn\u00e9 kompil\u00e1torem by u\u0161et\u0159ily spr\u00e1vc\u016fm \u010das str\u00e1ven\u00fd diskuzemi s autory o spr\u00e1vnosti zpracov\u00e1n\u00ed chyb a opr\u00e1vn\u011bnosti zamyk\u00e1n\u00ed na spr\u00e1vn\u00e9m m\u00edst\u011b. Nav\u00edc zaveden\u00ed podpory Rustu ji\u017e pozitivn\u011b ovlivnilo i C-k\u00f3d v j\u00e1d\u0159e d\u00edky \u00faprav\u011b C-k\u00f3du a rozhran\u00ed, stejn\u011b jako p\u0159evzet\u00ed n\u011bkter\u00fdch v\u00fdvojov\u00fdch metodologie (nap\u0159\u00edklad byly zavedeny z\u00e1mky s omezenou viditelnost\u00ed).<\/p>\n
D\u00edky syst\u00e9mu typ\u016f, kter\u00fd zaji\u0161\u0165uje dodr\u017eov\u00e1n\u00ed stanoven\u00fdch pravidel, a pou\u017eit\u00ed syst\u00e9m\u016f pro kontinu\u00e1ln\u00ed integraci, kter\u00e9 kontroluj\u00ed k\u00f3d b\u011bhem sestaven\u00ed, se mohou p\u0159i revizi zm\u011bn v Rustu recenzenti soust\u0159edit na kontrolu logiky fungov\u00e1n\u00ed, a nikoli na sledov\u00e1n\u00ed manipulac\u00ed s prost\u0159edky. Pou\u017eit\u00ed Rustu tak\u00e9 umo\u017e\u0148uje pe\u010dliv\u011bji p\u0159istupovat k dat\u016fm p\u0159ich\u00e1zej\u00edc\u00edm z hardwaru nebo z extern\u00edch syst\u00e9m\u016f. Toho je dosa\u017eeno d\u00edky jasn\u00e9mu rozli\u0161en\u00ed d\u016fv\u011bryhodn\u00fdch a ned\u016fv\u011bryhodn\u00fdch dat na \u00farovni syst\u00e9mu typ\u016f: v\u00fdvoj\u00e1\u0159i mus\u00ed prov\u00e9st anal\u00fdzu p\u0159i p\u0159echodu ze stavu ned\u016fv\u011bryhodn\u00e9ho do stavu d\u016fv\u011bryhodn\u00e9ho.<\/p>\n
V posledn\u00ed dob\u011b t\u00fdm zodpov\u011bdn\u00fd za bezpe\u010dnost v j\u00e1d\u0159e publikuje ka\u017ed\u00fd den p\u0159ibli\u017en\u011b 13 zpr\u00e1v o zranitelnostech, co\u017e vzhledem k p\u0159edchoz\u00ed dynamice odhalov\u00e1n\u00ed zranitelnost\u00ed p\u016fsob\u00ed jako jak\u00fdsi \u0161\u00edlenstv\u00ed (nap\u0159\u00edklad v\u010dera bylo zve\u0159ejn\u011bno 277 zpr\u00e1v o zranitelnostech v j\u00e1d\u0159e). Podle Grega je pou\u017eit\u00ed Rustu jedn\u00edm z re\u00e1ln\u00fdch zp\u016fsob\u016f, jak sn\u00ed\u017eit po\u010det chyb v j\u00e1d\u0159e zp\u016fsoben\u00fdch tradi\u010dn\u00edmi chybami p\u0159i zpracov\u00e1n\u00ed chyb a spr\u00e1v\u011b prost\u0159edk\u016f. V j\u00e1d\u0159e podpora Rustu ji\u017e p\u0159ekro\u010dila hranice experimentu a na konci lo\u0148sk\u00e9ho roku byla uzn\u00e1na jako standardn\u00ed mo\u017enost j\u00e1dra. <\/p>\n
![\"P\u0159ehr\u00e1t](\"https:\/\/img.youtube.com\/vi\/0vhGWclF7LU\/hqdefault.jpg\")
\r\n