static-analysis

5calore

1risposta

Qual è la differenza tra analisi statiche profonde e superficiali?

Qual è la differenza tra l'analisi statica superficiale e profonda? Sto usando Xcode al momento, e ho notato che c'è un'impostazione di build che distingue tra i due. Sono curioso di sapere questo nel

129calore

7risposta

Perché sono necessarie le vite esplicite in Rust?

leggevo il lifetimes chapter del libro Rust, e mi sono imbattuto in questo esempio per una chiamata/vita esplicito: struct Foo<'a> { x: &'a i32, } fn main() { let x; // -+ x goes into

37calore

1risposta

Falso positivo: la precondizione è ridondante

Perché viene visualizzato il seguente avviso per questo esempio di codice banale non appena il livello di avviso si trova al 2 ° livello o superiore? public int Foo(int a) { if (a >= 0) throw ne

5calore

1risposta

Findbugs Il plugin Gradle non fallirà la build

Sto cercando di usare il plugin findbugs nel mio file build.gradle per fallire la build personale degli sviluppatori ma non funziona. Sebbene il plugin crei i report, la compilazione non fallirà. Ho p

5calore

1risposta

Come posso cercare una base di codice Java per le interfacce che hanno un singolo metodo?

Un progetto su cui lavoro è passato da Java 7 a Java 8. Mi piacerebbe poter trovare interfacce che abbiano un unico metodo astratto come candidati per l'introduzione di interfacce funzionali nel nostr

6calore

1risposta

Come utilizzare OCLint per Cocoa Framework?

eseguire il seguente comando nella cartella con il progetto: viene visualizzata $ xcodebuild -target MyCocoaFramework -configuration Debug -scheme MyCocoaFramework clean build | tee xcodebuild.log $

5calore

1risposta

uso di comandi linker per analisi statica clang

Sto sviluppando uno strumento di analisi statica con libreria python-clang-3.6 che mi consente di disegnare grafici di chiamate di funzioni. Per creare correttamente TranslationUnit, è necessario util

6calore

1risposta

Come posso trovare i metodi Python senza istruzioni di ritorno?

Mi piace molto quando i metodi degli oggetti, che modificano la proprietà dell'oggetto, restituiscono self in modo da poter concatenare le chiamate ai metodi. Per esempio: boundingBox.grow(0.05).shift

7calore

2risposta

Come escludere i file dall'indicizzazione di Eclipse (analisi del codice statico)?

Ho un progetto makefile composto da molti sorgenti, intestazione e altri file, che sto cercando di convertire in un progetto "nativo" di Eclipse. Il problema che l'indicizzatore segnala errori e avvis

5calore

1risposta

assicurando che lo stack di chiamate di un metodo includa sempre un altro metodo in Java

Ho un problema di progettazione in un'utilità comune che usiamo nel nostro progetto Java dove voglio assicurare che tutti i chiamanti di un particolare metodo A siano avvolti da un altro metodo B. la