Preguntas con respuestas sobre "splint"

26 preguntas, página #1

2

votos

1

respuestas

vistas 751

¿Qué es el "almacenamiento fresco" en Splint?

He buscado en la documentación de Splint "almacenamiento nuevo" y he encontrado una mención, pero ninguna definición formal. Los otros modificadores, como nulo o solo, los entiendo y los estoy poniendo en uso. No estoy seguro de qué es el almacenamiento fresco. ...

preguntado 10 años, 8 meses

7

votos

1

respuestas

vistas 359

Comportamiento extraño debido a la verificación de los límites de la férula

¿Algún experto en férulas por ahí? Estoy tratando de usar férula para analizar estáticamente un proyecto grande que tengo en C. Veo un número excesivo de errores de verificación de límites que obviamente no son errores de límites. Escribí un pequeño programa de prueba para tratar de aislar el problema y noté algunas advertencias realmente extrañas ...

preguntado 10 años, 10 meses

5

votos

2

respuestas

vistas 2,139

splint vs gcc: ¿valen la pena las herramientas externas de análisis de código estático para las bases de código C?

Estoy trabajando en un proyecto bastante complejo y, como complicación adicional, es un módulo de Linux en el kernel. Ejecutar una herramienta de formación de pelusa como splint en una base de código de este tipo no es ciertamente imposible [1], pero un esfuerzo trivial no fue suficiente para poner en marcha algo. ...

preguntado 10 años, 10 meses

3

votos

1

respuestas

vistas 843

entablillar todo el programa con un proceso de construcción complejo

Quiero ejecutar análisis de programa completo de férulas en mi sistema. Sin embargo, el sistema es bastante grande y diferentes partes se compilan con diferentes definiciones de compilador e incluyen rutas. Puedo ver cómo transmitir esta información a la férula para un solo archivo, pero no puedo averiguar cómo hacerlo para todo el programa. ...

preguntado 12 años, 8 meses

2

votos

2

respuestas

vistas 1,785

archivo rc de muestra para férula

Estoy usando férula para verificar el código y está lanzando una gran cantidad de advertencias. Algunos de ellos, supongo, se pueden ignorar. Estoy en el proceso de crear el .splintrc por ensayo y error. ...

preguntado 13 años, 4 meses

3

votos

2

respuestas

vistas 924

análisis de cobertura de prueba y férula?

Estoy buscando una herramienta de análisis estático con la madurez de la férula que también produzca un análisis de cobertura de prueba del código. Por ejemplo, todas las funciones no estáticas en libfoo.c deberían estar presentes en libfoo.h, por ese motivo todas las funciones en libfoo.h deberían tener pruebas unitarias. ...

preguntado 13 años, 6 meses