---
name: "tchk"
section: "1"
platform: "linux"
package: "tendra"
version: "4.1.2-19"
release: "Debian 6.0 (Squeeze)"
platforms: ["linux"]
url: "https://new.carta.tech/tchk"
---

# tchk(1)

TenDRA static checker

## 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)](/tcc/1.md).  A complete list of the options allowed can be printed using the **-query** option.

## SEE ALSO

[*tcc*(1)](/tcc/1.md).