From the project home page (http://www.kolombus.fi/vitali.kaufman/gch/) :
----------
GCH (from Gnat CHecker) is a tool that checks Ada sources against a given
set of rules. In the current version of gch checks for some rules from
the Ada 95 Quality and Style document.
----------
License is GPL. Upstream author notified.
--
Thomas.Quinot@Cuivre.FR.EU.ORG <URL:http://web.fdn.fr/~tquinot/>