Coverity Prevent und Coverity Extend in der Fachpresse

Coverity Prevent

Tool-Radar: Coverity Prevent und SAT Solver
Jüngste Innovationen bei der statischen Analyse bieten Entwicklern von Multithreaded-Anwendungen Support, um die gut versteckten Defekte, wie Race Condition, Deadlock und Thread Block, schon früh im Entwicklungszyklus einer Anwendung aufzuspüren und zu eleminieren. Mithilfe von Coverity Prevent und der auf Boolescher Satisfiability (SAT) basierenden Softwareanalyse-Engine können Fehler bereits vor der Laufzeit aufgedeckt werden.

Javamagazin 4/2008 (354 KB)

Satisfiability: Neue Generation einer statischen Analyse
Mit Befriedigung auf Fehlerjagd
Embedded Software darf eigentlich keine grüne Banane sein, die erst beim Kunden reift. Die Quellcode-Analyse-Technik der Booleschen Erfüllbarkeit (Boolean Satisfiability - SAT) dient zur Reduktion der Fehlerrate und verbessert so deutlich die Qualität der Software.
Markt & Technik 7/2008 vom 15.02.2008: Artikel

Coverity erkennt Concurrency-Defekte in MultiThreaded Anwendungen
... Die neueste Version von Coverity Prevent beinhaltet ein hochentwickeltes Interface, mit dem die Entwickler die komplexen Überlappungen ihrer Multi-Threaded Anwendungen einfacher verstehen können. Diese neuen Analysefähigkeiten in Coverity Prevent ermöglichen die 100prozentige Analyse dieser Überlappungen – und liefern bisher unerreichte Einsicht in komplexe Codegrundlagen. Sie spüren diese schwer auffindbaren und oft zum Absturz führenden Concurrency Fehler auf. ...
IT-News (11.12.2007)

Coverity: new technique of source code analysis
Coverity announces a software analysis engine based on Boolean satisfiability and will enable multiple solvers to identify software defects. This new technique of source code analysis is made possible by patent-pending technology from Coverity that creates a bit-accurate representation of a software system, where every relevant software operation is translated into Boolean values (true and false) and Boolean operators (such as and, not, or). This bit-accurate representation enables source code to be analyzed by SAT-based Solvers.
ECE Embedded Control Europe (November 2007)

Open-Source-Software und Quellcode-Analyse: die perfekte Kombination
Schlaflose Nächte: Vor sieben Jahren wurde mir zum ersten Mal die Bedeutung des Begriffes "Graduate Student" (Student im Aufbaustudium) klar: Innerhalb von fünf Tagen schlief ich nur zwei Stunden und ansonsten spielte sich mein Leben am Computer ab, mit gelegentlichen Unterbrechungen für Nahrungsaufnahme und Koffeininjektionen, im Kampf mit Halluzinationen, in denen Pinguine um mich herum tanzten. Und wozu das Ganze? Ich war auf der Suche nach einem Bug in Linux.
Mit der erstmaligen Präsentation des Konzepts der "Meta-Compilation" wurde ...
Securitymanager.de (10/2007)

About the developers´s dream to write the perfect piece of code
Don´t you love looking at a good piece of code? I´m talking about the kind of code where the design is so sound that it practically wrote itself, where there were no nasty surprises upon implementation, where it was 100% feature-complete and bug-free and you didn´t have to patch it up a bunch of times? Maybe I´m squarely in the land of Santa Claus ...

ECE Embedded Control Europe (October 2007)

Coverity bringt erste SAT-Engine für die Code-Analyse
Die SAT-Technik ist nach Angaben von Coverity im EDA-Bereich (Electronics Design Application) bereits etabliert. Sie nutzt das mathematische Verfahren der sogenannten Boole´schen Satisfiability und soll damit eine bisher unerreichte Genauigkeit bei der statischen Code-Analyse erreichen. Dazu werden Softwaredefekte mit Hilfe mehrerer SAT-Solver aufgespürt. ... In einem Testprojekt mit zwei Millionen Lines of Code lieferte dieses bitgenaue Verfahren laut Coverity 30 Prozent weniger falsche Positive als herkömmliche Technik.
Computerwoche (Nachrichten) (27.09.2007)

