Community Profile

photo

Van Thai


Active since 2018

Followers: 0   Following: 0

Statistics

Feeds

View by

Question


How do I do static code analysis on Ada source codes?
I'm able to run Code Prover on C/C++. However, when I tried Ada source (.adb) and header (.ads) files under "Coding Rules & Cod...

5 years ago | 1 answer | 0

1

answer