I posted this a couple days ago and I guess it got re-raised. I thought it was cool -
1. I didn't know there was any static analysis systems out there with type info, it's famously missing from codegen etc.
2. Most of the discussions are about formal analysis, kani etc. But I really haven't seen much of more traditional (?) analysis in rust
3. It can identify unnecessary `clone` (with some restrictions, probably) which was always something that bothered me... whether to clone or not is almost purely mechanical but you end up having to choose by hand.
The quickstart instructions don't include that it needs Z3's headers installed or needs a specific nightly version (nightly-2026-07-21, in their CI, or compilation fails).
There are LLM plan markdown files committed in the repo and every commit looks LLM-generated.
I posted this a couple days ago and I guess it got re-raised. I thought it was cool -
1. I didn't know there was any static analysis systems out there with type info, it's famously missing from codegen etc.
2. Most of the discussions are about formal analysis, kani etc. But I really haven't seen much of more traditional (?) analysis in rust
3. It can identify unnecessary `clone` (with some restrictions, probably) which was always something that bothered me... whether to clone or not is almost purely mechanical but you end up having to choose by hand.
The quickstart instructions don't include that it needs Z3's headers installed or needs a specific nightly version (nightly-2026-07-21, in their CI, or compilation fails).
There are LLM plan markdown files committed in the repo and every commit looks LLM-generated.