Statick makes running static analysis and linting tools easier for all your projects. Each static analysis tool has strengths and weaknesses. Best practices recommend running multiple tools to get the best results. Statick has plugins that interface with a large number of static analysis and linting tools, allowing you to run a single tool to get all the results at once.
Many tools are known for generating a large number of false positives so Statick provides multiple ways to add exceptions to suppress false positives. The types of warnings to generate is highly dependent on your specific project, and Statick makes it easy to run each tool with custom flags to tailor the tools for the issues you care about. Once the results are ready, Statick provides multiple output formats. The results can be printed to the screen, or sent to a continuous integration tool like Jenkins.
Statick is a plugin-based tool with an explicit goal to support external, optionally proprietary, tools and reporting mechanisms.
- Statick
Statick requires Python 3 to run, but can be used to analyze Python 2 projects, among many other languages.
The recommended install method is to create a Python virtual environment and install there.
Getting the Python venv tool is operating system-specific.
On Ubuntu Linux use sudo apt-get install python3-venv.
Activating a Python virtual environment is also operating system-specific.
The example command below is for Linux systems, but it will be similar for other operating systems.
python3 -m venv venv
. venv/bin/activate
pip install statickFor local development you can clone this repository, activate the virtual environment, then do a local install.
cd statick-clone-directory
pip install -e .You will also need to install any tools you want to use.
Some tools are installed with Statick if you install via pip.
Other tools can be installed using a method supported by your operating system.
For example, on Ubuntu Linux if you want to use the clang-tidy tool plugin you can install the tool with apt.
sudo apt-get install clang-tidyIf you want to install a custom version of Statick you can install from a git repository. Options are detailed from PyPA documentation. Stack Overflow has a discussion about installing a git branch. The general idea is to install from a git repository with an optional branch or commit hash. Use one of the following commands from the activated Python virtual environment.
pip install git+https://github.com/user/statick.git
pip install git+https://github.com/user/statick.git@branch-name
pip install git+https://github.com/user/statick.git@hashstatick <path of package> --output-directory <output path>This will run the default level and print the results to the console.
To see more detailed output use the --log argument.
Valid levels are: DEBUG, INFO, WARNING, ERROR, CRITICAL.
Specifying the log level is case-insensitive (both upper-case and lower-case are allowed).
See the logging module documentation for more details.
Early Statick development and use was targeted towards Robot Operating System (ROS),
with results to be displayed on Jenkins.
Both ROS and Jenkins have a concept of software components as packages.
The standard statick command treats the package path as a single package.
Statick will explicitly look for ROS packages and treat each of them as an individual unit when running statick -ws.
At the same time Statick is ROS agnostic and can be used against many different programming languages. The term package is still used to designate a directory with source code.
When Statick is invoked there are three major steps involved:
- Discover source code files in each package and determine what programming language the files are written in.
- Run all configured tools against source files that the individual tool can analyze to find issues.
- Report the results.
The default behavior for Statick is to return an exit code of success unless Statick has an internal error.
It can be useful to have Statick return an exit code indicating an error if any issues are found.
That behavior can be enabled by passing in the --check flag.
For example, if you are running Statick as part of a continuous integration pipeline and you want the job to fail on
any Statick warnings you can do that by using the --check flag.
Discovery plugins search through the package path to determine if each file is of a specific type.
The type of each file is determined by the file extension and, if the operating system supports it, the output of the
file command.
Tool plugins are the interface between a static analysis or linting tool and Statick. Each tool plugin provides the types of files it can analyze, then the output of the discovery plugins is used to determine the specific files that should be analyzed by each tool.
The tool plugin can also specify any other tools that are required to run before the current tool can act.
For example, cppcheck depends on the output of the make tool.
The tool plugin then scans each package by invoking the binary associated with the tool. The output of the scan is parsed to generate the list of issues discovered by Statick.
Reporting plugins output the issues found by the tool plugins.
The output can be printed to console (stdout) or be used as input to a separate tool or service
that performs additional parsing and processing.
Statick has levels of configuration to support testing each package in the desired manner.
Levels are defined in the config.yaml file.
Some projects only care about static analysis at a minimal level and do not care about linting for style at all.
Other projects want all the bells and whistles that static analysis and linting have to offer.
That's okay with Statick -- just make a level to match your project needs.
Each level specifies which plugins to run, and which flags to use for each plugin. If your project only has Python files then your level only needs to run the Python discovery plugin. If you only want to run tool plugins for pylint and pyflakes, a level is how you configure Statick to look for issues using only those tools. If you are not using Jenkins then you can specify that you only want the reporting plugin to run that prints issues to a console.
Each level can be stand-alone or it can inherit from a separate level.
This allows users to gradually build up levels to apply to various packages.
All packages can start by being required to pass a threshold level.
An objective level can build on the threshold level with more tools or more strict flags for each tool.
A gradual transition of packages from threshold to objective can be undertaken.
Flags from the inherited level can be overridden by listing the same tool under the level's tools key with a new
set of flags.
In the following config.yaml example the objective level inherits from and modifies the threshold level.
The pylint flags from threshold are completely modified by the objective level, and the clang-tidy tool is
new for the objective level.
levels:
threshold:
tool:
pylint:
flags: "--disable=R,I,C0302,W0141,W0142,W0511,W0703
--max-line-length=100
--good-names=f,x,y,z,t,dx,dy,dz,dt,i,j,k,ex,Run,_
--dummy-variables-rgx='(_+[a-zA-Z0-9]*?$$)|dummy*'"
make:
flags: "-Wall -Wextra -Wuninitialized -Woverloaded-virtual -Wnon-virtual-dtor -Wold-style-cast
-Wno-unused-variable -Wno-unused-but-set-variable -Wno-unused-parameter"
catkin_lint:
flags: "-W2 --ignore DESCRIPTION_BOILERPLATE,DESCRIPTION_MEANINGLESS,GLOBAL_VAR_COLLISION,LINK_DIRECTORY,LITERAL_PROJECT_NAME,TARGET_NAME_COLLISION"
cppcheck:
flags: "-j 4 --suppress=unreadVariable --suppress=unusedPrivateFunction --suppress=unusedStructMember
--enable=warning,style --config-exclude=/usr --template='[{file}:{line}]: ({severity} {id}) {message}'"
cpplint:
# These flags must remain on one line to not break the flag parsing
flags: "--filter=-build/header_guard,-build/include,-build/include_order,-build/c++11,-readability/function,-readability/streams,-readability/todo,-readability/namespace,-readability/multiline_comment,-readability/fn_size,-readability/alt_tokens,-readability/braces,-readability/inheritance,-runtime/indentation_namespace,-runtime/int,-runtime/threadsafe_fn,-runtime/references,-runtime/array,-whitespace,-legal"
reporting:
json:
files: "true"
objective:
inherits_from:
- "threshold"
tool:
pylint:
flags: "--disable=I0011,W0141,W0142,W0511
--max-line-length=100
--good-names=f,x,y,z,t,dx,dy,dz,dt,i,j,k,ex,Run,_
--dummy-variables-rgx='(_+[a-zA-Z0-9]*?$$)|dummy*'"
clang-tidy:
# These flags must remain on one line to not break the flag parsing
# cert-err58-cpp gives unwanted error for pluginlib code
flags: "-checks='*,-cert-err58-cpp,-cert-err60-cpp,-clang-analyzer-deadcode.DeadStores,-clang-analyzer-alpha.deadcode.UnreachableCode,-clang-analyzer-optin.performance.Padding,-cppcoreguidelines-*,-google-readability-namespace-comments,-google-runtime-int,-llvm-include-order,-llvm-namespace-comment,-modernize-*,-misc-unused-parameters,-readability-else-after-return'"
xmllint:
flags: ""
yamllint:
flags: "-d '{extends: default,
rules: {
colons: {max-spaces-before: 0, max-spaces-after: -1},
commas: disable,
document-start: disable,
line-length: disable}}'"
cmakelint:
flags: "--spaces=2 --filter=-linelength,-whitespace/indent"
reporting:
json:
files: "true"Statick supports the use of some multi-line yaml syntax, namely the > syntax.
See Stack Overflow
and the unit tests for the config module for examples.
Profiles govern how each package will be analyzed by mapping packages to levels. A default level is specified, then any packages that should be run at a non-default level can be listed.
Multiple profiles can exist, and you can specify which one to use with the --profile argument.
For example, you can have a profile_objective.yaml with stricter levels to run for packages.
Pass this profile to Statick.
default: threshold
packages:
my_package: objective
my_really_good_package: ultimateThe default key lists the level to run if no specific level listed for a package.
The packages key lists packages and override levels to run for those packages.
With the built-in configuration files the default profile uses default as the default level.
This level runs all available discovery plugins, sets all available tools to use their default flags,
and only runs the print_to_console reporting plugin (which outputs results to the terminal).
With the built-in configuration files another useful profile uses the sei_cert level.
This level sets all available tools to use flags that find issues listed in
Carnegie Mellon University Software Engineering Institute
"CERT C++ Coding Standard: Rules for Developing Safe, Reliable, and Secure Systems".
The rules and flags can be found in the
SEI CERT C/C++ Analyzers chapter.
Using the --level flag when running Statick will result in that specific level running for all packages regardless
of what the --profile is set to.
The specified level from the --level flag must exist in the default configuration file or a custom configuration file.
Exceptions are used to ignore false positive warnings or warnings that will not be corrected. This is a very important part of Statick, as many tools are notorious for generating false positive warnings, and sometimes source code in a project is not allowed to be modified for various reasons. Statick allows exceptions to be specified in three different ways:
- Placing a comment with
NOLINTon the line of source code generating the warning. - Using individual tool methods for ignoring warnings (such as adding
# pylint: disable=<warning>in Python source code). - Via an
excpetions.yamlfile.
global:
exceptions:
file:
# System headers
- tools: all
globs: ["/usr/*"]
# Auto-generated headers
- tools: all
globs: ["*/devel/include/*"]
message_regex:
# This is triggered by std::isnan for some reason
- tools: [clang-tidy]
regex: "implicit cast 'typename __gnu_cxx.*__type' -> bool"
packages:
my_package:
exceptions:
message_regex:
- tools: [clang-tidy]
regex: "header guard does not follow preferred style"
file:
- tools: [cppcheck, clang-tidy]
- globs: ["include/my_package/some_header.h"]
ignore_packages:
- some_third_party_package
- some_other_third_party_packageThere are two types of exceptions that can be used in exceptions.yaml.
file exceptions ignore all warnings generated by a pattern of files.
The tools key can either be all to suppress warnings from all tools or a list of specific tools.
The globs key is a list of globs of files to ignore.
The glob could also be a specific filename.
For an exception to be applied to a specific issue, it is required that the issue contain an absolute path to the filename.
The path for the issue is set in the tool plugin that generates the issues.
message_regex exceptions ignore warnings based on a regular expression match against an error message.
The tools key can either be all to suppress warnings from all tools or a list of specific tools.
The regex key is a regular expression to match against messages.
The globs key is a list of globs of files to ignore.
The glob could also be a specific filename.
Information about the regex syntax used by Python can be found here.
The site https://regex101.com/ can be very helpful when trying to generate regular expressions to match the warnings
you are trying to create an exception for.
Exceptions can either be global or package specific.
To make them global, place them under a key named global at the root of the yaml file.
To make them package specific, place them in a key named after the package under a key named packages at the root
level of the yaml.
The ignore_packages key is a list of package names that should be skipped when running Statick.
Use of the --timings flag will print timing information to the console.
The information is provided for file discovery, for each individual plugin, and for overall duration.
Example output is
$ statick . --output-directory /tmp/x --timings
+---------+------------------+-------------+----------+
| package | name | plugin_type | duration |
+---------+------------------+-------------+----------+
| statick | find files | Discovery | 6.7783 |
| statick | ros | Discovery | 0.0001 |
| statick | cmake | Discovery | 0.0006 |
| statick | yaml | Discovery | 0.0034 |
| statick | java | Discovery | 0.0007 |
| statick | C | Discovery | 0.0023 |
| statick | shell | Discovery | 0.0016 |
| statick | groovy | Discovery | 0.0006 |
| statick | perl | Discovery | 0.0004 |
| statick | xml | Discovery | 0.0006 |
| statick | python | Discovery | 0.0020 |
| statick | maven | Discovery | 0.0092 |
| statick | perlcritic | Tool | 0.0000 |
| statick | cpplint | Tool | 0.0000 |
| statick | make | Tool | 0.0000 |
| statick | clang-tidy | Tool | 0.0000 |
| statick | bandit | Tool | 0.7980 |
| statick | groovylint | Tool | 3.0717 |
| statick | pyflakes | Tool | 4.3773 |
| statick | clang-format | Tool | 0.0063 |
| statick | pycodestyle | Tool | 2.5456 |
| statick | black | Tool | 5.0089 |
| statick | lizard | Tool | 0.6869 |
| statick | cccc | Tool | 0.0000 |
| statick | cppcheck | Tool | 0.0163 |
| statick | xmllint | Tool | 0.0050 |
| statick | pylint | Tool | 55.3768 |
| statick | catkin_lint | Tool | 0.0000 |
| statick | shellcheck | Tool | 0.0736 |
| statick | yamllint | Tool | 2.2244 |
| statick | do_nothing | Tool | 0.0000 |
| statick | spotbugs | Tool | 0.0002 |
| statick | isort | Tool | 3.6416 |
| statick | flawfinder | Tool | 0.0000 |
| statick | mypy | Tool | 0.0022 |
| statick | uncrustify | Tool | 0.0001 |
| statick | pydocstyle | Tool | 4.8751 |
| statick | cmakelint | Tool | 0.0249 |
| statick | docformatter | Tool | 0.0020 |
| statick | print_to_console | Reporting | 0.0318 |
| Overall | | | 89.6734 |
+---------+------------------+-------------+----------+To install Statick from source on your system and make it part of your $PATH:
sudo python3 setup.py installNote that if a file exists without the extension listed it can still be discovered if the file command identifies it
as a specific file type.
This type of discovery must be supported by the discovery plugin and only works on operating systems where the file
command exists.
| File Type | Extensions |
|---|---|
| catkin | CMakeLists.txt and package.xml |
| C | .c, .cc, .cpp, .cxx, .h, .hxx, .hpp |
| CMake | CMakeLists.txt, .cmake |
| groovy | .groovy, .gradle, Jenkinsfile* |
| java | .class, .java |
| Maven | pom.xml |
| Perl | .pl |
| Python | .py |
| ROS | CMakeLists.txt and package.xml |
| Shell | .sh, .bash, .zsh, .csh, .ksh, .dash |
| XML | .xml, .launch |
| Yaml | .yaml |
The .launch extension is mapped to XML files due to use with ROS launch files.
| Tool | About |
|---|---|
| bandit | Bandit is a tool designed to find common security issues in Python code. |
| black | The uncompromising Python code formatter |
| catkin_lint | Check catkin packages for common errors |
| cccc | Source code counter and metrics tool for C++, C, and Java |
| clang-format | Format C/C++/Java/JavaScript/Objective-C/Protobuf/C# code. |
| clang-tidy | Provide an extensible framework for diagnosing and fixing typical programming errors. |
| cmakelint | The cmake-lint program will check your listfiles for style violations, common mistakes, and anti-patterns. |
| cppcheck | static analysis of C/C++ code |
| cpplint | Static code checker for C++ |
| docformatter | Formats docstrings to follow PEP 257 |
| flawfinder | Examines C/C++ source code and reports possible security weaknesses ("flaws") sorted by risk level. |
| npm-groovy-lint | This package will track groovy errors and correct a part of them. |
| lizard | A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages. |
| make | C++ compiler. |
| mypy | Optional static typing for Python 3 and 2 (PEP 484) |
| perlcritic | Critique Perl source code for best-practices. |
| pycodestyle | Python style guide checker |
| pydocstyle | A static analysis tool for checking compliance with Python docstring conventions. |
| pyflakes | A simple program which checks Python source files for errors |
| pylint | It's not just a linter that annoys you! |
| ruff | An extremely fast Python linter, written in Rust. |
| shellcheck | A static analysis tool for shell scripts |
| spotbugs | A tool for static analysis to look for bugs in Java code. |
| uncrustify | Code beautifier |
| xmllint | Lint XML files. |
| yamllint | A linter for YAML files. |
| Reporter | About |
|---|---|
| code_climate | Output issues in valid Code Climate JSON (or optionally strictly Gitlab compatible) to stdout or as a file. Options:
|
| do_nothing | Does nothing. Useful when piping output to a separate process and no output is desired. No options. |
| json | Output issues as a JSON list either to stdout or as a file. Options:
|
| print_to_console | Print the issues to stdout. This is the default reporting plugin if no profile or level are provided. No options. |
| write_jenkins_warnings_ng | Write Statick results to Jenkins Warnings-NG plugin json-log compatible output. No options. Needs to be used with the --output-directory flag. |
The intent of all reporting plugins that write files as output is that they will write their output files to the
current directory if no --output-directory flag is set.
This should only happen when a level is used that explicitly lists a reporting plugin with file output, in which case
Statick assumes that the user does want the output.
When using the Jenkins reporting plugin, the issues show up formatted and searchable via the
Jenkins Warnings NG plugin.
A plot can be added to Jenkins showing the number of Statick warnings over time or per build.
The Statick --check flag can be used to cause steps in a Jenkins job to fail if issues are found.
Alternatively, Jenkins can be configured with quality gates to fail if a threshold on the number of issues found is exceeded.
An example Jenkinsfile is provided to show how Statick can be used with Jenkins pipelines.
Known external Statick plugins.
| Plugin Name | Repository Location |
|---|---|
| statick-fortify | https://github.com/soartech/statick-fortify |
| statick-md | https://github.com/sscpac/statick-md |
| statick-planning | https://github.com/tdenewiler/statick-planning |
| statick-tex | https://github.com/tdenewiler/statick-tex |
| statick-tooling | https://github.com/sscpac/statick-tooling |
| statick-web | https://github.com/sscpac/statick-web |
User paths are passed into Statick with the --user-paths flag.
This is where you can place custom plugins or custom configurations.
The basic structure of a user path directory is
user_path_root
|- plugins
|- rscUser-defined plugins are stored in the plugins directory.
Configuration files used by the plugins are stored in the rsc directory.
It is possible to use a comma-separated chain of user paths with Statick. Statick will look for plugins and configuration files in the order of the paths passed to it. Files from paths earlier in the list will override files from paths later in the list. An example is provided below.
my_org_config
|- rsc
|- config.yaml
|- exceptions.yaml
my_project_config
|- rsc
| - exceptions.yamlTo run Statick with this set of configurations, you would do
statick src/my_pkg --user-paths my_project_config,my_org_configIn this example, Statick would use the config.yaml from my_org_config and the exceptions.yaml from my_project_config.
To run Statick with a custom profile use
statick src/my_pkg --user-paths my_project_config --profile custom-profile.yamlTo run Statick with a custom configuration containing custom levels, use custom-config.yaml (the filename is
arbitrary) with custom levels defined and custom-profile.yaml that calls out the use of the custom levels for your
packages.
Custom levels are allowed to override, inherit from, and extend base levels.
A custom level can inherit from a list of base levels.
If you create a level that inherits from a base level of the same name, the new user-defined level will completely
override the base level.
This chaining of configuration files is limited to a single custom configuration file.
The filenames used for configurations can be any name you want to use.
If you select config.yaml then that will become the base configuration file and none of the levels in the main
Statick package will be available to extend.
This would allow you to include a second custom configuration file on the --user-paths path with a name other than
config.yaml.
statick src/my_pkg --user-paths my_project_config --profile custom-profile.yaml --config custom-config.yamlSome tools support the use of a custom version. This is useful when the type of output changes between tool versions and you want to stick with a single version. The most common scenario when this happens is when you are analyzing your source code on multiple operating systems, each of which has a different default version for the tool. Cppcheck is a tool like this.
To install a custom version of Cppcheck you can do the following.
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=yesThe default values for use when running CMake were hard-coded.
We have since added the ability to set arbitrary CMake flags, but left the default values alone for backwards compatibility.
In order to use custom CMake flags you can list them when invoking statick.
Due to the likely situation where a leading hyphen will be used in custom CMake flags the syntax is slightly
different than for other flags.
The equals sign and double quotes must be used when specifying --cmake-flags.
statick src/my_pkg --cmake-flags="-DFIRST_FLAG=x,-DSECOND_FLAG=y"To use a custom configuration file for clang-format you currently have to copy your configuration file into the
home directory.
The reason for this is that clang-format does not have any flags that allow for specifying a configuration file.
When clang-format is run as part of Statick it ends up using the configuration file in the home directory.
When you have multiple projects it can be fairly easy to use a configuration file that is different from the one meant for the current package. Therefore, Statick runs a check to make sure the specified configuration file is the same one that is in the home directory.
In order to actually use a custom configuration file you have to tell Statick to look in a user path that contains
your desired clang-format configuration.
You also have to copy that file into your home directory.
The user path is specified with the --user-paths flag when running Statick.
user_path_root
|- rsc
|- _clang-formatFor the file in the home directory, the Statick plugin for clang-format will first look for ~/_clang-format.
If that file does not exist then it will look for ~/.clang-format.
The resource file (in your user path) must be named _clang-format.
If you have the need to support any type of discovery, tool, or reporting plugin that does not come built-in with Statick then you can write a custom plugin.
Plugins consist of both a Python file and a yapsy file.
For a description of how yapsy works, check out the yapsy documentation.
A user path with some custom plugins may look like
my_custom_config
setup.py
|- plugins
|- my_discovery_plugin
|- my_discovery_plugin.py
|- my_discovery_plugin.yapsy
|- my_tool_plugins
|- my_tool_plugin.py
|- my_tool_plugin.yapsy
|- my_other_tool_plugin.py
|- my_other_tool_plugin.yapsy
|- rsc
|- config.yaml
|- exceptions.yamlFor the actual implementation of a plugin, it is recommended to copy a suitable default plugin provided by Statick and modify as needed.
For the contents of setup.py, it is recommended to copy a working external plugin.
Some examples are statick-fortify and statick-tex.
Those plugins are set up in such a way that they work with Statick when released on PyPI.
Examples are provided in the examples directory. You can see how to run Statick against a ROS package, a pure CMake package, and a pure Python package.
Statick started by being used to scan ROS workspaces for issues.
The statick -ws utility provides support for running against a ROS workspace and identifying individual ROS packages
within the workspace.
Each ROS package will then get a unique directory of results in the Statick output directory.
This can be helpful for presenting results using various reporting plugins.
Stand-alone Python packages are also identified as individual packages to scan when using the -ws flag.
Statick looks for a setup.py or pyproject.toml file in a directory to identify Python packages.
For example, suppose you have the following directory layout for the workspace.
- /home/user/ws
- src
- python_package1
- ros_package1
- ros_package2
- subdir
- python_package2
- ros_package3
- ros_package4
- ros_package5
- build
- devel
- src
Statick should be run against the workspace source directory. Note that you can provide relative paths to the source directory.
statick /home/user/ws/src --output-directory <output directory> -wsStatick can also run against a subset of the source directory in a workspace.
statick /home/user/ws/src/subdir --output-directory <output directory> -wsWhen it is time to make a new release we like to do it through the GitHub web interface as the release notes end up looking nicer than creating and pushing a new tag from a local source.
- Update the
CHANGELOG.mdfile to have the new version and release date, and updatestatick_tool/__init__.pyto have the new version. Merge that intomain. - Go to https://github.com/sscpac/statick/releases.
- Select
Draft a new release. - Select
Choose a tagand make a new one. An example isv0.9.2. Leave target asmain. - Set
Release titleto the same as the tag, e.g.,v0.9.2. - In the description of
Describe this releasecopy in the contents of theCHANGELOG.mdfile. Do not use the line fromCHANGELOG.mdwith the version number and release date, only the lines after that like Added, Fixed, Changed. Change the heading emphasis from###to##for aesthetic purposes. - Select
Publish release. - Manually trigger the
Create and publish a Docker imageworkflow with the new release tag selected.
After that everything is automated. A new tag is generated, documentation is updated, packages are published to PyPI (and test PyPI) and Docker images are generated.
If you are running Statick against a ROS package and get an error that there is no rule to make target clean,
and that the package is not CMake, it usually means that you did not specify a single package.
For example, this is what happens when you tell Statick to analyze a ROS workspace and do not use the -ws flag.
Running cmake discovery plugin...
Package is not cmake.
cmake discovery plugin done.
.
.
.
Running make tool plugin...
make: *** No rule to make target 'clean'. Stop.
Make failed! Returncode = 2
Exception output:
make tool plugin failedIf you are running Statick against a ROS package and get an error that no module named ament_package can be found,
it usually means that you did not source a ROS environment setup file.
Running cmake discovery plugin...
Found cmake package /home/user/src/ws/src/repo/package/CMakeLists.txt
Problem running CMake! Returncode = 1
.
.
.
Traceback (most recent call last):
File "/opt/ros/foxy/share/ament_cmake_core/cmake/package_templates/templates_2_cmake.py", line 21, in <module>
from ament_package.templates import get_environment_hook_template_path
ModuleNotFoundError: No module named 'ament_package'
CMake Error at /opt/ros/foxy/share/ament_cmake_core/cmake/ament_cmake_package_templates-extras.cmake:41 (message):
execute_process(/home/user/.pyenv/shims/python3
/opt/ros/foxy/share/ament_cmake_core/cmake/package_templates/templates_2_cmake.py
/home/user/src/ws/statick-output/package-sei_cert/build/ament_cmake_package_templates/templates.cmake)
returned error code 1
.
.
.
-- Configuring incomplete, errors occurred!Statick supports testing through the tox framework.
Tox is used to run tests against multiple versions of python and supports running other tools, such as flake8, as part
of the testing process.
To run tox, use the following commands from a git checkout of statick (again, with the Python virtual environment activated):
pip install tox
toxThis will run the test suites in Python virtual environments for each Python version.
If your system does not have one of the Python versions listed in tox.ini, that version will be skipped.
If running tox locally does not work, one thing to try is to remove the auto-generated output directories such as
output-py27, output-py35, and .tox.
There is an included clean.sh shell script that helps with removing auto-generated files.
If you write a new feature for Statick or are fixing a bug, you are strongly encouraged to add unit tests for your contribution. In particular, it is much easier to test whether a bug is fixed (and identify future regressions) if you can add a small unit test which replicates the bug.
For tool plugins that are not available via pip it is recommended to skip tests that fail when the tool is not installed.
Before submitting a change, please run tox to check that you have not introduced any regressions or violated any code style guidelines.
Running tox for all the tests shows code coverage from unit tests, but the process takes tens of seconds.
When developing unit tests and trying to find out if they pass it can be frustrating to run all of the tests for small
changes.
Instead of tox you can use pytest directly in order to run only the unit tests in a single file.
If you have a unit test file at tests/my_module/test_my_module.py you can easily run all the unit tests in that file
and save yourself a lot of time during development.
python3 -m pytest --cov=statick_tool/ tests/my_module/test_my_module.pyTo run all the tests and get a report with branch coverage specify the tests directory.
Any subdirectory will run all the tests in that subdirectory.
python3 -m pytest --cov=statick_tool/ --cov-report term-missing --cov-report html --cov-branch tests/Statick uses mypy to check that type hints are being followed properly. Type hints are described in PEP 484 and allow for static typing in Python. To determine if proper types are being used in Statick the following command will show any errors, and create several types of reports that can be viewed with a text editor or web browser.
pip install mypy
mkdir report
mypy --ignore-missing-imports --strict --html-report report/ --txt-report report statick statick_tool/It is hoped that in the future we will generate coverage reports from mypy and use those to check for regressions.
Statick code is formatted using black and docformatter. To fix locally use
pip install black docformatter
black statick statick_tool tests
docformatter -i --wrap-summaries 88 --wrap-descriptions 88 <file>A special note should be made that the original primary author was Mark Tjersland (@Prognarok). His commits were scrubbed from git history upon the initial public release.