programme d'attelle entier avec un processus de construction complexe

Je veux effectuer des analyses de programme entier d'attelles sur mon système. Cependant, le système est assez grand et différentes parties sont compilées avec différentes définitions de compilateur et incluent des chemins. Je peux voir comment transmettre cette information à attelle pour un seul fichier mais je ne peux pas comprendre comment le faire pour l'ensemble du programme. Est-ce que quelqu'un sait une façon de faire cela?programme d'attelle entier avec un processus de construction complexe

Source

2010-01-22 Gordon Wrigley

En supposant que vous avez un Makefile, vous pouvez créer une nouvelle cible; alors vous passeriez par les étapes de compilation réelles à dupliquer en utilisant Splint au lieu du compilateur.

Mon conseil, cependant, est contre l'approche programme complet. Si vous pouvez isoler votre système dans des parties séparées, je préférerais commencer par les vérifier, un par un. Puisque votre programme est "assez grand", attendez-vous à un gazillion d'avertissements ... pour chacun de vos modules. Vous commencerez à vous débarrasser d'eux une fois que vous avez saupoudré votre code source avec les annotations sémantiques appropriées. Bonne chance! :)

Source

2011-05-18 14:02:53

Je crois que je cherchais particulièrement une sortie qui est seulement produite en mode programme entier. Et j'ai beaucoup de Makefiles, des milliers de lignes, donc étendre le processus de construction pour comprendre le split n'est pas viable. –

Si vous avez un processus de construction complexe (disons que vous générez automatiquement des fichiers de code source, copiez ou déplacez d'autres fichiers, etc.), Splint ne peut pas le faire automatiquement (ou même en savoir plus). Donc, je crois vraiment que la seule façon de faire est d'imiter le processus de construction (via Makefile). –

programme d'attelle entier avec un processus de construction complexe

Répondre

Questions connexes