Domande con tag 'static-analysis'

5
risposte

Esiste una correlazione tra la scala del progetto e il rigore della lingua?

Spiegando la differenza tra rigore delle lingue e paradigmi di un mio collega, ho finito per affermare che: I linguaggi tolleranti, come i linguaggi dinamici e interpretati, sono utilizzati al meglio per prototipi e piccoli progetti o appli...
posta 24.08.2013 - 19:18
4
risposte

Perché un metodo non dovrebbe generare più tipi di eccezioni controllate?

Usiamo SonarQube per analizzare il nostro codice Java e ha questa regola (impostata su critica): Public methods should throw at most one checked exception Using checked exceptions forces method callers to deal with errors, either by pr...
posta 26.11.2014 - 21:56
4
risposte

Perché qualcuno dovrebbe investire tempo in Microsoft "Roslyn"?

Ho appena letto alcuni dei white paper & esempi da Microsoft "Roslyn" e il concetto sembra molto interessante. Da quello che posso dire, apre la scatola nera che è il compilatore e fornisce un'interfaccia che possiamo usare per ottenere in...
posta 11.06.2013 - 11:37
8
risposte

Come argomentare contro l'abbassamento degli standard di qualità per il codebase legacy? [chiuso]

Abbiamo qui una grande base di codice legacy con codice errato che non puoi immaginare. Abbiamo definito ora alcuni standard di qualità e vogliamo ottenere quelli soddisfatti in base al codice completamente nuovo, ma anche se tocchi il codice...
posta 19.01.2017 - 08:54
1
risposta

Qual è lo scopo dell'analisi del codice e quando devo usarlo?

Ho sentito parlare dell'analisi del codice di Visual Studio ma non ne ho mai usato uno. Ho letto MSDN , ma ancora non capisco il vero uso dell'analisi del codice. Non è lo stesso di StyleCop? Da qualche parte, FxCop è stato anche menziona...
posta 05.03.2015 - 15:00
10
risposte

Il concetto di Entropy può essere utilizzato per analizzare il codice sorgente in modo utile?

Mi sembra logico che si possa definire un contesto per l'analisi statica del codice sorgente che includesse le regole per produrre un valore relativo di complessità. So che non è come in senso fisico perché il codice di salsa non ha "Energia", m...
posta 01.08.2011 - 20:00
7
risposte

Quali sono i reali vantaggi dell'analisi del codice statico?

Strumenti come pc-lint o QAC può essere utilizzato per eseguire analisi del codice statico su una base di codice. Secondo la mia esperienza, l'analisi statica spesso produce un'enorme quantità di rumore, ad esempio avvertenze su cose che...
posta 18.12.2010 - 03:51
3
risposte

Esiste una correlazione tra complessità e raggiungibilità?

Ho studiato recentemente la complessità ciclomatica (McCabe) e la raggiungibilità del software all'università. Oggi il mio docente ha detto che non c'è alcuna correlazione tra le due metriche, ma è davvero così? Penso che ci sarebbe sicuramen...
posta 17.11.2011 - 18:44
3
risposte

Ci sono alternative ai tipi per l'analisi statica?

La tipizzazione statica in un linguaggio di programmazione può essere utile per rafforzare certe garanzie in fase di compilazione, ma i tipi sono l'unico strumento per questo lavoro? Ci sono altri modi per specificare gli invarianti? Ad esemp...
posta 11.02.2016 - 04:39
7
risposte

Come evitare le insidie dell'analisi statica

Lavoro in un'azienda che segnerà 11 su Joel Test, almeno sulla carta. In pratica, tuttavia, niente funziona abbastanza bene come previsto, e il progetto è stato su DEFCON 1 per sei mesi. Ora, la maggior parte dei miei colleghi è felice di p...
posta 28.07.2012 - 01:35