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

2 Ansichten (letzte 30 Tage)

Van Thai am 14 Aug. 2018

0
Verknüpfen

Direkter Link zu dieser Frage

https://de.mathworks.com/matlabcentral/answers/414868-how-do-i-do-static-code-analysis-on-ada-source-codes

Beantwortet: Alexandre De Barros am 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 Kommentar
-1 ältere Kommentare anzeigen-1 ältere Kommentare ausblenden

dpb am 14 Aug. 2018

Hadn't known TMW owned the product; looks like Ada support is another module/product. See Ada Support

Melden Sie sich an, um zu kommentieren.

Melden Sie sich an, um diese Frage zu beantworten.

Antworten (1)

Alexandre De Barros am 17 Aug. 2018

1
Verknüpfen

Direkter Link zu dieser Antwort

https://de.mathworks.com/matlabcentral/answers/414868-how-do-i-do-static-code-analysis-on-ada-source-codes#answer_333112

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

0 Kommentare
-2 ältere Kommentare anzeigen-2 ältere Kommentare ausblenden

Melden Sie sich an, um zu kommentieren.

Melden Sie sich an, um diese Frage zu beantworten.

Kategorien

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

Verification, Validation, and Test Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

Mehr zu Run Settings finden Sie in Help Center und File Exchange

Produkte

Version

R2018a

Community Treasure Hunt

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

Start Hunting!

Translated by