More efficient, generates fewer “false positive” messages

NEW YORK and PARIS, April 12, 2011 - AdaCore, a leading supplier of Ada development tools and support services, today announced the release of CodePeer 2.0, the advanced source code analysis tool that helps developers detect potential run-time and logic errors in Ada programs. CodePeer 2.0 also comes with a number of complementary static analysis tools common to the GNAT Pro technology - a coding standard verification tool (GNATcheck), a program metric generator (GNATmetric), a semantic analyzer, and a document generator that can be invoked through the GNAT Programming Studio (GPS) Integrated Development Environment (IDE).

CodePeer 2.0 introduces many enhancements to the technology, most driven by customer feedback, including:

• Support for subprogram calls via pointers.
• Much more efficient intermediate format (SCIL) generation, with faster processing and simpler (and fewer) SCIL files. In addition, CodePeer requires fewer partitions by default to perform an analysis.
• Support for parallel SCIL generation on multiple cpus/cores, via the gnatmake "-j" switch.
• New, “useless self assignment” warning when an assignment does not modify the destination variable.
• Fewer “false positives” (false alarms).
• Improved integration with the GPS IDE.

“CodePeer 2.0 brings maturity to our static analyzer technology and allows processing of large applications easily, taking particular advantage of multi-core computers,” said Arnaud Charlet, CodePeer Project Manager at AdaCore. “CodePeer is not just a bug finding tool; its ability, in particular, to generate and display annotations in a human readable form is a unique capability.”

Webinar
A webinar introducing the CodePeer 2.0 features will be presented by Tucker Taft (SofCheck) on May 5, 2011, at 11:00 am (EDT) / 5:00 pm (GMT). For more information, or to register, please visit http://www.adacore.com/home/gnatpro/webinars/.

About CodePeer
Serving as an efficient and accurate code reviewer, CodePeer identifies constructs that are likely to lead to run-time errors, such as buffer overflows, and it flags legal, but suspect, code typical of logic errors. Going well beyond the capabilities of typical static analysis tools, CodePeer also produces a detailed analysis of each subprogram, including pre- and post-conditions. Such an analysis makes it easier to find potential bugs and vulnerabilities early: if the implicit specification deduced by CodePeer does not match the component’s requirements, a reviewer is alerted immediately to a likely logic error. CodePeer can be used both during system development − to prevent errors from being introduced, or as part of a systematic code review process to dramatically increase the efficiency of human review − and retrospectively on existing code, to detect and remove latent bugs.

CodePeer was developed jointly by AdaCore and SofCheck.

Pricing and Availability
CodePeer is immediately available. Please contact AdaCore (info@adacore.com) for information on pricing and supported configurations.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

AdaCore has North American headquarters in New York and European headquarters in Paris.

Press Contacts
press@adacore.com

Plus rapide, plus efficace et avec moins de « faux positifs ».

NEW YORK et PARIS, 5 avril 2011 - AdaCore, fournisseur leader d'outils de développement sur Ada et de services de support, publie aujourd'hui la version 2.0 de CodePeer un outil d'analyse de code source capable de détecter statiquement des erreurs de logique et des erreurs d'exécution dans un programmes Ada.  CodePeer 2.0 inclut également plusieurs outils d'analyse communs avec la technologie GNAT Pro — un outil de vérification de conformité à un standard de codage (GNATcheck), un générateur de métriques de code (GNATmetric), un analyseur sémantique et un générateur de documentation - qui s'intègrent avec l'environnement de développement GNAT Programming Studio (GPS)

CodePeer 2.0 apporte de nombreuses améliorations à la technologie, pour la plupart en réponse à des demandes de clients, notamment :

• Le support des pointeurs de sous-programmes ;
• L’amélioration de l’efficacité de la génération du format intermédiaire (SCIL), avec des fichiers SCIL plus simples, moins nombreux, et plus rapides à traiter. Le nombre de partitions par défaut requises pour une analyse par CodePeer est également réduit ;
• Le support pour la génération des fichiers SCIL en parallèle sur plusieurs cœurs, accessible par l'option « -j » de l'outil gnatmake ;
• Un nouvel avertissement, « useless self assignment », lorsqu'une affectation ne modifie pas la variable de destination ;
• Moins de « faux positifs » (fausses alertes) ;
• L’amélioration de l’intégration au sein de l'environnement de développement GPS.

