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

..

AnalysisManager.cpp

[analyzer] Apply whitespace cleanups by Honggyu Kim.

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

AnalyzerOptions.cpp

[analyzer] Turn suppress-c++-stdlib on by default

2017-03-10 00:33:19 +00:00

APSIntType.cpp

[analyzer] Teach constraint managers about unsigned comparisons.

2013-03-23 01:21:33 +00:00

BasicValueFactory.cpp

[analyzer] Add a new SVal to support pointer-to-member operations.

2016-12-15 21:27:06 +00:00

BlockCounter.cpp

[analyzer] Apply whitespace cleanups by Honggyu Kim.

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

BugReporter.cpp

Migrate PathDiagnosticPiece to std::shared_ptr

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

BugReporterVisitors.cpp

Spelling mistakes in comments. NFCI. (PR27635)

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

CallEvent.cpp

[analyzer] Add a check for IvarRegion in getExtraInvalidatedValues

2017-04-12 22:00:13 +00:00

Checker.cpp

[analyzer] Apply whitespace cleanups by Honggyu Kim.

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

CheckerContext.cpp

[analyzer] Improve Nullability checker diagnostics

2016-01-29 18:43:15 +00:00

CheckerHelpers.cpp

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

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

CheckerManager.cpp

[analyzer] Add LocationContext as a parameter to checkRegionChanges

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

CheckerRegistry.cpp

[analyzer] Command line option to show enabled checker list.

2016-08-08 13:41:04 +00:00

CMakeLists.txt

[analyzer] Add new Z3 constraint manager backend

2017-04-04 19:52:25 +00:00

CommonBugCategories.cpp

[analyzer] Replace bug category magic strings with shared constants, take 2.

2013-10-04 00:25:24 +00:00

ConstraintManager.cpp

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

CoreEngine.cpp

Silence Warning. NFC.

2016-10-07 19:11:33 +00:00

DynamicTypeMap.cpp

Spelling mistakes in comments. NFCI. (PR27635)

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

Environment.cpp

[analyzer] Fix symbolic element index lifetime.

2015-12-10 09:28:06 +00:00

ExplodedGraph.cpp

[NFC] Header cleanup

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

ExprEngine.cpp

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

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

ExprEngineC.cpp

[analyzer] Fix symbolication for unknown unary increment/decrement results.

2017-03-28 15:57:12 +00:00

ExprEngineCallAndReturn.cpp

[analyzer] Add checker callback for beginning of function.

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

ExprEngineCXX.cpp

[analyzer] Enforce super-region classes for various memory regions.

2017-04-13 09:56:07 +00:00

ExprEngineObjC.cpp

[analyzer] Add LocationContext as a parameter to checkRegionChanges

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

FunctionSummary.cpp

[analyzer] Use inline storage in the FunctionSummary DenseMap.

2013-04-02 00:26:26 +00:00

HTMLDiagnostics.cpp

Migrate PathDiagnosticPiece to std::shared_ptr

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

IssueHash.cpp

[NFC] Header cleanup

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

LoopWidening.cpp

[Analyzer] Fix comments and formatting. NFC.

2015-11-10 11:48:55 +00:00

MemRegion.cpp

[analyzer] Enforce super-region classes for various memory regions.

2017-04-13 09:56:07 +00:00

PathDiagnostic.cpp

Migrate PathDiagnosticPiece to std::shared_ptr

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

PlistDiagnostics.cpp

Migrate PathDiagnosticPiece to std::shared_ptr

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

PrettyStackTraceLocationContext.h

Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").

2015-06-22 23:07:51 +00:00

ProgramState.cpp

[analyzer] Add LocationContext as a parameter to checkRegionChanges

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

RangeConstraintManager.cpp

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

RangedConstraintManager.cpp

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

RangedConstraintManager.h

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

RegionStore.cpp

[analyzer] Enforce super-region classes for various memory regions.

2017-04-13 09:56:07 +00:00

SimpleConstraintManager.cpp

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

SimpleSValBuilder.cpp

[analyzer] Enforce super-region classes for various memory regions.

2017-04-13 09:56:07 +00:00

Store.cpp

[analyzer] Enforce super-region classes for various memory regions.

2017-04-13 09:56:07 +00:00

SubEngine.cpp

…

SValBuilder.cpp

[analyzer] Treat pointers to static member functions as function pointers

2017-01-10 18:49:27 +00:00

SVals.cpp

[analyzer] Add a new SVal to support pointer-to-member operations.

2016-12-15 21:27:06 +00:00

SymbolManager.cpp

[analyzer] Print type for SymbolRegionValues when dumping to stream

2016-12-05 20:30:11 +00:00

Z3ConstraintManager.cpp

[analyzer] Add new Z3 constraint manager backend

2017-04-04 19:52:25 +00:00