Domande con tag 'static-analysis'

domande con tag
1
risposta

Differenza tra Linter, Sanitizer e Static Analysis Tools

Recentemente ho esaminato gli strumenti di analisi statica C ++. Una cosa che mi confonde è la terminologia usata con questi strumenti: Alcuni strumenti vengono semplicemente chiamati "strumenti di analisi statici" (ad es. CppCheck), altri so...
posta 18.03.2018 - 04:42
1
risposta

Analisi statiche automatiche vs test della scatola bianca

Molte fonti fanno notare che l'analisi automatica del codice statico include il flusso di dati e il flusso di controllo. Ma questi due sono inclusi anche nel test della scatola bianca. C'è una differenza nell'automazione? Che nell'analisi static...
posta 11.11.2012 - 01:33
2
risposte

Verifica della robustezza del programma mediante l'analisi del codice statico

(Basandosi su questa domanda ) Se possiedi un analizzatore di codice statico come Checkstyle , è possibile mettere in relazione qualsiasi cosa che controlla per effettiva robustezza? Alcune delle cose controllate da Checkstyle sono ad esemp...
posta 22.05.2014 - 21:40
2
risposte

Linguaggio di interrogazione per l'analisi del codice Java

Voglio scrivere uno strumento di refactoring per il linguaggio di programmazione Java. Per questo motivo ho bisogno di fare query strutturali contro l'albero di sintassi astratto. Dato questo AST come ottengo le risposte alle seguenti dichiar...
posta 03.02.2014 - 14:20
2
risposte

Il debito tecnico può essere rilevato dall'analisi del codice?

SonarQube è un prodotto software che esegue varie regole di stile di codifica e altre metriche simili a FxCop o Re-sharper. Definisce l'interruzione delle regole di stile come: "MAINTAINABILITY ISSUE This is commonly referred to as tec...
posta 22.05.2017 - 22:56
3
risposte

Perché alcuni considerano l'analisi statica un test e altri no?

Preparandomi anche alla certificazione ISTQB, ho scoperto che chiamano l'analisi statica in realtà come un test statico, mentre un libro di ingegneria distinto tra analisi statica e test, che è l'attività dinamica. Penso che l'analisi statica no...
posta 09.11.2012 - 11:23
1
risposta

esiste un metodo algebra formale per analizzare i programmi?

Esiste una connessione formale / accademica tra un programma imperativo e l'algebra e, in caso affermativo, dove dovrei imparare a riguardo? L'esempio che sto pensando è: if(C1) { A1(); A2(); } if(C2) { A1(); A2(); } Rappresentato come u...
posta 20.03.2012 - 22:22
3
risposte

Test automatico "tutte le modifiche sono contrassegnate da funzionalità", possibile?

Diciamo che nel tentativo di migliorare la qualità, il tuo team è d'accordo sulla seguente politica: tutti i commit al ramo master (diretto o tramite richiesta pull) devono essere classificati come bugfix o modifiche alle funzionalità; mai...
posta 29.07.2018 - 04:33
2
risposte

Perché ricevo avvisi di visibilità sul campo in Sonar?

Alcuni strumenti di analisi statica contrassegnano i campi non privati con Variable '[nameHere]' must be private and have accessor methods. Sonar presenta costantemente tali avvisi e desidera modificare tutte le variabili protette nel mi...
posta 12.03.2015 - 12:43
4
risposte

Come valutare l'efficienza del codice assembler?

Stavo codificando alcune funzioni in C ++ e mi chiedevo in che modo diverse versioni di quelle funzioni avrebbero influito sul codice di assembly generato. Ho inserito diverse versioni nello strumento Explorer del compilatore di Godbolt e ho e...
posta 10.09.2017 - 23:10