« 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 un formalisme aisément compréhensible est une fonctionnalité unique. »

Webinaire
Un séminaire en ligne (webinaire) exposant les fonctionnalités de CodePeer 2.0 sera tenu le 5 mai 2011 à 17 h (heure française), animé par Tucker Taft de SofCheck.  De plus amples informations, ainsi que le formulaire d'enregistrement, sont disponibles sur http://www.adacore.com/home/gnatpro/webinars/.

À propos de CodePeer
CodePeer fournit une aide à la revue de code efficace et précise. Pour cela, il identifie les constructions susceptibles de mener à des erreurs d'exécution (comme des dépassements de mémoire), et signale les portions de code légales mais contenant des erreurs de logique typiques (variable non initialisées, code mort, ensemble de validité discontinu…). Il offre des fonctionnalités qui dépassent largement les capacités des outils d'analyse statique classiques, en fournissant une analyse détaillée de chacun des sous-programmes qui lui sont soumis, et en extrayant notamment ses pre-conditions et post-conditions. Cette analyse facilite la découverte de vulnérabilités au plus tôt dans le cycle de développement. CodePeer peut être utilisé lors du développement d'un système, pour empêcher de telles erreurs d'apparaître, dans le cadre d'un processus de revue systématique de code, pour améliorer sensiblement l'efficacité de la revue manuelle, ou rétrospectivement lors de l'audit d'un système existant, pour détecter et supprimer des problèmes latents

CodePeer a été développé dans le cadre d'une collaboration entre AdaCore et SofCheck.

Disponibilité
CodePeer est disponible dès aujourd'hui.  Pour obtenir des détails sur les tarifs et les configurations supportées, contactez AdaCore (info@adacore.com).

À propos d'AdaCore
AdaCore, fondé en 1994, est le premier fournisseur de solutions logicielles commerciales pour Ada, un langage de programmation de pointe conçu pour des applications de grande taille et à grande durée de vie. Les technologies fournies par AdaCore sont particulièrement adaptées aux applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Le produit phare d'AdaCore est l'environnement de développement 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é par des experts parmi les plus reconnus dans le domaine. AdaCore dispose d’une vaste base de clients située dans le monde entier ; voir http://www.adacore.com/home/company/customers/ pour de plus amples informations.

L'utilisation d'Ada et de GNAT Pro connaît une croissance continue dans les applications de haute intégrité ou certifiées pour la sûreté, comme les éléments d'avionique pour les appareils commerciaux, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux, et dans des domaines sensibles pour la sécurité comme les services financiers.  L’environnement SPARK Pro, vendu par AdaCore, est particulièrement adapté à de tels contextes.

Le siège social d’AdaCore est situé à Paris pour la zone Europe, et à New York pour la zone Amérique du Nord.

Contacts Presse
press@adacore.com

Paris, 12. April 2011 - AdaCore, ein führender Anbieter von Ada Entwicklungswerkzeugen und Supportdiensten, hat heute das fortgeschrittene Source-Code-Analysewerkzeug CodePeer veröffentlicht. Das Tool hilft Entwicklern, potentielle Logikfehler und Laufzeitfehler zu finden. CodePeer 2.0 enthält eine Reihe von komplementären Werkzeugen der statischen Analyse, die aus der GNAT-Pro-Technologie übernommen wurden. Dazu gehört ein Werkzeug zur Überprüfung von Coding Standards (GNATcheck), ein Programm zur Erstellung von Code-Metriken (GNATMetric), eine semantische Analyse, und ein Dokumentationsgenerator - die alle von der Entwicklungsumgebung GNAT Programming Studio (GPS) erreichbar sind.

CodePeer 2.0 führt viele Verbesserungen der Technologie ein, die meistens aus Kundenwünschen entspringen, so zum Beispiel:

