3 ms·

I don’t understand. Is it possible to mathematically prove that a codebase written in rust has no vulnerabilities or something?

• Ygg2 2y ago
  Think they are referring to use after free (UAF) behavior. Safe Rust doesn't allow UAF. You can violate Rust invariants using bugs in compiler.
• Jerrrrrrry 2y ago
  No, but you can transpile (incredibly trivial) Rust programs into Coq that can be than formally verified to give a defined output for all possible inputs.
  • papichulo2023 2y ago
    No idea what this is about but sounds like a test with extra steps
    • Jerrrrrrry 2y ago
      Test all the steps. All possible steps.