{"id":13551,"date":"2011-04-12T13:03:53","date_gmt":"2011-04-12T13:03:53","guid":{"rendered":"http:\/\/www.agglotv.com\/?p=13551"},"modified":"2011-04-12T13:03:53","modified_gmt":"2011-04-12T13:03:53","slug":"adacore-publie-une-nouvelle-version-majeure-de-loutil-codepeer","status":"publish","type":"post","link":"https:\/\/www.agglotv.com\/?p=13551","title":{"rendered":"AdaCore publie une nouvelle version majeure  de l&rsquo;outil CodePeer"},"content":{"rendered":"<div class=\"alignleft\"><script type=\"text\/javascript\"><!--\ngoogle_ad_client = \"pub-2913804460579993\";\n\/* 300x250, date de cr\u00e9ation 23\/02\/11 *\/\ngoogle_ad_slot = \"4347473311\";\ngoogle_ad_width = 300;\ngoogle_ad_height = 250;\n\/\/-->\n<\/script><br \/>\n<script type=\"text\/javascript\"\nsrc=\"http:\/\/pagead2.googlesyndication.com\/pagead\/show_ads.js\">\n<\/script><\/div>\n<p><em>Plus rapide, plus efficace et avec moins de \u00ab\u00a0faux positifs\u00a0\u00bb.<\/em><\/p>\n<p>AdaCore, fournisseur leader d&rsquo;outils de d\u00e9veloppement sur Ada et de<strong> <\/strong>services de support, publie aujourd&rsquo;hui la version 2.0 de <a href=\"http:\/\/www.adacore.com\/home\/products\/codepeer\/\">CodePeer<\/a>,<strong> <\/strong>un outil d&rsquo;analyse de code source capable de d\u00e9tecter statiquement des erreurs de logique et des erreurs d&rsquo;ex\u00e9cution dans un programmes Ada. \u00a0CodePeer 2.0 inclut \u00e9galement<strong> <\/strong>plusieurs outils d&rsquo;analyse communs avec la<strong> <\/strong>technologie GNAT Pro \u2014 un outil de v\u00e9rification de conformit\u00e9 \u00e0 un<strong> <\/strong>standard de codage (<a href=\"http:\/\/www.adacore.com\/home\/products\/gnatpro\/toolsuite\/gnatcheck\">GNATcheck<\/a>), un g\u00e9n\u00e9rateur de m\u00e9triques de code (GNATmetric), un analyseur s\u00e9mantique et un g\u00e9n\u00e9rateur de<strong> <\/strong>documentation &#8211; qui s&rsquo;int\u00e8grent avec l&rsquo;environnement de d\u00e9veloppement <a href=\"http:\/\/www.adacore.com\/home\/products\/gnatpro\/toolsuite\/gps\/\">GNAT<strong> <\/strong>Programming Studio<\/a> (GPS).<\/p>\n<p>CodePeer 2.0 apporte de nombreuses am\u00e9liorations \u00e0 la technologie, pour la plupart en r\u00e9ponse \u00e0 des demandes de clients, notamment\u00a0:<\/p>\n<p>&#8211; Le support des pointeurs de sous-programmes\u00a0;<br \/>\n&#8211; L\u2019am\u00e9lioration de l\u2019efficacit\u00e9 de la g\u00e9n\u00e9ration du format interm\u00e9diaire (SCIL), avec des fichiers SCIL plus simples, moins nombreux, et\u00a0plus rapides \u00e0 traiter.\u00a0Le nombre de partitions par d\u00e9faut requises\u00a0pour une analyse par CodePeer est \u00e9galement r\u00e9duit\u00a0;<!--more--><br \/>\n&#8211; Le support pour la g\u00e9n\u00e9ration des fichiers SCIL en parall\u00e8le sur\u00a0plusieurs\u00a0 c\u0153urs, accessible par\u00a0l&rsquo;option \u00ab\u00a0-j\u00a0\u00bb de l&rsquo;outil gnatmake ;<br \/>\n&#8211; Un nouvel avertissement, \u00ab\u00a0useless self assignment\u00a0\u00bb, lorsqu&rsquo;une\u00a0affectation ne modifie pas la variable de destination\u00a0;<br \/>\n&#8211; Moins de \u00ab\u00a0faux positifs\u00a0\u00bb (fausses alertes)\u00a0;<br \/>\n&#8211; L\u2019am\u00e9lioration de l\u2019int\u00e9gration au sein de l&rsquo;environnement de\u00a0d\u00e9veloppement GPS.<\/p>\n<p>\u00ab\u00a0CodePeer 2.0 apporte de la maturit\u00e9 \u00e0 notre technologie d&rsquo;analyse statique, et facilite le traitement d&rsquo;applications de grande ampleur en tirant parti des ordinateurs \u00e0 plusieurs c\u0153urs\u00a0\u00bb, pr\u00e9cise Arnaud Charlet, chef du projet CodePeer chez AdaCore. \u00ab\u00a0CodePeer n&rsquo;est pas juste un outil de d\u00e9tection d&rsquo;erreurs\u00a0; sa capacit\u00e9 \u00e0 annoter le code un formalisme ais\u00e9ment compr\u00e9hensible est une fonctionnalit\u00e9 unique.\u00a0\u00bb<\/p>\n<p><strong>Webinaire<\/strong><\/p>\n<p>Un s\u00e9minaire en ligne (webinaire) exposant les fonctionnalit\u00e9s de CodePeer 2.0 sera tenu le 5 mai 2011 \u00e0 17\u00a0h (heure fran\u00e7aise), anim\u00e9 par Tucker Taft de SofCheck. \u00a0De plus amples informations, ainsi que le formulaire d&rsquo;enregistrement, sont disponibles sur <a href=\"http:\/\/www.adacore.com\/home\/gnatpro\/webinars\/\">http:\/\/www.adacore.com\/home\/gnatpro\/webinars\/<\/a><\/p>\n<p><strong>\u00c0 propos de CodePeer<\/strong><\/p>\n<p>CodePeer fournit une aide \u00e0 la revue de code efficace et pr\u00e9cise.\u00a0Pour cela, il identifie les constructions susceptibles de mener \u00e0 des erreurs d&rsquo;ex\u00e9cution (comme des d\u00e9passements de m\u00e9moire), et signale les portions de code l\u00e9gales mais contenant des erreurs de logique typiques (variable non initialis\u00e9es, code mort, ensemble de validit\u00e9 discontinu\u2026).\u00a0Il offre des fonctionnalit\u00e9s qui d\u00e9passent largement les capacit\u00e9s des outils d&rsquo;analyse statique classiques, en fournissant une analyse d\u00e9taill\u00e9e de chacun des sous-programmes qui lui sont soumis, et en extrayant notamment ses pre-conditions et post-conditions.\u00a0Cette analyse facilite la d\u00e9couverte de vuln\u00e9rabilit\u00e9s au plus t\u00f4t dans le cycle de d\u00e9veloppement. CodePeer peut \u00eatre utilis\u00e9 lors du d\u00e9veloppement d&rsquo;un syst\u00e8me, pour emp\u00eacher de telles erreurs d&rsquo;appara\u00eetre, dans le cadre d&rsquo;un processus de revue syst\u00e9matique de code, pour am\u00e9liorer sensiblement l&rsquo;efficacit\u00e9 de la revue manuelle, ou r\u00e9trospectivement lors de l&rsquo;audit d&rsquo;un syst\u00e8me existant, pour d\u00e9tecter et supprimer des probl\u00e8mes latents.<\/p>\n<p>CodePeer a \u00e9t\u00e9 d\u00e9velopp\u00e9 dans le cadre d&rsquo;une collaboration entre AdaCore et SofCheck.<\/p>\n<p><strong>Disponibilit\u00e9<\/strong><\/p>\n<p>CodePeer est disponible d\u00e8s aujourd&rsquo;hui. \u00a0Pour obtenir des d\u00e9tails sur les tarifs et les configurations support\u00e9es, contactez AdaCore (<span style=\"text-decoration: underline;\"><a href=\"mailto:sales@adacore.com\">sales@adacore.com<\/a><\/span>).<\/p>\n<p><strong>\u00c0 propos d&rsquo;AdaCore<\/strong><\/p>\n<p>AdaCore, fond\u00e9 en 1994, est le premier fournisseur de solutions logicielles commerciales pour Ada, un langage de programmation de pointe con\u00e7u pour des applications de grande taille et \u00e0 grande dur\u00e9e de vie. Les technologies fournies par AdaCore sont particuli\u00e8rement adapt\u00e9es aux applications pour lesquelles la s\u00fbret\u00e9, la s\u00e9curit\u00e9 et la fiabilit\u00e9 sont des \u00e9l\u00e9ments critiques.\u00a0 Le produit phare d&rsquo;AdaCore est l&rsquo;environnement de d\u00e9veloppement GNAT Pro est disponible sur le plus vaste ensemble de plateformes de toutes les technologies Ada. Il est fournit avec un support en ligne dispens\u00e9 par des experts parmi les plus reconnus dans le domaine.\u00a0 AdaCore dispose d\u2019une vaste base de clients situ\u00e9e dans le monde entier ; voir <span style=\"text-decoration: underline;\"><a href=\"http:\/\/www.adacore.com\/home\/company\/customers\/\">http:\/\/www.adacore.com\/home\/company\/customers\/<\/a><\/span> pour de plus amples informations.<\/p>\n<p>L&rsquo;utilisation d&rsquo;Ada et de GNAT Pro conna\u00eet une croissance continue dans les applications de haute int\u00e9grit\u00e9 ou certifi\u00e9es pour la s\u00fbret\u00e9, comme les \u00e9l\u00e9ments d&rsquo;avionique pour les appareils commerciaux, les syst\u00e8mes militaires, le contr\u00f4le a\u00e9rien, les syst\u00e8mes ferroviaires, les appareils m\u00e9dicaux, et dans des domaines sensibles pour la s\u00e9curit\u00e9 comme les services financiers. \u00a0L\u2019environnement SPARK Pro, vendu par AdaCore, est particuli\u00e8rement adapt\u00e9 \u00e0 de tels contextes.<\/p>\n<p>Le si\u00e8ge social d\u2019AdaCore est situ\u00e9 \u00e0 Paris pour la zone Europe, et \u00e0 New York pour la zone Am\u00e9rique du Nord.\u00a0 <a href=\"http:\/\/www.adacore.com\/\">http:\/\/www.adacore.com\/<\/a><\/p>\n<p><strong><span style=\"text-decoration: underline;\">Contacts Presse<\/span><\/strong><br \/>\nJamie Ayre<br \/>\nAdaCore<br \/>\n<span style=\"text-decoration: underline;\"><a href=\"mailto:press@adacore.com\">press@adacore.com<\/a> <\/span><\/p>\n<p><iframe src=\"http:\/\/www.facebook.com\/plugins\/like.php?href=http:\/\/www.agglotv.com\/?p=13551;width=300&amp;action=like&amp;colorscheme=light&amp;height=35\" scrolling=\"no\" frameborder=\"0\" style=\"border:none; overflow:hidden; width:300px; height:35px;\" allowTransparency=\"true\"><\/iframe><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Plus rapide, plus efficace et avec moins de \u00ab\u00a0faux positifs\u00a0\u00bb. AdaCore, fournisseur leader d&rsquo;outils de d\u00e9veloppement sur Ada et de services de support, publie aujourd&rsquo;hui la version 2.0 de CodePeer, un outil d&rsquo;analyse de code source capable de d\u00e9tecter statiquement des erreurs de logique et des erreurs d&rsquo;ex\u00e9cution dans un programmes Ada. \u00a0CodePeer 2.0 inclut [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[5],"tags":[],"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/13551"}],"collection":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=13551"}],"version-history":[{"count":1,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/13551\/revisions"}],"predecessor-version":[{"id":13552,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/13551\/revisions\/13552"}],"wp:attachment":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=13551"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=13551"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=13551"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}