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

1 次查看(过去 30 天)
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 个)

Alexandre De Barros
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

标签

Community Treasure Hunt

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

Start Hunting!

Translated by