Travail collaboratif
AdaCore publie aujourd’hui la version 2.0 de CodePeer. Ce produit est un analyseur de code source pour le langage de programmation Ada. Il permet de détecter les erreurs de logique et celles rencontrées lors de l’exécution des programmes. Il partage certaines de ses technologies avec GNAT Pro, comme l’outil de vérification de la conformité aux standards de codage GNATcheck, le générateur de métriques de code GNATmetric et un analyseur sémantique.
CodePeer 2.0 propose un support des pointeurs de sous-programmes, une amélioration de l’efficacité de la génération du format intermédiaire SCIL (ce qui réduit le nombre de partitions requises pour une analyse), la génération des fichiers SCIL en mode multicœur, de nouveaux avertissements et un moins grand nombre de faux positifs. Enfin, l’intégration à l’environnement de développement GNAT Programming Studio est en progrès.
« CodePeer 2.0 apporte de la maturité à notre technologie d’analyse statique, et facilite le traitement d’applications de grande ampleur en tirant parti des ordinateurs à plusieurs cœurs », précise Arnaud Charlet, chef du projet CodePeer chez AdaCore. « CodePeer n’est pas juste un outil de détection d’erreurs ; sa capacité à annoter le code avec un formalisme aisément compréhensible est une fonctionnalité unique. »
La Cour des comptes appelle à formaliser et à professionnaliser certains aspects du RIE, tout…
La Cour des comptes attire l'attention sur le risque d'affaiblissement d'Etalab, privé, ces dernières années,…
Missions historiques de la Dinum, l'ouverture des données publiques et la promotion des logiciels libres…
Pour développer une version 7B de son modèle Codestral, Mistral AI n'a pas utilisé de…
L’Autorité de la concurrence et des marchés (CMA) britannique ouvre une enquête sur les conditions…
Thomas Gourand est nommé Directeur Général pour la France. Il est chargé du développement de…