3 repositorios
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
Encuentra los mejores repositorios con IA.Buscaremos los repositorios que mejor coincidan usando IA.
- intellij-rust/intellij-rust
intellij-rust/intellij-rust
4,533Ver en GitHubEste proyecto es un plugin de IDE IntelliJ que proporciona un entorno de desarrollo integrado para Rust. Sirve como orquestador de sistema de compilación e interfaz de depurador, ofreciendo un análisis de lenguaje completo, resaltado de sintaxis y asistencia inteligente para la edición de código. El plugin se integra con un servidor de lenguaje para proporcionar inferencia de tipos en tiempo real y navegación de código. Incluye una herramienta de análisis estático dedicada para detectar duplicados de código, analizar fugas de memoria y medir la cobertura de pruebas. El conjunto de herramientas cubre la gestión de la cadena de herramientas (toolchain) y la integración con Cargo para el manejo de dependencias y manifiestos. Además, proporciona capacidades para la creación de perfiles de rendimiento, depuración de programas en tiempo de ejecución y automatización de pruebas, así como soporte para el desarrollo de aplicaciones web, incluyendo la gestión de contenedores y la exploración de esquemas de bases de datos.
Includes a static analysis suite for detecting code duplicates and analyzing memory leaks in Rust projects.
Kotlinclionhacktoberfestintellij - model-checking/kani
model-checking/kani
2,943Ver en GitHubKani 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,718Ver en GitHubcargo-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
