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

1 vue (au cours des 30 derniers jours)

Van Thai le 14 Août 2018

0
Lien

Utiliser le lien direct vers cette question

https://fr.mathworks.com/matlabcentral/answers/414868-how-do-i-do-static-code-analysis-on-ada-source-codes

Réponse apportée : Alexandre De Barros le 17 Août 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 commentaire
Afficher -1 commentaires plus anciensMasquer -1 commentaires plus anciens

dpb le 14 Août 2018

Hadn't known TMW owned the product; looks like Ada support is another module/product. See Ada Support

Connectez-vous pour commenter.

Connectez-vous pour répondre à cette question.

Réponses (1)

Alexandre De Barros le 17 Août 2018

1
Lien

Utiliser le lien direct vers cette réponse

https://fr.mathworks.com/matlabcentral/answers/414868-how-do-i-do-static-code-analysis-on-ada-source-codes#answer_333112

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

0 commentaires
Afficher -2 commentaires plus anciensMasquer -2 commentaires plus anciens

Connectez-vous pour commenter.

Connectez-vous pour répondre à cette question.

Catégories

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

Verification, Validation, and Test Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

En savoir plus sur Run Settings dans Help Center et File Exchange

Produits

Version

R2018a

Community Treasure Hunt

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

Start Hunting!

Translated by