Rename ValueStateManager -> GRStateManager.

llvm-svn: 54721

 - Drop {Decl.h,DeclObjC.h,IdentifierTable.h} from Expr.h
 - Moved Sema::getCurMethodDecl() out of line (dependent on
   ObjCMethodDecl via dyn_cast).

llvm-svn: 54629

ASTContext::getCanonicalType instead (PR2189)

llvm-svn: 54105

Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp.

llvm-svn: 53909

This implements <rdar://problem/6069935>

llvm-svn: 53891

current store implementation is now encapsulated by BasicStore.

These changes prompted some long due constification of ValueState. Much of the
diffs in this patch include adding "const" qualifiers.

llvm-svn: 53423

llvm-svn: 52799

- #include ExprObjC.h in many places

llvm-svn: 51703

llvm-svn: 51324

llvm-svn: 50549

llvm-svn: 50503

llvm-svn: 50494

llvm-svn: 49959

can decide the policy on how to cache related bugs.  This allows us to
properly to handle warning about multiple leaks in the same location in the
ref count checker (not yet done).

llvm-svn: 49918

EmitPathWarning into one method.  We now properly handle emitting warnings
without a PathDiagnosticClient when the warning does not involve a particular
statement.

llvm-svn: 49884

warnings are emitted as part of the warnings registered by GRSimpleVals.

llvm-svn: 49658

iterator instead of "end") and not implementing "getDescription()" for Nil
argument checks.

llvm-svn: 49485

Bugs are now reported using a combination of "BugType" (previously
BugDescription) and Bug "BugReport" objects, which are fed to BugReporter (which
generates PathDiagnostics). This provides a far more modular way of registering
bug types and plugging in diagnostics.

GRExprEngine now owns its copy of GRCoreEngine, and is not owned by the
ExplodedGraph.

ExplodedGraph is no longer templated on the "checker", but instead on the state
contained in the nodes.

llvm-svn: 49453

llvm-svn: 49193

the new BugReporter interface.

llvm-svn: 49180

Added skeleton checking for NSString's method initWithFormat: (do not pass nil).  This won't be useful in most cases right now
because the analyzer isn't tracking expected types for an object, and [NSString alloc] just runs "id".

llvm-svn: 48917

llvm-svn: 48898

Added test case to test warning about passing 'nil' to NSString's compare: method.

llvm-svn: 48896

llvm-svn: 48895

llvm-svn: 48886

Added "GRAuditor" and "GRSimpleAPICheck" interface to allow simple stateless checkers to be injected into the analyzer.
Added "AnnotatedPath" class to record an annotated path that will be useful for inspecting paths.
Added some boilerplate code for simple checks of Apple's Foundation API.

llvm-svn: 48867