作者 Aria Beingessner 在文中指出了他认为 Unsafe 指针类型中的三个大问题:
并且在文中给出了一些解决方案。
原文:https://gankra.github.io/blah/fix-rust-pointers
这款工具需要两样东西:
原文:https://www.cryptologie.net/article/553/the-code-is-the-specification-introducing-cargo-spec/ 仓库:https://github.com/mimoo/cargo-specification