llvm-project/clang/lib/StaticAnalyzer/Checkers
Jeffrey Yasskin 0e9cdbbb06 Handle CXXTempObjectRegion in StackAddrEscapeChecker.
Also convert stack-addr-ps.cpp to use the analyzer instead of just Sema, now
that it doesn't crash, and extract the stack-block test into another file since
it errors, and that prevents the analyzer from running.

llvm-svn: 138613
2011-08-26 00:41:31 +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 Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn't know how to handle a specific Expr type. 2011-04-02 02:56:23 +00:00
ArrayBoundChecker.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
ArrayBoundCheckerV2.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
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 Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +00:00
BuiltinFunctionChecker.cpp Rename GRState to ProgramState, and cleanup some code formatting along the way. 2011-08-15 22:09:50 +00:00
CMakeLists.txt [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
CStringChecker.cpp Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +00:00
CallAndMessageChecker.cpp Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +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 Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. 2011-08-12 23:37:29 +00:00
CheckObjCInstMethSignature.cpp Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. 2011-08-12 23:37:29 +00:00
CheckSecuritySyntaxOnly.cpp Remove dead code. 2011-08-20 01:15:28 +00:00
CheckSizeofPointer.cpp Add support for the OpenCL vec_step operator, by generalising and 2011-03-11 19:24:49 +00:00
Checkers.td MacOSKeychainAPIChecker: Turn it on by default. 2011-08-16 20:02:05 +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 [analyzer] Replace calls to getNameAsString() with StringRef equivalents. 2011-08-21 05:25:15 +00:00
DebugCheckers.cpp [analyzer] Rename CheckerV2 -> Checker. 2011-03-01 01:16:21 +00:00
DereferenceChecker.cpp Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +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 Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +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 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports 2011-07-23 10:55:15 +00:00
MacOSKeychainAPIChecker.cpp [analyzer] MacOSKeychainAPIChecker: Cleanup AllocationState structure. 2011-08-25 00:59:06 +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 [analyzer] Reflect changes for tablegen'ing the checkers. 2011-02-15 07:42:38 +00:00
MallocChecker.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
MallocOverflowSecurityChecker.cpp [analyzer] Introduce MallocOverflowSecurityChecker, a simple flow-sensitive checker that may be useful for security auditing. This checker is currently too noisy to be on by default. 2011-08-03 20:17:43 +00:00
NSAutoreleasePoolChecker.cpp Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. 2011-08-12 23:37:29 +00:00
NSErrorChecker.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
NoReturnFunctionChecker.cpp Fix compile on platforms that don't implicitly include stdarg.h here. 2011-08-20 21:50:41 +00:00
OSAtomicChecker.cpp Rename GRState to ProgramState, and cleanup some code formatting along the way. 2011-08-15 22:09:50 +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 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
ObjCUnusedIVarsChecker.cpp Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. 2011-08-12 23:37:29 +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 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
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 Handle CXXTempObjectRegion in StackAddrEscapeChecker. 2011-08-26 00:41:31 +00:00
StreamChecker.cpp Rename GRState to ProgramState, and cleanup some code formatting along the way. 2011-08-15 22:09:50 +00:00
UndefBranchChecker.cpp Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +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 Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +00:00
UnixAPIChecker.cpp Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). 2011-08-19 22:33:38 +00:00
UnreachableCodeChecker.cpp [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs. 2011-07-28 23:07:59 +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