Adalog is pleased to announce the release of AdaControl 1.14. As usual, this release features new controls (meter says 421!), new features, bug fixes.
More importantly, it compiles with Gnat GPL2012! A change in the ASIS interface prevented the previous version from compiling with the latest versions of GNAT. AdaControl is now provided in two flavors, one for the “old” GNAT, and one for the recent one. Features are the same, except that some controls related to Ada2005/2012 are not available with the “old” version.
Here’s a short blurb about the functionality of AdaControl:
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..
Which elements or constructs are searched is defined by a set of rules; the following table gives a short summary of rules currently checked by AdaControl. The number in parentheses after the rule name gives the number of subrules, if any. Considering all possible rules and subrules, this makes 421 tests that can be performed currently by AdaControl!
Whenever I read about AdaControl, I think to myself “you really ought to learn how to use this tool”, but for some odd reason I never get around to it, and I’m absolutely sure my code suffers from it. Poor code.