| 2 |
7u83 |
1 |
.\" Crown Copyright (c) 1997
|
|
|
2 |
.\"
|
|
|
3 |
.\" This TenDRA(r) Manual Page is subject to Copyright
|
|
|
4 |
.\" owned by the United Kingdom Secretary of State for Defence
|
|
|
5 |
.\" acting through the Defence Evaluation and Research Agency
|
|
|
6 |
.\" (DERA). It is made available to Recipients with a
|
|
|
7 |
.\" royalty-free licence for its use, reproduction, transfer
|
|
|
8 |
.\" to other parties and amendment for any purpose not excluding
|
|
|
9 |
.\" product development provided that any such use et cetera
|
|
|
10 |
.\" shall be deemed to be acceptance of the following conditions:-
|
|
|
11 |
.\"
|
|
|
12 |
.\" (1) Its Recipients shall ensure that this Notice is
|
|
|
13 |
.\" reproduced upon any copies or amended versions of it;
|
|
|
14 |
.\"
|
|
|
15 |
.\" (2) Any amended version of it shall be clearly marked to
|
|
|
16 |
.\" show both the nature of and the organisation responsible
|
|
|
17 |
.\" for the relevant amendment or amendments;
|
|
|
18 |
.\"
|
|
|
19 |
.\" (3) Its onward transfer from a recipient to another
|
|
|
20 |
.\" party shall be deemed to be that party's acceptance of
|
|
|
21 |
.\" these conditions;
|
|
|
22 |
.\"
|
|
|
23 |
.\" (4) DERA gives no warranty or assurance as to its
|
|
|
24 |
.\" quality or suitability for any purpose and DERA accepts
|
|
|
25 |
.\" no liability whatsoever in relation to any use to which
|
|
|
26 |
.\" it may be put.
|
|
|
27 |
.\"
|
|
|
28 |
.TH tchk 1
|
|
|
29 |
.SH NAME
|
|
|
30 |
tchk \- TenDRA static checker
|
|
|
31 |
.SH SYNOPSIS
|
|
|
32 |
\fBtchk\fR [ \fIoptions\fR ] \fIfiles\fR
|
|
|
33 |
.\" ----------------------------------------------------------------------
|
|
|
34 |
.SH DESCRIPTION
|
|
|
35 |
\fBtchk\fR is the stand-alone TenDRA Static Program Checker. It is more
|
|
|
36 |
fully documented in the \fITCheck - The TenDRA Static Checker\fR.
|
|
|
37 |
.PP
|
|
|
38 |
\fBtchk\fR is equivalent to \fItcc\fR \fB-ch\fR except that it does not
|
|
|
39 |
allow all the options allowed by \fItcc\fR(1). A complete list of the
|
|
|
40 |
options allowed can be printed using the \fB-query\fR option.
|
|
|
41 |
.\" ----------------------------------------------------------------------
|
|
|
42 |
.SH SEE ALSO
|
|
|
43 |
\fItcc\fR(1).
|
|
|
44 |
.\" ----------------------------------------------------------------------
|