Wie man Coverity static analysis kompatibel mit C++0x-standard?

Ich bin mit Wind River Compiler 4 (gcc (C) und g++ (C++)) und es beinhaltet alle meine Projekte ohne Probleme. Nun, ich habe mit Coverity Static Analysis, check my code. Ich habe konfiguriert, die bestimmten Compiler. Für den C-Code (gcc) gibt es keine Probleme und ich kann die Analyse, aber für den C++-Code (g++) ich habe eine Menge von Fehlern:

.../c++config.h", line 214: error #40:
    expected an identifier
inline namespace __gnu_cxx_ldbl128 { }
       ^

.../c++config.h", line 214: error #326:
    inline specifier allowed on function declarations only
inline namespace __gnu_cxx_ldbl128 { }
^

.../c++config.h", line 214: error #65:
    expected a ";"
inline namespace __gnu_cxx_ldbl128 { }
                                   ^
.../include/string.h", line 76: error #312:
    cannot overload functions distinguished by return type alone
extern __const void *memchr (__const void *__s, int __c, size_t __n)
                     ^

.../include/string.h", line 116: error #312:
    cannot overload functions distinguished by return type alone
extern "C++" __const void *memchr (__const void *__s, int __c, size_t __n)
                     ^

Es scheinen einige C++11-spezifische features wie die inline-namespace, der code aber nicht verwenden diese Funktionen. Die Fehler oben sind produziert mit einem HelloWorld-Code:

#include "stdio.h"
#include "util.h"
#include <string>
#include "string.h"

using namespace std;

int main()
{
    printf("Hello World, C++ version: %d.%d.%d\r\n",__GNUC__,__GNUC_MINOR__,__GNUC_PATCHLEVEL__);

    return 0;
}

Ich habe versucht, den c++ - standard mit dem g++ die option

-std=c++98

aber das Ergebnis nicht geändert.

Den Test-Code ist in einer großen build-Hierarchie, sondern die Schritte, die für Coverity sind wie diese:

  1. Ziel-und env-set (Wind-River-4 Linux)
  2. sauber machen
  3. cov-Konfiguration mit dem compiler dir und geben
  4. cov-bauen mit dem richtigen "make all" Befehl, das funktioniert allein
  5. cov-analysieren
  6. if (no_error) cov-commit-Mängel

Habe ich auch so konfiguriert, Coverity, um zu ersetzen Sie alle "inline namespace" mit "namespace" während der cov-build (--ppp-translator replace/inline namespace/namespace). Die inline-Fehler verschwunden, aber es produziert mehr von diesem überlast Fehler und keine succecfully bauen. Auch versucht zu entfernen, die "C++" in der gleichen Weise, aber hat nicht funktioniert es werden immer mehr Fehler.

Hat jemand eine Idee, was hier das problem? Und wie bekomme ich die Coverity build ohne Fehler? Vielleicht kann ich konfigurieren Coverity ignorieren c++ - standard-Header, aber ich weiß nicht wie?

  • Welche version von gcc verwenden Sie? 4 ist nicht spezifisch genug. Trotzdem sollten Sie einen Fall öffnen, mit [email protected] - senden Sie Ihre build-log und die vorprozessierten source-und Sie werden in der Lage sein, Ihnen zu sagen, was Sie brauchen, um hinzuzufügen, um Ihre Konfiguration zu ermöglichen cov-Strahlen, um erfolgreich zu verarbeiten.
  • Das Programm "WindRiver" Env. ist WR-Linux-4.0/Toolchain-4.4-291 und der gcc, der verwendet wird, scheint die version 4.4.1. Das ist die version von der include-dir der gcc während des build-Skripts. Ich bin jetzt auch in Kontakt mit dem support: Das problem ist, dass vor allem WindRiver-Compiler nicht unterstützt, unter Linux, aber fast alle gcc-compiler. Sie haben nun die vorprozessierten source und untersuchen es. Auch die WindRiver-Unterstützung ist nun beteiligt.
  • Habe Antwort von Coverity Unterstützen, und wir werden nun versuchen, um dieses Problem zu umgehen.
  • Coverity bietet jetzt ein vorkonfiguriertes bundle, vor allem für die WindRiver-Umgebungen. Siehe: windriver.com/announces/coverity-static-analysis
