George Karpenkov 3ee2a6bd5c [analyzer] Ignore the nullability quantifiers for autoreleasewritechecker ...

llvm-svn: 332136

2018-05-11 20:39:19 +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

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

AnalysisOrderChecker.cpp

[analyzer] Add missing pre-post-statement callbacks for OffsetOfExpr.

2018-02-10 00:55:49 +00:00

AnalyzerStatsChecker.cpp

[analyzer] Prevent AnalyzerStatsChecker from crash

2018-02-21 16:06:56 +00:00

ArrayBoundChecker.cpp

…

ArrayBoundCheckerV2.cpp

[analyzer] Add TaintBugVisitor to the ArrayBoundV2, DivideZero and VLASize.

2018-05-02 12:11:22 +00:00

BasicObjCFoundationChecks.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +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] Add support for __builtin_constant_p.

2018-02-10 00:51:47 +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

Remove redundant casts. NFC

2018-03-01 05:43:23 +00:00

CheckerDocumentation.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

CheckObjCDealloc.cpp

[NFC] fix trivial typos in comments and documents

2018-01-26 08:15:52 +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

…

ChrootChecker.cpp

Fix typos in clang

2018-04-06 15:14:32 +00:00

ClangCheckers.cpp

…

ClangSACheckers.h

…

CloneChecker.cpp

[analyzer] Increase minimum complexity filter of the CloneChecker.

2017-09-04 05:56:36 +00:00

CMakeLists.txt

[analyzer] Path-insensitive checker for writes into an auto-releasing pointer

2018-03-29 20:55:34 +00:00

ConversionChecker.cpp

[Analyzer] Clarify error messages for undefined result

2017-10-11 14:49:35 +00:00

CStringChecker.cpp

[analyzer] Revert r331096 "CStringChecker: Add support for BSD strlcpy()...".

2018-05-02 20:33:17 +00:00

CStringSyntaxChecker.cpp

[CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.h

2017-09-06 21:45:03 +00:00

CXXSelfAssignmentChecker.cpp

…

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

…

DirectIvarAssignment.cpp

…

DivZeroChecker.cpp

[analyzer] Add TaintBugVisitor to the ArrayBoundV2, DivideZero and VLASize.

2018-05-02 12:11:22 +00:00

DynamicTypeChecker.cpp

…

DynamicTypePropagation.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +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

GCDAntipatternChecker.cpp

[analyzer] Extend GCDAntipatternChecker to match group_enter/group_leave pattern

2018-03-23 00:16:02 +00:00

GenericTaintChecker.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

GTestChecker.cpp

[NFC] fix trivial typos in comments

2018-01-22 07:44:38 +00:00

IdenticalExprChecker.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

InterCheckerAPI.h

…

IteratorChecker.cpp

[analyzer] Fix the crash in IteratorChecker.cpp when 'SymbolConjured' has a null Stmt.

2018-03-20 09:27:02 +00:00

IvarInvalidationChecker.cpp

Fix typos in clang

2018-04-06 15:14:32 +00:00

LLVMConventionsChecker.cpp

…

LocalizationChecker.cpp

Fix typos in clang

2018-04-06 15:14:32 +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

…

MallocChecker.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

MallocOverflowSecurityChecker.cpp

…

MallocSizeofChecker.cpp

…

MisusedMovedObjectChecker.cpp

[analyzer] Make isSubRegionOf reflexive

2018-01-17 20:27:26 +00:00

MmapWriteExecChecker.cpp

[analyzer] MmapWriteExecChecker: Add support for mprotect().

2018-03-09 01:47:24 +00:00

NonnullGlobalConstantsChecker.cpp

Fix typos in clang

2018-04-06 15:14:32 +00:00

NonNullParamChecker.cpp

Reland "[Attr] Fix parameter indexing for several attributes"

2018-03-13 14:51:22 +00:00

NoReturnFunctionChecker.cpp

Suppress all uses of LLVM_END_WITH_NULL. NFC.

2017-05-09 19:31:30 +00:00

NSAutoreleasePoolChecker.cpp

…

NSErrorChecker.cpp

…

NullabilityChecker.cpp

Fix typos in clang

2018-04-06 15:14:32 +00:00

NumberObjectConversionChecker.cpp

[analyzer] Don't throw NSNumberObjectConversion warning on object initialization in if-expression

2018-03-02 21:34:24 +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

ObjCAutoreleaseWriteChecker.cpp

[analyzer] Ignore the nullability quantifiers for autoreleasewritechecker

2018-05-11 20:39:19 +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

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

ObjCPropertyChecker.cpp

[Analyzer] Fix crash in ObjCPropertyChecker on protocol property

2017-03-01 01:47:37 +00:00

ObjCSelfInitChecker.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

ObjCSuperDeallocChecker.cpp

[clang] Remove redundant return [NFC]

2017-11-13 19:29:31 +00:00

ObjCUnusedIVarsChecker.cpp

…

PaddingChecker.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

PointerArithChecker.cpp

[analyzer] [PointerArithChecker] do not warn on indexes into vector types

2018-03-07 22:20:39 +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] RetainCount: Accept more "safe" CFRetain wrappers.

2018-04-19 23:00:22 +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

…

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

…

TrustNonnullChecker.cpp

[analyzer] Trust _Nonnull annotations for system framework

2018-03-23 00:16:03 +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

UndefinedArraySubscriptChecker.cpp

…

UndefinedAssignmentChecker.cpp

[analyzer] UndefinedAssignmentChecker: Better warning message in implicit ctors.

2018-02-27 22:05:55 +00:00

UndefResultChecker.cpp

[analyzer] Model and check unrepresentable left shifts

2018-01-22 13:32:10 +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

Teach Wreturn-type, Wunreachable-code, and alpha.deadcode.UnreachableCode to treat __assume(0) like __builtin_unreachable.

2018-02-13 21:31:47 +00:00

ValistChecker.cpp

[analyzer] Remove the unused method declaration in ValistChecker.cpp.

2018-03-30 13:37:50 +00:00

VforkChecker.cpp

…

VirtualCallChecker.cpp

[analyzer] Fix an assertion fail in VirtualCallChecker

2017-09-21 08:18:59 +00:00

VLASizeChecker.cpp

[analyzer] Add TaintBugVisitor to the ArrayBoundV2, DivideZero and VLASize.

2018-05-02 12:11:22 +00:00