Artem Dergachev 6dd11048f5 [analyzer] Enforce super-region classes for various memory regions. ...

We now check the type of the super-region pointer for most SubRegion classes
in compile time; some checks are run-time though.

This is an API-breaking change (we now require explicit casts to specific region
sub-classes), but in practice very few checkers are affected.

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

llvm-svn: 300189

2017-04-13 09:56:07 +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

Header guard canonicalization, clang part.

2014-08-13 16:25:19 +00:00

AnalysisOrderChecker.cpp

[analyzer] When creating a temporary object, properly copy the value into it.

2017-03-28 15:43:26 +00:00

AnalyzerStatsChecker.cpp

Avoid overly large SmallPtrSet/SmallSet

2016-01-30 01:27:06 +00:00

ArrayBoundChecker.cpp

[analyzer] Add generateErrorNode() APIs to CheckerContext.

2015-09-16 22:03:05 +00:00

ArrayBoundCheckerV2.cpp

[analyzer] Calculate extent size for memory regions allocated by new expression.

2016-09-19 20:39:52 +00:00

BasicObjCFoundationChecks.cpp

[analyzer] Report CFNumberGetValue API misuse

2016-10-26 22:51:47 +00:00

BlockInCriticalSectionChecker.cpp

[analyzer] Extend block in critical section check with C11 and Pthread APIs.

2017-03-10 14:50:12 +00:00

BoolAssignmentChecker.cpp

[analyzer] Add generateErrorNode() APIs to CheckerContext.

2015-09-16 22:03:05 +00:00

BuiltinFunctionChecker.cpp

Add support for __builtin_alloca_with_align

2016-10-31 05:37:48 +00:00

CallAndMessageChecker.cpp

[analyzer] Clarify 'uninitialized function argument' messages

2017-03-08 15:22:24 +00:00

CastSizeChecker.cpp

[analyzer] pr31226: Disable CastSizeChecker in C++ because it's not quite ready.

2016-12-07 16:12:26 +00:00

CastToStructChecker.cpp

[analyzer] Fix crashes in CastToStruct checker for undefined structs

2017-03-07 19:20:48 +00:00

CheckerDocumentation.cpp

[analyzer] Add LocationContext as a parameter to checkRegionChanges

2017-01-13 00:50:57 +00:00

CheckObjCDealloc.cpp

Revert "[analyzer] Re-apply r283093 "Add extra notes to ObjCDeallocChecker""

2016-10-16 00:30:08 +00:00

CheckObjCInstMethSignature.cpp

[C++11] Use 'nullptr'. StaticAnalyzer edition.

2014-05-27 02:45:47 +00:00

CheckSecuritySyntaxOnly.cpp

Test commit

2015-11-26 22:08:58 +00:00

CheckSizeofPointer.cpp

[analyzer] Apply whitespace cleanups by Honggyu Kim.

2015-09-08 03:50:52 +00:00

ChrootChecker.cpp

[NFC] Header cleanup

2016-07-18 19:02:11 +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] Reland r299544 "Add a modular constraint system to the CloneDetector"

2017-04-06 14:34:07 +00:00

CMakeLists.txt

[analyzer] Add MisusedMovedObjectChecker for detecting use-after-move errors.

2017-03-24 09:52:30 +00:00

ConversionChecker.cpp

[analyzer] alpha.core.Conversion - Fix false positive for 'U32 += S16;' expression, that is not unsafe

2017-04-05 08:57:04 +00:00

CStringChecker.cpp

[analyzer] Add LocationContext as a parameter to checkRegionChanges

2017-01-13 00:50:57 +00:00

CStringSyntaxChecker.cpp

[analyzer] Fix an assertion fail in CStringSyntaxChecker.

2017-02-02 08:20:54 +00:00

CXXSelfAssignmentChecker.cpp

[analyzer] Add LocationContext as a parameter to checkRegionChanges

2017-01-13 00:50:57 +00:00

DeadStoresChecker.cpp

DeadStoresChecker: Don't warn about dead stores into volatile variables

