Re:Rust Cryptography Should Be Written in Rust
by torstenvl on Saturday August 26, 2023 @02:20PM
(#37275430)
goto fail wasn't caused by ambiguity or undefined behavior. C's rules here are crystal clear, and conditional branches in assembly also do not make the following instructions condition (unless you're using delay slots à la SPARC).
Heartbleed also wasn't caused by ambiguity or undefined behavior, if you believe compiler writers.
Heartbleed also wasn't caused by ambiguity or undefined behavior, if you believe compiler writers.