static-analysis

5calore

1risposta

L'inferenza del tipo rallenta il completamento automatico nell'IDE

Quando si utilizza Scala per la prima volta in un IDE (Idea), ho notato che il completamento automatico è notevolmente più lento, quindi durante la codifica di Java. Anche se parte del rallentamento p

5calore

3risposta

Errore di analisi statica causa errore di compilazione su Travis

Ho una libreria iOS Objective-C basata su CI di Travis. Ho appena attivato l'analisi statica nel mio file .travis.yml e ho trovato un problema (un archivio morto), ma non ha fallito la creazione su Tr

7calore

1risposta

Come vedere immediatamente gli errori di Swift in AppCode?

C'è un modo per vedere immediatamente gli errori di Swift in AppCode? Sul loro sito web parlano di analisi statica del codice, ma da nessuna parte ho potuto affermare che ciò accade all'istante. Quand

8calore

2risposta

ClangFormat style per ReactiveCocoa

Sto usando ClangFormat. desidero aggiornare lo stile del mio codice ReactiveCocoa da questo [[self.myService indexCase] subscribeNext:^(id response) { DDLogDebug(@"response : %@", response);

6calore

1risposta

Come escludere cartelle dal controllo del controllo delle linee guida C++?

Il mio problema è che i pacchetti Nuget (all'interno della cartella soluzioni/pacchetti) stanno causando molti avvisi e analizzarli richiede anni. Ho provato a escludere le cartelle dall'analisi stati

6calore

1risposta

scan-build make non rileva alcun bug

Ho un file .c molto semplice, con alcuni bug ovvi al suo interno. #include <stdio.h> struct S { int x; }; void f(struct S s){ } void test() { struct S s; f(s); // warn } int

5calore

1risposta

rendimenti senza precedenti di Logger

L'analizzatore dializzatore statico (io lo uso tramite dialyxir) riporta tutti gli usi di Logger (Logger.info "blah") come un ritorno senza pari: Expression produces a value of type 'ok' | {'error',_}

18calore

1risposta

Sostituzione annotazioni JSR-305 per Java 9

Finora abbiamo utilizzato le annotazioni JSR-305 di Findbugs (com.google.code.findbugs: jsr305) e tutto ciò che include il supporto degli strumenti (Sonar, Eclipse, Findbugs, ...) è stato funziona ben

15calore

2risposta

contratto che assicura l'IEnumerable non è vuota

Il dato codice static public int Q() { return Enumerable.Range(0, 100) .Select(i => i) .First(); } emette il seguente avviso: warning : CodeContracts: requires unproven: Any(sourc

5calore

1risposta

Resharper: come applicare [NotNull] o [CanBeNull] annotazione implicitamente con un altro attributo?

Nel nostro codice Abbiamo il nostro quadro di iniezione per consentire l'iniezione di dipendenza, come: public class MyClass { [Component("ComponentName1")] // means [NotNull] public MyType