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
dpb
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
Alexandre De Barros 2018년 8월 17일
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