maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/lib/StaticAnalyzer/Core
History
Artem Dergachev 55705955ce [analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks. 
This is an attempt to avoid new false positives caused by the reverted r292800,
however the scope of the fix is significantly reduced - some variables are still
in incorrect memory spaces.

Relevant test cases added.

rdar://problem/30105546
rdar://problem/30156693
Differential revision: https://reviews.llvm.org/D28946

llvm-svn: 293043
 		2017-01-25 10:21:45 +00:00
..
APSIntType.cpp
…
AnalysisManager.cpp [analyzer] Apply whitespace cleanups by Honggyu Kim. 2015-09-08 03:50:52 +00:00
AnalyzerOptions.cpp Add a method to get the list of registered static analyzer checkers. 2016-11-08 07:23:32 +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 Reapply r251621 "[Analyzer] Widening loops which do not exit" 2015-10-30 15:23:57 +00:00
CallEvent.cpp [analyzer] Support inlining of '[self classMethod]' and '[[self class] classMethod]' 2017-01-13 00:50:47 +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 Roll-back r250822. 2015-10-20 13:23:58 +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 [analyzer] Add LocationContext as a parameter to checkRegionChanges 2017-01-13 00:50:57 +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] Run clang-format and fix style 2016-12-13 01:40:41 +00:00
RegionStore.cpp [analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks. 2017-01-25 10:21:45 +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 Fix for PR15623 (corrected r290413 reverted at 290415). The patch eliminates unwanted ProgramState checker data propagation from an operand of the logical operation to operation result. 2016-12-25 00:57:51 +00:00
SimpleConstraintManager.h [analyzer] Run clang-format and fix style 2016-12-13 01:40:41 +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