Rudra is a static analyzer to detect common undefined behaviors in #rust programs. It is capable of analyzing single Rust packages as well as all the packages on crates.io.
Features: - Panic Safety (Unsafe code that can create memory-safety issues when panicked) - Higher Order Invariant (Assumed properties about traits) - Send Sync Variance (Unrestricted Send or Sync on generic types)
Links and concise reviews on open-source tools, news, and talks about language-design, trends and fundamentals. Write-only. If you like this project, you can sponsor it directly: https://github.com/sp...