AdaControl

From AdaCommons

Jump to: navigation, search

http://www.adalog.fr/adacontrol2.htm

AdaControl is a static analysis tool that is used to find occurrences of various constructs in Ada programs. Its first purpose is to enforce coding standards, but it can be used for many other kinds of analysis.

AdaControl is provided by Adalog.

License

GMGPL (free to use and reuse in full or in part, in any context, free or proprietary).

Retrieved from "http://www.adacommons.org/AdaControl"
Personal tools