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

3 ビュー (過去 30 日間)
Van Thai
Van Thai 2018 年 8 月 14 日
回答済み: Alexandre De Barros 2018 年 8 月 17 日
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 件のコメント
dpb
dpb 2018 年 8 月 14 日
Hadn't known TMW owned the product; looks like Ada support is another module/product. See Ada Support

サインインしてコメントする。

サインインしてこの質問に回答する。

回答 (1 件)

Alexandre De Barros
Alexandre De Barros 2018 年 8 月 17 日
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

カテゴリ

Help Center および File Exchange で Options at Command Line Only についてさらに検索

タグ

製品


リリース

R2018a

Community Treasure Hunt

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

Start Hunting!

Translated by