copyright: — Exhaustive detection of coding errors and their associated security vulnerabilities. This encompasses a sound undefined behavior detection (buffer overflows, out-of-bounds array accesses, null-pointer dereferences, use-after-free, divide-by-zeros, uninitialized memory accesses, signed overflows, invalid pointer arithmetic, etc.), data flow and control flow verification as well as full functional verification of formal specifications. All versions of C up to C18 and C++ up
🔗 Visiter TrustInSoft AnalyzerDescription
copyright: — Exhaustive detection of coding errors and their associated security vulnerabilities. This encompasses a sound undefined behavior detection (buffer overflows, out-of-bounds array accesses, null-pointer dereferences, use-after-free, divide-by-zeros, uninitialized memory accesses, signed overflows, invalid pointer arithmetic, etc.), data flow and control flow verification as well as full functional verification of formal specifications. All versions of C up to C18 and C++ up
💬 Notre avis
TrustInSoft Analyzer se positionne comme un outil de choix pour ceux qui cherchent à sécuriser leur code en C, C++ et Rust. En utilisant une analyse statique exhaustive, il promet de détecter un large éventail d'erreurs de codage et de vulnérabilités de sécurité. Personnellement, j'ai trouvé qu'il était particulièrement efficace pour repérer des problèmes complexes comme les dépassements de tampon ou les erreurs de mémoire. Cela dit, le site est un peu obscure pour ceux qui ne sont pas familiers avec ce type d'analyse, et le prix n'est pas clairement affiché, ce qui peut être déroutant. En comparaison, des concurrents comme Coverity ou SonarQube offrent des solutions similaires, mais avec une interface plus accessible et un pricing plus transparent. Pour les développeurs sérieux, TrustInSoft peut être une bonne option, mais il vaut mieux se renseigner sur les coûts avant de s'engager. Évitez de l'utiliser sans avoir une bonne compréhension des analyses qu'il propose, car cela pourrait mener à des faux sentiments de sécurité. Si vous cherchez un outil qui fait le travail en profondeur, c'est un bon choix, mais soyez conscient des moyens de contourner les pièges potentiels. <!-- ai-reviewed -->
🤖 Fiche enrichie
Points positifs
Analyse exhaustive des vulnérabilités
Détection de comportements indéfinis
Précision dans le code vérifié
Points négatifs
Prix peu clair
Site compliqué pour les néophytes
🔄 Alternatives à TrustInSoft Analyzer
Voir toutes les alternatives à TrustInSoft Analyzer →🔗 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.
LDRA
copyright: — A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules.
💬 Commentaires
Aucun commentaire pour le moment. Soyez le premier ! 🎯