| Ted Kremenek | ef35cbc | 2011-01-27 19:41:08 +0000 | [diff] [blame] | 1 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" |
| 2 | "http://www.w3.org/TR/html4/strict.dtd"> |
| 3 | <html> |
| 4 | <head> |
| 5 | <title>Release notes for checker-XXX builds</title> |
| 6 | <link type="text/css" rel="stylesheet" href="menu.css" /> |
| 7 | <link type="text/css" rel="stylesheet" href="content.css" /> |
| 8 | <script type="text/javascript" src="scripts/menu.js"></script> |
| 9 | </head> |
| 10 | <body> |
| 11 | |
| 12 | <div id="page"> |
| 13 | <!--#include virtual="menu.html.incl"--> |
| 14 | <div id="content"> |
| 15 | |
| 16 | <h1>Release notes for <tt>checker-XXX</tt> builds</h1> |
| 17 | |
| Ted Kremenek | 2d5f2da | 2011-04-13 21:48:34 +0000 | [diff] [blame] | 18 | <h4 id="checker_256">checker-256</h4> |
| 19 | |
| 20 | <p><b>built:</b> April 13, 2011<br> |
| 21 | <b>download:</b> <a href="/checker/checker-256.tar.bz2">checker-256.tar.bz2</a></p> |
| 22 | <p><b>highlights:</b></p> |
| 23 | |
| 24 | <ul> |
| 25 | <li>Lots of bug fixes and improvements to analyzer precision (fewer false positives, possibly more bugs found). |
| 26 | <li>Introductory analysis support for C++ and Objective-C++. |
| 27 | </ul> |
| 28 | |
| 29 | <p>This build contains basic support for C++ and Objective-C++ that is ready to be tried out |
| 30 | 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 |
| 31 | issues and have a reasonable false positive rate.</p> |
| 32 | |
| 33 | <p><b>Please</b> <a href="/filing_bugs.html">file bugs</a> when you see issues of any kind so we can assess |
| 34 | where development on C++ analysis support needs to be focused.</p> |
| 35 | |
| 36 | <p>To try out C++ analysis support, it should work out of the box using <tt>scan-build</tt>. If you are using this checker build |
| 37 | as a replacement to the analyzer bundled with Xcode, first use the <tt>set-xcode-analyzer</tt> script to <a href="/xcode.html">change Xcode to use |
| 38 | your version of the analyzer</a>. You will then need to modify one configuration file in Xcode to enable C++ analysis support. This can |
| 39 | be done with the following steps:</p> |
| 40 | |
| 41 | <ol> |
| 42 | <li>Find the clang .xcspec file: |
| 43 | <pre>$ cd /Developer/Library |
| 44 | $ find . | grep xcspec | grep Clang |
| 45 | ./Xcode/<b><SNIP></b>/Clang LLVM 1.0.xcplugin/Contents/Resources/Clang LLVM 1.0.xcspec |
| 46 | </pre></li> |
| 47 | <li>The exact location of the file may vary depending on your installation of Xcode. Edit that file, and look for the string "--analyze": |
| 48 | <pre> |
| 49 | SourceFileOption = "--analyze"; |
| 50 | FileTypes = ( |
| 51 | "sourcecode.c.c", |
| 52 | "sourcecode.c.objc", |
| 53 | ); |
| 54 | ... |
| 55 | </pre> |
| 56 | Change the "FileTypes" entry to: |
| 57 | <pre> |
| 58 | FileTypes = ( |
| 59 | "sourcecode.c.c", |
| 60 | "sourcecode.c.objc", |
| 61 | "sourcecode.cpp.cpp", |
| 62 | "sourcecode.cpp.objcpp", |
| 63 | ); |
| 64 | </pre></li> |
| 65 | <li>Restart Xcode.</li> |
| 66 | </ol> |
| 67 | |
| Ted Kremenek | e673279 | 2011-02-12 03:20:34 +0000 | [diff] [blame] | 68 | <h4 id="checker_255">checker-255</h4> |
| 69 | |
| 70 | <p><b>built:</b> February 11, 2011<br> |
| 71 | <b>download:</b> <a href="/checker/checker-255.tar.bz2">checker-255.tar.bz2</a></p> |
| 72 | <p><b>highlights:</b></p> |
| 73 | |
| 74 | <ul> |
| 75 | <li>Mac OS X builds are now Intel <tt>i386</tt> and <tt>x86_64</tt> only (no <tt>ppc</tt> support)</li> |
| 76 | <li>Turns on new <tt>-init</tt> method checker by default</li> |
| 77 | <li>Reduces memory usage of analyzer by 10%</li> |
| 78 | <li>Misc. fixes to reduce false positives on dead stores and idempotent operations.</li> |
| 79 | </ul> |
| 80 | |
| Ted Kremenek | ef35cbc | 2011-01-27 19:41:08 +0000 | [diff] [blame] | 81 | <h4 id="checker_254">checker-254</h4> |
| 82 | |
| 83 | <p><b>built:</b> January 27, 2011<br> |
| Ted Kremenek | 90f3dd8 | 2011-01-27 19:49:07 +0000 | [diff] [blame] | 84 | <b>download:</b> <a href="/checker/checker-254.tar.bz2">checker-254.tar.bz2</a></p> |
| Ted Kremenek | ef35cbc | 2011-01-27 19:41:08 +0000 | [diff] [blame] | 85 | <p><b>highlights:</b></p> |
| 86 | |
| 87 | <ul> |
| 88 | <li>Introduces new <tt>-init</tt> method checker to check if a super class's init method is properly called.</li> |
| 89 | <li>Objective-C retain/release checker now reasons about calls to property accessor methods (setter/getter).</li> |
| 90 | <li>Introduces new attribute <a href="annotations.html#attr_ns_consumes_self">ns_consumes_self</a> to educate the Objective-C retain/release checker about custom "init-like" methods that do not follow the standard Cocoa naming conventions.</li> |
| 91 | <li>Introduces new attributes <a href="annotations.html#attr_ns_consumed">ns_consumed</a> and <a href="annotations.html#attr_cf_consumed">cf_consumed</a> to educate the Objective-C retain/release checker about methods/functions that decrement the reference count of a parameter.</li> |
| 92 | </ul> |
| 93 | |
| 94 | </div> |
| 95 | </div> |
| 96 | </body> |
| 97 | </html> |
| 98 | |