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

2018 8 14
1 个回答
更新时间：2018 8 17
2 次查看（30 天）

0 个投票

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 个评论
显示 -1更早的评论 隐藏 -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 个）

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 的更多信息

产品

版本

R2018a

标签

Community Treasure Hunt

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

Start Hunting!

Translated by