2013-12-10 03:04:43 +08:00
|
|
|
set(LLVM_LINK_COMPONENTS
|
|
|
|
Support
|
|
|
|
)
|
|
|
|
|
2010-12-24 03:38:26 +08:00
|
|
|
add_clang_library(clangStaticAnalyzerCheckers
|
2016-09-01 21:55:38 +08:00
|
|
|
AnalysisOrderChecker.cpp
|
2011-02-09 06:30:36 +08:00
|
|
|
AnalyzerStatsChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
ArrayBoundChecker.cpp
|
2010-12-23 10:42:43 +08:00
|
|
|
ArrayBoundCheckerV2.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
BasicObjCFoundationChecks.cpp
|
2016-09-21 04:28:50 +08:00
|
|
|
BlockInCriticalSectionChecker.cpp
|
2012-02-12 00:32:09 +08:00
|
|
|
BoolAssignmentChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
BuiltinFunctionChecker.cpp
|
2010-12-23 10:42:43 +08:00
|
|
|
CStringChecker.cpp
|
2012-02-01 03:33:39 +08:00
|
|
|
CStringSyntaxChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
CallAndMessageChecker.cpp
|
|
|
|
CastSizeChecker.cpp
|
|
|
|
CastToStructChecker.cpp
|
2019-07-10 08:20:03 +08:00
|
|
|
CastValueChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
CheckObjCDealloc.cpp
|
|
|
|
CheckObjCInstMethSignature.cpp
|
2020-01-10 23:51:14 +08:00
|
|
|
CheckPlacementNew.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
CheckSecuritySyntaxOnly.cpp
|
|
|
|
CheckSizeofPointer.cpp
|
2011-12-01 02:56:24 +08:00
|
|
|
CheckerDocumentation.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
ChrootChecker.cpp
|
2016-07-27 02:13:12 +08:00
|
|
|
CloneChecker.cpp
|
2020-01-16 23:33:05 +08:00
|
|
|
ContainerModeling.cpp
|
2016-08-18 00:02:45 +08:00
|
|
|
ConversionChecker.cpp
|
2016-07-22 07:42:31 +08:00
|
|
|
CXXSelfAssignmentChecker.cpp
|
2011-01-14 04:58:59 +08:00
|
|
|
DeadStoresChecker.cpp
|
2011-02-18 06:07:39 +08:00
|
|
|
DebugCheckers.cpp
|
2020-01-16 23:33:05 +08:00
|
|
|
DebugContainerModeling.cpp
|
2019-11-15 19:15:36 +08:00
|
|
|
DebugIteratorModeling.cpp
|
2017-09-22 18:16:33 +08:00
|
|
|
DeleteWithNonVirtualDtorChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
DereferenceChecker.cpp
|
2012-10-12 04:58:21 +08:00
|
|
|
DirectIvarAssignment.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
DivZeroChecker.cpp
|
2012-08-07 07:25:39 +08:00
|
|
|
DynamicTypePropagation.cpp
|
2015-09-19 05:15:37 +08:00
|
|
|
DynamicTypeChecker.cpp
|
2018-11-24 20:24:27 +08:00
|
|
|
EnumCastOutOfRangeChecker.cpp
|
2012-05-17 00:01:07 +08:00
|
|
|
ExprInspectionChecker.cpp
|
2010-12-23 04:30:07 +08:00
|
|
|
FixedAddressChecker.cpp
|
2019-11-16 08:00:46 +08:00
|
|
|
FuchsiaHandleChecker.cpp
|
2018-03-13 02:27:36 +08:00
|
|
|
GCDAntipatternChecker.cpp
|
2011-11-17 04:05:08 +08:00
|
|
|
GenericTaintChecker.cpp
|
2016-12-20 06:50:31 +08:00
|
|
|
GTestChecker.cpp
|
2013-11-08 09:15:39 +08:00
|
|
|
IdenticalExprChecker.cpp
|
2018-07-20 23:14:49 +08:00
|
|
|
InnerPointerChecker.cpp
|
2019-11-15 19:15:36 +08:00
|
|
|
InvalidatedIteratorChecker.cpp
|
|
|
|
Iterator.cpp
|
|
|
|
IteratorModeling.cpp
|
|
|
|
IteratorRangeChecker.cpp
|
2012-09-27 02:55:16 +08:00
|
|
|
IvarInvalidationChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
LLVMConventionsChecker.cpp
|
2015-08-15 04:22:22 +08:00
|
|
|
LocalizationChecker.cpp
|
2011-08-02 06:40:01 +08:00
|
|
|
MacOSKeychainAPIChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
MacOSXAPIChecker.cpp
|
|
|
|
MallocChecker.cpp
|
2011-08-04 04:17:43 +08:00
|
|
|
MallocOverflowSecurityChecker.cpp
|
2011-12-08 16:31:14 +08:00
|
|
|
MallocSizeofChecker.cpp
|
2019-11-15 19:15:36 +08:00
|
|
|
MismatchedIteratorChecker.cpp
|
2018-03-01 09:27:46 +08:00
|
|
|
MmapWriteExecChecker.cpp
|
2019-02-22 07:55:28 +08:00
|
|
|
MIGChecker.cpp
|
2018-12-04 06:32:32 +08:00
|
|
|
MoveChecker.cpp
|
2016-06-13 11:22:41 +08:00
|
|
|
MPI-Checker/MPIBugReporter.cpp
|
|
|
|
MPI-Checker/MPIChecker.cpp
|
|
|
|
MPI-Checker/MPIFunctionClassifier.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
NSAutoreleasePoolChecker.cpp
|
|
|
|
NSErrorChecker.cpp
|
|
|
|
NoReturnFunctionChecker.cpp
|
2013-04-17 05:10:09 +08:00
|
|
|
NonNullParamChecker.cpp
|
2017-10-13 08:51:41 +08:00
|
|
|
NonnullGlobalConstantsChecker.cpp
|
2015-08-27 07:17:43 +08:00
|
|
|
NullabilityChecker.cpp
|
2016-10-18 19:06:28 +08:00
|
|
|
NumberObjectConversionChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
ObjCAtSyncChecker.cpp
|
2018-03-30 04:55:34 +08:00
|
|
|
ObjCAutoreleaseWriteChecker.cpp
|
2012-01-26 09:14:39 +08:00
|
|
|
ObjCContainersASTChecker.cpp
|
2012-01-30 14:42:48 +08:00
|
|
|
ObjCContainersChecker.cpp
|
2012-10-30 09:21:35 +08:00
|
|
|
ObjCMissingSuperCallChecker.cpp
|
2016-12-14 01:19:18 +08:00
|
|
|
ObjCPropertyChecker.cpp
|
2011-01-12 03:45:25 +08:00
|
|
|
ObjCSelfInitChecker.cpp
|
2016-02-23 01:56:24 +08:00
|
|
|
ObjCSuperDeallocChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
ObjCUnusedIVarsChecker.cpp
|
2019-02-09 05:09:00 +08:00
|
|
|
OSObjectCStyleCast.cpp
|
2015-12-15 05:38:59 +08:00
|
|
|
PaddingChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
PointerArithChecker.cpp
|
[Analyzer] Checker for non-determinism caused by iteration of unordered container of pointers
Summary: Added a checker for non-determinism caused by iterating unordered containers like std::unordered_set containing pointer elements.
Reviewers: NoQ, george.karpenkov, whisperity, Szelethus, baloghadamsoftware
Reviewed By: Szelethus
Subscribers: mgorny, xazax.hun, baloghadamsoftware, szepet, rnkovacs, a.sidorin, mikhail.ramalho, donat.nagy, dkrupp, jdoerfert, Charusso, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D59279
llvm-svn: 361664
2019-05-25 03:24:08 +08:00
|
|
|
PointerIterationChecker.cpp
|
[Analyzer] Checker for non-determinism caused by sorting of pointer-like elements
Summary:
Added a new category of checkers for non-determinism. Added a checker for non-determinism
caused due to sorting containers with pointer-like elements.
Reviewers: NoQ, george.karpenkov, whisperity, Szelethus
Reviewed By: NoQ, Szelethus
Subscribers: Charusso, baloghadamsoftware, jdoerfert, donat.nagy, dkrupp, martong, dblaikie, MTC, Szelethus, mgorny, xazax.hun, szepet, rnkovacs, a.sidorin, mikhail.ramalho, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D50488
llvm-svn: 355720
2019-03-09 04:13:53 +08:00
|
|
|
PointerSortingChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
PointerSubChecker.cpp
|
|
|
|
PthreadLockChecker.cpp
|
2018-08-18 05:41:07 +08:00
|
|
|
RetainCountChecker/RetainCountChecker.cpp
|
|
|
|
RetainCountChecker/RetainCountDiagnostics.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
ReturnPointerRangeChecker.cpp
|
|
|
|
ReturnUndefChecker.cpp
|
[analyzer] ReturnValueChecker: Model the guaranteed boolean return value of function calls
Summary: It models the known LLVM methods paired with their class.
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Reviewed By: NoQ
Subscribers: dschuff, aheejin, mgorny, szepet, rnkovacs, a.sidorin,
mikhail.ramalho, donat.nagy, dkrupp, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D63915
llvm-svn: 365103
2019-07-04 08:50:50 +08:00
|
|
|
ReturnValueChecker.cpp
|
2018-07-25 09:27:15 +08:00
|
|
|
RunLoopAutoreleaseLeakChecker.cpp
|
2012-12-05 06:17:32 +08:00
|
|
|
SimpleStreamChecker.cpp
|
2019-04-23 10:45:42 +08:00
|
|
|
SmartPtrModeling.cpp
|
2011-02-26 06:00:43 +08:00
|
|
|
StackAddrEscapeChecker.cpp
|
2016-10-24 17:41:38 +08:00
|
|
|
StdLibraryFunctionsChecker.cpp
|
2019-11-20 16:15:42 +08:00
|
|
|
STLAlgorithmModeling.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
StreamChecker.cpp
|
2019-03-30 06:49:30 +08:00
|
|
|
Taint.cpp
|
2011-12-06 02:58:01 +08:00
|
|
|
TaintTesterChecker.cpp
|
2014-07-11 00:10:52 +08:00
|
|
|
TestAfterDivZeroChecker.cpp
|
2012-06-29 08:33:10 +08:00
|
|
|
TraversalChecker.cpp
|
2018-03-23 08:16:03 +08:00
|
|
|
TrustNonnullChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
UndefBranchChecker.cpp
|
|
|
|
UndefCapturedBlockVarChecker.cpp
|
|
|
|
UndefResultChecker.cpp
|
|
|
|
UndefinedArraySubscriptChecker.cpp
|
|
|
|
UndefinedAssignmentChecker.cpp
|
2018-08-14 02:17:05 +08:00
|
|
|
UninitializedObject/UninitializedObjectChecker.cpp
|
|
|
|
UninitializedObject/UninitializedPointee.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
UnixAPIChecker.cpp
|
|
|
|
UnreachableCodeChecker.cpp
|
2015-11-06 19:16:31 +08:00
|
|
|
VforkChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
VLASizeChecker.cpp
|
2016-08-22 19:21:30 +08:00
|
|
|
ValistChecker.cpp
|
2012-01-04 07:18:57 +08:00
|
|
|
VirtualCallChecker.cpp
|
2010-12-23 02:52:56 +08:00
|
|
|
|
2014-02-26 14:41:29 +08:00
|
|
|
LINK_LIBS
|
2012-06-21 09:30:21 +08:00
|
|
|
clangAST
|
2016-10-13 19:41:12 +08:00
|
|
|
clangASTMatchers
|
2013-12-10 03:04:43 +08:00
|
|
|
clangAnalysis
|
|
|
|
clangBasic
|
2015-08-15 09:56:49 +08:00
|
|
|
clangLex
|
2012-06-21 09:30:21 +08:00
|
|
|
clangStaticAnalyzerCore
|
|
|
|
)
|