2021-12-07 Filed in:
ToolAdaControl 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.
© J-P. Rosen
Read More…Tags: Ada Style,Quality Code
2016-11-03 Filed in:
ToolAdaControl 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 consist of 68 rules and 532 sub-rules!
New :
- AdaControl accepts .gpr fichiers
- Binary is precompiled for Gnat-GPL2016.
http://www.adalog.fr/fr/adacontrol.htmlEnjoy!
Jean-Pierre Rosen
Read More…Tags: Ada Style,Quality Code
2017-03-03 Filed in:
ToolAdaControl 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..
With the help of Pascal Pignard, we have now a MacOS binary of our current AdaControl.
http://www.adalog.fr/fr/adacontrol.htmlEnjoy!
Jean-Pierre Rosen
Read More…Tags: Ada Style,Quality Code
2015-11-06 Filed in:
ToolAdaControl 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
This version gives better support of Ada 2005/2012 constructs... especially in the handling of anonymous subtypes.
Read More…Tags: Ada Style,Quality Code
