Surtout le soucis c'est que mettre en place de l'analyse statique ou autre demande une rigueur et un travail dont la charge est portée par le projet. Par défaut c'est absent, comme la CI et le reste.
En Rust, les propriétés vérifiées le sont par le compilateur, out of the box, et sans dérogation en dehors des blocs « unsafe ».
Il y a une différence pratique entre « ça peut être lessivé » et « c'est insalissable ».
[^] # Re: Petite question à ceux qui "baignent" encore dans le C
Posté par Pol' uX (site web personnel) . En réponse au journal Vulnérabilités multiples dans sudo-rs. Évalué à 4.
Surtout le soucis c'est que mettre en place de l'analyse statique ou autre demande une rigueur et un travail dont la charge est portée par le projet. Par défaut c'est absent, comme la CI et le reste.
En Rust, les propriétés vérifiées le sont par le compilateur, out of the box, et sans dérogation en dehors des blocs « unsafe ».
Il y a une différence pratique entre « ça peut être lessivé » et « c'est insalissable ».
Adhérer à l'April, ça vous tente ?