2016-06-24 16:26:43 +00:00

DebugCheckers.cpp

[analyzer] Fix IssueHash generation.

2015-12-01 09:00:41 +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] Add generateErrorNode() APIs to CheckerContext.

2015-09-16 22:03:05 +00:00

DynamicTypeChecker.cpp

Migrate PathDiagnosticPiece to std::shared_ptr

2017-01-05 17:26:53 +00:00

DynamicTypePropagation.cpp

Migrate PathDiagnosticPiece to std::shared_ptr

2017-01-05 17:26:53 +00:00

ExprInspectionChecker.cpp

[analyzer] Improve usability of ExprInspectionChecker

2017-03-09 00:01:10 +00:00

FixedAddressChecker.cpp

[analyzer] Add generateErrorNode() APIs to CheckerContext.

2015-09-16 22:03:05 +00:00

GenericTaintChecker.cpp

[analyzer] Extend taint propagation and checking to support LazyCompoundVal

2017-03-09 00:01:16 +00:00

GTestChecker.cpp

[analyzer] Update GTestChecker to tighten API detection

2016-12-22 17:52:57 +00:00

IdenticalExprChecker.cpp

Refactor: Simplify boolean conditional return statements in lib/StaticAnalyzer/Checkers

2015-12-28 13:06:58 +00:00

InterCheckerAPI.h

Add a missing forward def of CheckerManager. NFC.

2015-04-17 17:00:16 +00:00

IteratorPastEndChecker.cpp

Remove repeated code (PR32250). NFCI.

2017-03-15 22:43:36 +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

Remove and forbid raw_svector_ostream::flush() calls.

2015-08-13 18:12:56 +00:00

LocalizationChecker.cpp

Migrate PathDiagnosticPiece to std::shared_ptr

2017-01-05 17:26:53 +00:00

MacOSKeychainAPIChecker.cpp

[analyzer] Fix false positives in Keychain API checker

2017-01-13 00:50:41 +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] Teach the MallocChecker about about Glib API

2017-03-09 00:01:01 +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

[analyzer] Apply whitespace cleanups by Honggyu Kim.

2015-09-08 03:50:52 +00:00

MisusedMovedObjectChecker.cpp

[analyzer] MisusedMovedObject: Remove deprecated callback. NFC

2017-03-24 10:16:08 +00:00

NonNullParamChecker.cpp

Spelling mistakes in comments. NFCI. (PR27635)

2017-03-30 14:13:19 +00:00

NoReturnFunctionChecker.cpp

[analyzer] Handle another Android assert function.

2015-12-30 00:08:59 +00:00

NSAutoreleasePoolChecker.cpp

[analyzer] Add generateErrorNode() APIs to CheckerContext.

2015-09-16 22:03:05 +00:00

NSErrorChecker.cpp

Use more ArrayRefs

2016-06-24 04:05:48 +00:00

NullabilityChecker.cpp

Spelling mistakes in comments. NFCI. (PR27635)

2017-03-30 14:13:19 +00:00

NumberObjectConversionChecker.cpp

[analyzer] NumberObjectConversion: Workaround for a linker error with modules.

2016-11-15 22:22:57 +00:00

ObjCAtSyncChecker.cpp

[analyzer] Add generateErrorNode() APIs to CheckerContext.

2015-09-16 22:03:05 +00:00

ObjCContainersASTChecker.cpp

Refactor: Simplify boolean conditional return statements in lib/StaticAnalyzer/Checkers

2015-12-28 13:06:58 +00:00

ObjCContainersChecker.cpp

Fix some Clang-tidy readability-redundant-control-flow warnings; other minor fixes.

2016-02-10 19:11:58 +00:00

ObjCMissingSuperCallChecker.cpp

[analyzer] Apply whitespace cleanups by Honggyu Kim.

2015-09-08 03:50:52 +00:00

ObjCPropertyChecker.cpp

[Analyzer] Fix crash in ObjCPropertyChecker on protocol property

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

ObjCSelfInitChecker.cpp

