krazy2 - Man Page

krazy2 [Options] [Files]

krazy2 scans KDE source code looking for issues that should be fixed for reasons of policy, good coding practice, optimization, or any other good reason.  In typical use, krazy2 simply counts up the issues and provides the line numbers where those issues occurred in each file processed.  With the verbose option, the offending content will be printed as well.

krazy2 uses "checker programs" which are small plugin programs to do the real work of the scanning.  It is easy to write your own plugins (see Plugins) and tell krazy2 how to use them (see Environment).

A list of Files to process is either specified on the command line or read from standard input if the first file name is "-", in which case 1 file per line is expected.  Blank lines and lines starting with a '#' are ignored when reading the file list from standard input.

--help

Print help message and exit.

--version

Print version information and exit.

--list

Print a list of all available checker programs and exit.

--list-types

Print a list of all the supported file types and exit.

--list-sets

Print a list of all the checker sets and exit.

--list-set <set>

Print the list of available checkers for the specified set and exit.

--priority <low|normal|high|important|all>

Tell each checker program to report issues with the specified priority only. This option is useful to help put issues into "fix-first" order.

Supported priorites are:
    low -> print low priority issues only
    normal -> print normal priority issues only
    high -> print high priority issues only
    important -> print issues with normal or high priority
    all -> print all issues (default)

--strict <normal|super|all>

Tell each checker program to report issues match the strictness level only. Use this option to help filter out issues of less importance.

Support strictness levels are:
    normal -> print non-super strict issues only
    super -> print super strict issues only
    all -> print all issues (default)

--explain

For each checker program, if any issues are found, print an explanation of the problem along with solving instructions.  May be used in conjunction with the --list option to provide a more detailed description of the checker programs.

--ignorerc

Ignore .krazy files.

--config <krazyrc>

Read settings from the specified krazyrc configuration file only. All other configuration files will be ignored, including those found in the user's home directory or in the current working directory.

--dry-run

With this option the checker programs aren't run; instead, the command line for each check that would be run is printed.

--check <prog[,prog1,prog2,...,progN]>

Run the specified checker program(s) only. You may not combine this option with --check-sets.

Use the --list option to show the list of available checkers.

--check-sets <set[,set1,set2,...,setN]>

Run the checker programs belonging to the specified set(s) only. You may not combine this option with --check.

Use the --list-sets option to see the list of available check sets and programs.

--exclude <prog[,prog1,prog2,...,progN]>

Do NOT run the specified checker program(s).

Use the --list option to show the list of available checkers.

--extra <prog[,prog1,prog2,...,progN]>

Add the specified "extra" program(s) to the list of checkers to run.

Use the --list option to show the list of available "extra" checkers; they will be marked with the tag [EXTRA] by the checker description line.

--types <type[,type1,type2,...,typeN]>

Check the specified file type(s) only.

--exclude-types <type[,type1,type2,...,typeN]>

Do NOT check the specified file type(s).

--export <text|textlist|textedit|xml>

Output in one of the following formats:
    text (default)
    textlist -> plain old text, 1 offending file-per-line
    textedit -> text formatted for IDEs, 1 issue-per-line
                the format is:  file:line-number:issue
    xml -> XML formatted

--title

Give the output report a project title.

--cms

An acronym for "component/module/subdir".  Used to write the breadcrumbs line in the xml export.  Must be a slash-delimited triple containing the component, module, and subdir which is being scanned.

--rev

Subversion revision number to be printed on the output report, if provided.

--brief

Only print the output for checkers that have at least 1 issue.

--no-brief

Print the result of all checks i.e, the opposite of --brief. This is the default output setting.

--quiet

Suppress all output messages.

--verbose

Print the offending content for each file processed

Print a list of all available checker programs along with a short description:

 % krazy2 --list

 Available KDE source code sanitizer checks:
 For c++ file types ==
    captruefalse: Check for FALSE macro
          captrue: Check for TRUE macro
        copyright: Check for an acceptable copyright
 doublequote_char: Check for adding single char string to a QString
          license: Check for an acceptable license
    nullstrassign: Check for assignments to QString::null
   nullstrcompare: Check for compares to QString::null
             qmax: Check for QMAX macros
             qmin: Check for QMIN macros

For desktop file types ==
     contractions: Check for contractions in strings
  endswithnewline: Check that file ends with a newline

For designer file types ==
  endswithnewline: Check that file ends with a newline
     i18ncheckarg: Check validity of i18n calls
         spelling: Check for spelling errors

Run all checker programs on a file:

 % krazy2 fred.cc

 =>c++/captruefalse test in-progress.done
 =>c++/captrue test in-progress.done
 =>c++/copyright test in-progress.done
 =>c++/doublequote_chars test in-progress.done
 =>c++/license test in-progress.done
 =>c++/nullstrassign test in-progress.done
 =>c++/nullstrcompare test in-progress.done
 =>c++/qmax test in-progress.done
 =>c++/qmin test in-progress.done

 No Issues Found!

 1. Check for FALSE macro... okay!

 2. Check for TRUE macro... okay!

 3. Check for an acceptable copyright... okay!

 4. Check for adding single char string to a QString... okay!

 5. Check for an acceptable license... okay!

 6. Check for assignments to QString::null... okay!

 7. Check for compares to QString::null... okay!

 8. Check for QMAX macros... okay!

 9. Check for QMIN macros... okay!

Run all checker programs except license and copyright the .cpp files in the current working directory:

 % krazy2 --exclude license,copyright *.cpp

