5 ms·
RAPx: A static analysis tool for Rust programs
- rendaw 1mo agoI 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.
- ijl 1mo agoThe 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.