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 个）

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

类别

在 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