@lanodan For example, it can't tell you "hey, you need a mutex here".
Rust can, during normal compilation, not even as a separate analyzer. And not only in function-local obvious patterns, but across many levels of indirection, even callbacks spanning 3rd party libraries. And it's not approximating it, but guarantees it won't miss a case.
Embed Notice
HTML Code
Corresponding Notice
- Embed this notice
Kornel (kornel@mastodon.social)'s status on Wednesday, 22-May-2024 22:23:13 JSTKornel