Assurez votre code. Tout étape du chemin.

Astrée — static runtime error analysis

Vérifiez votre code C aux erreurs l’éxecution avec Astrée.

Trouvez tous les accès aux pointers invalides, des divisions par zéro, des débordements arithmétiques et des accès aux baies violées, des blocages inconséquents et d’autres formes d’erreurs.

RuleChecker — automatic checks for adherence to coding standards

Prouvez des normes MISRA avec RuleChecker.

Vérifiez automatiquement et rapidement votre code C concernant l’observation des standards comme MISRA, ISO/IEC, SEI CERT et CWE. Etablissez vos propres règles si besoin. Surveillez des codes métriques comme la densité de commentaire et la complexité cyclomatique. Produisez des rapports pour la documentation et la certification.

CompCert — verified compilation

Compilez le code avec CompCert.

Respectez les plus hautes normes de sécurité en compilant votre application avec le seul compilateur celui-ci est certifié être sans erreurs de compilation. Toutes les propriétés de sécurité verifiées sur le code source (par exemple avec Astrée) sont garantis aussi pour le code binaire généré.

StackAnalyzer — analyse statique de la pile

Analysez votre usage de la pile avec StackAnalyzer.

Calculez automatiquement et exactement le pire usage de la pile de chaque tche de votre application. Trouvez tous les débordements de la pile ou prouvez formellement leurs absence. Identifiez rapidement les sections critiques et les chemins d’exécution problématiques pour optimiser vos performances du code.

Analysez le temps d’exécution avec aiT, TimingProfiler ou TimeWeaver.

aiT — static timing analysis

aiT

Calculez le pire temps d’exécution possible des tches dans vos fichiers binaires, sans tests coûteux et des mesures répétées. Les résultats d’analyse sont valides pour tous entrées, tous scénarios d’exécution, tous repos du cache et du pipeline.

TimingProfiler — exploring timing effects at early design stages

TimingProfiler

Surveillez constamment le comportement temporel pendant le developpement de logiciel, même dans phases les plus en amont. Identifiez des goulots même quand vous n’avez déj pas décidé particulièrement pour un processeur dérivé, et mesures sur le matériel sont simplement impossible.

TimeWeaver — hybrid WCET analysis based on execution traces

TimeWeaver

Profitez d’analyses statiques même pour des processeurs qui sont difficiles  modeler — en combination d’analyse du chemin statique avec du chronométrage obtenu d’indication de temps réel au niveau d’instruction.

Autres logiciels

Pour d’informations sur produits interrompus, veuillez contacter info@absint.com.