Awesome GitHub RepositoriesRust Program Analysis

Ce projet est un plugin IntelliJ IDE qui fournit un environnement de développement intégré pour Rust. Il sert d'orchestrateur de système de build et d'interface de débogueur, offrant une analyse linguistique complète, une coloration syntaxique et une assistance à l'édition de code intelligente. Le plugin s'intègre à un serveur de langage pour fournir une inférence de type en temps réel et une navigation dans le code. Il inclut un outil d'analyse statique dédié pour détecter les doublons de code, analyser les fuites de mémoire et mesurer la couverture des tests. La boîte à outils couvre la gestion de la chaîne d'outils et l'intégration de Cargo pour la gestion des dépendances et des manifestes. Il fournit en outre des capacités pour le profilage de performance, le débogage de programmes en cours d'exécution et l'automatisation des tests, ainsi qu'un support pour le développement d'applications web incluant la gestion de conteneurs et l'exploration de schémas de base de données.

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

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