llvm-project/clang/lib/Analysis
Ted Kremenek 505a36afc6 Created new path-sensitive bug-reporting scheme based on the classes
"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
2008-04-03 04:42:52 +00:00
..
BasicObjCFoundationChecks.cpp Added skeleton checking for NSString's method initWithFormat: (do not pass nil). This won't be useful in most cases right now 2008-03-28 16:09:38 +00:00
BasicObjCFoundationChecks.h Add creation of BasicObjCFoundationChecks when running GRSimpleVals from the driver. 2008-03-27 17:17:22 +00:00
BasicValueFactory.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
BugReporter.cpp Created new path-sensitive bug-reporting scheme based on the classes 2008-04-03 04:42:52 +00:00
CFRefCount.cpp Inlined clang/Analysis/Analyses/GRSimpleVals.h into LocalCheckers.h and removed 2008-03-31 18:26:32 +00:00
DeadStores.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
ExplodedGraph.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
GRBlockCounter.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
GRCoreEngine.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
GRExprEngine.cpp simplify some code by using PointerLikeType. 2008-04-02 17:45:06 +00:00
GRSimpleVals.cpp Created new path-sensitive bug-reporting scheme based on the classes 2008-04-03 04:42:52 +00:00
GRSimpleVals.h Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
LiveVariables.cpp LiveVariables analysis now uses intersect for the merge of block-level expression liveness information. 2008-03-20 21:46:49 +00:00
Makefile Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
PathDiagnostic.cpp PathDiagnosticPiece no longer contains a vector of strings; just one string. 2008-03-27 06:16:40 +00:00
ProgramPoint.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
RValues.cpp simplify some code by using PointerLikeType. 2008-04-02 17:45:06 +00:00
SymbolManager.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
UninitializedValues.cpp Changed merge operation for uninitialized values analysis to "intersect" (previous union). 2008-03-22 20:11:00 +00:00
ValueState.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00