Herramienta de análisis de código C++ estático: encontrar los diamantes en un gran código fuente

Tienes dos problemas que resolver:

• Obtener el gráfico de herencia en una gran aplicación de C++
• Descubriendo los diamantes

La primera parte es compleja porque analizar C++ para obtener esta información de herencia con precisión es difícil (C++ en sí mismo es increíblemente difícil de analizar, luego tienes las complicaciones de los condicionales del preprocesador, los archivos incluidos, las macros y las plantillas). Necesita un front-end completo de C++ para hacer esto y un ataque organizado para recopilar la información de herencia.

Nuestro kit de herramientas de reingeniería de software DMS con su interfaz C++ se puede utilizar para extraer este tipo de información. Puede configurar DMS para analizar todas sus unidades de compilación y realizar una resolución de nombre/tipo; esto maneja todo el preprocesamiento/resolución de plantilla y produce, para cada unidad de compilación, tanto AST para el programa (que no necesita para esta tarea) como tablas de símbolos accesibles, que contienen declaraciones de clases y herencias A deseadas -desde-B información. Un simple escaneo de la tabla de símbolos puede producir la información de herencia para cada unidad de compilación.

Luego debe reunir esa información para obtener un gráfico de herencia para su sistema. Debería ser obvio que literalmente desea construir el gráfico de herencia.

Con ese gráfico, el descubrimiento de diamantes es básicamente fácil:

1. Para cada nodo, cree un conjunto hash vacío de elementos secundarios que almacene la ruta al elemento secundario
2. Enumerar y registrar todas las rutas de cada nodo a sus elementos secundarios mediante una enumeración ascendente de rutas de herencia (se implementa fácilmente mediante una búsqueda en profundidad)
3. Cada vez que encuentre un hijo dos veces desde un nodo, el conjunto hash contendrá las rutas a ese hijo; dos caminos --> diamante
4. Marque ese nodo como si tuviera un diamante para evitar volver a enumerar todas las rutas secundarias

Puede implementar ese buscador de diamantes usando un software que no sea DMS, pero también podría implementarlo usando el lenguaje de programación de procedimientos interno de DMS, lo que evitaría el paso que exporta la información heredada.

Resumen:

• DMS con front-end C++ analiza el código con precisión
• Se puede recopilar información de herencia sin procesar por unidad de compilación
• Los conjuntos de tales datos proporcionan un gráfico de herencia
• El algoritmo para encontrar diamantes es bastante fácil de codificar.

Dado que DMS es el producto de mi empresa, no lo tome como una recomendación, simplemente como una nota de que DMS existe y puede realizar la tarea de OP.

También puede probar CppDepend , que proporciona muchas funciones relacionadas con las dependencias y un lenguaje de consulta de código para crear fácilmente sus reglas de dependencias.