| .. |
|
AdjustedReturnValueChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
AggExprVisitor.cpp
|
Improve C++ constructor handling.
|
2010-04-01 03:47:27 +00:00 |
|
AnalysisConsumer.cpp
|
Introduce Decl::hasBody() and FunctionDecl::hasBody() and use them instead of getBody() when we are just checking the existence of a body, to avoid de-serialization of the body from PCH.
|
2010-07-07 11:31:19 +00:00 |
|
ArrayBoundChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
AttrNonNullChecker.cpp
|
If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash).
|
2010-06-21 20:08:28 +00:00 |
|
BasicConstraintManager.cpp
|
Fold additive constants, and support comparsions of the form $sym+const1 <> const2
|
2010-06-18 22:49:11 +00:00 |
|
BasicObjCFoundationChecks.cpp
|
Improve NULL-checking for CFRetain/CFRelease. We now remember that the argument was non-NULL, and we report where the null assumption came from (like AttrNonNullChecker already did).
|
2010-07-06 02:34:42 +00:00 |
|
BasicObjCFoundationChecks.h
|
Improve NULL-checking for CFRetain/CFRelease. We now remember that the argument was non-NULL, and we report where the null assumption came from (like AttrNonNullChecker already did).
|
2010-07-06 02:34:42 +00:00 |
|
BasicStore.cpp
|
Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables
|
2010-07-01 20:16:50 +00:00 |
|
BasicValueFactory.cpp
|
Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to
|
2010-02-05 02:26:30 +00:00 |
|
BugReporter.cpp
|
Remove Decl::getCompoundBody().
|
2010-07-07 11:31:34 +00:00 |
|
BugReporterVisitors.cpp
|
Overhaul the AST representation of Objective-C message send
|
2010-04-21 00:45:42 +00:00 |
|
BuiltinFunctionChecker.cpp
|
Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals.
|
2010-07-04 00:00:41 +00:00 |
|
CFRefCount.cpp
|
Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables
|
2010-07-01 20:16:50 +00:00 |
|
CMakeLists.txt
|
Add a new path-sensitive checker for functions in <string.h>, for both null-terminated strings and memory blocks. Currently only checks memcpy(), memmove(), and bcopy(), but this is intended to be expanded soon.
|
2010-07-06 23:11:01 +00:00 |
|
CStringChecker.cpp
|
Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero sizes.
|
2010-07-08 23:57:29 +00:00 |
|
CallAndMessageChecker.cpp
|
Introduce Type::isStructureOrClassType(), which does the obvious
|
2010-04-26 21:31:17 +00:00 |
|
CallInliner.cpp
|
Introduce Decl::hasBody() and FunctionDecl::hasBody() and use them instead of getBody() when we are just checking the existence of a body, to avoid de-serialization of the body from PCH.
|
2010-07-07 11:31:19 +00:00 |
|
CastSizeChecker.cpp
|
Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals.
|
2010-07-04 00:00:41 +00:00 |
|
CastToStructChecker.cpp
|
Introduce Type::isStructureOrClassType(), which does the obvious
|
2010-04-26 21:31:17 +00:00 |
|
CheckDeadStores.cpp
|
Tweak dead stores checker to not emit a warning when initialization
|
2010-03-18 01:22:39 +00:00 |
|
CheckObjCDealloc.cpp
|
Add clang support for IBOutletCollection.
|
2010-05-19 17:38:06 +00:00 |
|
CheckObjCInstMethSignature.cpp
|
Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream.
|
2010-04-17 09:33:03 +00:00 |
|
CheckSecuritySyntaxOnly.cpp
|
Type Type::isRealFloatingType() that vectors are not floating-point
|
2010-06-22 23:07:26 +00:00 |
|
CheckSizeofPointer.cpp
|
Move 'LocalCheckers.h' to the 'Checkers' subdirectory.
|
2010-01-26 22:59:55 +00:00 |
|
Checker.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
CocoaConventions.cpp
|
Reapply r95546, no intended change in performance or functionality.
|
2010-02-08 18:38:55 +00:00 |
|
DereferenceChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
DivZeroChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
Environment.cpp
|
Add an ivar to SymbolReaper for the current statement, and then stop passing the current statement around everywhere. Preparation for symbolic extents.
|
2010-07-01 20:09:55 +00:00 |
|
ExplodedGraph.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
FixedAddressChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
FlatStore.cpp
|
Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables
|
2010-07-01 20:16:50 +00:00 |
|
FrontendActions.cpp
|
Break Frontend's dependency on Rewrite, Checker and CodeGen in shared library configuration
|
2010-06-15 17:48:49 +00:00 |
|
GRBlockCounter.cpp
|
Since we now may have basicblocks with the same block is in different function,
|
2010-03-23 05:05:02 +00:00 |
|
GRCXXExprEngine.cpp
|
Make -analyzer-inline-call not a separate analysis. Instead it's a boolean
|
2010-05-06 02:59:29 +00:00 |
|
GRCoreEngine.cpp
|
Tweaker Checker::VisitEndAnalysis to have 'hasWorkRemaining' also
|
2010-06-29 21:58:54 +00:00 |
|
GRExprEngine.cpp
|
Reinstate the fix for PR7556. A silly use of isTrivial() was
|
2010-07-08 06:14:04 +00:00 |
|
GRExprEngineExperimentalChecks.cpp
|
Add a new path-sensitive checker for functions in <string.h>, for both null-terminated strings and memory blocks. Currently only checks memcpy(), memmove(), and bcopy(), but this is intended to be expanded soon.
|
2010-07-06 23:11:01 +00:00 |
|
GRExprEngineExperimentalChecks.h
|
Add a new path-sensitive checker for functions in <string.h>, for both null-terminated strings and memory blocks. Currently only checks memcpy(), memmove(), and bcopy(), but this is intended to be expanded soon.
|
2010-07-06 23:11:01 +00:00 |
|
GRExprEngineInternalChecks.h
|
Merge StackAddrLeakChecker and ReturnStackAddressChecker.
|
2010-06-09 06:08:24 +00:00 |
|
GRState.cpp
|
Remove the now-unused GRState::isEqual method. Instead of asking if an expression equals a certain value, use SValuator::EvalEQ and GRState::Assume to see if it can, must, or must not equal that value.
|
2010-07-06 04:12:24 +00:00 |
|
HTMLDiagnostics.cpp
|
llvm::errs() is non-buffered, so it doesn't need to be flushed.
|
2010-06-28 15:56:07 +00:00 |
|
IdempotentOperationChecker.cpp
|
Change explicit handling of impossible condition to call llvm_unreachable in IdempotentOperationChecker::PreVisitBinaryOperator.
|
2010-07-07 01:27:17 +00:00 |
|
LLVMConventionsChecker.cpp
|
Introduce Decl::hasBody() and FunctionDecl::hasBody() and use them instead of getBody() when we are just checking the existence of a body, to avoid de-serialization of the body from PCH.
|
2010-07-07 11:31:19 +00:00 |
|
MacOSXAPIChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
Makefile
|
Makefiles: Set Clang CPP compiler flags in a single location, instead of scattered throughout the project Makefiles.
|
2010-06-08 20:44:43 +00:00 |
|
MallocChecker.cpp
|
Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals.
|
2010-07-04 00:00:41 +00:00 |
|
ManagerRegistry.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
MemRegion.cpp
|
Implement dumpToStream() for NonStaticGlobalSpaceRegion and StaticGlobalSpaceRegion.
|
2010-07-06 23:37:21 +00:00 |
|
NSAutoreleasePoolChecker.cpp
|
Overhaul the AST representation of Objective-C message send
|
2010-04-21 00:45:42 +00:00 |
|
NSErrorChecker.cpp
|
Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream.
|
2010-04-17 09:33:03 +00:00 |
|
NoReturnFunctionChecker.cpp
|
the big refactoring bits of PR3782.
|
2010-03-30 20:24:48 +00:00 |
|
OSAtomicChecker.cpp
|
add comments.
|
2010-06-23 02:12:00 +00:00 |
|
ObjCUnusedIVarsChecker.cpp
|
Add clang support for IBOutletCollection.
|
2010-05-19 17:38:06 +00:00 |
|
PathDiagnostic.cpp
|
Simplify code and remove comment that is no longer relevant.
|
2010-07-07 12:24:14 +00:00 |
|
PlistDiagnostics.cpp
|
Break Frontend's dependency on Rewrite, Checker and CodeGen in shared library configuration
|
2010-06-15 17:48:49 +00:00 |
|
PointerArithChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
PointerSubChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
PthreadLockChecker.cpp
|
Revert 95541.
|
2010-02-08 16:18:51 +00:00 |
|
RangeConstraintManager.cpp
|
Fold additive constants, and support comparsions of the form $sym+const1 <> const2
|
2010-06-18 22:49:11 +00:00 |
|
RegionStore.cpp
|
Fix casts in RegionStore to not always assume that bindings are only to SubRegions. Fixes assertion failure
|
2010-07-06 23:53:29 +00:00 |
|
ReturnPointerRangeChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
ReturnUndefChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
SVals.cpp
|
Added a path-sensitive idempotent operation checker (-analyzer-idempotent-operation). Finds idempotent and/or tautological operations in a path sensitive context, flagging operations that have no effect or a predictable effect.
|
2010-07-06 21:43:29 +00:00 |
|
SValuator.cpp
|
Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL().
|
2010-06-28 08:26:15 +00:00 |
|
SimpleConstraintManager.cpp
|
Implicitly compare symbolic expressions to zero when they're being used as constraints. Part of PR7491.
|
2010-06-27 01:20:56 +00:00 |
|
SimpleConstraintManager.h
|
Fold additive constants, and support comparsions of the form $sym+const1 <> const2
|
2010-06-18 22:49:11 +00:00 |
|
SimpleSValuator.cpp
|
Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals.
|
2010-07-04 00:00:41 +00:00 |
|
StackAddrLeakChecker.cpp
|
Tweak stack address checker to report multiple cases where globals may reference stack memory.
|
2010-06-17 04:21:37 +00:00 |
|
Store.cpp
|
Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables
|
2010-07-01 20:16:50 +00:00 |
|
StreamChecker.cpp
|
Return null pointer instead of 'false' (fixes clang warning).
|
2010-06-24 16:26:12 +00:00 |
|
SymbolManager.cpp
|
Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals.
|
2010-07-04 00:00:41 +00:00 |
|
UndefBranchChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
UndefCapturedBlockVarChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
UndefResultChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
UndefinedArraySubscriptChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
UndefinedAssignmentChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
UnixAPIChecker.cpp
|
Remove copy of 'Optional' in Clang tree, and convert clients to use the one now in the LLVM tree.
|
2010-04-09 20:26:58 +00:00 |
|
VLASizeChecker.cpp
|
Add comment noting VLASizeChecker's duty in defining a VLA's extent.
|
2010-07-06 23:33:54 +00:00 |
|
ValueManager.cpp
|
Since now we store the cast type with an ElementRegion, there is
|
2010-03-01 06:56:52 +00:00 |
d5d2e50f3e