> When I wrote "98% safe code" I meant the code that can be automatically verified by the compiler. I wish the terminology was better. That depends on what is meant by "automatically verified by the compiler". The…
> If you're letting safe code in the same module as unsafe code mess with invariants, then the whole module needs to be verified by hand, and should be kept as minimal as feasible. Anything outside the module doesn't…
> Firstly, the existence of unsafe does not inherently mean the code isn’t memory safe. That does not contradict what I wrote. I am confounded by your post, since an article with vulnerabilities in sudo-rs was posted.…
> The website prioritizes programs with 98% safe code over programs with 0% safe code. Please explain this section of the Rustonomicon. https://doc.rust-lang.org/nomicon/working-with-unsafe.html > This code is 100% Safe…
[flagged]
> When I wrote "98% safe code" I meant the code that can be automatically verified by the compiler. I wish the terminology was better. That depends on what is meant by "automatically verified by the compiler". The…
> If you're letting safe code in the same module as unsafe code mess with invariants, then the whole module needs to be verified by hand, and should be kept as minimal as feasible. Anything outside the module doesn't…
> Firstly, the existence of unsafe does not inherently mean the code isn’t memory safe. That does not contradict what I wrote. I am confounded by your post, since an article with vulnerabilities in sudo-rs was posted.…
> The website prioritizes programs with 98% safe code over programs with 0% safe code. Please explain this section of the Rustonomicon. https://doc.rust-lang.org/nomicon/working-with-unsafe.html > This code is 100% Safe…
[flagged]