What is AdaControl? Well, the website describes it likes this:
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.
The release announcement can be read here.
And finally here’s a link to the user guide, which is very comprehensive and thorough.