llvm-project/clang/lib/StaticAnalyzer/Checkers
Anna Zaks 88598248f9 [analyzer] Make sure Containers OutOfBounds checker does not crash on undefined arguments, when CF functions are called with wrong number of arguments.
llvm-svn: 149771
2012-02-04 06:40:52 +00:00
..
AdjustedReturnValueChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
AnalyzerStatsChecker.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
ArrayBoundChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
ArrayBoundCheckerV2.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
AttrNonNullChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
BasicObjCFoundationChecks.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
BuiltinFunctionChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
CMakeLists.txt [analyzer] Add checks for common anti-patterns in strncat. 2012-01-31 19:33:39 +00:00
CStringChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
CStringSyntaxChecker.cpp [analyzer] Add checks for common anti-patterns in strncat. 2012-01-31 19:33:39 +00:00
CallAndMessageChecker.cpp Fix an assertion failure in isMacOSXVersionLT for IOS targets. 2012-01-31 23:52:54 +00:00
CastSizeChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
CastToStructChecker.cpp [analyzer] Rename generateNode -> addTransition in CheckerContext 2011-10-26 21:06:34 +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 [analyzer] Change the warning to suggest 'strlcat/strlcpy' as 2012-01-31 19:33:31 +00:00
CheckSizeofPointer.cpp Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. 2011-10-24 01:32:45 +00:00
CheckerDocumentation.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
Checkers.td [analyzer] Turn on by default two checkers: 2012-02-04 02:31:57 +00:00
ChrootChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +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 Remove unnecessary default cases in switches over enums. 2012-01-17 02:30:50 +00:00
DebugCheckers.cpp Colorize and condense CFG pretty-printing. 2011-12-22 23:33:52 +00:00
DereferenceChecker.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
DivZeroChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
FixedAddressChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
GenericTaintChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
IdempotentOperationChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +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 Rename TagDecl::isDefinition -> isCompleteDefinition 2011-10-07 06:10:15 +00:00
MacOSKeychainAPIChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
MacOSXAPIChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
Makefile Clang-side build system infrastructure for multiple tblgens. 2011-10-06 01:52:10 +00:00
MallocChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
MallocOverflowSecurityChecker.cpp Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. 2011-10-24 01:32:45 +00:00
MallocSizeofChecker.cpp Unbreak MSVC build. 2011-12-08 09:32:22 +00:00
NSAutoreleasePoolChecker.cpp [analyzer] Remove EmitBasicReport form CheckerContext. 2011-10-26 21:06:39 +00:00
NSErrorChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
NoReturnFunctionChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
OSAtomicChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
ObjCAtSyncChecker.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
ObjCContainersASTChecker.cpp [analyzer] Minor cleanups to the ObjCSelfInitChecker. 2012-02-04 02:31:37 +00:00
ObjCContainersChecker.cpp [analyzer] Make sure Containers OutOfBounds checker does not crash on undefined arguments, when CF functions are called with wrong number of arguments. 2012-02-04 06:40:52 +00:00
ObjCSelfInitChecker.cpp [analyzer] Minor cleanups to the ObjCSelfInitChecker. 2012-02-04 02:31:37 +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 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
PointerSubChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
PthreadLockChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
RetainCountChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
ReturnPointerRangeChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
ReturnUndefChecker.cpp [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from 2012-01-06 22:09:28 +00:00
StackAddrEscapeChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
StreamChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
TaintTesterChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
UndefBranchChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
UndefCapturedBlockVarChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
UndefResultChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
UndefinedArraySubscriptChecker.cpp [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from 2012-01-06 22:09:28 +00:00
UndefinedAssignmentChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
UnixAPIChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
UnreachableCodeChecker.cpp Further tweak -Wurneachable-code and templates by allowing the warning to run on 2011-12-01 00:59:17 +00:00
VLASizeChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
VirtualCallChecker.cpp Add initial version of checker to check if virtual member functions are called transitively 2012-01-03 23:18:57 +00:00