How do I do static code analysis on Ada source codes?
Afficher commentaires plus anciens
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
dpb
le 14 Août 2018
Hadn't known TMW owned the product; looks like Ada support is another module/product. See Ada Support
Réponses (1)
Alexandre De Barros
le 17 Août 2018
1 vote
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
Catégories
En savoir plus sur Run Settings dans Centre d'aide et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!