Refactor: Simplify boolean conditional return statements in lib/StaticAnalyzer/Checkers

2015-12-28 13:06:58 +00:00

ObjCSuperDeallocChecker.cpp

Migrate PathDiagnosticPiece to std::shared_ptr

2017-01-05 17:26:53 +00:00

ObjCUnusedIVarsChecker.cpp

Rewrite users of Stmt::child_begin/end into for-range loops.

2015-07-03 15:12:24 +00:00

PaddingChecker.cpp

StaticAnalyzer: Report found fields order in PaddingChecker

2016-08-15 20:16:13 +00:00

PointerArithChecker.cpp

[NFC] Header cleanup

2016-07-18 19:02:11 +00:00

PointerSubChecker.cpp

[analyzer] Add generateErrorNode() APIs to CheckerContext.

2015-09-16 22:03:05 +00:00

PthreadLockChecker.cpp

[NFC] Header cleanup

2016-07-18 19:02:11 +00:00

RetainCountChecker.cpp

[analyzer] Add LocationContext as a parameter to checkRegionChanges

2017-01-13 00:50:57 +00:00

ReturnPointerRangeChecker.cpp

[analyzer] Add generateErrorNode() APIs to CheckerContext.

2015-09-16 22:03:05 +00:00

ReturnUndefChecker.cpp

[analyzer] Add generateErrorNode() APIs to CheckerContext.

2015-09-16 22:03:05 +00:00

SelectorExtras.h

Use the new LLVM_END_WITH_NULL name

2014-11-04 01:13:43 +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] Correct stack address escape diagnostic

2016-05-26 14:02:17 +00:00

StdLibraryFunctionsChecker.cpp

[analyzer] Rename assumeWithinInclusiveRange*()

2016-11-15 01:54:41 +00:00

StreamChecker.cpp

[NFC] Header cleanup

2016-07-18 19:02:11 +00:00

TaintTesterChecker.cpp

[analyzer] Add generateErrorNode() APIs to CheckerContext.

2015-09-16 22:03:05 +00:00

TestAfterDivZeroChecker.cpp

Migrate PathDiagnosticPiece to std::shared_ptr

2017-01-05 17:26:53 +00:00

TraversalChecker.cpp

[analyzer] Add checker callback for beginning of function.

2016-02-19 01:35:10 +00:00

UndefBranchChecker.cpp

Apply clang-tidy's misc-move-constructor-init throughout Clang.

2016-05-27 14:27:13 +00:00

UndefCapturedBlockVarChecker.cpp

[analyzer] Add generateErrorNode() APIs to CheckerContext.

2015-09-16 22:03:05 +00:00

UndefinedArraySubscriptChecker.cpp

[analyzer] Add generateErrorNode() APIs to CheckerContext.

2015-09-16 22:03:05 +00:00

UndefinedAssignmentChecker.cpp

[analyzer] Add generateErrorNode() APIs to CheckerContext.

2015-09-16 22:03:05 +00:00

UndefResultChecker.cpp

[analyzer] clarify 'result is garbage value' when it is out of bounds

2017-02-27 10:44:24 +00:00

UnixAPIChecker.cpp

[analyzer] UnixAPIChecker: Don't diagnose for functions in C++ namespaces

2016-12-17 01:08:17 +00:00

UnreachableCodeChecker.cpp

alpha.core.UnreachableCode - don't warn about unreachable code inside macro

2016-10-18 13:16:53 +00:00

ValistChecker.cpp

[analyzer] Fix a rare crash for valist check.

2017-03-13 12:48:26 +00:00

VforkChecker.cpp

Fix Clang-tidy modernize-use-nullptr warnings; other minor fixes.

2016-01-26 19:01:06 +00:00

VirtualCallChecker.cpp

In VirtualCallChecker, handle indirect calls

2017-01-31 05:23:20 +00:00

VLASizeChecker.cpp

Fix some Clang-tidy readability-redundant-control-flow warnings; other minor fixes.

2016-02-10 19:11:58 +00:00