How do I do static code analysis on Ada source codes?
古いコメントを表示
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
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
2018 年 8 月 17 日
1 投票
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
カテゴリ
ヘルプ センター および File Exchange で Run Settings についてさらに検索
2018 年 8 月 17 日
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