Run the captruefalse checker programs on the *.cpp, *.cc, and *.h found in the current working directory tree, printing explanations if any issues are encountered:

 % find . -name "*.cpp" -o -name "*.cc" -o -name "*.h" | \
 xargs krazy2 --check captruefalse --explain

 =>c++/captruefalse test in-progress........done

 Total Issues = 10

 1. Check for FALSE macro... OOPS! 232 issues found!
        ./fred.h: line#176 (1)
        ./fredmsg.h: line#41,54 (2)
        ./fred.cpp.cpp: line#436,530,702,724,1030,1506,1525 (7)

        The FALSE macro is obsolete and should be replaced by the
        false (all lower case) macro.

Run all the checker programs on desktop files only:

 % krazy2 --types=desktop *

The Krazy plugins support the following list of in-code directives:

Note that these directives must be C++ style comments that can be put anywhere in the file desired (except embedded within C-style comments).

//krazy:skip

 no krazy2 tests will run on this file.

//krazy:excludeall=<name1[,name2,...,nameN]>

 the krazy2 tests name1, etc will not be run on this file.

//krazy:exclude=<name1[,name2,...,nameN]>

 the krazy2 tests name1, etc. will not be run on the line where
 this directive is found.

//krazy:cond=<name1[,name2,...,nameN]>

 the krazy2 tests name1, etc. will not be run starting on the line
 where this directive is found. Running of the specified tests will
 remain interruptted until a line matching

  //krazy:endcond=<name1[,name2,...,nameN]>

  is encountered

Write your own plugin:

Copy TEMPLATE.pl to your new file.

Make the new file executable chmod +x file.

Move the new file into the installed plugins directory, or create your own krazy-plugins directory and add it to the $KRAZY_PLUGIN_PATH environment (see Environment).

You may write the plugin in the language of your choice, but it must follow these rules:

1. must accept the following optional command line args:

 --help:     print one-line help message and exit
 --version:  print one-line version information and exit
 --priority: report issues of the specified priority only
 --strict:   report issues with the specified strictness level only
 --explain:  print an explanation with solving instructions
 --installed file is to be installed
 --quiet:    suppress all output messages
 --verbose:  print the offending content

2. must require one command line argument which is the file to test.

3. must exit with status 0, and print "okay" if the file passes the test.

4. must exit with non-zero status if issues are encountered.

5. if issues are encountered, the final line printed should be "ISSUES=N", where N is the total number of issues found.  Krazy2 assumes this is the last line of output, even if the plugin prints more information after the "ISSUES=N" line.

6. must print a string to standard output showing line number(s) that fail the test.

7. the plugin should be a quick test of a source code file.

8. the --explain option must print an explanation of why the offending code is a problem, along with instructions on how to fix the code.

9. finally, and importantly, the plugin must eliminate false positives as much as possible.

KRAZY_PLUGIN_PATH - this is a colon-separated list of paths which is searched when locating plugins. By default, plugins are searched for in the path $TOP/lib/krazy2/krazy-plugins:krazy-plugins.

KRAZY_EXTRA_PATH - this is a colon-separated list of paths which is searched when locating "extra" plugins. By default, the "extras" are searched for in the path $TOP/lib/krazy2/krazy-extras:krazy-extras.

KRAZY_SET_PATH - this is a colon-separated list of paths which is searched when locating checker sets. By default, the sets are searched for in the path $TOP/lib/krazy2/krazy-sets:krazy-sets.

where $TOP is the top-level installation directory (eg. /usr/local, /usr/local/Krazy2)

KRAZY_STYLE_CPPSTYLE - tells the "style" checker to follow the guidelines of the specified C++-style.  Note: Krazy uses a heuristic to decide what type of C++-style to check against.  That heuristic isn't very smart; so use this setting to enforce the C++-style.

C++-style must be one of the following:

KRAZY_STYLE_OFFSET - tells the "style" checker to check for a basic indentation level, usually a small integer like 2 or 4. This value overrides the offset provided as part of the C++-style (see KRAZY_STYLE_CPPSTYLE).

KRAZY_STYLE_LINEMAX - tells the "style" checker to check for lines longer than this number of characters.  The default is unlimited length.

In normal operation, krazy2 exits with a status equal to the total number of issues encountered during processing.

If a command line option was incorrectly provided, krazy2 exits with status=1.

If krazy2 was envoked with the --help, --version, --list, --list-types, --list-sets or --list-set options it will exit with status=0.

Copyright (c) 2005-2013 by Allen Winter <winter@kde.org>

This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.

.krazy (see krazyrc(3))

krazy2 first parses a .krazy file found in the user's home directory, if such a file exists.

Next, krazy2 searches up the current working directory tree for a project specific .krazy file. If one is found, its settings are merged with (or override) those already found from $HOME/.krazy.

[For example, if the current working dir is /my/kde/trunk/KDE/kdepimlibs/kcal/versit, then krazy2 will look for /my/kde/trunk/KDE/kdepimlibs/kcal/.krazy, since kcal is the project within the kdepimlibs module.]

If krazy2 determines that the current working directory is not located within the KDE directory structure, then it simply reads the settings from the .krazy file found in the current working directory, if such a file exists.

If krazy2 determines that the current working directory is located within the KDE directory structure but above a project subdir (eg. trunk/KDE/kdepim), then it assumes no project specific /.krazy file.

krazyrc(3), krazy2all(1), krazy2xml(1)

Ben Meyer's kdetestscripts - Automated scripts are to catch problems in KDE, <http://websvn.kde.org/trunk/playground/base/kdetestscripts>.

flawfinder - Examines source code looking for security weaknesses, <http://www.dwheeler.com/flawfinder>.

Allen Winter, <winter@kde.org>

krazy2all(1), krazy2xml(1), krazyrc(3).