SMATCH is a neat program designed to locate programming errors in any open source software project. Right now it is actively used to screen out errors inside the Linux kernel. There are two main parts to Smatch. The first is a patch to the gcc sources to screen out a lot of useful information. The second part is a collection of Perl scripts and libraries to analyze the information and report the findings.
|Tags||Software Development Utilities Operating System Kernels Linux Testing Quality Assurance Debuggers|
|Operating Systems||POSIX Linux|
Release Notes: Lots of bugs have been fixed, and many new features added. Among the changes are a new format for var_decl, printing of more declaration information, and printing of function definition information.
Release Notes: This release handles struct initialization better. This should take care of most of the sm_unknown() problems.
Release Notes: Smatch now prints a message if there are any tree types that it doesn't know how to handle.
Release Notes: Parenthesis fixes were added.
Release Notes: This release changes to GNU-style indents and adds support for struct declarations.