Coverity Static AnalysisCoverity Static Analysis hilft Softwareentwicklern schwierig zu findende Programmierfehler durch statische Analyse ohne nennenswerten Aufwand aufzudecken. Projekte, die Coverity Static Analysis einsetzen verringern Kosten, Entwicklungszeit und das Risiko von Softwarefehlern. Coverity Static Analysis kann bereits früh im Entwicklungsprozeß eingesetzt werden.
Die Coverity-Analysis-Engine identifiziert kritische Fehler in Ihren C/C++-, Java- und C#-Projekten. In einem einzigen Analyselauf kann Code mit mehreren Millionen Codezeilen überprüft werden. Coverity hat die genaueste Codeanalyse mit der geringsten False-Positive-Rate, so dass Sie sich auf das Beheben der tatsächlichen Fehler konzentrieren können statt Zeit mit der Fehlersuche zu "vergeuden".
Mit dem Coverity Integrity Manager, einer intuitiven Benutzerobeerfläche für Coverity Static Analysis, decken Entwickler und Projektmanager rasch Defekte im Projekt auf. Die Defekte und deren Auswirkungen erklärt und können entsprechend ihrer Auswirkungen priorisiert werden.
Coverity Static Analysis hilft die Produktivität der Entwicklung zu steigern, Fehler schneller aufzudecken und zu fixen sowie durch genaue Fehlerbeschreibung bessere "Fix/No-fix"-Entscheidungen zu treffen.
Beste Analysis-EngineCoverity Static Analysis nutzt die innovative ausgefeilte Techniken um Bugs zu finden, die auf andere Art nicht oder nur sehr schwierig zu finden sind. Eine Übersicht über die wichtigsten durch Coverity aufgedeckten Probleme ist hier verfügbar.
Warum ist die Coverity-Analysis-Engine einzigartig?
Die Coverity-Analysis-Engine analysiert Ihre Software wie ein Reviewer es machen würde und nicht wie eine Maschine. Hierbei wird folgendes berücksichtigt:
1. Abdeckungsbreite: eine Vielzahl von Fehlerarten werden jede für sich mit verschiedensten Analysearten gesucht.
2. Coding-Verhalten: Coding-Styles von Entwicklern werden bei der Fehlersuche berücksichtigt
3. Kontinuierliches Tuning: Erfahrungen aus der Analyse von Billionen Codezeilen (gewerblicher Kunden und aus der Open Source Community) sind in der Analyse-Engine berücksichtigt.
Coverity zeigt Ihnen konkret an, was passiert ist und wo. Hierdurch können Fehler schneller behoben werden. Gleichzeitig verbessern die Entwickler ihre Programmierkenntnisse.
100% Code Coverage
Coverity Static Analysis Ihren kompletten Code ohne dass ein einziger Testfall geschrieben werden muss. Ebenfalls wird "Dead Code" aufgrund von logischen Fehlern angezeigt.
Boolean Satisfiability (SAT Solver)
Diese innovative Technologie unterdrückt Meldungen für Fehler, die beim Ausführen des Programms nicht auftreten können. Hierdurch wird die False-Positive-Rate gesenkt, ohne dass tatsächliche Fehler übersehen werden (False Negatives).
Interprozedurale Analyse
Viele Fehler können nur ausserhalb der Funktion selber gefunden werden. Diese Analysetechnik überprüft alle Funktion die im Zusamemenhang mit der fehlerhaften Funktion stehen, zeigt die analysierten Codestellen im Code und weist den Fehler nach.
Statistische Analyse und Absicht des Programmierers
Diese Coverity-Technologie meldet Abweichungen von bestimmten Programmiermustern, da diese meist versehentlich sind und oft Fehler enthalten.
|
|
|
![[English]](flaggeUK.jpg){kind=small}
![[PDF]](icon-pdf-15x16.gif){kind=icon}