1CSMATCH(1)                                                          CSMATCH(1)
2
3
4

NAME

6       csmatch - a compiler wrapper that runs the Smatch analyzer in
7       background
8

SYNOPSIS

10       csmatch [--help | --print-path-to-wrap]
11

DESCRIPTION

13       csmatch is a compiler wrapper that runs Smatch in background. Create a
14       symbolic link to csmatch named as your compiler (gcc, g++, ...) and put
15       it to your $PATH.
16
17       The following parameters are given to Smatch by default:
18
19       •   -D_Float128=long double
20
21       The following parameters are passed to Smatch from compiler’s command
22       line:
23
24       •   -D...
25
26       •   -I...
27
28       •   -O...
29
30       •   -fexceptions
31
32       •   -fno-exceptions
33
34       •   -include ...
35
36       •   -iquote ...
37
38       •   -isystem ...
39
40       •   -m16
41
42       •   -m32
43
44       •   -m64
45
46       •   -std...
47
48       The following file extensions are recognized as C/C++ source files:
49
50       •   c
51
52       •   C
53
54       •   cc
55
56       •   cpp
57
58       •   cxx
59
60       If csmatch is installed on system, the following command activates the
61       wrapper:
62
63           export PATH="$(csmatch --print-path-to-wrap):$PATH"
64

OPTIONS

66       --help
67           Prints basic usage information.
68
69       --print-path-to-wrap
70           Prints path to the directory with symlinks to the csmatch
71           executable.
72

EXIT STATUS

74       csmatch propagates the exit status returned by the compiler (in case
75       csmatch succeeds to run the compiler). The exit status returned by
76       Smatch does not affect the resulting exit status.
77

ENVIRONMENT VARIABLES

79       DEBUG_CSMATCH
80           If set to a non-empty string, csmatch outputs the list of
81           parameters given to Smatch to the standard output.
82
83       CSMATCH_ADD_OPTS
84           csmatch expects a colon-separated list of Smatch options that
85           should be appended to command line prior to invoking Smatch. The
86           options are appended even if they already appear in the command
87           line and they are always appended at the end of the command line.
88

BUGS

90       Please report bugs and feature requests at
91       https://github.com/csutils/cscppc.
92

AUTHOR

94       Written by Kamil Dudka.
95

COPYING

97       Copyright (C) 2013-2022 Red Hat, Inc. Free use of this software is
98       granted under the terms of the GNU General Public License (GPL). See
99       the COPYING file for details.
100
101
102
103                                  07/21/2023                        CSMATCH(1)
Impressum