| .. |
|
AnalysisContext.cpp
|
Add destructor and cleanup code to LocationContext (fixing some leaks). Along the way, have
|
2009-10-20 21:39:41 +00:00 |
|
ArrayBoundChecker.cpp
|
Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal.
|
2009-11-12 02:48:32 +00:00 |
|
AttrNonNullChecker.cpp
|
Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCallChecker, making their implementations completely private.
|
2009-11-11 05:50:44 +00:00 |
|
BadCallChecker.cpp
|
Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCallChecker, making their implementations completely private.
|
2009-11-11 05:50:44 +00:00 |
|
BasicConstraintManager.cpp
|
Remove tabs, and whitespace cleanups.
|
2009-09-09 15:08:12 +00:00 |
|
BasicObjCFoundationChecks.cpp
|
Rename: StripCasts describes what it does better.
|
2009-11-10 02:17:20 +00:00 |
|
BasicObjCFoundationChecks.h
|
Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool release] in GC mode
|
2009-11-03 08:03:59 +00:00 |
|
BasicStore.cpp
|
Rename: StripCasts describes what it does better.
|
2009-11-10 02:17:20 +00:00 |
|
BasicValueFactory.cpp
|
Remove tabs, and whitespace cleanups.
|
2009-09-09 15:08:12 +00:00 |
|
BugReporter.cpp
|
Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding malloc() traffic when adding successors/predecessors to a node. This was done by introducing BumpVector, which is essentially SmallVector with all memory being BumpPtrAllocated (this can certainly be cleaned up or moved into llvm/ADT).
|
2009-10-07 00:42:52 +00:00 |
|
BugReporterVisitors.cpp
|
Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way
|
2009-09-11 22:07:28 +00:00 |
|
CFG.cpp
|
Remove stale comment and tighten code.
|
2009-10-20 23:59:28 +00:00 |
|
CFRefCount.cpp
|
Pull static variable within function (for slightly faster startup time).
|
2009-11-13 01:58:01 +00:00 |
|
CMakeLists.txt
|
Add clang-cc option "-analyzer-experimental-checks" to enable experimental path-sensitive checks. The idea is to separate "barely working" or "skunkworks" checks from ones that should always run. Later we need more fine-grain checker control.
|
2009-11-13 01:15:47 +00:00 |
|
CallGraph.cpp
|
make CallGraph more flexible by letting it accept ASTContext instead of ASTUnit.
|
2009-10-28 12:23:03 +00:00 |
|
CallInliner.cpp
|
Now we can call into another function with the CallInliner transfer function.
|
2009-10-13 02:36:42 +00:00 |
|
CastToStructChecker.cpp
|
CastToStructChecker: use 'isStructureType()' instead of 'isRecordType()' to determine if a pointer is casted to a struct pointer. This fixes an observed false positive when a value is casted to a union.
|
2009-11-11 06:43:42 +00:00 |
|
CheckDeadStores.cpp
|
Make AnalysisManager stateless. Now other analyzer components only depends on
|
2009-09-10 05:44:00 +00:00 |
|
CheckObjCDealloc.cpp
|
Fix checking for a null pointer constant when the expression itself is
|
2009-09-25 04:25:58 +00:00 |
|
CheckObjCInstMethSignature.cpp
|
Remove tabs, and whitespace cleanups.
|
2009-09-09 15:08:12 +00:00 |
|
CheckObjCUnusedIVars.cpp
|
Unused ivars checker: also check methods in categories that are defined in the same translation unit. Fixes <rdar://problem/6260004>.
|
2009-10-28 22:18:22 +00:00 |
|
CheckSecuritySyntaxOnly.cpp
|
Add check for obsolete function call of getpw().
|
2009-11-09 12:19:26 +00:00 |
|
CheckSizeofPointer.cpp
|
Ignore parentheses when check the type of the expr.
|
2009-11-10 08:33:44 +00:00 |
|
DereferenceChecker.cpp
|
Refactor DereferenceChecker to use only the new Checker API instead of
|
2009-11-11 03:26:34 +00:00 |
|
DivZeroChecker.cpp
|
Make the implementation of DivZeroChecker private.
|
2009-11-06 20:47:51 +00:00 |
|
Environment.cpp
|
Remove tabs, and whitespace cleanups.
|
2009-09-09 15:08:12 +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
|
Put all long strings in 80-col.
|
2009-11-09 07:29:39 +00:00 |
|
GRBlockCounter.cpp
|
Remove tabs, and whitespace cleanups.
|
2009-09-09 15:08:12 +00:00 |
|
GRCoreEngine.cpp
|
Refactor DereferenceChecker to use only the new Checker API instead of
|
2009-11-11 03:26:34 +00:00 |
|
GRExprEngine.cpp
|
Enhance Checker class (and GRExprEngine) to support PostVisitation for CallExprs. No clients (yet).
|
2009-11-12 04:35:08 +00:00 |
|
GRExprEngineExperimentalChecks.cpp
|
Add clang-cc option "-analyzer-experimental-checks" to enable experimental path-sensitive checks. The idea is to separate "barely working" or "skunkworks" checks from ones that should always run. Later we need more fine-grain checker control.
|
2009-11-13 01:15:47 +00:00 |
|
GRExprEngineExperimentalChecks.h
|
Add most of the boilerplate logic for a simple pthread_mutux_lock() -> pthread_mutex_unlock() checker. We need to add a visitor method to Checker for handling dead symbols in order to detect locks that are not unlocked.
|
2009-11-12 06:17:47 +00:00 |
|
GRExprEngineInternalChecks.cpp
|
Remove some stale ErrorNodes variables in GRExprEngine and the old buffer overflow logic in GRExprEngineInternalChecks.cpp.
|
2009-11-11 20:16:36 +00:00 |
|
GRExprEngineInternalChecks.h
|
Add undefined array subscript checker.
|
2009-11-11 13:42:54 +00:00 |
|
GRState.cpp
|
Remove obsolete 'struct NullDerefTag'.
|
2009-11-12 06:16:18 +00:00 |
|
LiveVariables.cpp
|
Fix clang's use of DenseMap iterators after r86636 fixed their constness.
|
2009-11-10 01:17:45 +00:00 |
|
Makefile
|
Installation of Clang libraries and headers, from Axel Naumann!
|
2009-10-08 22:15:31 +00:00 |
|
MallocChecker.cpp
|
Fix MSVC build.
|
2009-11-12 12:30:05 +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
|
Refine PointerSubChecker: compare the base region instead of the original
|
2009-11-10 02:37:53 +00:00 |
|
NSAutoreleasePoolChecker.cpp
|
Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool release] in GC mode
|
2009-11-03 08:03:59 +00:00 |
|
NSErrorChecker.cpp
|
Refactor DereferenceChecker to use only the new Checker API instead of
|
2009-11-11 03:26:34 +00:00 |
|
PathDiagnostic.cpp
|
Reintroduce FoldingSet profiling for PathDiagnostics.
|
2009-09-18 22:33:39 +00:00 |
|
PointerArithChecker.cpp
|
Add check for pointer arithmetic on non-array variables.
|
2009-11-09 13:23:31 +00:00 |
|
PointerSubChecker.cpp
|
Refine PointerSubChecker: compare the base region instead of the original
|
2009-11-10 02:37:53 +00:00 |
|
PthreadLockChecker.cpp
|
PthreadLockChecker doesn't need PreVisitCallExpr() yet. All the current logic should be done in PostVisitCallExpr()
|
2009-11-12 06:26:58 +00:00 |
|
RangeConstraintManager.cpp
|
Move the ManagerRegistry to the Analysis library to resolve the layering violation.
|
2009-11-11 19:10:59 +00:00 |
|
RegionStore.cpp
|
Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal.
|
2009-11-12 02:48:32 +00:00 |
|
ReturnPointerRangeChecker.cpp
|
Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal.
|
2009-11-12 02:48:32 +00:00 |
|
ReturnStackAddressChecker.cpp
|
static analyzer: refactor checking logic for returning the address of a stack variable or a garbage
|
2009-11-06 02:24:13 +00:00 |
|
ReturnUndefChecker.cpp
|
static analyzer: refactor checking logic for returning the address of a stack variable or a garbage
|
2009-11-06 02:24:13 +00:00 |
|
SVals.cpp
|
Rename: StripCasts describes what it does better.
|
2009-11-10 02:17:20 +00:00 |
|
SValuator.cpp
|
Now StoreManager::CastRegion() takes a MemRegion, returns a MemRegion.
|
2009-10-14 06:55:01 +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
|
Fix another static analyzer crash due to a corner case in "folding" symbolic values that are constrained to be a constant.
|
2009-10-17 07:39:35 +00:00 |
|
Store.cpp
|
Rename: StripCasts describes what it does better.
|
2009-11-10 02:17:20 +00:00 |
|
SymbolManager.cpp
|
Remove tabs, and whitespace cleanups.
|
2009-09-09 15:08:12 +00:00 |
|
UndefinedArgChecker.cpp
|
Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCallChecker, making their implementations completely private.
|
2009-11-11 05:50:44 +00:00 |
|
UndefinedArraySubscriptChecker.cpp
|
Add undefined array subscript checker.
|
2009-11-11 13:42:54 +00:00 |
|
UndefinedAssignmentChecker.cpp
|
Minor cleanup: use BuiltinBug (which will soon be renamed) for DeferenceChecker and friends so that they always report the same bug type.
|
2009-11-06 00:44:32 +00:00 |
|
UninitializedValues.cpp
|
Remove tabs, and whitespace cleanups.
|
2009-09-09 15:08:12 +00:00 |
|
VLASizeChecker.cpp
|
Make sure that Type::getAs<ArrayType>() (or Type::getAs<subclass of
|
2009-11-09 22:08:55 +00:00 |
|
ValueManager.cpp
|
Fix:
|
2009-09-27 20:45:21 +00:00 |
3c55718016