ERRORE - Impossibile completare l'esecuzione simbolica: raggiunto il limite di 10000 passi

Question

Con SonarQube 5.2 quando analizzo lo stesso progetto come ho fatto con SonarQube 5.1.2 Vedo molti di questi messaggi di errore nel registro quando analizza le origini Java:

ERROR - Could not complete symbolic execution: reached limit of 10000 steps for method updateAll in class DefaultTypeDefinitions 

Questi messaggi di errore non sono stati visualizzati nella versione precedente di SonarQube 5.1.2.

Tuttavia, il risultato dell'analisi sembra essere corretto per SonarQube 5.2 alla fine.

Ma questi messaggi di errore mi allarmano. Non capisco cosa c'è di sbagliato. Puoi per favore aiutare a chiarirlo?

Answer 1

Questo messaggio di errore è in realtà completamente normale e previsto quando si esegue l'analisi con il plugin sonar-java 3.8 a causa del nuovo motore di esecuzione simbolico introdotto con questa versione.

(Quindi alla fine questo non dovrebbe essere un messaggio di errore ma piuttosto qualcosa visibile solo in modalità debug: https://jira.sonarsource.com/browse/SONARJAVA-1406 dovrebbe essere corretto nella prossima versione del plugin java).

Questo è innocuo per la tua analisi.

Che cosa significa?

Per due regole (S2259 sulle eccezioni nullpointer e S2583 sulle condizioni sempre vere o false) che usiamo esecuzione simbolica che esplorano tutti i possibili stati di un metodo per trovare i problemi. Questo finisce per esplorare un grande grafico di possibili stati (qui è semplificato, ma sufficiente per spiegazioni).

Questa esplorazione può essere enorme e come tale vi è un limite arbitrario: 10 000 passi. Quindi, quando non possiamo completare l'esecuzione simbolica, registriamo questo messaggio.

Concretamente: questo è un modo piuttosto indiretto per avvisare circa potenziali negativi su queste due regole su questo metodo.