llvm-project/clang/lib/StaticAnalyzer/Checkers
Gabor Horvath 596fcb1b0f [analyzer] Model and check unrepresentable left shifts
Patch by: Reka Nikolett Kovacs

Differential Revision: https://reviews.llvm.org/D41816

llvm-svn: 323115
2018-01-22 13:32:10 +00:00
..
MPI-Checker [analyzer] Enforce super-region classes for various memory regions. 2017-04-13 09:56:07 +00:00
AllocationDiagnostics.cpp
AllocationDiagnostics.h
AnalysisOrderChecker.cpp [analyzer] operator new: Fix callback order for CXXNewExpr. 2018-01-18 00:53:50 +00:00
AnalyzerStatsChecker.cpp Avoid overly large SmallPtrSet/SmallSet 2016-01-30 01:27:06 +00:00
ArrayBoundChecker.cpp
ArrayBoundCheckerV2.cpp Add NDEBUG checks around LLVM_DUMP_METHOD functions for Wunused-function warnings. 2017-11-16 03:18:09 +00:00
BasicObjCFoundationChecks.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
BlockInCriticalSectionChecker.cpp [analyzer] lock_guard and unique_lock extension for BlockInCriticalSection checker 2017-10-30 10:09:55 +00:00
BoolAssignmentChecker.cpp
BuiltinFunctionChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
CMakeLists.txt [Analyzer] Assume that CFBooleanRef const globals are non-null 2017-10-13 00:51:41 +00:00
CStringChecker.cpp [analyzer] Provide a check name when MallocChecker enables CStringChecker 2018-01-20 23:11:17 +00:00
CStringSyntaxChecker.cpp [CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.h 2017-09-06 21:45:03 +00:00
CXXSelfAssignmentChecker.cpp [analyzer] Add LocationContext as a parameter to checkRegionChanges 2017-01-13 00:50:57 +00:00
CallAndMessageChecker.cpp [analyzer] In getSVal() API, disable auto-detection of void type as char type. 2017-12-12 02:27:55 +00:00
CastSizeChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
CastToStructChecker.cpp [analyzer] Fix crashes in CastToStruct checker for undefined structs 2017-03-07 19:20:48 +00:00
CheckObjCDealloc.cpp [NFC] fix trivial typos in comments 2018-01-22 07:44:38 +00:00
CheckObjCInstMethSignature.cpp
CheckSecuritySyntaxOnly.cpp [analyzer] Don't flag strcpy of string literals into sufficiently large buffers. 2018-01-12 22:12:11 +00:00
CheckSizeofPointer.cpp
CheckerDocumentation.cpp [analyzer] operator new: Add a new checker callback, check::NewAllocator. 2018-01-17 23:46:13 +00:00
ChrootChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
ClangCheckers.cpp [analyzer] Move Checkers.inc to clang/include/... 2016-04-28 01:09:09 +00:00
ClangSACheckers.h [analyzer] Move Checkers.inc to clang/include/... 2016-04-28 01:09:09 +00:00
CloneChecker.cpp [analyzer] Increase minimum complexity filter of the CloneChecker. 2017-09-04 05:56:36 +00:00
ConversionChecker.cpp [Analyzer] Clarify error messages for undefined result 2017-10-11 14:49:35 +00:00
DeadStoresChecker.cpp Added LLVM_FALLTHROUGH to address warning: this statement may fall through. NFC. 2017-06-03 06:26:27 +00:00
DebugCheckers.cpp [analyzer] Make issue hash related tests more concise 2017-10-30 12:02:23 +00:00
DeleteWithNonVirtualDtorChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
DereferenceChecker.cpp [analyzer] Don't dereference the array value when binding it to a reference. 2017-01-12 18:00:03 +00:00
DirectIvarAssignment.cpp Use instance_properties instead of properties. NFC. 2016-01-26 18:05:23 +00:00
DivZeroChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
DynamicTypeChecker.cpp Migrate PathDiagnosticPiece to std::shared_ptr 2017-01-05 17:26:53 +00:00
DynamicTypePropagation.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
ExprInspectionChecker.cpp [analyzer] Make issue hash related tests more concise 2017-10-30 12:02:23 +00:00
FixedAddressChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
GTestChecker.cpp [NFC] fix trivial typos in comments 2018-01-22 07:44:38 +00:00
GenericTaintChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
IdenticalExprChecker.cpp [c++20] P0515R3: Parsing support and basic AST construction for operator <=>. 2017-12-14 15:16:18 +00:00
InterCheckerAPI.h
IteratorChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
IvarInvalidationChecker.cpp Remove redundant conditions of the form (A || (!A && B)) -> (A || B) 2016-04-11 08:26:13 +00:00
LLVMConventionsChecker.cpp
LocalizationChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
MacOSKeychainAPIChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
MacOSXAPIChecker.cpp [analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks. 2017-01-25 10:21:45 +00:00
MallocChecker.cpp [analyzer] operator new: Add a new checker callback, check::NewAllocator. 2018-01-17 23:46:13 +00:00
MallocOverflowSecurityChecker.cpp [analyzer] Older version of GCC 4.7 crash on lambdas in default arguments. 2016-07-09 12:16:58 +00:00
MallocSizeofChecker.cpp
MisusedMovedObjectChecker.cpp [analyzer] Make isSubRegionOf reflexive 2018-01-17 20:27:26 +00:00
NSAutoreleasePoolChecker.cpp
NSErrorChecker.cpp Use more ArrayRefs 2016-06-24 04:05:48 +00:00
NoReturnFunctionChecker.cpp Suppress all uses of LLVM_END_WITH_NULL. NFC. 2017-05-09 19:31:30 +00:00
NonNullParamChecker.cpp Spelling mistakes in comments. NFCI. (PR27635) 2017-03-30 14:13:19 +00:00
NonnullGlobalConstantsChecker.cpp [Analyzer] Assume that CFBooleanRef const globals are non-null 2017-10-13 00:51:41 +00:00
NullabilityChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
NumberObjectConversionChecker.cpp [analyzer] NumberObjectConversion: Workaround for a linker error with modules. 2016-11-15 22:22:57 +00:00
ObjCAtSyncChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
ObjCContainersASTChecker.cpp [CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.h 2017-09-06 21:45:03 +00:00
ObjCContainersChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
ObjCMissingSuperCallChecker.cpp
ObjCPropertyChecker.cpp [Analyzer] Fix crash in ObjCPropertyChecker on protocol property 2017-03-01 01:47:37 +00:00
ObjCSelfInitChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
ObjCSuperDeallocChecker.cpp [clang] Remove redundant return [NFC] 2017-11-13 19:29:31 +00:00
ObjCUnusedIVarsChecker.cpp
PaddingChecker.cpp Re-commit r321223, which adds a printing policy to the ASTDumper. 2017-12-21 21:42:42 +00:00
PointerArithChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
PointerSubChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
PthreadLockChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
RetainCountChecker.cpp [analyzer] NFC: RetainCount: Protect from dumping raw region to path notes. 2018-01-18 01:01:56 +00:00
ReturnPointerRangeChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
ReturnUndefChecker.cpp
SelectorExtras.h Use clang++-3.5 compatible initializer_list constructor 2017-05-10 13:22:11 +00:00
SimpleStreamChecker.cpp Apply clang-tidy's misc-move-constructor-init throughout Clang. 2016-05-27 14:27:13 +00:00
StackAddrEscapeChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
StdLibraryFunctionsChecker.cpp [analyzer] Avoid an allocation in Std C function modelling 2017-05-12 06:53:55 +00:00
StreamChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
TaintTesterChecker.cpp
TestAfterDivZeroChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
TraversalChecker.cpp [analyzer] Add checker callback for beginning of function. 2016-02-19 01:35:10 +00:00
UndefBranchChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
UndefCapturedBlockVarChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
UndefResultChecker.cpp [analyzer] Model and check unrepresentable left shifts 2018-01-22 13:32:10 +00:00
UndefinedArraySubscriptChecker.cpp
UndefinedAssignmentChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
UnixAPIChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
UnreachableCodeChecker.cpp [StaticAnalyzer] Fix false positives for unreachable code in macros. 2017-08-02 08:26:56 +00:00
VLASizeChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
ValistChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
VforkChecker.cpp Fix Clang-tidy modernize-use-nullptr warnings; other minor fixes. 2016-01-26 19:01:06 +00:00
VirtualCallChecker.cpp [analyzer] Fix an assertion fail in VirtualCallChecker 2017-09-21 08:18:59 +00:00