llvm-project/clang/lib/StaticAnalyzer/Checkers
Jordan Rose 547060b30b [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.
The preObjCMessage and postObjCMessage callbacks now take an ObjCMethodCall
argument, which can represent an explicit message send (ObjCMessageSend) or an
implicit message generated by a property access (ObjCPropertyAccess).

llvm-svn: 159559
2012-07-02 19:28:04 +00:00
..
AdjustedReturnValueChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
AnalyzerStatsChecker.cpp Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output. 2012-04-04 18:11:35 +00:00
ArrayBoundChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
ArrayBoundCheckerV2.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
AttrNonNullChecker.cpp [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. 2012-03-09 01:13:14 +00:00
BasicObjCFoundationChecks.cpp [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. 2012-07-02 19:28:04 +00:00
BoolAssignmentChecker.cpp [analyzer] New checker for assignment of non-0/1 values to Boolean variables. 2012-02-11 16:32:09 +00:00
BuiltinFunctionChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
CMakeLists.txt [analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph. 2012-06-29 00:33:10 +00:00
CStringChecker.cpp [analyzer] Add a new abstraction over all types of calls: CallEvent 2012-07-02 19:27:35 +00:00
CStringSyntaxChecker.cpp Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output. 2012-04-04 18:11:35 +00:00
CallAndMessageChecker.cpp [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. 2012-07-02 19:28:04 +00:00
CastSizeChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
CastToStructChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
CheckObjCDealloc.cpp Revert Decl's iterators back to pointer value_type rather than reference value_type 2012-06-06 20:45:41 +00:00
CheckObjCInstMethSignature.cpp Require that all static analyzer issues have a category. As part of this change, 2012-04-05 20:43:28 +00:00
CheckSecuritySyntaxOnly.cpp Revert "Tweak insecureAPI analyzer checks to have the ability to be individually disabled." 2012-06-29 21:01:35 +00:00
CheckSizeofPointer.cpp Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output. 2012-04-04 18:11:35 +00:00
CheckerDocumentation.cpp [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. 2012-07-02 19:28:04 +00:00
Checkers.td [analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph. 2012-06-29 00:33:10 +00:00
ChrootChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +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 Require that all static analyzer issues have a category. As part of this change, 2012-04-05 20:43:28 +00:00
CommonBugCategories.cpp Require that all static analyzer issues have a category. As part of this change, 2012-04-05 20:43:28 +00:00
DeadStoresChecker.cpp Look through chains of 'x = y = z' when employing silencing heuristics in the DeadStoresChecker. 2012-04-04 19:58:03 +00:00
DebugCheckers.cpp Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST). 2012-03-11 07:00:24 +00:00
DereferenceChecker.cpp Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we have significantly 2012-05-31 06:03:17 +00:00
DivZeroChecker.cpp [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. 2012-03-09 01:13:14 +00:00
ExprInspectionChecker.cpp [analyzer] Introduce clang_analyzer_eval for regression test constraint checks. 2012-05-16 16:01:07 +00:00
FixedAddressChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
GenericTaintChecker.cpp Fix typos found by http://github.com/lyda/misspell-check 2012-06-02 10:20:41 +00:00
IdempotentOperationChecker.cpp [analyzer] Fix BugType memory leak in IdempotentOperationChecker. 2012-05-31 21:24:58 +00:00
InterCheckerAPI.h [analyzer] Fix another false positive in the Malloc Checker, by making 2012-02-17 22:35:31 +00:00
IteratorsChecker.cpp StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers that don't care about the language don't have to pull in all the headers. 2012-01-28 12:06:22 +00:00
LLVMConventionsChecker.cpp Revert Decl's iterators back to pointer value_type rather than reference value_type 2012-06-06 20:45:41 +00:00
MacOSKeychainAPIChecker.cpp [analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able to reset diagnostic generation. 2012-03-24 02:45:35 +00:00
MacOSXAPIChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
Makefile Clang-side build system infrastructure for multiple tblgens. 2011-10-06 01:52:10 +00:00
MallocChecker.cpp [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. 2012-07-02 19:28:04 +00:00
MallocOverflowSecurityChecker.cpp Require that all static analyzer issues have a category. As part of this change, 2012-04-05 20:43:28 +00:00
MallocSizeofChecker.cpp [analyzer] MallocSizeofChecker false positive: when sizeof is argument 2012-06-08 18:44:43 +00:00
NSAutoreleasePoolChecker.cpp [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. 2012-07-02 19:28:04 +00:00
NSErrorChecker.cpp Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output. 2012-04-04 18:11:35 +00:00
NoReturnFunctionChecker.cpp [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. 2012-07-02 19:28:04 +00:00
OSAtomicChecker.cpp Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode 2012-04-06 22:10:18 +00:00
ObjCAtSyncChecker.cpp Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST). 2012-03-11 07:00:24 +00:00
ObjCContainersASTChecker.cpp Require that all static analyzer issues have a category. As part of this change, 2012-04-05 20:43:28 +00:00
ObjCContainersChecker.cpp [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. 2012-07-02 19:28:04 +00:00
ObjCSelfInitChecker.cpp [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. 2012-07-02 19:28:04 +00:00
ObjCUnusedIVarsChecker.cpp Revert Decl's iterators back to pointer value_type rather than reference value_type 2012-06-06 20:45:41 +00:00
PointerArithChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
PointerSubChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
PthreadLockChecker.cpp Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line. 2012-02-07 22:29:24 +00:00
RetainCountChecker.cpp [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. 2012-07-02 19:28:04 +00:00
ReturnPointerRangeChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
ReturnUndefChecker.cpp Disable diagnosic path pruning for ReturnUndefChecker. 2012-06-01 23:04:04 +00:00
StackAddrEscapeChecker.cpp Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST). 2012-03-11 07:00:24 +00:00
StreamChecker.cpp Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. 2012-02-17 23:13:45 +00:00
TaintTesterChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
TraversalChecker.cpp [analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph. 2012-06-29 00:33:10 +00:00
UndefBranchChecker.cpp Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we have significantly 2012-05-31 06:03:17 +00:00
UndefCapturedBlockVarChecker.cpp Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we have significantly 2012-05-31 06:03:17 +00:00
UndefResultChecker.cpp Disable path pruning for UndefResultChecker. It turns out we usually want to see more of the path 2012-06-06 06:25:37 +00:00
UndefinedArraySubscriptChecker.cpp [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. 2012-03-09 01:13:14 +00:00
UndefinedAssignmentChecker.cpp Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we have significantly 2012-05-31 06:03:17 +00:00
UnixAPIChecker.cpp Require that all static analyzer issues have a category. As part of this change, 2012-04-05 20:43:28 +00:00
UnreachableCodeChecker.cpp Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output. 2012-04-04 18:11:35 +00:00
VLASizeChecker.cpp [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. 2012-03-09 01:13:14 +00:00
VirtualCallChecker.cpp Remove unused private member variables found by clang's new -Wunused-private-field. 2012-06-06 17:32:50 +00:00