Descripción general
Importante
El análisis estático se realiza en el proyecto actual solo para el código de la aplicación. Las bibliotecas y sus códigos fuente no se analizan.
CODESYS Static Analysis le ayuda durante la implementación para escribir código mejor y más legible e identificar partes del programa conflictivas o no compatibles. En particular, se revelan posibles fuentes de error. Por ejemplo, se identifican ubicaciones donde todavía se encuentra el código de prueba. O se encuentran punteros cuyo valor 0 no se verifica antes de eliminar la referencia. O (con el SA0119 regla) se analizan las ubicaciones donde se utiliza la orientación a objetos y se transfieren a otro entorno de desarrollo, que no admite la orientación a objetos, por lo que es imposible. Como resultado, se puede garantizar la portabilidad del código.
Para los errores que informa Static Analysis basándose en información de precompilación, existe soporte para un manejo de errores inmediato ("Quickfix"). Esto le permite encontrar y corregir rápidamente las ubicaciones en el código que se informan durante el análisis.
Para mejorar la legibilidad del código fuente, puede definir convenciones de nomenclatura y comprobar su cumplimiento.
Además, para evaluar la calidad del código, puede ver las métricas determinadas a partir del código fuente. Los ejemplos incluyen la métrica McCabe como medida de la capacidad de prueba del código, o la complejidad cognitiva como medida de la legibilidad y mantenibilidad del código fuente. El análisis del flujo de datos realizado en el análisis estático se basa en el principio de propagación constante.
Con el Crear → Realizar análisis estático comando de menú, activa explícitamente el análisis estático.
En el Configuración En el cuadro de diálogo, habilita un análisis estático que se realiza automáticamente después de cada compilación de código.
Tú usas declaraciones pragmáticas para excluir partes individuales o bloques de código del análisis.
En el Reglas En el cuadro de diálogo, puede averiguar qué reglas están configuradas, cómo se activan y cuándo se ejecutan las comprobaciones en la regla respectiva. Allí activas las reglas que sean relevantes para ti.
En el Convenciones de nomenclatura En el cuadro de diálogo, asigna un prefijo a cada tipo de datos como se espera en las declaraciones. Se informan las desviaciones.
En el Configuración de análisis estático: Métricas En el cuadro de diálogo activará las métricas relevantes para usted.
Con el Mostrar complejidad cognitiva para el editor actual comando, los incrementos determinados se muestran línea por línea en el editor activo.
El Mostrar valores de propagación constante para el editor actual El comando analiza en detalle el flujo de datos en el editor activo y lo muestra ruta por ruta. Dependiendo de esto, es posible realizar mejoras en el código.
Para más información, ver: Reglas, Métrica, y pragmas y atributos