2013-07-20 15 views
5

Coverity offre un servizio di scansione gratuito per progetti gratuiti e open source (http://scan.coverity.com). Sto cercando di configurare un progetto per una scansione in base a Download Coverity Scan Self-Build. Dalla loro pagina web:Impostazione scansione di copertura?

Per ogni generazione:

  1. cd alla directory di compilazione

  2. opzionale: eseguire tutte le misure di build che non si desidera analizzare - vale a dire ./ configurare

  3. COV-build --dir COV-int [cOSTRUIRE CMD e ARG]

Ho tre domande:

  • E` make considerato uno script di build per questi scopi? Oppure fa parte di [BUILD CMD e ARGS]

  • Il loro build slave include librerie come Boost? Abbiamo una dipendenza [indesiderata] dalla libreria

  • Quale configurazione desidera il servizio di scansione? Debug, Test o Release?

+4

Questa domanda sembra essere off-topic perché si tratta di utilizzare un servizio online, non di programmazione. –

+7

L'argomento riguarda l'utilizzo di uno strumento software. Non credo che sia diverso da una domanda su come usare 'make' o' gcc'. Inoltre, il tag "Coverity" era già presente in SO, quindi altri sembrano utilizzare lo strumento e porre domande anche a questo proposito. – jww

+3

Spiacente, questo è rimasto chiuso per così tanto tempo. Per qualche ragione, molti utenti sembrano aver perso il memo che le domande sugli strumenti di sviluppo sono buone e in tema per SO. – BoltClock

risposta

4
  • è fare considerato uno script di build per questi scopi? O è parte di [COSTRUIRE CMD e ARG]

Sì! utilizzare semplicemente make come BUILD CMD. In alternativa ant, cmake, indipendentemente dal sistema di generazione su cui si basa.

  • fa il loro schiavo accumulo comprendono biblioteche, come Boost? Abbiamo una dipendenza [indesiderato] sulla libreria

È possibile configurare questa regola

  • Quale configurazione fa il servizio di scansione vuole? Debug, Test o Release?

Non importa, è possibile scansionare qualsiasi configurazione desiderata.

+0

Grazie g-makulik. Esiste una piattaforma Linux preferita? Ad esempio, Ubuntu 12 funziona meglio di Fedora 17? O Red Hat funziona meglio di Fedora? – jww

+0

@noloader _ 'Esiste una piattaforma Linux preferita?' _ Non che ne sia a conoscenza. Di recente abbiamo valutato Coverity usando il loro processo di prova al lavoro, la mia piattaforma lì (e per la build di Jenkins) è una Suse 12.2, ma non penso davvero, dovrebbe avere importanza per l'analisi statica in qualche modo (nonostante tu voglia avere regole specifiche basate sull'uso di particolari funzioni e API specifiche del sistema operativo). –