[cfe-commits] r53891 - in /cfe/trunk: include/clang/AST/Attr.h include/clang/Analysis/PathSensitive/BugReporter.h include/clang/Analysis/PathSensitive/GRAuditor.h include/clang/Analysis/PathSensitive/GRCoreEngine.h include/clang/Analysis/PathSensitive/GRSimpleAPICheck.h include/clang/Analysis/PathSensitive/ValueState.h lib/Analysis/BasicObjCFoundationChecks.cpp lib/Analysis/GRExprEngine.cpp lib/Analysis/GRSimpleVals.cpp lib/Analysis/ValueState.cpp test/Analysis/null-deref-ps.c
clattner at apple.com
Mon Jul 21 22:54:28 PDT 2008
On Jul 21, 2008, at 5:46 PM, Ted Kremenek wrote:
> Author: kremenek
> Date: Mon Jul 21 19:46:16 2008
> New Revision: 53891
> URL: http://llvm.org/viewvc/llvm-project?rev=53891&view=rev
> Added path-sensitive checking for null pointer values passed to
> function arguments marked nonnull.
> This implements <rdar://problem/6069935>
Nice! Can you add a blurb about this to the checker web page? It
would be useful to have a section on "things you can do to your code
to make better use of the checker" or something. What do you think?
More information about the cfe-commits