| .. |
|
AggExprVisitor.cpp
|
Begin reworking static analyzer support for C++ method calls. The current logic was divorced
|
2011-03-30 17:41:19 +00:00 |
|
AnalysisManager.cpp
|
[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs.
|
2011-07-28 23:07:59 +00:00 |
|
BasicConstraintManager.cpp
|
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
|
2011-07-23 10:55:15 +00:00 |
|
BasicValueFactory.cpp
|
A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.
|
2011-05-21 16:28:01 +00:00 |
|
BlockCounter.cpp
|
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
|
2011-02-10 01:03:03 +00:00 |
|
BugReporter.cpp
|
Rename getInstantiationLineNumber to getExpansionLineNumber in both
|
2011-07-25 21:09:52 +00:00 |
|
BugReporterVisitors.cpp
|
[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs.
|
2011-07-28 23:07:59 +00:00 |
|
CFRefCount.cpp
|
Rename getInstantiationLineNumber to getExpansionLineNumber in both
|
2011-07-25 21:09:52 +00:00 |
|
CMakeLists.txt
|
Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge.
|
2011-07-28 23:08:16 +00:00 |
|
CXXExprEngine.cpp
|
[analyzer] fix handling of MaterializeTemporaryExpr by binding the result value to
|
2011-07-28 23:07:36 +00:00 |
|
CheckerContext.cpp
|
[analyzer] Remove Checker V1.
|
2011-03-01 01:16:08 +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
|
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
|
2011-07-23 10:55:15 +00:00 |
|
CoreEngine.cpp
|
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
|
2011-07-23 10:55:15 +00:00 |
|
Environment.cpp
|
Remove an unused function (found by Clang's -Wunused-function)
|
2011-07-29 00:15:44 +00:00 |
|
ExplodedGraph.cpp
|
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
|
2011-07-23 10:55:15 +00:00 |
|
ExprEngine.cpp
|
[analyzer] Remove recursive visitation in ExprEngine::VisitCastExpr because it isn't needed anymore.
|
2011-07-29 21:18:37 +00:00 |
|
GRState.cpp
|
[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs.
|
2011-07-28 23:07:59 +00:00 |
|
HTMLDiagnostics.cpp
|
Rename getInstantiationLineNumber to getExpansionLineNumber in both
|
2011-07-25 21:09:52 +00:00 |
|
Makefile
|
[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.
|
2011-02-08 22:30:36 +00:00 |
|
MemRegion.cpp
|
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
|
2011-07-23 10:55:15 +00:00 |
|
ObjCMessage.cpp
|
[analyzer] Fix bug in ObjCMessage where casts were being incorrectly ignored.
|
2011-07-28 23:07:38 +00:00 |
|
PathDiagnostic.cpp
|
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
|
2011-07-23 10:55:15 +00:00 |
|
PlistDiagnostics.cpp
|
Rename getInstantiationLineNumber to getExpansionLineNumber in both
|
2011-07-25 21:09:52 +00:00 |
|
RangeConstraintManager.cpp
|
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
|
2011-07-23 10:55:15 +00:00 |
|
RegionStore.cpp
|
[analyzer] Add StoreManager::includedInBindings() to to query whether a region is used in any bindings.
|
2011-07-28 23:07:46 +00:00 |
|
SValBuilder.cpp
|
Improves the coding style in SValBuilder. This patch:
|
2011-03-01 00:45:32 +00:00 |
|
SVals.cpp
|
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
|
2011-07-23 10:55:15 +00:00 |
|
SimpleConstraintManager.cpp
|
A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.
|
2011-05-21 16:28:01 +00:00 |
|
SimpleConstraintManager.h
|
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
|
2011-02-10 01:03:03 +00:00 |
|
SimpleSValBuilder.cpp
|
[analyzer] When performing a binary operation on symbolic operands, we convert the symbol values to a common type. But in a relational operation, the result is an 'int' or 'bool', which may not be the appropriate type to convert the operands to. In these cases, use the left-hand operand's type as the conversion type.
|
2011-06-15 04:55:49 +00:00 |
|
Store.cpp
|
Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge.
|
2011-07-28 23:08:16 +00:00 |
|
SymbolManager.cpp
|
[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs.
|
2011-07-28 23:07:59 +00:00 |
|
TextPathDiagnostics.cpp
|
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
|
2011-07-23 10:55:15 +00:00 |
dc492c29f7