Anna Zaks 8158ef0dec [analyzer] Be less pessimistic about invalidation of global variables ... as a result of a call. Problem: Global variables, which come in from system libraries should not be invalidated by all calls. Also, non-system globals should not be invalidated by system calls. Solution: The following solution to invalidation of globals seems flexible enough for taint (does not invalidate stdin) and should not lead to too many false positives. We split globals into 3 classes: * immutable - values are preserved by calls (unless the specific global is passed in as a parameter): A : Most system globals and const scalars * invalidated by functions defined in system headers: B: errno * invalidated by all other functions (note, these functions may in turn contain system calls): B: errno C: all other globals (which are not in A nor B) llvm-svn: 147569		2012-01-04 23:54:01 +00:00
..
AggExprVisitor.cpp	Switch assert(0/false) llvm_unreachable.	2011-09-23 05:06:16 +00:00
AnalysisManager.cpp	Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch	2011-12-20 02:48:34 +00:00
BasicConstraintManager.cpp	[analyzer] Remove TransferFuncs.h, then deal with the fallout.	2011-09-02 08:02:59 +00:00
BasicValueFactory.cpp	Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at.	2011-08-12 23:37:29 +00:00
BlockCounter.cpp	Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at.	2011-08-12 23:37:29 +00:00
BugReporter.cpp	Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch	2011-12-20 02:48:34 +00:00
BugReporterVisitors.cpp	Extend ConditionBRVisitor to handle condition variable assignments.	2012-01-04 08:18:09 +00:00
CMakeLists.txt	Update the CMake build for r146959's new files.	2011-12-20 08:42:15 +00:00
Checker.cpp	Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch	2011-12-20 02:48:34 +00:00
CheckerContext.cpp	[analyzer] Refactor checkers to use helper function for getting callee Decl and name.	2011-12-01 05:57:37 +00:00
CheckerHelpers.cpp	Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.	2011-02-10 01:03:03 +00:00
CheckerManager.cpp	[analyzer] Simplify CheckerContext	2011-10-25 19:57:06 +00:00
CheckerRegistry.cpp	[analyzer] Ensure that the order in which checker callbacks are called	2011-12-15 01:36:04 +00:00
CoreEngine.cpp	Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch	2011-12-20 02:48:34 +00:00
Environment.cpp	Move immutable map canonization out of the removeDeadBindings loop (via using ImmutableMapRef). Gives ~2% speedup.	2011-09-23 19:14:09 +00:00
ExplodedGraph.cpp	Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch	2011-12-20 02:48:34 +00:00
ExprEngine.cpp	[analyzer] Be less pessimistic about invalidation of global variables	2012-01-04 23:54:01 +00:00
ExprEngineC.cpp	Small refactoring and simplification of constant evaluation and some of its	2011-12-28 19:48:30 +00:00
ExprEngineCXX.cpp	[analyzer] Be less pessimistic about invalidation of global variables	2012-01-04 23:54:01 +00:00
ExprEngineCallAndReturn.cpp	[analyzer] Be less pessimistic about invalidation of global variables	2012-01-04 23:54:01 +00:00
ExprEngineObjC.cpp	[analyzer] Node builders cleanup + comments	2011-10-24 21:19:59 +00:00
HTMLDiagnostics.cpp	Renaming PathDiagnosticClients.h to PathDiagnosticConsumers.h (issue 5397)	2011-09-27 01:43:33 +00:00
Makefile	…
MemRegion.cpp	[analyzer] Be less pessimistic about invalidation of global variables	2012-01-04 23:54:01 +00:00
ObjCMessage.cpp	[analyzer] Do not invalidate arguments when the parameter's	2011-12-20 22:35:30 +00:00
PathDiagnostic.cpp	Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch	2011-12-20 02:48:34 +00:00
PlistDiagnostics.cpp	Renaming PathDiagnosticClients.h to PathDiagnosticConsumers.h (issue 5397)	2011-09-27 01:43:33 +00:00
ProgramState.cpp	[analyzer] Be less pessimistic about invalidation of global variables	2012-01-04 23:54:01 +00:00
RangeConstraintManager.cpp	[analyzer] Minor improvements on RangeConstraint pretty-printing.	2011-12-05 18:58:14 +00:00
RegionStore.cpp	[analyzer] Be less pessimistic about invalidation of global variables	2012-01-04 23:54:01 +00:00
SValBuilder.cpp	Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch	2011-12-20 02:48:34 +00:00
SVals.cpp	[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it	2011-12-06 23:12:33 +00:00
SimpleConstraintManager.cpp	[analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal	2011-12-05 18:58:30 +00:00
SimpleConstraintManager.h	[analyzer] Mark ConstraintManager::canReasonAbout as protected.	2011-12-05 21:33:06 +00:00
SimpleSValBuilder.cpp	[analyzer] Address Jordy's comments for r145985.	2011-12-15 21:33:26 +00:00
Store.cpp	[analyzer] Be less pessimistic about invalidation of global variables	2012-01-04 23:54:01 +00:00
SubEngine.cpp	Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch	2011-12-20 02:48:34 +00:00
SymbolManager.cpp	Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch	2011-12-20 02:48:34 +00:00
TextPathDiagnostics.cpp	Renaming PathDiagnosticClients.h to PathDiagnosticConsumers.h (issue 5397)	2011-09-27 01:43:33 +00:00