3 repository-uri
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
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- intellij-rust/intellij-rust
intellij-rust/intellij-rust
4,533Vezi pe GitHubAcest proiect este un plugin IntelliJ IDE care oferă un mediu de dezvoltare integrat pentru Rust. Acesta servește ca orchestrator de sistem de build și interfață de debugger, oferind analiză lingvistică cuprinzătoare, evidențierea sintaxei și asistență inteligentă pentru editarea codului. Plugin-ul se integrează cu un language server pentru a oferi inferență de tip în timp real și navigare în cod. Include un instrument dedicat de analiză statică pentru detectarea duplicatelor de cod, analizarea scurgerilor de memorie și măsurarea acoperirii testelor. Toolset-ul acoperă gestionarea toolchain-ului și integrarea Cargo pentru gestionarea dependențelor și a manifestelor. Oferă, de asemenea, capabilități pentru profilarea performanței, debugging-ul programelor la runtime și automatizarea testelor, precum și suport pentru dezvoltarea aplicațiilor web, inclusiv gestionarea containerelor și explorarea schemelor de baze de date.
Includes a static analysis suite for detecting code duplicates and analyzing memory leaks in Rust projects.
Kotlinclionhacktoberfestintellij - model-checking/kani
model-checking/kani
2,943Vezi pe 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,718Vezi pe 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
