Hello,
I have been using Rust here and there at work and I would like to know from the community what's the status of code analyzers for Rust.
As code analysis here I am meaning tool that help you ensure that your code has no bugs or is correct with respect to a (semi-)formal specification.
That includes static analyzers, model checkers, proof generators, etc. I would like to initate a project to deal with these kind of problems but don't want to reinvent the wheel since I believe Rust is the perfect language to have a lot of support for tools like this and due to the constraints imposed by the language I believe it is also more ameanable to analysis than other existing system languages.