4 ms·
Shit just got real. @Rust team - and all other language teams for that matter - what process and tools will formally be used to prevent this from happening?
by jmarinez 8y ago
Shit just got real.
@Rust team - and all other language teams for that matter - what process and tools will formally be used to prevent this from happening?
- dbaupp 8y agoThe article touches on this with a quote from the security team: > - We don’t have the time or inclination to work on updating this policy until after the [2018] edition ships > — We’d rather take the time to get it right, but don’t have the time right now
- oconnor663 8y agoThis is a formal verification project that has already found some bugs: http://plv.mpi-sws.org/rustbelt/ http://plv.mpi-sws.org/rustbelt/ Interestingly, it's also found some cases where type bounds were unnecessarily restrictive.