jane413/meta-distro

rust planning #4

New issue

Open

opened 2026-01-12 14:02:46 +01:00 by jane413 · 0 comments

jane413 commented

2026-01-12 14:02:46 +01:00

Owner

MIght or might not want to integrate those things into my rust projects.

cargo-geiger, detect usage of unsafe{}
warnlyzer, shows unused code across crates
rustviz, interactive visual for lifetimes
rudra, memory safety and undefined behaviour detector
cargo-call-stack, Whole program static stack analysis
cargo-semver-checks
cargo-bloat
general list for that kind of stuff: https://github.com/kaivnit/static-analysis-rust#rust

design patterns

tightness, define types bound by arbitrary conditions.
prae, define types that require validation

MIght or might not want to integrate those things into my rust projects. - [cargo-geiger](https://github.com/geiger-rs/cargo-geiger), detect usage of `unsafe{}` - [warnlyzer](https://github.com/est31/warnalyzer), shows unused code across crates - [rustviz](https://github.com/rustviz/rustviz), interactive visual for lifetimes - [rudra](https://github.com/sslab-gatech/Rudra), memory safety and undefined behaviour detector - [cargo-call-stack](https://github.com/japaric/cargo-call-stack), Whole program static stack analysis - [cargo-semver-checks](https://lib.rs/crates/cargo-semver-checks) - [cargo-bloat](https://github.com/RazrFalcon/cargo-bloat) - general list for that kind of stuff: https://github.com/kaivnit/static-analysis-rust#rust ## design patterns - [tightness](https://github.com/PabloMansanet/tightness), `define types bound by arbitrary conditions.` - [prae](https://github.com/teenjuna/prae), `define types that require validation`

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

jane413/meta-distro#4

No description provided.

Rows
Columns