Nouvelle version des produits Absint
ISIT
AbsInt Tools pour le développement de logiciels critiques pour la sécurité
AbsInt a le plaisir d'annoncer la sortie d'une nouvelle version des outils AbsInt destinés au développement de logiciels critiques pour la sécurité. Voici un bref aperçu des principales nouveautés.
aiT, TimingProfiler, StackAnalyzer, TimeWeaver
======================
- NOUVEAU : aiT pour AURIX TC487
- NOUVEAU : TimeWeaver pour RISC-V
- Amélioration de l'extraction des traces multicœurs dans TraceVisualizer
Astrée, RuleChecker
======================
- Analyse syntaxique et vérification des règles C au niveau du frontend plus rapides grâce à la parallélisation
sur plusieurs threads d'exécution
- Amélioration des temps de téléchargement vers le serveur et réduction de la taille des archives d'analyse AAF
- Prise en charge améliorée des cibles qui remettent les nombres sous-normaux à zéro lors d'opérations arithmétiques en virgule flottante à simple précision
- Astrée prend désormais entièrement en charge l'allocation dynamique de mémoire dans les programmes concurrents
CompCert
============
- NOUVEAU : Prise en charge de l'extension Zicond RISC-V
- Amélioration de la vitesse de compilation
- Amélioration de l'analyse de valeur pour TriCore
- Amélioration de la sélection d'instructions pour l'arithmétique 64 bits sur les backends 32 bits
Plugins
=========
- Astrée peut désormais être intégré à GitLab CI/CD en incluant le composant correspondant
du catalogue GitLab CI/CD (https://gitlab.com/explore/catalog/absint/components)
- Astrée et RuleChecker peuvent désormais être intégrés à Arm Keil Studio
- Prise en charge améliorée du serveur LSP, par exemple pour Visual Studio Code
- Précision améliorée d'Astrée pour les fonctions d'interpolation et de recherche dans des tables dans TargetLink
======================
- NOUVEAU : aiT pour AURIX TC487
- NOUVEAU : TimeWeaver pour RISC-V
- Amélioration de l'extraction des traces multicœurs dans TraceVisualizer
Astrée, RuleChecker
======================
- Analyse syntaxique et vérification des règles C au niveau du frontend plus rapides grâce à la parallélisation
sur plusieurs threads d'exécution
- Amélioration des temps de téléchargement vers le serveur et réduction de la taille des archives d'analyse AAF
- Prise en charge améliorée des cibles qui remettent les nombres sous-normaux à zéro lors d'opérations arithmétiques en virgule flottante à simple précision
- Astrée prend désormais entièrement en charge l'allocation dynamique de mémoire dans les programmes concurrents
CompCert
============
- NOUVEAU : Prise en charge de l'extension Zicond RISC-V
- Amélioration de la vitesse de compilation
- Amélioration de l'analyse de valeur pour TriCore
- Amélioration de la sélection d'instructions pour l'arithmétique 64 bits sur les backends 32 bits
Plugins
=========
- Astrée peut désormais être intégré à GitLab CI/CD en incluant le composant correspondant
du catalogue GitLab CI/CD (https://gitlab.com/explore/catalog/absint/components)
- Astrée et RuleChecker peuvent désormais être intégrés à Arm Keil Studio
- Prise en charge améliorée du serveur LSP, par exemple pour Visual Studio Code
- Précision améliorée d'Astrée pour les fonctions d'interpolation et de recherche dans des tables dans TargetLink
Vous trouverez la liste complète de toutes les nouvelles fonctionnalités et améliorations à l'adresse suivante : ici
