3 Repos
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
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- intellij-rust/intellij-rust
intellij-rust/intellij-rust
4,533Auf GitHub ansehenDieses Projekt ist ein IntelliJ-IDE-Plugin, das eine integrierte Entwicklungsumgebung für Rust bereitstellt. Es dient als Build-System-Orchestrator und Debugger-Schnittstelle und bietet umfassende Sprachanalyse, Syntax-Highlighting und intelligente Unterstützung bei der Codebearbeitung. Das Plugin integriert sich in einen Language Server, um Echtzeit-Typinferenz und Codenavigation bereitzustellen. Es enthält ein dediziertes statisches Analysetool zur Erkennung von Codeduplikaten, zur Analyse von Speicherlecks und zur Messung der Testabdeckung. Das Toolset deckt Toolchain-Management und Cargo-Integration für die Abhängigkeits- und Manifest-Handhabung ab. Es bietet zudem Funktionen für Performance-Profiling, Laufzeit-Programm-Debugging und Testautomatisierung sowie Unterstützung für die Webanwendungsentwicklung, einschließlich Container-Management und Datenbank-Schema-Exploration.
Includes a static analysis suite for detecting code duplicates and analyzing memory leaks in Rust projects.
Kotlinclionhacktoberfestintellij - model-checking/kani
model-checking/kani
2,943Auf GitHub ansehenKani 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,718Auf GitHub ansehencargo-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
