tchk1
Tendra static checker
Usage
tchk [options]
files
Overview
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.
Releases
Unchanged in 6 releases since Debian 2.2 (Potato).