InformationsquelleAutor Indimental | 2012-01-19
  1. 5

    Ihrer Bibliothek Implementierung mit C++11. Vermutlich gibt es #ifdefs entfernen, die alle die C++11 Sachen, wenn Sie tun, rufen Sie g++ mit -std=c++98 aber es scheint, dass jedoch Coverity integriert ist, die mit g++, es ist nicht die Definition, die gleichen Dinge, die notwendig sind, um zu vermeiden, die C++11-features.

    Sollten Sie herausfinden, was die Makros, die gcc verwendet, um die C++11-code und stellen Sie sicher, dass Coverity ist, definieren Sie als angemessen gut, wenn es analysiert Ihr Projekt.

    • Es scheint, dass es gibt ein paar definiert, beschrieben hier: stackoverflow.com/questions/2958398/..., aber ich kann nicht finden, eine Verbindung zu den error-Zeilen. Die Fehler-Zeilen zu tun haben, mit long double 128 bit-Modell und hängt nicht von der c++0x definiert. Ich muss auch sagen, ich bin Total neu auf dieser Tiefe compiler Zeug.
    • Hab die Fehlermeldungen von Coverity ändern, wenn Sie aus Coverity verwenden, den C++0x definiert? Möglicherweise gibt es andere definiert, die Sie benötigen. Sie können gcc Liste alles, was Sie definiert, und verwenden Sie dann als Grundlage für das, was Sie brauchen, um zu definieren, für Coverity, oder Sie können einfach überprüfen Sie den header-Dateien, um zu sehen, was Sie prüfen.
    • Wenn ich den C++0x-standard, die ersten 3 Fehler sind die gleichen. Die letzten beiden werden ersetzt durch Fehler in "stringfwd.h": identifier "char32_t" ist nicht definiert: template<> struct char_traits<char32_t " >"; dasselbe für "char16_t" - Kennung. Kann es sein, dass Coverity build enthält einige Standard-Header und, dass Sie sind nicht kompatibel mit der einheimischen gehört? Also es wird etwas überschrieben, und chrashes die header config.
    • Ich nehme an, das könnte sein. Auch könnte es sein, dass der GCC die Header noch etwas C++11-features, auch wenn Sie deaktivieren Sie die C++11-Unterstützung, und GCC wird auf die Arbeit mit.
    InformationsquelleAutor bames53
  2. 5

    Workaround von Coverity Unterstützung:

    Inline namespace ist ein bekannter bug bei Coverity. Diese zu umgehen, konfigurieren Coverity mit den folgenden zusätzlichen Optionen (in der config-Datei):

      <begin_command_line_config></begin_command_line_config> 
  <add-arg>--ppp_translator</add_arg> 
  <add_arg>replace/inline namespace ([_a-zA-Z0-9]*)\s+\{\s*\}/namespace $1 { } using namespace $1;</add_arg> 
</options>

    Danach haben wir einige andere Fehler, aber Sie scheinen alle gehören zur string-Definitionen. Fügen Sie nun eine Coverity definieren am Anfang des coverity-compiler-compat.h (auch in der config-dir):

    #define __COVERITY_NO_STRING_NODEFS__

    Nachdem diese änderungen der cov-build läuft ohne Fehler und die Analyse gestartet werden kann.

    InformationsquelleAutor Indimental
  3. 0

    Diese Fehlermeldung sagt es ganz klar zu sagen:

    inline-Planer erlaubt Deklarationen nur

    Gibt es einen Grund, der namespace ist inline? Während ich nicht der Spezifikation, so kann ich dir nicht sagen, ob es erlaubt ist oder nicht. (Dass der compiler erlaubt es möglicherweise ein Fehler in GCC.)

    Versuchen, Sie zu entfernen, dass inline und Coverity wird hoffentlich glücklich.

    Scheint es, dass Coverity wurde nicht aktualisiert, mit der einige C++11 features wie inline-namespaces.

    • Das ist das problem ich habe noch nie verwendet diese "inline" und weiß nicht, warum es da drin steht. Ich vergaß zu schreiben, dass ich auch konfiguriert Coverity alle ersetzen "inline namespace" mit "namespace" aber dann scheint es mehr Probleme wie die letzten beiden.
    • inline-namespaces sind ein C++11 feature. Es ist vor allem für die Versionierung einer Bibliothek Umsetzung.
    • Sie können nicht nur ersetzen, inline namespaces mit namespaces, tun Sie nicht dasselbe, so die Bibliothek der Umsetzung einfach nicht funktioniert und Coverity haben keine Hoffnung es richtig zu analysieren.
    • Jahr, da hast du Recht aber ich dachte, ich wollte Sie nicht benutzen und wollen nur einen Weg, um Coverity nichts tun. Eigentlich habe ich bereits entfernt alle diese Ersetzungen.
    InformationsquelleAutor Some programmer dude
Schreibe einen Kommentar