sslab-gatech/Rudra
Rust Memory Safety & Undefined Behavior Detection observed · 2026-08-28
Health v2 · maintenance only
10/100
- Activity 75
- Release rhythm 35
- Longevity 100
Flags: no_releases archived
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 2129
- days_rel: n/a
- days_push: 153
- n_releases_24m: 0
Adoption not part of the score
1368 stars · 48 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
Rudra is a static analyzer that detects common undefined behaviors and memory safety issues in Rust programs, capable of analyzing single packages or the entire crates.io ecosystem. It was awarded a Distinguished Artifact Award at SOSP 2021 but is now archived and unmaintained.
Use cases
- find undefined behavior in my rust crate
- scan crates.io packages for memory safety bugs
- run static analysis on a rust project in CI
- detect panic safety issues in rust code
- audit rust dependencies for UB
When to choose
- analyzing Rust code pinned to a supported nightly compiler version (e.g. nightly-2021-10-21)
- reproducing academic results from the SOSP '21 paper
- auditing older Rust packages for known UB patterns
When to avoid
- analyzing Rust code built with a recent compiler version
- projects needing maintained tooling or workspace support
- ongoing security auditing where actively maintained tools like cargo-geiger or Miri are preferable
Facets
cli-tool · maturity abandoned
testing security linter developer-tools security developer-tools programming-languages cli rust rust static-analysis undefined-behavior memory-safety crates.io archived linux docker
1 source
- readme: https://github.com/sslab-gatech/Rudra · fetched 2026-08-28 · 9d995f3d41c8
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| sslab-gatech/Rudra | main | 10 |
For agents
markdown · JSON · MCP: product_card(name="sslab-gatech/Rudra")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem