static-analysis

8calore

1risposta

clang's scan-build non funziona per il semplice file cpp

Non riesco a ottenere clang c++-analyzer per lavorare su un file C++ giocattolo. #include <iostream> using namespace std; int main() { int t[4]; int x,y; t[5]=1; if(x)

c++ clang static-analysis 2012-06-14

---

10calore

3risposta

Come posso rilevare staticamente le annotazioni @Override mancanti?

Tra Java 5 e Java 6, le regole relative alle annotazioni @Override per i metodi che hanno origine nelle interfacce (al contrario delle superclassi) sono state modificate, prima che non fossero consent

java eclipse oop static-analysis overrides 2012-06-15

---

10calore

2risposta

quali strumenti gratuiti posso utilizzare per generare il grafico di dipendenza del programma per i codici c

Voglio generare un grafico di dipendenza del programma (PDG) dal codice sorgente C. Ho trovato documenti che spiegano come farlo, ma tutti hanno utilizzato lo strumento commerciale CodeSurfer. Esiston

c free static-analysis 2012-03-21

---

5calore

1risposta

Perché il grafico di dipendenza di questo scanf() - usando il programma di Frama-C assomiglia a questo?

Uso lo strumento Frama-C per generare il grafico di dipendenza di questo programma (main.c). #include<stdio.h> int main() { int n,i,m,j; while(scanf("%d",&n)!=EOF) {

c static-analysis frama-c 2012-03-25

---

9calore

1risposta

Come utilizzare LLVM per generare un grafico di chiamata?

Sto cercando di generare un call-graph per il kernel linux che includa i puntatori di funzione (vedere la mia domanda precedente Static call graph generation for the Linux kernel per ulteriori informa

llvm static-analysis call-graph 2012-03-30

---

7calore

1risposta

Esegui gli strumenti di analisi statica Intellij dalla riga di comando

Ho sentito che IntelliJ ha davvero buoni strumenti di analisi statica per il rilevamento di codici morti, variabili inizializzate in modo errato, ecc. Tuttavia non voglio davvero il bagaglio editorial

intellij-idea static-analysis 2012-05-31

---

7calore

1risposta

Come escludere le intestazioni di libreria dall'analisi del codice statico di Visual Studio?

Ho installato buildbot per compilare la mia applicazione Qt/C++ con il flag/analyze. Tuttavia, l'analisi è anche approfondendo le intestazioni qt che non mi preoccupo: c:\qt\qt-everywhere-opensource-s

c++ qt visual-c++ static-analysis visual-c++-2010 2012-04-17

---

5calore

2risposta

Quale strumento di analisi statica utilizzare per la scansione del flusso di dati da un metodo all'altro?

dicono che ci sono due metodi della mia biblioteca: void com.somepackage.SomeClass.someSink(String s) e int com.someotherpackage.SomeOtherClass.someSource(int i) Il primo metodo è utilizzato come diss

java static-analysis findbugs pmd 2012-05-06

---

19calore

3risposta

Typesafe varargs in C con gcc

Molte volte voglio una funzione per ricevere un numero variabile di argomenti, terminato da NULL, per esempio #define push(stack_t stack, ...) _push(__VARARG__, NULL); func _push(stack_t stack, char

c gcc static-analysis c89 2012-05-10

---

8calore

3risposta

È disponibile la verifica del codice statico per potenziali riferimenti a oggetti nulli?

Vorrei ricevere un avvertimento quando un riferimento a un oggetto potrebbe potenzialmente generare un'eccezione di riferimento Null, in modo da poter scrivere un codice difensivo per questi. Ho guard

c# .net-3.5 static-analysis 2012-04-11

---