Cloudbleed: CloudFlare leaked passwords, 2FA secrets, full HTML in plaintext.

Azt ugye érted, hogy összességében nem az a 2% C kód generálja a gépikódokat? Ráadásul egy tisztán Rust kód által összelegózott binárisnál se garantálná önmagában semmi, hogy a létrejövő gépikódokban ettől még valóban nem lehetnek memóriakorrupciós hibák. Attól, hogy a nyelvnél és a design tekintetében törekednek arra, hogy memory safe legyen, attól még a processzor továbbra sem képes az array elemek határainak kezelésére, se a pointerek referenciáinak ellenőrzésére. Vannak ugyan már rá törekvések (pl. Intel MPX), de ezek csak debugging eszközökként használhatók, nem elég jók éles használatra.

Ilyen okosságokat ki lehet jelenteni, hogy ha Rustban lenne írva, akkor nem történt volna meg ez a hiba, csak semmi értelme. Sőt, ha bármi másban írták volna meg, akkor is kijelenthetjük, hogy ez a hiba nem történt volna meg, mert nagyon kicsi rá az esély, hogy más programozási nyelvben pont ugyanez a hiba jöjjön így elő. A jelenlegi hibánál is egy komplex, több összetevős kódhalmaz okozta a bonyodalmat. A Ragel önmagában nem generált helytelen C kódot.

Ettől függetlenül a Rust->gépikód transzláció során továbbra is kerülhet memóriakorrupció a programokba és attól is meglehetősen távol vagyunk, hogy tisztán Rustban írt szoftvereket használjunk a közeljövőben. A határok persze eltolódhatnak majd és a memóriakorrupciós hibák kihasználása is visszább szorulhat, de ez már jelenleg is látszik a PaX által kitalált védelmek előretörésének köszönhetően, mert egyre több logikai hibát használnak ki a támadások során és nem csak tisztán memóriakorrupcióra alapoznak (lásd idei Pwn2Own).