llvm-project/clang/lib/StaticAnalyzer/Checkers
Jordan Rose d6e5fd52f0 [analyzer] MallocChecker should not do post-call checks on inlined functions.
If someone provides their own function called 'strdup', or 'reallocf', or
even 'malloc', and we inlined it, the inlining should have given us all the
malloc-related information we need. If we then try to attach new information
to the return value, we could end up with spurious warnings.

<rdar://problem/12317671>

llvm-svn: 164276
2012-09-20 01:55:32 +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] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. 2012-08-28 00:50:51 +00:00
BasicObjCFoundationChecks.cpp Make helper functions static. 2012-09-10 11:57:16 +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 Rename 'currentX' to 'currX' throughout analyzer and libAnalysis. 2012-08-22 06:26:15 +00:00
CMakeLists.txt [analyzer] Always derive a CallEvent's return type from its origin expr. 2012-09-01 17:39:00 +00:00
CStringChecker.cpp [analyzer] Teach the analyzer about implicit initialization of statics 2012-09-17 19:13:56 +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 Make helper functions static. 2012-09-10 11:57:16 +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 Remove redundant semicolons which are null statements. 2012-09-10 21:20:09 +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 clang support for Bitrig (an OpenBSD fork); patch by David Hill. 2012-08-08 23:57:20 +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] Combine all ObjC message CallEvents into ObjCMethodCall. 2012-07-18 21:59:51 +00:00
Checkers.td [analyzer] Always derive a CallEvent's return type from its origin expr. 2012-09-01 17:39:00 +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 Tweak DeadStoresChecker to not warn about dead stores to variables that 2012-09-06 22:32:48 +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 [analyzer] Enhance the member expr tracking to account for references. 2012-09-05 23:41:54 +00:00
DivZeroChecker.cpp [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. 2012-08-28 00:50:51 +00:00
DynamicTypePropagation.cpp [analyzer] Don't attempt to devirtualize calls to base class destructors. 2012-09-06 20:37:08 +00:00
ExprInspectionChecker.cpp [analyzer] Add clang_analyzer_checkInlined for debugging purposes. 2012-08-10 22:26:29 +00:00
FixedAddressChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
GenericTaintChecker.cpp Remove trivial destructor from SVal. 2012-07-18 19:08:44 +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
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 Remove ProgramState::getSymVal(). It was being misused by Checkers, 2012-09-07 22:31:01 +00:00
MacOSXAPIChecker.cpp Fix grammar. 2012-09-13 19:48:51 +00:00
Makefile Clang-side build system infrastructure for multiple tblgens. 2011-10-06 01:52:10 +00:00
MallocChecker.cpp [analyzer] MallocChecker should not do post-call checks on inlined functions. 2012-09-20 01:55:32 +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] Address John's code review for r163407. 2012-09-08 00:09:02 +00:00
NSAutoreleasePoolChecker.cpp [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change. 2012-07-26 21:39:41 +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] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change. 2012-07-26 21:39:41 +00:00
OSAtomicChecker.cpp [analyzer] Replace boolean IsSink parameters with 'generateSink' methods. 2012-08-20 18:43:42 +00:00
ObjCAtSyncChecker.cpp [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. 2012-08-28 00:50:51 +00:00
ObjCContainersASTChecker.cpp Fix off-by-one bug in diagnostic prose of ObjCContainersASTChecker. 2012-09-07 07:13:08 +00:00
ObjCContainersChecker.cpp [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. 2012-07-02 19:28:04 +00:00
ObjCSelfInitChecker.cpp [analyzer] ObjCSelfInitChecker should always clean up in postCall checks. 2012-09-08 01:47:28 +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 Remove ProgramState::getSymVal(). It was being misused by Checkers, 2012-09-07 22:31:01 +00:00
ReturnPointerRangeChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
ReturnUndefChecker.cpp [analyzer] Do not report use of undef on "return foo();" when the return type is void. 2012-09-12 22:57:40 +00:00
StackAddrEscapeChecker.cpp [analyzer] C++ objects returned on the stack may be wrapped in ExprWithCleanups. 2012-08-29 01:11:59 +00:00
StreamChecker.cpp Rename 'currentX' to 'currX' throughout analyzer and libAnalysis. 2012-08-22 06:26:15 +00:00
TaintTesterChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
TraversalChecker.cpp [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change. 2012-07-26 21:39:41 +00:00
UndefBranchChecker.cpp [analyzer] Improved diagnostic pruning for calls initializing values. 2012-08-29 21:22:37 +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 [analyzer] Improved diagnostic pruning for calls initializing values. 2012-08-29 21:22:37 +00:00
UndefinedArraySubscriptChecker.cpp [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. 2012-08-28 00:50:51 +00:00
UndefinedAssignmentChecker.cpp [analyzer] Improved diagnostic pruning for calls initializing values. 2012-08-29 21:22:37 +00:00
UnixAPIChecker.cpp [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. 2012-08-28 00:50:51 +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] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. 2012-08-28 00:50:51 +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