How do I do static code analysis on Ada source codes?

1 visualización (últimos 30 días)
Van Thai
Van Thai el 14 de Ag. de 2018
Respondida: Alexandre De Barros el 17 de Ag. de 2018
I'm able to run Code Prover on C/C++. However, when I tried Ada source (.adb) and header (.ads) files under "Coding Rules & Code Metrics", PolySpace failed to compile. How do I do static code analysis on Ada source codes? Thanks in advance.
  1 comentario
dpb
dpb el 14 de Ag. de 2018
Hadn't known TMW owned the product; looks like Ada support is another module/product. See Ada Support

Iniciar sesión para comentar.

Iniciar sesión para responder a esta pregunta.

Respuestas (1)

Alexandre De Barros
Alexandre De Barros el 17 de Ag. de 2018
Hello,
I do confirm what dpd wrote: the Ada product is a separate product. You cannot analyze Ada code with the C/C++ product.
Alex

Categorías

Más información sobre Options at Command Line Only en Help Center y File Exchange.

Etiquetas

Productos


Versión

R2018a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by