GNATcheck Reference Manual

The gnatcheck tool can be used to enforce coding conventions and find interesting or suspicious code patterns by analyzing Ada source programs with respect to a set of rules supplied at tool invocation. This manual describes the complete set of predefined rules that gnatcheck can take as input as well as how to write custom rules via the LKQL language.