evaluating transfer functions at the end-of-path.

llvm-svn: 49561

llvm-svn: 49558

llvm-svn: 49556

GRSimpleVals::EvalCal(), and don't change reference counts.

Remove "getDoNothingSummary()", as a NULL summary does the same thing.

Added temporary hack for the "Get" rule for objects that return a pointer type:
treat them as non-owned CF objects.

Added test case to detect the release of a non-owned object.

llvm-svn: 49555

llvm-svn: 49552

llvm-svn: 49551

use-after-release errors.  Added test case.

llvm-svn: 49509

llvm-svn: 49505

llvm-svn: 49503

code path in the clang driver.

Renamed options --grsimple to -checker-simple and -check-cfref to -checker-cfref.

llvm-svn: 49500

llvm-svn: 49488

BugReport-specific SourceRanges (when available).

llvm-svn: 49486

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

llvm-svn: 49485

llvm-svn: 49455

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: 49414

checker-specific diagnostics.

llvm-svn: 49412

llvm-svn: 49356

llvm-svn: 49258

llvm-svn: 49193

llvm-svn: 49184

llvm-svn: 49183

the ranges of highlighted elements in the source code.

llvm-svn: 49181

the new BugReporter interface.

llvm-svn: 49180

llvm-svn: 49155

llvm-svn: 49139

BFS path to the root.  This also avoids problems with loops in the ExplodedGraph.

llvm-svn: 49133

"BugReporter" and "BugDescription".  BugDescription is used to describe
a bug and provide pieces of the PathDiagnostic, and BugReporter creates
the actual PathDiagnostic by crawling through the ExplodedGraph.

Migrated checks done by GRSimpleVals to be reported using the new BugReporter
mechanism.

llvm-svn: 49127

llvm-svn: 49120

llvm-svn: 49119

llvm-svn: 49102

llvm-svn: 49101

that describe a bug.

llvm-svn: 49086

GRSimpleVals warnings.  Cleaning up, but now we get multiple bubbles (branches are annotated).

llvm-svn: 49077

llvm-svn: 49057

a PathDiagnosticClient.

llvm-svn: 48996

llvm-svn: 48990

GRSimpleVals.h

Added a PathDiagnosticClient option to the driver functions for the
CFRefCountChecker and the GRSimpleVals analysis. Both analyses now accept a "-o"
argument from the driver that specifies where HTML reports should be dumped.

llvm-svn: 48989

of a stack variable.  This is the path-sensitive version of a check that
is already done during semantic analysis.

llvm-svn: 48980

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