Comment Comment by acaloiar > No, symbolic verification does not protect from buffer overflows. Writing the implementation in Rust doesI don't believe writing the implementation in Rust does that: https://blog.rust-lang.org/2018/09/21/Security-advisory-for-... parent acaloiar 3 years ago
I don't believe writing the implementation in Rust does that: https://blog.rust-lang.org/2018/09/21/Security-advisory-for-...