NAME

       tchk - TenDRA static checker

SYNOPSIS

       tchk [ options ] files

DESCRIPTION

       tchk  is  the  stand-alone  TenDRA  Static Program Checker.  It is more
       fully documented in the TCheck - The TenDRA Static Checker.

       tchk is equivalent to tcc -ch except that it does  not  allow  all  the
       options  allowed by tcc(1).  A complete list of the options allowed can
       be printed using the -query option.

SEE ALSO

       tcc(1).

                                                                       tchk(1)