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

3 views (last 30 days)
Van Thai
Van Thai on 14 Aug 2018
Answered: Alexandre De Barros on 17 Aug 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 Comment
dpb
dpb on 14 Aug 2018
Hadn't known TMW owned the product; looks like Ada support is another module/product. See Ada Support

Sign in to comment.

Sign in to answer this question.

Answers (1)

Alexandre De Barros
Alexandre De Barros on 17 Aug 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

Categories

Find more on Options at Command Line Only in Help Center and File Exchange

Tags

Products


Release

R2018a

Community Treasure Hunt

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

Start Hunting!