static-analysis

16calore

5risposta

È possibile creare un typeclass che non può più ammettere nuovi membri (forse utilizzando i limiti del modulo)? Posso rifiutare di esportare una funzione necessaria per una definizione completa dell'i

5calore

1risposta

Controllore statico dei contratti di codice apparentemente inconsapevole di Contract.Ensures di ReadOnlyCollection <T> costruttore

Recentemente ho installato gli strumenti Contratti di codice (Contratti di codice per .NET) e le estensioni dell'Editor dei contratti di codice VS2012 e sto avendo qualche problema a far funzionare il

6calore

1risposta

Quanto è difficile il rilevamento a livello di sorgente degli array di limiti di runtime?

L'(accettato) proposal for "Runtime-sized arrays with automatic storage duration (N3639)" afferma che Stack Overflow diventa più probabile, in particolare se la dimensione dipende ingresso esterno e n

6calore

1risposta

Analisi null di Eclipse: l'espressione di tipo int richiede una conversione non controllata per conformarsi a '@Nonnull Integer'

Quando si configura Eclipse 4.2.0 per eseguire un'analisi nulla (configurata per utilizzare @javax.annotation.Nonnull ecc.), Il codice seguente genererà l'avviso sicurezza di tipo Null: L'espressione

9calore

1risposta

Verificare che le classi Java implementino toString()

Come parte della normale analisi statica del mio programma, vorrei verificare che le classi abbiano probabilmente metodi ponderati toString(). Probabilmente non tutte le classi li implementano, ma for

5calore

2risposta

Quali metodi di regressione sono adatti per funzioni con valori binari e output continuo?

Desidero creare un modello di apprendimento automatico per la regressione su output continuo in base a caratteristiche con valori binari (0,1). la dimensione del mio problema è intorno a 200. quale de

10calore

1risposta

Hai mai confrontato gli strumenti di analisi statica Klocwork e Findbugs?

Utilizziamo Klocwork come strumento di analisi statica. Klocwork è uno strumento commerciale e presenta numerosi vantaggi, ma presenta anche limitazioni come i falsi positivi. Mi chiedo chi abbia mai

14calore

1risposta

Come ottenere Vera ++ per ignorare le sezioni di codice per alcune/tutte le regole?

Sto usando Vera++ per eseguire alcune analisi statiche sul mio codice C++. (in Visual Studio 2008) Tuttavia, ho alcuni blocchi di codice che so, e accetto, infrangerà alcune regole. Mi piacerebbe pote

5calore

2risposta

Libreria di propagazione costante per .NET

Se esiste una libreria .NET (C#/F #) open source per l'analisi statica astratta? Attualmente sono interessato all'algoritmo di propagazione costante. Dovrebbe essere astratto (linguaggio indipendente)

5calore

2risposta

facendo variabili C++ const

I love "const". Vorrei che ogni variabile e metodo che "dovrebbe essere const" sia "const". Il problema è che se una variabile o un metodo "dovrebbe essere const" dipende da metodi/variabili più in ba