How do I do static code analysis on Ada source codes?
3 visualizzazioni (ultimi 30 giorni)
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.
Code Verification Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only