Comment obtenir une analyse statique de Coverity compatible avec C++ 0x standard?

Question

J'utilise un Wind River Compiler 4 (gcc (C) et g ++ (C++)) et compile tous mes projets sans aucun problème. Maintenant, je dois utiliser Coverity Static Analysis pour vérifier mon code. J'ai configuré les compilateurs spécifiques. Pour le code C (gcc) il n'y a aucun problème et je peux exécuter l'analyse, mais pour le C++ - code (g ++) j'ai eu beaucoup d'erreurs:

.../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) 
        ^

Il semble y avoir quelques C++ 11 fonctionnalités spécifiques comme l'espace de noms inline mais le code n'utilise pas ces fonctionnalités. Les erreurs ci-dessus sont produites avec un 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; 
} 

j'ai essayé de régler le C++ standard avec g ++ Option

-std=c++98 

mais le résultat n'a pas changé.

Le test de code est dans une grande hiérarchie de construction, mais les étapes de Coverity sont comme ceci:

cible
1. et ensemble env (Wind River 4 Linux)
2. make clean
3. cov-configure avec le compilateur et le type dir
4. cov-construire avec le bon "faire toute commande" qui fonctionne seul
5. cov-analyser
6. si (no_error) cov-comm il-défauts

J'ai également configuré Coverity pour remplacer tout «espace de noms en ligne» par «espace de noms» pendant la cov-build (--ppp-translator replace/inline namespace/namespace). Les erreurs en ligne ont disparu mais cela produit plus de ces erreurs de surcharge et ne génère pas correctement. Aussi essayé d'enlever le "C++" de la même manière, mais n'a pas fonctionné, il y a toujours plus d'erreurs.

Quelqu'un a-t-il une idée de ce qui est le problème ici? Et comment puis-je obtenir la version Coverity sans erreurs? Peut-être que je peux configurer Coverity pour ignorer les en-têtes standard C++ mais je ne sais pas comment?

Answer 1

Solution par Coverity soutien:

L'espace de noms en ligne est un bogue connu dans Coverity. Pour contourner, configurer Coverity avec les options supplémentaires suivantes (dans le fichier de configuration):

<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> 

Après que nous avons eu d'autres erreurs, mais ils semblent appartenir à toutes les définitions de chaîne. Maintenant, ajoutez un Coverity définir au début de Coverity compilateur-compat.h (également dans le répertoire config):

#define __COVERITY_NO_STRING_NODEFS__ 

Après ces changements, le CoV-build fonctionne sans erreurs et l'analyse peut être démarré.

Answer 2

Cette erreur dit très clairement:

spécificateur en ligne autorisés sur les déclarations de fonction ne

Y at-il une raison pour laquelle l'espace de noms est inline? Bien que je n'ai pas la spécification disponible, je ne peux pas vous dire si c'est autorisé ou non. (Que le compilateur le permet peut-être un bug dans GCC.)

Essayez d'enlever ce inline et Coverity sera heureusement par heureux. Il semble que Coverity n'a pas été mis à jour avec certaines fonctionnalités C++ 11, comme les espaces de noms en ligne.

Answer 3

L'implémentation de votre bibliothèque utilise C++ 11. Vraisemblablement, il y a #ifdefs qui supprime tous les trucs C++ 11 quand vous appelez g ++ avec -std=c++98 mais il semble que Coverity soit intégré à g ++, il ne définit pas les mêmes choses qui sont nécessaires pour éviter les fonctionnalités C++ 11.

Vous devez déterminer quelles sont les macros utilisées par gcc autour de ce code C++ 11, puis assurez-vous que Coverity les définit correctement lorsqu'il analyse votre projet.