
Clients CodeSonar (sélection):

CodeSonar®





CodeSonar®
Analyse de code statique pour C, C++ et Java
L´Analyse statique CodeSecure pour C, C++ et Java est conçu pour les organisations qui ont une tolérance zéro pour les défauts et les vulnérabilités dans leur code. CodeSonar® est le plus puissant système d´analyse de code source disponible aujourd´hui.
Il est extrêmement précis et permet de trouver en moyenne 2 fois plus de défauts graves dans les logiciels que les autres outils d´analyse statique.
Des informations supplémentaires sont disponibles sur nos pages anglaises du produit.
Verifysoft distribue CodeSonar seulement en Allemagne, Autriche, Suisse et Liechtenstein. Les sociétés basées hors de ces pays peuvent se renseigner directement sur le site de CodeSecure.



CodeSonar 4 for Embedded Systems
![[PDF]](icon-pdf-15x16.gif)
![[PDF]](icon-pdf-15x16.gif)
Development Testing
Defect Detection
Concurrency Checks
Security Checks
Software metrics
CodeSonar for Java
Compliant to standards
DO-178
ISO 26262
FDA-standards
MISRA
CWE- and BSI-regulations
"Power of Ten" and JPL-regulations
how Static Code Analysis works
Workflow-Features
Binary-Analysis
Visual-Taint-Analysis
Whitepapers
References
University program
Case studies
![[PDF]](icon-pdf-15x16.gif)