Herramientas de análisis de código y declaraciones entre tipos

Question

Tengo un proyecto maven generado por Spring Roo y uso varias herramientas (checkstyle, pmd, etc.) para recopilar información sobre mi proyecto. (Es decir, que estoy utilizando para este codehaus' sonar)

Roo makes heavy use of AspectJ Inter Type Declarations (ITD) para separar las preocupaciones como la persistencia, JavaBeans-getter/setters etc.

Estas diferencias ITD se tejen en el momento de la compilación de modo herramientas como Checkstyle y PMD (que trabajan en nivel de origen) tienen muchos falsos positivos.

La única solución que veo actualmente, es desactivar las comprobaciones para las clases que usan ITD.

¿Alguna idea mejor?

Answer 1

¿Podría agregar anotaciones/comentarios específicos de la herramienta al código de Java para suprimir los falsos positivos? Por ejemplo, FindBugs tiene su propia anotación @SuppressWarnings.

Answer 2

Duda será un "problema de nicho" durante mucho más tiempo :-) Esperemos que los vendedores de herramientas vean las mejoras necesarias.

Answer 3

Si desea razonar sobre el código fuente después de que se hayan entretejido aspectos en el código, debe entrelazar los aspectos en el código fuente en lugar del código binario.

Muchos tejedores de aspecto hacen tejer códigos binarios porque no tienen acceso a la información (tabla de símbolos, nombres, tipos, tipos de expresiones, ...) producida por un front-end del compilador. Entonces, el truco es usar el código de máquina virtual producido por el compilador (este truco básicamente solo funciona para conjuntos de instrucciones VM como .net IL y java class codes) que a menudo es fácil de decodificar (buen conjunto de instrucciones regulares) decorado con información de la tabla de símbolos.

Pero si no puede razonar acerca de los resultados binarios de tal proceso de tejido, entonces no puede estar seguro de que el programa tejido no tiene errores, que es el punto de la pregunta original de OP: "¿Cómo ¿Ejecuto herramientas SCA en la fuente tejida (efectiva)? ".

Puedes solucionar este problema de dos maneras:

• que la comunidad de escribir herramientas SCA que procesan los códigos de bytes en lugar de la fuente. Esto podría ser difícil porque el código fuente puede contener información perdida en el proceso de compilación.
• Una mejor idea: Obtenga la comunidad de aspecto para diseñar tejedores de aspecto que operen con código fuente y produzcan código fuente. Esto puede ser difícil porque obtener terminología completa es difícil.

No puedo evitar que la comunidad haga una elección.

Puedo ofrecer un fuerte estímulo para ayudar a la comunidad a elegir la segunda manera: nuestra DMS Software Reengineering Toolkit. Este es un sistema de transformación de programa que lleva a cabo directivas de la forma "si ve este, sustitúyalo por que" pero respetando la sintaxis y la semántica del lenguaje aplicando realmente dichos cambios a las estructuras de datos compiladas producidas por frente completo del lenguaje. (Esta es la versión de ingeniería de software de sustitución ecuacional en matemáticas). Las estructuras de datos modificadas se pueden reexportar como texto fuente compilable, completo con comentarios.

Si comprende lo que las transformaciones pueden hacer en general, puede ver que aspect weavers are a special case of program transformation systems. Por lo tanto, es fácil implementar tejedores de aspecto utilizando DMS, y los resultados son código fuente, lo que significa puede aplicar las herramientas de análisis de código fuente.

Dudo que esto realmente resuelve el problema PO de análisis de código generado por Roo en el corto plazo: - {

Answer 4

Esta respuesta no le ayudaría en este momento, pero es de esperar que pueda ser de interés para usted, ya que promete una solución para su problema en un futuro cercano. No sé si conoce IntelliJ IDEA - Java IDE de JetBrains, pero ya se está trabajando en esta dirección, y aquí está el enlace al tema dedicado que puede querer seguir: http://youtrack.jetbrains.net/issue/IDEA-26959. Solo fíjese y reciba notificaciones cuando se implemente la función. IntelliJ IDEA proporciona SCA realmente potente. Entonces, el soporte de ITD también debería ser de alta calidad.

Answer 5

Tanto FindBugs como Cobertura NO funcionan en el nivel de fuente, sino en el nivel de bytecode. Por lo tanto, debe agitar sus aspectos estáticamente (que también mejorarían el tiempo de inicio de la aplicación) en el momento de la compilación (por ejemplo, utilizando el complemento AspectJ de maven) y no en el tiempo de carga y luego ejecutar herramientas de análisis estático en el código de bytes del resultado.