Rust

Un programme en C qui libère un buffer puis continue à le lire compile quand même. Il corrompt ensuite la mémoire, parfois immédiatement, parfois trois requêtes plus tard, dans une partie du code qui n’a jamais touché ce buffer. Rust rejette ce programme dès le cargo build, sans aucun garbage collector. Le compilateur garde la trace de qui possède chaque valeur et qui peut y accéder. Ce suivi, c’est l’ownership et le borrowing. ...