0
LDRA Testbed fournit les principaux moteurs d'analyse statique et dynamique pour les logiciels hôtes et intégrés.LDRA Testbed fournit les moyens de faire respecter les normes de codage telles que MISRA, JSF ++ AV, CERT C, CWE et offre une visibilité des failles logicielles qui pourraient généralement passer par le processus de construction et de test standard pour devenir des problèmes latents.En outre, des informations sur l'efficacité des tests sont fournies par le biais de fonctions de rapport d'analyse de couverture structurelle qui prennent en charge les exigences de la norme DO-178B jusqu'au niveau A inclus.
ldra-testbed
Site Internet:
http://www.ldra.com/traits
Les catégories
Alternatives à LDRA Testbed pour Linux
20
Cppcheck
Cppcheck est un outil d'analyse statique pour le code C / C ++.Contrairement aux compilateurs C / C ++ et à de nombreux autres outils d'analyse, il ne détecte pas les erreurs de syntaxe dans le code.
- Gratuite
- PortableApps.com
- Windows
- Eclipse
- Linux
15
PVS-Studio
PVS-Studio est un analyseur statique qui détecte les erreurs dans le code source des applications C, C ++ et C #.