llvm-project/clang/lib/StaticAnalyzer/Core
Anna Zaks ae4772140f [analyzer] Turn suppress-c++-stdlib on by default
We have several reports of false positives coming from libc++. For example,
there are reports of false positives in std::regex, std::wcout, and also
a bunch of issues are reported in https://reviews.llvm.org/D30593. In many
cases, the analyzer trips over the complex libc++ code invariants. Let's turn
off the reports coming from these headers until we can re-evalate the support.

We can turn this back on once we individually suppress all known false
positives and perform deeper evaluation on large codebases that use libc++.
We'd also need to commit to doing these evaluations regularly as libc++
headers change.

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

llvm-svn: 297429
2017-03-10 00:33:19 +00:00
..
APSIntType.cpp
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
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 Migrate PathDiagnosticPiece to std::shared_ptr 2017-01-05 17:26:53 +00:00
CMakeLists.txt [analyzer] Refactor and simplify SimpleConstraintManager 2017-02-25 04:51:31 +00:00
CallEvent.cpp [analyzer] Proper caching in CallDescription objects. 2017-02-15 15:35:56 +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
CommonBugCategories.cpp
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 [Static Analyzer] Properly clean up the dynamic type information for dead regions. 2015-09-11 17:19:57 +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 [coroutines] Add DependentCoawaitExpr and fix re-building CoroutineBodyStmt. 2017-03-06 23:38:15 +00:00
ExprEngineC.cpp [analyzer] Add LocationContext as a parameter to checkRegionChanges 2017-01-13 00:50:57 +00:00
ExprEngineCXX.cpp [analyzer] Add LocationContext as a parameter to checkRegionChanges 2017-01-13 00:50:57 +00:00
ExprEngineCallAndReturn.cpp [analyzer] Add checker callback for beginning of function. 2016-02-19 01:35:10 +00:00
ExprEngineObjC.cpp [analyzer] Add LocationContext as a parameter to checkRegionChanges 2017-01-13 00:50:57 +00:00
FunctionSummary.cpp
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] Fix MacOSXAPIChecker fp with static locals seen from nested blocks. 2017-01-25 10:21:45 +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] Extend taint propagation and checking to support LazyCompoundVal 2017-03-09 00:01:16 +00:00
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
SimpleConstraintManager.cpp [analyzer] Refactor and simplify SimpleConstraintManager 2017-02-25 04:51:31 +00:00
SimpleSValBuilder.cpp [analyzer] Add a new SVal to support pointer-to-member operations. 2016-12-15 21:27:06 +00:00
Store.cpp [analyzer] Model base to derived casts more precisely. 2016-08-08 09:22:59 +00:00
SubEngine.cpp
SymbolManager.cpp [analyzer] Print type for SymbolRegionValues when dumping to stream 2016-12-05 20:30:11 +00:00