Difference between revisions of "Static analysis tools"

From opm
Jump to: navigation, search
(Created page with "Tools for static analysis have now been added as conditional tests - tests which only run if you specify a given ctest configuration. * ctest -C analyze will run both analyze...")
 
(No difference)

Latest revision as of 14:38, 2 June 2017

Tools for static analysis have now been added as conditional tests - tests which only run if you specify a given ctest configuration.

  • ctest -C analyze will run both analyzers
  • ctest -C clang-check will only run clang-check
  • ctest -C cppcheck will only run cppcheck

These tools are in particular run as a nightly Jenkins job.

Note 1: clang-check requires that you configure with -DCMAKE_EXPORT_COMPILE_COMMANDS=1

Note 2: In particular cppcheck gives a lot of false positives and general annoying things, so there are scripts sitting between ctest and the analyzer invocation so that we can classify returns codes a little better and thus reflect this in the test status.

Note 3: Currently opm-parser and ewoms are not covered - first because of the dedicated buildsystem, second because it manually adds executables / do not work through the opm_compile macros.