tchk - TenDRA static checker
tchk [ options ] files
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.
tcc(1).
tchk(1)