csmatch - Man Page
a compiler wrapper that runs the Smatch analyzer in background
Synopsis
csmatch [--help | --print-path-to-wrap]
Description
csmatch is a compiler wrapper that runs Smatch in background. Create a symbolic link to csmatch named as your compiler (gcc, g++, ...) and put it to your $PATH.
The following parameters are given to Smatch by default:
- -D_Float128=long double
The following parameters are passed to Smatch from compiler’s command line:
- -D...
- -I...
- -O...
- -fexceptions
- -fno-exceptions
- -include ...
- -iquote ...
- -isystem ...
- -m16
- -m32
- -m64
- -std...
The following file extensions are recognized as C/C++ source files:
- c
- C
- cc
- cpp
- cxx
If csmatch is installed on system, the following command activates the wrapper:
export PATH="$(csmatch --print-path-to-wrap):$PATH"
Options
- --help
Prints basic usage information.
- --print-path-to-wrap
Prints path to the directory with symlinks to the csmatch executable.
Exit Status
csmatch propagates the exit status returned by the compiler (in case csmatch succeeds to run the compiler). The exit status returned by Smatch does not affect the resulting exit status.
Environment Variables
- DEBUG_CSMATCH
If set to a non-empty string, csmatch outputs the list of parameters given to Smatch to the standard output.
- CSMATCH_ADD_OPTS
csmatch expects a colon-separated list of Smatch options that should be appended to command line prior to invoking Smatch. The options are appended even if they already appear in the command line and they are always appended at the end of the command line.
Bugs
Please report bugs and feature requests at https://github.com/csutils/cscppc.
Author
Written by Kamil Dudka.
Copying
Copyright (C) 2013-2022 Red Hat, Inc. Free use of this software is granted under the terms of the GNU General Public License (GPL). See the COPYING file for details.