| .. |
|
BasicConstraintManager.cpp
|
Remove uses of std::ostream from libAnalysis.
|
2009-06-24 23:06:47 +00:00 |
|
BasicObjCFoundationChecks.cpp
|
Add basic checking for passing NULL to CFRetain/CFRelease, since those functions
|
2009-07-14 00:43:42 +00:00 |
|
BasicObjCFoundationChecks.h
|
Add basic checking for passing NULL to CFRetain/CFRelease, since those functions
|
2009-07-14 00:43:42 +00:00 |
|
BasicStore.cpp
|
Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream.
|
2009-07-13 23:53:06 +00:00 |
|
BasicValueFactory.cpp
|
analyzer infrastructure: make a bunch of changes to symbolic expressions that
|
2009-03-26 03:35:11 +00:00 |
|
BugReporter.cpp
|
Remove the ASTContext parameter from the getBody() methods of Decl and subclasses.
|
2009-06-30 02:35:26 +00:00 |
|
CFRefCount.cpp
|
This patch includes a conceptually simple, but very intrusive/pervasive change.
|
2009-07-10 23:34:53 +00:00 |
|
CMakeLists.txt
|
Introduce a new concept to the static analyzer: SValuator.
|
2009-06-26 00:05:51 +00:00 |
|
CheckDeadStores.cpp
|
Remove the ASTContext parameter from the attribute-related methods of Decl.
|
2009-06-30 02:34:44 +00:00 |
|
CheckNSError.cpp
|
This patch includes a conceptually simple, but very intrusive/pervasive change.
|
2009-07-10 23:34:53 +00:00 |
|
CheckObjCDealloc.cpp
|
De-ASTContext-ify DeclContext.
|
2009-06-30 02:36:12 +00:00 |
|
CheckObjCInstMethSignature.cpp
|
Introduce Type::isAnyPointerType() and convert all clients (suggested by Chris).
|
2009-07-14 18:25:06 +00:00 |
|
CheckObjCUnusedIVars.cpp
|
remove dead code.
|
2009-06-30 07:50:26 +00:00 |
|
Environment.cpp
|
add fixme.
|
2009-07-01 02:12:57 +00:00 |
|
ExplodedGraph.cpp
|
Use the correct data structures!
|
2009-03-12 23:41:59 +00:00 |
|
GRBlockCounter.cpp
|
Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead.
|
2008-07-07 16:21:19 +00:00 |
|
GRCoreEngine.cpp
|
Delete extra whitespaces.
|
2009-07-15 09:04:01 +00:00 |
|
GRExprEngine.cpp
|
Instead of recovering from a wrong invalidation, this patch aims to
|
2009-07-14 01:12:46 +00:00 |
|
GRExprEngineInternalChecks.cpp
|
Remove the ASTContext parameter from the attribute-related methods of Decl.
|
2009-06-30 02:34:44 +00:00 |
|
GRState.cpp
|
Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream.
|
2009-07-13 23:53:06 +00:00 |
|
LiveVariables.cpp
|
Instead of r74522, use another approach to fix xfail_regionstore_wine_crash.c.
|
2009-06-30 13:00:53 +00:00 |
|
Makefile
|
Build system changes to use TableGen to generate the various
|
2009-03-16 23:06:59 +00:00 |
|
MemRegion.cpp
|
Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream.
|
2009-07-13 23:53:06 +00:00 |
|
PathDiagnostic.cpp
|
Remove '#include <sstream>' from libAnalysis.
|
2009-06-26 00:43:22 +00:00 |
|
RangeConstraintManager.cpp
|
Remove uses of std::ostream from libAnalysis.
|
2009-06-24 23:06:47 +00:00 |
|
RegionStore.cpp
|
Enhance RegionStore's reasoning about Objective-C ivars. More testing to follow.
|
2009-07-15 06:09:28 +00:00 |
|
SVals.cpp
|
Tweak pretty-printing of CompoundVal to make it more useful for debugging.
|
2009-07-14 20:21:36 +00:00 |
|
SimpleConstraintManager.cpp
|
Remove GRStateManager& field from SimpleConstraintManager.
|
2009-06-18 23:20:05 +00:00 |
|
SimpleConstraintManager.h
|
Remove GRStateManager& field from SimpleConstraintManager.
|
2009-06-18 23:20:05 +00:00 |
|
SimpleSValuator.cpp
|
Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case
|
2009-07-13 21:55:12 +00:00 |
|
Store.cpp
|
rewrite the logic to make it follow the comments more closely.
|
2009-07-15 06:21:18 +00:00 |
|
SymbolManager.cpp
|
Introduced the notion of a "derived symbol" using the class SymbolDerived.
|
2009-07-15 02:27:32 +00:00 |
|
UninitializedValues.cpp
|
rename some methods.
|
2009-03-28 06:33:19 +00:00 |
|
ValueManager.cpp
|
Introduced the notion of a "derived symbol" using the class SymbolDerived.
|
2009-07-15 02:27:32 +00:00 |
69cc15e97f