llvm-project/clang/lib/StaticAnalyzer/Checkers
Anna Zaks e56167e8f8 [analyzer] Fix another false positive in the Malloc Checker, by making
it aware of CString APIs that return the input parameter.

Malloc Checker needs to know how the 'strcpy' function is
evaluated. Introduce the dependency on CStringChecker for that.
CStringChecker knows all about these APIs.

Addresses radar://10864450

llvm-svn: 150846
2012-02-17 22:35:31 +00:00
..
AdjustedReturnValueChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
AnalyzerStatsChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +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 Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line. 2012-02-07 22:29:24 +00:00
BasicObjCFoundationChecks.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +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] New checker for assignment of non-0/1 values to Boolean variables. 2012-02-11 16:32:09 +00:00
CStringChecker.cpp [analyzer] Fix another false positive in the Malloc Checker, by making 2012-02-17 22:35:31 +00:00
CStringSyntaxChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
CallAndMessageChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +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 Switch the ObjC*Decl raw_stream overloads to take a reference, for consistency with NamedDecls. 2012-02-07 11:57:45 +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 Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +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 [analyzer] Make Malloc Checker optimistic in presence of inlining. 2012-02-14 21:55:24 +00:00
Checkers.td [analyzer] New checker for assignment of non-0/1 values to Boolean variables. 2012-02-11 16:32:09 +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 [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 Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
DebugCheckers.cpp Colorize and condense CFG pretty-printing. 2011-12-22 23:33:52 +00:00
DereferenceChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
DivZeroChecker.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
FixedAddressChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
GenericTaintChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
IdempotentOperationChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +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 Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
MacOSKeychainAPIChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +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] Fix another false positive in the Malloc Checker, by making 2012-02-17 22:35:31 +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 Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
NSAutoreleasePoolChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +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 Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line. 2012-02-07 22:29:24 +00:00
ObjCContainersASTChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
ObjCContainersChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +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 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] Make Malloc Checker optimistic in presence of inlining. 2012-02-14 21:55:24 +00:00
ReturnPointerRangeChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
ReturnUndefChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
StackAddrEscapeChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
StreamChecker.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
TaintTesterChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
UndefBranchChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
UndefCapturedBlockVarChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
UndefResultChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
UndefinedArraySubscriptChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
UndefinedAssignmentChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
UnixAPIChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +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 Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
VirtualCallChecker.cpp Print NamedDecls directly to a raw_ostream where possible. 2012-02-07 11:57:57 +00:00