static-analysis

5calore

3risposta

Ho una situazione in cui è presente un piccolo frammento di codice Java con un numero elevato di jar da cui dipende. Tuttavia, le dipendenze all'interno di questi vasi sono molto superficiali. Nella m

5calore

1risposta

Come si impone l'assegnazione agli argomenti dei metodi che utilizzano FindBugs?

In alternativa al litterare il mio codice con migliaia di parole chiave finali davanti ai miei parametri, sto provando a rafforzarlo utilizzando FindBugs. Non sembra possibile farlo, ma ci dovrebbe es

32calore

2risposta

Il controllore statico dei contratti con codice può controllare il limite aritmetico?

(anche posted on the MSDN forum - ma questo non ottiene molto traffico, per quanto posso vedere.) ho cercato di fornire un esempio di Assert e Assume. Ecco il codice che ho: public static int RollDice

6calore

2risposta

Findbugs + JSR305: possibilità di specificare un comportamento predefinito?

Nota: queste annotazioni, sto parlando, sono specificati dal JSR305. Ho l'ultima Findbugs (1.3.9) e trova errori correttamente quando qualche campo, annotato con @Nonnull, viene assegnato a null. Ma,

34calore

2risposta

Come disattivare gli avvisi di indentazione JSLint?

trovo che JSLint produce un sacco di avvertimenti della forma: Expected 'foo' to have an indentation at X instead at Y. Il JSLint options documentation descrive un'opzione indent che riconosce un va

8calore

5risposta

La cancellazione oggetto/deallazione array è davvero necessaria in VB6/VBA (Pro/Contro?)

Molto di quello che ho imparato su VB ho imparato dall'uso dell'analisi del codice statico (in particolare l'analizzatore di progetto di Aivosto). E una delle cose che controlla è se hai eliminato tut

11calore

4risposta

Come posso creare un grafico di chiamata di analisi statica per Perl?

Sto lavorando a un programma Perl moderatamente complesso. Come parte del suo sviluppo, deve passare attraverso modifiche e test. A causa di alcuni vincoli ambientali, l'esecuzione frequente di questo

5calore

6risposta

Esistono utili strumenti di analisi statica per i database?

Esiste uno strumento per esaminare la configurazione e lo schema di un database per campi dubbi, relazioni e configurazione, in modo simile a come static analysis tools like lint contrassegnerà righe

5calore

6risposta

C'è uno strumento per estrarre tutti i nomi di variabili, moduli e funzioni da un file di modulo Perl?

Mi scuso se si tratta di un duplicato; Potrei non sapere i termini corretti da cercare. Ho il compito di analizzare un file di modulo Perl (.pm) che è un frammento di un'applicazione più grande. C'è u

8calore

1risposta

Quale forma di analisi alias utilizza Visual C++?

Sto cercando di capire quale forma di analisi alias viene utilizzata in Visual C++.. È anche noto come analisi puntatore, analisi mod-ref, analisi puntiformi o analisi degli effetti collaterali ed è m