operation Bug Finder. How works bug Finder?

Hola,

Necesitamos el soporte de Mathworks para el producto Polyspace --> Polyspace Bug Finder.

Cuando realizamos un análisis con resultados hay un fichero que falla al compilar. En el sumario de los resultados aparece que ese fichero no se ha analizado, pero en cambio si aparecen defectos en dicho fichero. ¿A que se debe esto? ¿Cómo funciona bug Finder en este sentido?

Gracias, un saludo

[Walter Roberson]

Approximate translation:

Hey there,

We need support for Mathworks Polyspace product -> Polyspace Bug Finder.

When performing an analysis with results there is a file that fails to compile. Appears in the summary of the results that the file has not been analyzed, but instead if defects appear in the file. What is this about? How does bug Finder in this regard?

[Benito Jose Alejandre Santos]

Hi, good afternoon.

We need information about the Polyspace Bug Finder. Our request is about why if a file file to compilethe program ends, when the normal conduct would not compile. We need information about these and the Bug Finder function.

Best regards.