• Unterstützung für Funktionsaufrufe mit Zeigern
• Effizientere Generierung des intermediären Formats SCIL, mit schnellerer Verarbeitung sowie einfacheren und weniger SCIL-Dateien. Dabei benötigt CodePeer per Default weniger Partitionen, um eine Analyse auszuführen
• Unterstützung für parallele Generierung von SCIL, auf mehreren Prozessoren oder Kernen, mithilfe der "-j"-Option von gnatmake
• Neue Warnung "useless self assignment", wenn eine Zuweisung nicht die Zielvariable verändert
• Weniger "False-Positive"-Warnungen (falscher Alarm)
• Bessere Integration in die GPS IDE.

"CodePeer 2.0 bringt Stabilität in unsere Technologie der statischen Analyse, erlaubt die einfache Verarbeitung von sehr großen Applikationen, und profitiert insbesondere von Multi-Core-Computern", erklärt Arnaud Charlet, CodePeer Projektmanager bei AdaCore. "CodePeer ist nicht einfach nur ein Tool das Bugs findet. Seine Fähigkeit, Annotationen in für Menschen lesbarer Form zu generieren und darzustellen, ist einzigartig."

Tucker Taft (SofCheck) führt am 5. Mai 2011 um 11:00 (EDT) / 17:00 (GMT) ein Webinar durch, das die Features von CodePeer 2.0 vorstellt. Mehr Informationen und die Möglichkeit zur Registrierung finden sich unter http://www.adacore.com/home/gnatpro/webinars/.

Über CodePeer
CodePeer und ein effizienter und präziser Code Reviewer identifizieren in Source-Codes Konstruktionen, die zu Laufzeitfehlern wie Pufferüberläufen führen können, sowie legalen, aber verdächtigen Code, der für logische Fehler in Programmen typisch ist. CodePeer geht weit über die Fähigkeiten von üblichen Werkzeugen der statischen Analyse hinaus und erzeugt eine detaillierte Analyse von allen Funktionen, mit Vor- und Nachbedingungen. Eine solche Analyse macht es einfach, potentielle Fehler und Anfälligkeiten zeitig zu finden: Wenn die implizite Spezifikation, die von CodePeer gefunden wurde, nicht den Anforderungen dieser Komponente entspricht, wird ein Reviewer automatisch über einen wahrscheinlichen Logikfehler informiert. CodePeer kann sowohl während der Entwicklung eines Systems – um die Entstehung von Fehlern als Teil eines systematischen Code-Review-Prozesses zu vermeiden und die Effizienz von manuellem Review deutlich zu verbessern – als auch auf existierenden Code angewendet werden, um latente Bugs zu finden und zu entfernen.CodePeer wurde in Zusammenarbeit von AdaCore und SofCheck entwickelt.

Preise und Verfügbarkeit
CodePeer ist ab sofort verfügbar. Detaillierte Informationen zu Preisen und unterstützten Konfigurationen sind über AdaCore (info@adacore.com) erhältlich.

Über AdaCore
AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für Mission-Critical-Anwendungen in sicherheitskritischen Umgebungen. Das wichtigste Produkt des Unternehmens ist die Entwicklungsumgebung GNAT Pro, die Online-Support bietet und auf mehr Plattformen als jede andere Ada-Technologie verfügbar ist. Unternehmen aus aller Welt aus sicherheitssensiblen Bereichen wie der Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle, dem Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen Produkte oder dem Finanzsektor setzen AdaCore-Lösungen für sicherheitskritische Anwendungen ein. Hauptsitz des Unternehmens ist New York, das europäische Headquarter ist in Paris. Weitere Informationen:

Pressekontakt:
press@adacore.com

Hjälper till att utveckla Ada-program som är snabbare, mer effektiva och med färre ”falska positiva” meddelanden.

NEW YORK och PARIS, den 5 april 2011 - - AdaCore, en ledande leverantör av utvecklingsvertyg och supporttjänster för Ada, tillkännagav idag lanseringen av CodePeer 2.0, det avancerade verktyg för källkodsanalys som hjälper utvecklare att upptäcka potentiella körningsfel och logiska fel i Ada-program. CodePeer 2.0 innehåller också flera kompletterande statiska analysverktyg som ingår i GNAT Pro-teknologin – ett standardverktyg för kodverifiering (GNATcheck), ett verktyg för att generera mätuppgifter om program (GNATmetric), ett semantiskt analysverktyg, samt ett verktyg för att generera dokumentation – som alla kan anropas genom GNAT Programming Studio (GPS) IDE

