| .. |
|
AnalysisContext.cpp
|
Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>.
|
2009-12-11 06:43:27 +00:00 |
|
ArrayBoundChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
AttrNonNullChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
BasicConstraintManager.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
BasicObjCFoundationChecks.cpp
|
Kill some unnecessary calls to c_str().
|
2009-11-29 18:03:28 +00:00 |
|
BasicObjCFoundationChecks.h
|
Remove unneeded includes.
|
2009-11-28 09:41:31 +00:00 |
|
BasicStore.cpp
|
Add analysis support for blocks. This includes a few key changes:
|
2009-12-07 22:05:27 +00:00 |
|
BasicValueFactory.cpp
|
Remove tabs, and whitespace cleanups.
|
2009-09-09 15:08:12 +00:00 |
|
BugReporter.cpp
|
Teach 'ExecutionContinues' (part of BugReporter's diagnostic generation) about BlockDecls.
|
2009-12-04 20:34:31 +00:00 |
|
BugReporterVisitors.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
BuiltinFunctionChecker.cpp
|
Refactor builtin function evaluation into a checker.
|
2009-12-08 09:07:59 +00:00 |
|
CFG.cpp
|
Include BlockDeclRefExprs in constructed CFGs.
|
2009-12-04 20:33:25 +00:00 |
|
CFRefCount.cpp
|
Add analysis support for blocks. This includes a few key changes:
|
2009-12-07 22:05:27 +00:00 |
|
CMakeLists.txt
|
Refactor OSAtomic evaluation logic into OSAtomicChecker.
|
2009-12-09 12:23:28 +00:00 |
|
CallAndMessageChecker.cpp
|
Hard bifurcate the state into nil receiver and non-nil receiver, so that
|
2009-12-02 05:49:12 +00:00 |
|
CallInliner.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
CastToStructChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
CheckDeadStores.cpp
|
Add a heuristic to the dead stores checker to prune dead stores for variables annotated with '__block'. This is overly conservative, but now the analyzer doesn't report dead stores for variables that can be updated by a block call.
|
2009-12-03 00:46:16 +00:00 |
|
CheckObjCDealloc.cpp
|
Port BugReporter and BugType to StringRef.
|
2009-11-29 18:27:55 +00:00 |
|
CheckObjCInstMethSignature.cpp
|
Port BugReporter and BugType to StringRef.
|
2009-11-29 18:27:55 +00:00 |
|
CheckObjCUnusedIVars.cpp
|
Port BugReporter and BugType to StringRef.
|
2009-11-29 18:27:55 +00:00 |
|
CheckSecuritySyntaxOnly.cpp
|
Add security syntactic checker for mktemp.
|
2009-12-03 09:15:23 +00:00 |
|
CheckSizeofPointer.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
Checker.cpp
|
Rename instance variable to avoid name conflict with parameters, and modify addTransition() to compare the correct state values.
|
2009-12-04 06:57:49 +00:00 |
|
DereferenceChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
DivZeroChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
Environment.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
ExplodedGraph.cpp
|
Fix clang's use of DenseMap iterators after r86636 fixed their constness.
|
2009-11-10 01:17:45 +00:00 |
|
FixedAddressChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
GRBlockCounter.cpp
|
Remove tabs, and whitespace cleanups.
|
2009-09-09 15:08:12 +00:00 |
|
GRCoreEngine.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
GRExprEngine.cpp
|
Refactor OSAtomic evaluation logic into OSAtomicChecker.
|
2009-12-09 12:23:28 +00:00 |
|
GRExprEngineExperimentalChecks.cpp
|
Make FixedAddressChecker and experimental check; it currently produces a ton of false positives when analyzing some projects (e.g., Wine).
|
2009-11-21 17:55:24 +00:00 |
|
GRExprEngineExperimentalChecks.h
|
Hook up Malloc checker.
|
2009-11-13 07:25:27 +00:00 |
|
GRExprEngineInternalChecks.h
|
Refactor OSAtomic evaluation logic into OSAtomicChecker.
|
2009-12-09 12:23:28 +00:00 |
|
GRState.cpp
|
Fix early-return logic in scanReachableSymbols() to match the rest of the recursive logic in the methods of ScanReachableSymbols.
|
2009-12-01 17:50:25 +00:00 |
|
LiveVariables.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
Makefile
|
Installation of Clang libraries and headers, from Axel Naumann!
|
2009-10-08 22:15:31 +00:00 |
|
MallocChecker.cpp
|
Completely evaluate malloc/free in MallocChecker.cpp.
|
2009-12-11 03:09:01 +00:00 |
|
ManagerRegistry.cpp
|
After drinking caffeine, add the two files missing from the previous submit.
|
2009-11-11 19:43:37 +00:00 |
|
MemRegion.cpp
|
Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>.
|
2009-12-11 06:43:27 +00:00 |
|
NSAutoreleasePoolChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
NSErrorChecker.cpp
|
Port BugReporter and BugType to StringRef.
|
2009-11-29 18:27:55 +00:00 |
|
NoReturnFunctionChecker.cpp
|
Add EvalCallExpr interface to checker, and migrate the no-return function
|
2009-12-07 09:17:35 +00:00 |
|
OSAtomicChecker.cpp
|
Fix null dereference in OSAtomicChecker and special case SymbolicRegions. We still aren't handling them correctly; I've added to failing test cases to test/Analysis/NSString-failed-cases.m that should pass and then be merged in to test/Analysis/NSString.m.
|
2009-12-09 23:29:55 +00:00 |
|
PathDiagnostic.cpp
|
Reintroduce FoldingSet profiling for PathDiagnostics.
|
2009-09-18 22:33:39 +00:00 |
|
PointerArithChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
PointerSubChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
PthreadLockChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
RangeConstraintManager.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
RegionStore.cpp
|
Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>.
|
2009-12-11 06:43:27 +00:00 |
|
ReturnPointerRangeChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
ReturnStackAddressChecker.cpp
|
Cleanup includes and forward decls.
|
2009-11-28 10:50:44 +00:00 |
|
ReturnUndefChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
SVals.cpp
|
Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks.
|
2009-11-25 01:32:22 +00:00 |
|
SValuator.cpp
|
First part of changes to eliminate problems with cv-qualifiers and
|
2009-11-16 21:35:15 +00:00 |
|
SimpleConstraintManager.cpp
|
Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers.
|
2009-09-25 00:18:15 +00:00 |
|
SimpleConstraintManager.h
|
Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way
|
2009-09-11 22:07:28 +00:00 |
|
SimpleSValuator.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
Store.cpp
|
Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>.
|
2009-12-11 06:43:27 +00:00 |
|
SymbolManager.cpp
|
Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion).
|
2009-12-04 20:32:20 +00:00 |
|
UndefBranchChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
UndefResultChecker.cpp
|
Kill some unnecessary calls to c_str().
|
2009-11-29 18:03:28 +00:00 |
|
UndefinedArraySubscriptChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
UndefinedAssignmentChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
UninitializedValues.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
VLASizeChecker.cpp
|
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
|
2009-11-28 06:07:30 +00:00 |
|
ValueManager.cpp
|
Add analysis support for blocks. This includes a few key changes:
|
2009-12-07 22:05:27 +00:00 |
2b87ae45e1