copyright: — A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules.
🔗 Visiter LDRADescription
copyright: — A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules.
💬 Notre avis
LDRA est un site spécialisé dans les outils de développement logiciel, surtout connu pour son analyse statique de code. Si tu cherches à respecter des normes de codage comme MISRA ou CERT, LDRA a ce qu'il te faut. Cependant, il faut savoir que c'est un outil principalement destiné aux entreprises et pas vraiment pour les développeurs indépendants ou les petits projets. Les prix ne sont pas affichés sur le site, donc il faut s'attendre à des frais élevés, probablement sur devis. Cela peut être un piège pour ceux qui ne s'y attendent pas. Les concurrents comme SonarQube et Coverity offrent des options plus accessibles et souvent plus connues dans le milieu. LDRA peut sembler un peu obscur si tu n'es pas déjà dans le domaine, donc il vaut mieux bien se renseigner avant d'investir. En gros, LDRA est solide pour les grands projets nécessitant une conformité stricte, mais pour d'autres, ça peut être trop cher ou pas adapté. Prends le temps de comparer avec d'autres outils avant de te lancer. <!-- ai-reviewed -->
🤖 Fiche enrichie
Points positifs
Conformité aux normes rigoureuses
Outils complets pour l'analyse statique
Support pour divers langages de programmation
Points négatifs
Prix élevé et non transparent
Pas adapté aux petits projets ou développeurs indépendants
🔗 Sites similaires
abaplint
Linter for ABAP, written in TypeScript.
abapOpenChecks
Enhances the SAP Code Inspector with new and customizable checks.
SPARK
copyright: — Static analysis and formal verification toolset for Ada.
Astrée
copyright: — Astrée automatically proves the absence of runtime errors and invalid concurrent behavior in C/C++ applications. It is sound for floating-point computations, very fast, and exceptionally precise. The analyzer also checks for MISRA/CERT/CWE/Adaptive Autosar coding rules and supports qualification for ISO 26262, DO-178C level A, and other safety standards. Jenkins and Eclipse plugins are available.
CBMC
Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.
CPAchecker
A tool for configurable software verification of C programs. The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.
CScout
Complexity and quality metrics for C and C preprocessor code.
Frama-C
A sound and extensible static analyzer for C code.
Goblint
A static analyzer for the analysis of multi-threaded C programs. Its primary focus is the detection of data races, but it also reports other runtime errors, such as buffer overflows and null-pointer dereferences.
Helix QAC
copyright: — Enterprise-grade static analysis for embedded software. Supports MISRA, CERT, and AUTOSAR coding standards.
KLEE
A dynamic symbolic execution engine built on top of the LLVM compiler infrastructure. It can auto-generate test cases for programs such that the test cases exercise as much of the program as possible.
PC-lint
copyright: — Static analysis for C/C++. Runs natively under Windows/Linux/MacOS. Analyzes code for virtually any platform, supporting C11/C18 and C++17.
💬 Commentaires
Aucun commentaire pour le moment. Soyez le premier ! 🎯