AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs.
Its first goal is to control proper usage of style or programming rules, but it can also be used as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns.
Searched elements range from very simple, like the occurrence of certaine entities, declarations, or statements, to very sophisticated, like verifying that certain programming patterns are being obeyed.
AdaControl 1.22r16c is mainly a bug fix release (no new rule), but improvements in the static evaluator provides better results and avoids false positives in several rules.
AdaControl is a command line tool, but it has been fully integrated into AdaCore's GPS environment.
From GPS, you can run AdaControl, fix the violations, or edit the rules file with just a few clicks.
UID: 16687908486377ba40ecdf56377ba40ecdfa
EEC GDPR compliant
