Réservé aux abonnés
Revue ElectroniqueS
Le 12/11/2009 à 0:00 par La rédaction

Code sécurisé selon l’US-CERT

CodeSonar de GrammaTech Cette nouvelle version de l’analyseur de code supporte les règles de sécurité développées par US-CERT. Analyse automatique…

Réservé aux abonnés
Revue ElectroniqueS
Le 12/11/2009 à 0:00 par La rédaction

Outils d’analyse de code

LDRA tool suite et IBM Rational Rose RealTime v7.0 de LDRA Cette suite d’outils d’analyse de code est intégrée à…

Réservé aux abonnés
Revue ElectroniqueS
Le 12/11/2009 à 0:00 par La rédaction

Vérification formelle

RootCauseAnalyzer 360 MV de OneSpin Cet outil de débogage, comprenant quatre composants, accélère d’un facteur 10 la vérification formelle basée…

Les partenaires