CodePeer 2.0 innebär många förbättringar av teknologin, varav de flesta är ett resultat av våra kunders synpunkter, bland annat:

• Stöd för anrop av underprogram via pekare.
• Mycket snabbare generering av mellanliggande format (SCIL), med snabbare bearbetning och enklare (och färre) SCIL-filer. CodePeer kräver nu dessutom som standard färre partitioner för att utföra en analys.
• Stöd för parallell SCIL-generering på flera processorer/kärnor via gnatmakes kommandoradsväxel ”-j”.
• Ny varning, ”oanvändbar självtilldelning”, när en tilldelning inte modifierar destinationsvariabeln.
• Färre ”falska positiva” (dvs. skenträffar eller falska larm).
• Förbättrad integrering med GPS IDE.

”CodePeer 2.0 representerar en mognad i vår statiska analysteknologi och möjliggör enkel bearbetning av större program, med särskilt utnyttjande av flerkärniga processorer”, säger Arnaud Charlet, projektledare för CodePeer på AdaCore. ”CodePeer är inte bara att verktyg för att hitta buggar – i synnerhet dess förmåga att generera och visa kommentarer på ett lättläst sätt är en unik tillgång.”

Webinar
Ett webinar där funktionerna hos CodePeer 2.0 presenteras kommer att ledas av Tucker Taft (SofCheck) klockan 17.00 (GMT) den 5 maj, 2011. För mer information, eller för att registrera dig för att delta, besök http://www.adacore.com/home/gnatpro/webinars/.

Om CodePeer
CodePeer är en snabb och precis kodgranskare som identifierar konstruktioner som riskerar att ge upphov till körningsfel, till exempel buffertöversvämning, och som även flaggar tillåten men misstänkt kod som är typisk för logiska fel. CodePeer sträcker sig mycket längre än vanliga statiska analysverktyg och tillhandahåller en detaljerad analys av varje underprogram, inklusive före- och efterförhållanden. En sådan analys gör det lättare att hitta potentiella buggar och sårbarheter i ett tidigt skede: Om den implicita specifikation som CodePeer härleder inte överensstämmer med komponentens krav meddelas en granskare omedelbart om ett möjligt logiskt fel. CodePeer kan användas både under systemutveckling – för att förebygga att fel införs, eller som del av en systematisk kodgranskningsprocess för att avsevärt öka effektiviteten i den mänskliga granskningen – samt även retroaktivt på befintlig kod, för att upptäcka och avlägsna dolda buggar.

CodePeer utvecklas i samarbete mellan AdaCore och SofCheck.

Pris och tillgänglighet
CodePeer finns tillgängligt att köpa nu. Kontakta AdaCore (info@adacore.com) för information om priser och understödda konfigurationer.

Om AdaCore
AdaCore grundades 1994 och är den ledande leverantören av kommersiella mjukvarulösningar för Ada, ett toppmodernt programmeringsspråk utformat för stora, långlivade tillämpningar där säkerhet, trygghet och pålitlighet är kritiska faktorer. AdaCores flaggskeppsprodukt är utvecklingsmiljön GNAT Pro, som levereras med expertstöd online och finns tillgängligt på fler plattformar än någon annan Ada-teknologi. AdaCore har en omfattande kundbas över hela världen; se http://www.adacore.com/home/company/customers/ för mer information

Ada och GNAT Pro ser nu en ökande användning i tillämpningar med hög integritet och säkerhetscertifieringar, bland annat kommersiell flygelektronik, militära system, flygtrafikledning, järnvägssystem och medicinsk utrustning, samt inom säkerhetskänsliga områden såsom finansiella tjänster. Verktygsuppsättningen SPARK Pro som AdaCore tillhandahåller är särskilt användbar i dylika sammanhang.

AdaCore har sitt nordamerikanska huvudkontor i New York och sitt europeiska huvudkontor i Paris.

Presskontakt:
press@adacore.com