====================================================================
Published: 5 March 2023
Tags: crypto, java, rust
The author of this article looks at a number of common software bugs that are solved by something resembling Rusts' borrow-checker. Is it an ad for Rust? Kind of. Is it still interesting? Yup.
Some highlights:
- Uses an implementation of a Java array to demonstrate aliasing bug
- Explores a Solidity bug that lead to $150 million being stolen
- Presents how these types of bugs can be eliminated