How do I do static code analysis on Ada source codes?
Ältere Kommentare anzeigen
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
dpb
am 14 Aug. 2018
Hadn't known TMW owned the product; looks like Ada support is another module/product. See Ada Support
Antworten (1)
Alexandre De Barros
am 17 Aug. 2018
1 Stimme
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
Kategorien
Mehr zu Run Settings finden Sie in Hilfe-Center und File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!