Software Qualität: Ein Tool, das den Überblick behält
Die US-Firma Coverity, gegründet von jungen Forschern der Stanford-Universität, hat sich auf die Analyse großer Quellcode-Bestäde spezialisiert. Bei umfangreichen Software-Projekten mit mehreren Millionen Zeilen Code ist es praktisch unmöglich, manuell einen Überblick über die Abhängigkeiten zwischen den Modulen und Dateien zu behalten. Die Werkzeuge von Coverity decken Fehler und Schwachstellen auf, die sich ins Code-Dickicht eingeschlichen haben.
Elektronik (04.09.2007)

Partnerschaft zwischen Coverity und Headway bei Software-Code- und Struktur-Analyse / Verstärkte Präsenz im europäischen Markt
Coverity, kalifornischer Anbieter von Tools für die statische Quellcodeanalyse, und die irisch-französische Headway sind eine Technologiepartnerschaft eingegangen.
... Um den europäischen Markt besser bedienen zu können, hat Coverity eine erste Niederlassung in England gegründet und einen Vor-Ort-Support etabliert. Für Deutschland wurde als Systempartner die Firma Verifysoft Technology ausgewählt.
Elektronikpraxis (17.07.2007)

Fehler im Quellcode automatisch erkennen
Debugging gehört zu den zähesten Aufgaben der Software-Entwicklung. Die amerikanische Firma Coverity hat ein Werkzeug entwickelt, das Fehler im Quellcode automatisch entdeckt und dabei insbesondere in größeren Projekten erheblich mehr Fehler findet als die Mechanismen im Build-System.
Elektronik automotive (25.06.2007)

Coverity Prevent SQS im Einsatz in Software von Aerosystems International
Coverity hat den Einsatz von Coverity Prevent SQS bei Aerosystems International bekannt gegeben. Das Unternehmen lässt von der Coverity-Analysesoftware kritische Java-Anwendungen während des Schreibens der Software automatisch nach Softwaredefekten durchsuchen.
Javamagazin (16.05.2007)

Softwarequalität: So funktioniert statische Codeanalyse - Millionen Zeilen innerhalb von Minuten prüfen?
Werkzeuge für die Analyse von Quellcodes waren bisher häufig in ihrem Können limitiert. Dieser Artikel beschreibt, wie Forschungsarbeiten der Stanford University die statische Quellcodeanalyse zu einem wirksameren Mittel für die Optimierung von Softwarequalität gemacht hat.
Elektronik Praxis (08.05.2007)

Coverity klinkt sich in Eclipse ein
Prevent ist eine Software zur statischen Analyse von Quellcode auf Softwaredefekte. Die Coverity-Lösung steht über das neue Plug-in nun auch direkt in Eclipse zur Verfügung, so dass Entwickler die integrierte Umgebung nicht mehr verlassen müssen, um Prevent aufzurufen. Entwickler eines Unternehmens können damit Softwaredefekte bereits lokal auf ihrer Workstation ermitteln, bevor ihre Änderungen in den gesamten Build einfließen.
Prevent ist aber natürlich auch weiterhin in der Lage, beispielsweise über Nacht eine projektweite Tiefenanalyse zu fahren. Es kann laut Hersteller Millionen Zeilen Code verarbeiten und prüft sämtliche Softwarepfade, -abhängigkeiten und Bibliotheken von Drittanbietern über mehrere Entwicklergruppen hinweg.
Prevent-Nutzer erhalten für das neue Eclipse-Plug-in ab sofort kostenlose Workstation-Lizenzen ohne Nutzungsbeschränkung. Der Preis von Prevent selbst ist abhängig von der jeweiligen Projektgröße.
Computerwoche (Software) (07.05.2007)

Coverity integriert Quellcodeanalyse zur schnelleren Erkennung von Defekten in Eclipse-IDE
Neues Plug-In ermöglicht Entwicklern die schnellere Erkennung und Beseitigung von Defekten während der Arbeit in Eclipse IDE
FirmenPresse.de (07.05.2007)

