sonarqube - pricing - ERROR-No se pudo completar la ejecución simbólica: se alcanzó el límite de 10000 pasos

sonarqube runner

Question

Con SonarQube 5.2 cuando analizo el mismo proyecto que hice con SonarQube 5.1.2, veo muchos de estos mensajes de error en el registro cuando analiza las fuentes Java:

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

Estos mensajes de error no aparecieron en la versión anterior de SonarQube 5.1.2.

Sin embargo, el resultado del análisis parece estar bien para SonarQube 5.2 al final.

Pero estos mensajes de error me alarman. No entiendo qué está mal. ¿Puedes por favor ayudar a aclararlo?

Answer 1

Este mensaje de error es en realidad completamente normal y se espera cuando ejecuta su análisis con el complemento 3.8 sonar-java debido al nuevo motor de ejecución simbólico introducido con esta versión.

(Al final, esto no debería ser un mensaje de error, sino algo visible solo en el modo de depuración: https://jira.sonarsource.com/browse/SONARJAVA-1406 esto debería solucionarse en la próxima versión del complemento de Java).

Esto es inofensivo para su análisis.

Qué significa eso ?

Para dos reglas ( S2259 sobre excepciones de puntos nulos y S2583 sobre condiciones siempre verdaderas o falsas) utilizamos la ejecución simbólica que explora todos los estados posibles de un método para encontrar problemas. Esto termina explorando una gran gráfica de estados posibles (esto se simplifica en exceso aquí, pero es suficiente para una explicación).

Esta exploración puede ser enorme y, como tal, tiene un límite arbitrario: 10 000 pasos. Entonces, cuando no podemos completar la ejecución simbólica, registramos este mensaje.

Concretamente: esta es una forma bastante indirecta de advertirle sobre posibles falsos negativos sobre estas dos reglas en este método.