Ted Kremenek 08b434f450 Allow 'Environment::getSVal()' to allow an optional way for checkers to do a direct lookup to values bound to expressions, without ...

resulting to lazy logic.  This is critical for the OSAtomicChecker that does a simulated load on any arbitrary expression.

llvm-svn: 130292

2011-04-27 05:34:09 +00:00

..

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

Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.

2011-02-10 01:03:03 +00:00

BasicConstraintManager.cpp

Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.

2011-02-10 01:03:03 +00:00

BasicStore.cpp

Don't add a symbolic region for 'this' if the member function is static.

2011-03-26 14:30:44 +00:00

BasicValueFactory.cpp

#include Store.h into BasicValueFactory.cpp to provide definitions of StoreRef constructor.

2011-03-08 23:39:37 +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

fix a bunch of comment typos found by codespell. Patch by

2011-04-15 05:22:18 +00:00

BugReporterVisitors.cpp

Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.

2011-02-10 01:03:03 +00:00

CFRefCount.cpp

fix a bunch of comment typos found by codespell. Patch by

2011-04-15 05:22:18 +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

[analyzer] Run the ExprEngine depending on the CheckerManager having path-sensitive checkers.

2011-02-28 19:49:17 +00:00

CMakeLists.txt

Sort

2011-03-14 21:20:46 +00:00

CoreEngine.cpp

Remove unused STL header includes.

2011-04-23 19:53:52 +00:00

CXXExprEngine.cpp

fix a bunch of comment typos found by codespell. Patch by

2011-04-15 05:22:18 +00:00

Environment.cpp

Allow 'Environment::getSVal()' to allow an optional way for checkers to do a direct lookup to values bound to expressions, without

2011-04-27 05:34:09 +00:00

ExplodedGraph.cpp

fix a bunch of comment typos found by codespell. Patch by

2011-04-15 05:22:18 +00:00

ExprEngine.cpp

t/clang/expr-traits

2011-04-25 06:54:41 +00:00

FlatStore.cpp

[analyzer] ExprEngine should not depend on checkers for not crashing.

2011-02-28 01:27:57 +00:00

GRState.cpp

Change 'StoreRef' back to 'Store' in GRState, shrinking the size of GRState back by one pointer.

2011-02-19 03:56:19 +00:00

HTMLDiagnostics.cpp

Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.

2011-02-10 01:03:03 +00:00

Makefile

…

MemRegion.cpp

Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.

2011-02-10 01:03:03 +00:00

ObjCMessage.cpp

C++ static analysis: also invalidate fields of objects that are the callees in C++ method calls.

2011-04-11 22:22:05 +00:00

PathDiagnostic.cpp

Change the representation of GNU ?: expressions to use a different expression

2011-02-17 10:25:35 +00:00

PlistDiagnostics.cpp

Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.

2011-02-10 01:03:03 +00:00

RangeConstraintManager.cpp

[analyzer] Remove ManagerRegistry which is not used. In the future we may load analyzer plugins dynamically but

2011-02-14 18:13:17 +00:00

RegionStore.cpp

RegionStoreManager::invalidateRegions: treat classes the same as structs.

2011-04-12 00:44:31 +00:00

SimpleConstraintManager.cpp

[analyzer] Remove Checker V1.

2011-03-01 01:16:08 +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

Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '++' pointer arithmetic.

2011-04-12 03:49:37 +00:00

Store.cpp

Improves the coding style in SValBuilder. This patch:

2011-03-01 00:45:32 +00:00

SValBuilder.cpp

Improves the coding style in SValBuilder. This patch:

2011-03-01 00:45:32 +00:00

SVals.cpp

[analyzer] Remove SVal::getAsVarDecl() and reason about MemRegions, not Decls. Suggestion by Ted!

2011-03-01 01:47:48 +00:00

SymbolManager.cpp

Makes most methods in SVals.h conform to the naming guide. Reviewed

2011-02-16 21:13:32 +00:00

TextPathDiagnostics.cpp

Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.

2011-02-10 01:03:03 +00:00