statick 0.1.10

Tool for running static analysis tools against packages of code.

Statick

Service	Status
Build
PyPI

Statick is a set of tools to analyze software packages.

This README only covers basic usage of Statick. For more detailed information, see the Statick User Guide. The User Guide is especially important for tips on creating and using your own testing levels and exceptions.

Statick uses a plugin system to load plugins from both a default resource location and also user-definable locations to run against software.

The plugins for the statick scans are divided into two categories:

• Discovery plugins that find files to scan inside of a code package.
• Tool plugins to run analysis programs against the files discovered by the discovery plugins.

Install Required Tools

The below commands are for Ubuntu 16.04. The exact package names may vary for other systems.

These packages are for the tools used by the default configuration of Statick. Depending on your usage and configuration, you may not need these packages.

$ cat install.txt  | xargs sudo apt-get install
$ pip install -r requirements.txt

To run against ROS packages there are a few more system packages to get. This command assumes you have setup the ROS apt repository for your system.

$ cat ros-deps.txt  | xargs sudo apt-get install

Setup cppcheck

cppcheck is a static analysis tool for C++. It is possible to set a required version of the tool to ensure consistency of output. The required version of the tool can be passed in as part of the tool flags in the config.yaml file. If a flag is not set for the version then any installed version of the tool will run. If a required version is set but not found then the tool will not run. An example of how to install a specific version of cppcheck is below.

In some spot on your filesystem (for example ~/src)

$ git clone --branch 1.81 https://github.com/danmar/cppcheck.git
$ cd cppcheck
$ make SRCDIR=build CFGDIR=/usr/share/cppcheck/ HAVE_RULES=yes
$ sudo make install SRCDIR=build CFGDIR=/usr/share/cppcheck/ HAVE_RULES=yes

Statick Installation (Optional)

To install Statick on your system and make it part of your $PATH:

$ sudo python setup.py install

Running

If you are running from an installed version, you will use the statick or statick_ws command. If you are running job from a local version in your workspace, you can run it like ~/src/my_ws/src/ssc/statick/statick or ~/src/my_ws/src/ssc/statick/statick_ws.

For a description of all available arguments, pass the --help option to either program.

For single packages

$ statick <path of package> <output path>

"Path of package" is the path of the package to be scanned.

"Output path" is the path where build and output files are stored. This should initially be an empty directory separate from your regular source and build directories. This directory must already exist before running the program.

If you are using this with a ROS Ament/Catkin workspace, you must have your workspace setup.bash sourced before running the tool.

For a whole or partial ament/catkin workspace

$ statick_ws <path of src tree> <output path>

"path of src tree" is the src directory underneath your ament/catkin workspace root or any directory under that.

"Output path" is the path where build and output files are stored. This should initially be an empty directory separate from your regular source and build directories. This directory must already exist before running the program.

Example Usage

Here are some example use cases for the level of compliance we are enforcing for now.

For a single package

$ cd ~/src/my_ws
$ . devel/setup.bash
$ mkdir statick_output
$ statick src/my_org/my_pkg statick_output

For a part of a workspace

$ cd ~/src/my_ws
$ . devel/setup.bash
$ mkdir statick_output
$ statick_ws src/my_org statick_output

For a whole workspace

$ cd ~/src/my_ws
$ . devel/setup.bash
$ mkdir statick_output
$ statick_ws src statick_output

Statick Gauntlet

The statick gauntlet runs make against a set of targets individually from a clean workspace that allows it to catch dependency issues that may crop up on catkin_make. These issues usually manifest themselves as build failures that crop up and seem to magically resolve themselves by running the build again.

Running

If you are running from an installed version, you will use the statick_gauntlet command. If you are running job from a local version in your workspace, you can run it like ~/src/my_ws/src/ssc/statick/statick_gauntlet

For a description of all available arguments, pass the --help option to the program.

$ gauntlet <path of catkin src> <output path>

"Path of catkin src" is the src dir underneath your catkin workspace root. There should be the default CMakeLists.txt there from running catkin_init_workspace or catkin_make.

"Output path" is the path where build and output files are stored. This should initially be an empty directory separate from your regular source and build directories. This directory must already exist before running the program.

You must NOT have your workspace sourced before running this tool. If there is a workspace sourced, it won't do its job properly.

This command can not be run against individual packages, it must be run against a whole workspace. However, you can use the --targets_file option listed below to select which targets get tested. By default, it tests all targets.

You can pass the --failed-only option after a run that has failed targets to run only those targets that failed again.

You can pass the --targets-file <file> option to use the given file as a listing of targets to run. The file contents should look something like

target1
target2
target3

You can pass the --force-cmake option to force the gauntlet tool to rerun CMake. This may resolve any weird issues you experience.

Example Usage

Here are some example use cases for running the gauntlet. Note that you are NOT sourcing the setup.bash.

For a whole workspace

$ cd ~/src/my_ws
$ mkdir gauntlet
$ statick_gauntlet src gauntlet

Running against failed packages

If you have failures, you can rerun the gauntlet against only those failures

$ cd ~/src/my_ws
$ statick_gauntlet src gauntlet --failed-only