AdaControl is a free (GMGPL) tool that detects the use ofvarious kinds of constructs in Ada programs. Its first goal is tocontrol proper usage of style or programming rules, but it can also beused as a powerful tool to search for use (or non-use) of variousforms of programming styles or design patterns.