Release notes for checker-XXX builds

checker-275

built: May 23, 2013
download: checker-275.tar.bz2

highlights:

checker-274

built: April 23, 2013
download: checker-274.tar.bz2

highlights:

checker-273

built: April 8, 2013
download: checker-273.tar.bz2

highlights:

checker-272

built: March 1, 2013

highlights:

checker-271

built: February 8, 2013

highlights:

checker-270

built: January 4, 2013

highlights:

checker-269

built: September 25, 2012

highlights:

checker-268

built: September 11, 2012

highlights:

NOTE: this checker build includes a huge number of changes. It has the potential to find many more bugs, but may report new kinds of false positives. We'd like to know about these, and any other problems you encounter. When you encounter an issue, please file a bug report.

checker-267

built: June 1, 2012

highlights:

Adds basic interprocedural analysis support for blocks.

checker-266

built: May 23, 2012

highlights:

Contains numerous stability fixes over checker-266, especially when analyzing C++11 code.

checker-265

built: May 8, 2012

highlights:

This release contains a fix for a major crasher introduced in checker-264, and various refinements to improve the precision and reduce the false positive rate of the analyzer. It also enables a new unix.MallocSizeof check, which reports inconsistencies between the casted type of the return value of a 'malloc/calloc/realloc' call and the operand of sizeof expressions contained within its argument(s).

checker-264

built: April 26, 2012

highlights:

This release contains misc. bug fixes and performance enhancements over checker-263, including a reduction of some kinds of false positives related to the malloc() checker.

checker-263

built: March 22, 2012

highlights:

checker-262

built: March 15, 2012

highlights:

NOTE: This build contains new interprocedural analysis that allows the analyzer to find more complicated bugs that span function boundaries. It may have problems, performance issues, etc. We'd like to hear about them.

checker-261

built: February 22, 2012

highlights:

checker-260

built: January 25, 2012

highlights:

This is essentially the same as checker-259, but enables the following experimental checkers (please provide feedback):

checker-259

built: January 25, 2012

highlights:

checker-258

built: October 13, 2011

highlights:

checker-257

built: May 25, 2011

highlights:

checker-256

built: April 13, 2011

highlights:

This build contains basic support for C++ and Objective-C++ that is ready to be tried out by general users. It is still in its infancy, but establishes a baseline for things to come. The main hope is that it can find some issues and have a reasonable false positive rate.

Please file bugs when you see issues of any kind so we can assess where development on C++ analysis support needs to be focused.

To try out C++ analysis support, it should work out of the box using scan-build. If you are using this checker build as a replacement to the analyzer bundled with Xcode, first use the set-xcode-analyzer script to change Xcode to use your version of the analyzer. You will then need to modify one configuration file in Xcode to enable C++ analysis support. This can be done with the following steps:

  1. Find the clang .xcspec file:
    $ cd /Developer/Library
    $ find . | grep xcspec | grep Clang
    ./Xcode/<SNIP>/Clang LLVM 1.0.xcplugin/Contents/Resources/Clang LLVM 1.0.xcspec
    
  2. The exact location of the file may vary depending on your installation of Xcode. Edit that file, and look for the string "--analyze":
      SourceFileOption = "--analyze";
      FileTypes = (
          "sourcecode.c.c",
          "sourcecode.c.objc",
      );
      ...
    
    Change the "FileTypes" entry to:
      FileTypes = (
          "sourcecode.c.c",
          "sourcecode.c.objc",
          "sourcecode.cpp.cpp",
          "sourcecode.cpp.objcpp",
      );
    
  3. Restart Xcode.

checker-255

built: February 11, 2011

highlights:

checker-254

built: January 27, 2011

highlights: