llvm-project/clang/lib/StaticAnalyzer/Checkers
Anna Zaks a99b41f37f [analyzer] Make NodeBuilder and Pred node loosely coupled
NodeBuilder should not assume it's dealing with a single predecessor. Remove predecessor getters. Modify the BranchNodeBuilder to not be responsible for doing auto-transitions (which depend on a predecessor).

llvm-svn: 142453
2011-10-18 23:06:44 +00:00
..
AdjustedReturnValueChecker.cpp Rename GRState to ProgramState, and cleanup some code formatting along the way. 2011-08-15 22:09:50 +00:00
AnalyzerStatsChecker.cpp Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. 2011-10-14 18:45:37 +00:00
ArrayBoundChecker.cpp [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. 2011-10-06 00:43:15 +00:00
ArrayBoundCheckerV2.cpp [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. 2011-10-06 00:43:15 +00:00
AttrNonNullChecker.cpp Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +00:00
BasicObjCFoundationChecks.cpp [analyzer] Remove TransferFuncs.h, then deal with the fallout. 2011-09-02 08:02:59 +00:00
BuiltinFunctionChecker.cpp [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context. 2011-10-04 20:43:05 +00:00
CMakeLists.txt [analyzer] Move RetainReleaseChecker to the Checkers library and rename it to RetainCountChecker...and clean up the file while I'm at it. 2011-09-02 06:44:22 +00:00
CStringChecker.cpp Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. 2011-10-14 18:45:37 +00:00
CallAndMessageChecker.cpp Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. 2011-10-14 18:45:37 +00:00
CastSizeChecker.cpp Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. 2011-08-17 23:00:25 +00:00
CastToStructChecker.cpp Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. 2011-08-17 23:00:25 +00:00
CheckObjCDealloc.cpp Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. 2011-10-14 18:45:37 +00:00
CheckObjCInstMethSignature.cpp Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. 2011-10-14 18:45:37 +00:00
CheckSecuritySyntaxOnly.cpp Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. 2011-10-14 18:45:37 +00:00
CheckSizeofPointer.cpp [analyzer] Refactor PathDiagnosticLocation: Make PathDiagnosticLocation(SourceLocation...) private. Most of the effort here goes to making BugReport refer to a PathDiagnosticLocation instead of FullSourceLocation. 2011-09-20 21:38:35 +00:00
Checkers.td [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
ChrootChecker.cpp Rename GRState to ProgramState, and cleanup some code formatting along the way. 2011-08-15 22:09:50 +00:00
ClangCheckers.cpp [analyzer] Overhaul of checker registration in preparation for basic plugin support. Removes support for checker groups (we can add them back in later if we decide they are still useful), and -analyzer-checker-help output is a little worse for the time being (no packages). 2011-08-16 21:24:21 +00:00
ClangSACheckers.h [analyzer] Overhaul of checker registration in preparation for basic plugin support. Removes support for checker groups (we can add them back in later if we decide they are still useful), and -analyzer-checker-help output is a little worse for the time being (no packages). 2011-08-16 21:24:21 +00:00
DeadStoresChecker.cpp Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. 2011-10-14 18:45:37 +00:00
DebugCheckers.cpp Remove AnalysisContext::getLiveVariables(), and introduce a templatized mechanism to lazily create analyses that are attached to AnalysisContext objects. 2011-10-07 22:21:02 +00:00
DereferenceChecker.cpp [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. 2011-10-06 00:43:15 +00:00
DivZeroChecker.cpp Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +00:00
FixedAddressChecker.cpp Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. 2011-08-17 23:00:25 +00:00
IdempotentOperationChecker.cpp [analyzer] Remove redundant state (AnalysisContext pointer for every BinaryOperator tracked) from IdempotentOperationChecker. 2011-10-03 23:07:13 +00:00
IteratorsChecker.cpp Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. 2011-08-17 23:00:25 +00:00
LLVMConventionsChecker.cpp Rename TagDecl::isDefinition -> isCompleteDefinition 2011-10-07 06:10:15 +00:00
MacOSKeychainAPIChecker.cpp [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): 2011-09-15 01:08:34 +00:00
MacOSXAPIChecker.cpp Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. 2011-08-17 23:00:25 +00:00
Makefile Clang-side build system infrastructure for multiple tblgens. 2011-10-06 01:52:10 +00:00
MallocChecker.cpp Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. 2011-10-14 18:45:37 +00:00
MallocOverflowSecurityChecker.cpp Constant expression evaluation refactoring: 2011-10-10 18:28:20 +00:00
NSAutoreleasePoolChecker.cpp [analyzer] Refactor PathDiagnosticLocation: Make PathDiagnosticLocation(SourceLocation...) private. Most of the effort here goes to making BugReport refer to a PathDiagnosticLocation instead of FullSourceLocation. 2011-09-20 21:38:35 +00:00
NSErrorChecker.cpp [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. 2011-10-06 00:43:15 +00:00
NoReturnFunctionChecker.cpp [analyzer] Remove unused methods, add comments to others. 2011-10-04 18:34:40 +00:00
OSAtomicChecker.cpp [analyzer] OSAtomicChecker implements evalCall in a very invasive way - it essentially simulates inlining of compareAndSwap() by means of setting the NodeBuilder flags and calling ExprEngine directly. 2011-10-05 23:37:30 +00:00
ObjCAtSyncChecker.cpp Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +00:00
ObjCSelfInitChecker.cpp [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. 2011-10-06 00:43:15 +00:00
ObjCUnusedIVarsChecker.cpp Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. 2011-10-14 18:45:37 +00:00
PointerArithChecker.cpp Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. 2011-08-17 23:00:25 +00:00
PointerSubChecker.cpp Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. 2011-08-17 23:00:25 +00:00
PthreadLockChecker.cpp Fix comment typo. 2011-09-24 03:04:03 +00:00
RetainCountChecker.cpp [analyzer] Remove dead code. 2011-10-18 23:06:29 +00:00
ReturnPointerRangeChecker.cpp Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. 2011-08-17 23:00:25 +00:00
ReturnUndefChecker.cpp Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +00:00
StackAddrEscapeChecker.cpp Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. 2011-10-14 18:45:37 +00:00
StreamChecker.cpp [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context. 2011-10-04 20:43:05 +00:00
UndefBranchChecker.cpp [analyzer] Make NodeBuilder and Pred node loosely coupled 2011-10-18 23:06:44 +00:00
UndefCapturedBlockVarChecker.cpp Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +00:00
UndefResultChecker.cpp Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +00:00
UndefinedArraySubscriptChecker.cpp Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +00:00
UndefinedAssignmentChecker.cpp [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. 2011-10-06 00:43:15 +00:00
UnixAPIChecker.cpp Extend the ASTContext constructor to delay the initialization of 2011-09-02 00:18:52 +00:00
UnreachableCodeChecker.cpp [analyzer] Refactor PathDiagnosticLocation: Make PathDiagnosticLocation(SourceLocation...) private. Most of the effort here goes to making BugReport refer to a PathDiagnosticLocation instead of FullSourceLocation. 2011-09-20 21:38:35 +00:00
VLASizeChecker.cpp Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +00:00