Coverity prüft mehr Quellcode
Das auf Code-Analyse spezialisierte amerikanische Unternehmen Coverity will mit einem Prüfwerkzeug die Qualität von C/C++ und Java-Quelltexten verbessern. Gleichzeitig hat die Online-Platform scan.coverity.com ein Update erfahren.
...
Ein Ziel von Coverity ist es, den Begutachtungsprozess möglichst zu automatisieren und die Analyse aller Code-Pfade zu beschleunigen. Im Rahmen der Analyse arbeitet Coverity mit Entwicklungsleitern von Open-Source-Projekten zusammen. "Die statische Quellcodeanalyse von Coverity hat sich als wirksamer Schritt in Richtung einer Optimierung der Qualität und Sicherheit von Linux erwiesen," sagte Kernel-Maintainer Andrew Morton, "Ich begrüße weitere Beiträge von Coverity, die das Auffinden von Defekten im Linux-Kernel mit solch beispielloser Geschwindigkeit und Skalierbarkeit unterstützen." ...
Linux-Magazin (03.05.2007)

Coverity prüft regelmäßig Sicherheit und Qualität von 250 Open-Source-Projekten
IT-News (02.05.2007)

Analyse von 1 Mrd. Zeilen Code bringt neues Prevent Software Quality System
Einzigartige Software-DNA-Mapping-Technologie lässt Anzahl der gefundenen Defekte um 30 Prozent steigen und vereinheitlicht das Defekt-Management für alle Projekte eines Unternehmens
Join (02.05.2007)

Coverity analysiert komplexe Windows-Programme
Das auf die Quellcodeanalyse ... spezialisierte Tool "Coverity Prevent" hat der Hersteller, die US-amerikanische Coverity Inc., mit neuen Defekt-Prüfroutinen ausgestattet. Sie sollen Entwickler darin unterstützen, kritische Programmierfehler aufzuspüren, die aufgrund allgemeiner COM-bezogener Fehler Systemabstürze und Speicherlecks zur Folge haben können. Unter Rückgriff auf die Coverity-Analyse-Engines erfassen die neuen Prüfroutinen laut Anbieter 100 Prozent der Softwarepfade und ermitteln vorhandene Defekte mit großer Pr&aouml;zision. Von besonderer Bedeutung sei das Update vor allem für solche Anwender, die verteilte Systeme mit großer Komplexität entwickeln müssen, bei denen das Auffinden von Defekten mittels manueller Prozeduren Monate dauern kann. ...
Computerwoche (21.02.2007)

Coverity gewinnt Varian als 200. Kunden
Führender Anbieter von Medizintechnik setzt wie die Neukunden Lucent und Rockwell Collins auf die Coverity-Lösung für die Quellcodeanalyse zur Optimierung der Qualität und Sicherheit seiner Software
FirmenPresse.de (13.02.2007)

Siemens Networks beschleunigt Softwareentwicklung mit Quellcodeanalysetechnik Coverity Prevent
Technologie-Riese gelingt mit Coverity Prevent schnellere Auslieferung und Senkung der Unterhaltungskosten für die Telekommunikationsplattform der nächsten Generation
IT-News (13.02.2007)

Mozilla Foundation arbeitet mit Quellcode-Analyse von Coverity
Heise Online (14.08.2006)

Open-source software bug hunt results released
Washington Technology (June 2006)

Coverity Study Ranks LAMP Code Quality
Internet.com (March 2006)

Report tracks down rogue open source code
The Register (March 2006)

Software analysis tools will identify defects
InfoWorld (January 2006)

Coverity awarded to help open source programs
CIO Update (January 2006)

Linux Security a National Matter in USA
Internet.com (January 2006)

last updated: 10.03.2008

© 2007-2008 Verifysoft Technology GmbH
Prevent and Extend are products and trademarks of Coverity, San Francisco (USA)
all other trademarks of this site are the property of their respective owners.