A program analysis preparation tool for C programs made with GNU Make and cmake
smake observes the build process driven by make, and derives the standalone, preprocessed form of the source code that makes up each C program linked during the process. smake creates a directory sparrow/, where you can perform program analyses.
You can instantly start your program analysis in two steps:
- Initialize
sparrow - Use
smakeinstead ofmaketo build your programs.
smake r1045
a program analysis preparation tool for C programs made with GNU Make
smake observes the build process driven by make(1), and derives the
standalone, preprocessed form of the source code that makes up each
C program linked during the process. smake creates a directory
"sparrow/", where you can perform program analyses with make(1).
You can instantly start your program analysis in three steps:
1. Initialize "sparrow/", i.e. $SMAKEDIR.
2. Use `smake` instead of `make` to build your programs.
3. Use `make` under $SMAKEDIR to analyze your programs.
Usage:
$ SMAKEDIR=[dir] smake --init [<options>]
initializes $SMAKEDIR/ to handle the regular use of smake.
If you use a special compiler (e.g. cross compiler), its type must be
specified by appending gcc style options, e.g. `-b mips-linux -V 2.95`.
$ smake --clean
completely removes sparrow/.
$ smake <parameters for make>
runs `make [<with parameters>]` and bookkeeps $SMAKEDIR.
$ smake ./configure
runs `./configure` under the same environment `smake` runs.
$ smake --help
shows this message.
scmake executes cmake and preprocesses every C source-code recorded in "compile_commands.json".
scmake creates a directory sparrow/, where you can perform program analysis.
usage: scmake [-h] [--cmake] [--cmake-out CMAKE_OUT] [--out [OUT]]
optional arguments:
-h, --help show this help message and exit
--cmake execute cmake and save result into CMAKE_OUT
--cmake-out CMAKE_OUT
cmake output directory (default: build)
--out [OUT] scmake output directory (default: sparrow)
