3 个仓库
Awesome GitHub RepositoriesRust Program Analysis
Static analysis tools specifically designed to detect errors like overflows and panics in Rust applications.
Distinguishing note: Candidates focus on Rust as a language or runtime accelerations, not on static analysis tools for the language.
Explore 3 awesome GitHub repositories matching programming languages & runtimes · Rust Program Analysis. Refine with filters or upvote what's useful.
Awesome Rust Program Analysis GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- intellij-rust/intellij-rust
intellij-rust/intellij-rust
4,533在 GitHub 上查看该项目是一个 IntelliJ IDE 插件，为 Rust 提供了一个集成开发环境。它作为一个构建系统编排器和调试器接口，提供全面的语言分析、语法高亮和智能代码编辑辅助。 该插件与语言服务器集成，提供实时类型推断和代码导航。它包括一个专用的静态分析工具，用于检测代码重复、分析内存泄漏和测量测试覆盖率。 该工具集涵盖了工具链管理以及用于依赖项和清单处理的 Cargo 集成。它还提供了性能分析、运行时程序调试和测试自动化的功能，以及对 Web 应用开发的支持，包括容器管理和数据库模式探索。
Includes a static analysis suite for detecting code duplicates and analyzing memory leaks in Rust projects.
Kotlinclionhacktoberfestintellij - model-checking/kani
model-checking/kani
2,943在 GitHub 上查看Kani is a formal verification tool and model checker for Rust. It functions as a bit-precise static analyzer that mathematically proves the correctness and memory safety of code by exhaustively analyzing program states to identify undefined behavior, panics, and logic errors. The tool identifies bugs by producing concrete counterexamples when program assertions or safety contracts are violated. It enables the definition of function contracts through preconditions and postconditions to verify that inputs and outputs match expected behavior. The system provides capabilities for Rust program an
Analyzes Rust applications for arithmetic overflows and panics to eliminate runtime errors before deployment.
Rustmodel-checkingrustverification - razrfalcon/cargo-bloat
RazrFalcon/cargo-bloat
2,718在 GitHub 上查看cargo-bloat is a binary size analyzer and compilation analysis tool for Rust. It identifies the largest functions and dependencies within compiled executables to locate space-consuming code and reduce the overall binary footprint. The tool functions as a build profile inspector and symbol size profiler, allowing users to analyze how different compiler options and build profiles affect the final binary size. It can export symbol data into human-readable tables or JSON format to monitor the footprint of specific crates. Capabilities include multi-target analysis across different platforms and
Examines compiled Rust binaries to identify which components consume the most disk space.
Rust
