| .. |
|
AdjustedReturnValueChecker.cpp
|
MemRegion can refer to ASTContext without external help.
|
2010-08-11 06:10:55 +00:00 |
|
AggExprVisitor.cpp
|
Now initializer of C++ record type is visited as block-level expr.
|
2010-11-01 09:09:44 +00:00 |
|
AnalysisConsumer.cpp
|
Make Clang static analyzer skip function template definitions. This fixes Clang PR 8426, 8427, & 8433. Reviewed by Ted Kremenek and Doug Gregor.
|
2010-10-31 04:22:34 +00:00 |
|
AnalysisManager.cpp
|
Reapply r108617.
|
2010-07-19 01:31:21 +00:00 |
|
AnalyzerStatsChecker.cpp
|
AnalyzerStatsChecker improvements:
|
2010-09-29 23:48:34 +00:00 |
|
ArrayBoundChecker.cpp
|
do not bind temporaries to non-const references
|
2010-09-09 10:51:37 +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
|
Move classes into anonymous namespaces.
|
2010-10-22 16:33:16 +00:00 |
|
BasicObjCFoundationChecks.h
|
Convert GRSimpleAPIChecks in BasicObjCFoundationChecks to be Checkers.
|
2010-10-20 23:38:56 +00:00 |
|
BasicStore.cpp
|
De-memberify the VarDecl and FunctionDecl StorageClass enums.
|
2010-08-26 03:08:43 +00:00 |
|
BasicValueFactory.cpp
|
GCC didn't care for my attempt at API compatibility, so brute-force everything
|
2010-08-25 11:45:40 +00:00 |
|
BugReporter.cpp
|
Refactored BugReporter to refer to EndNode as ErrorNode. We currently make the assumption that EndNode == ErrorNode, but upcoming changes will break this.
|
2010-09-16 03:50:38 +00:00 |
|
BugReporterVisitors.cpp
|
Reapply 112850 and 112839 with a constructor for the BinaryOperatorData struct. Clang would zero out the enum and pointer in the struct in some conditions, but GCC would never zero out the values.
|
2010-09-02 23:30:22 +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
|
Tweak retain/release checker diagnostics to specify a leak occurs because an object is not referenced later in the path,
|
2010-10-15 22:50:23 +00:00 |
|
CMakeLists.txt
|
Unbreak the CMake build.
|
2010-10-10 09:17:09 +00:00 |
|
CStringChecker.cpp
|
Teach the CStringChecker and PthreadLockChecker about non-identifier
|
2010-11-01 23:16:05 +00:00 |
|
CallAndMessageChecker.cpp
|
Tweak nil receiver checker to not warning about 64-bit return values.
|
2010-09-30 00:37:10 +00:00 |
|
CastSizeChecker.cpp
|
Don't assert in CastSizeChecker when the casted-to pointee is an incomplete type. Fixes PR 8050.
|
2010-09-01 20:35:38 +00:00 |
|
CastToStructChecker.cpp
|
Introduce Type::isStructureOrClassType(), which does the obvious
|
2010-04-26 21:31:17 +00:00 |
|
CheckDeadStores.cpp
|
GCC didn't care for my attempt at API compatibility, so brute-force everything
|
2010-08-25 11:45:40 +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
|
GCC didn't care for my attempt at API compatibility, so brute-force everything
|
2010-08-25 11:45:40 +00:00 |
|
CheckSizeofPointer.cpp
|
Move 'LocalCheckers.h' to the 'Checkers' subdirectory.
|
2010-01-26 22:59:55 +00:00 |
|
Checker.cpp
|
…
|
|
|
CheckerHelpers.cpp
|
Zap unused UnaryOperator::OffsetOf.
|
2010-08-13 01:36:11 +00:00 |
|
ChrootChecker.cpp
|
comment out unused function
|
2010-10-11 05:38:10 +00:00 |
|
CocoaConventions.cpp
|
Correctly handle 'Class<...>' when examining Cocoa conventions in the static analyzer. Fixes a crash reported in <rdar://problem/8272168>. Patch by Henry Mason!
|
2010-08-05 00:19:24 +00:00 |
|
DereferenceChecker.cpp
|
Tweak null dereference checker to give better diagnostics for null dereferences resulting from array accesses.
|
2010-10-26 00:06:13 +00:00 |
|
DivZeroChecker.cpp
|
GCC didn't care for my attempt at API compatibility, so brute-force everything
|
2010-08-25 11:45:40 +00:00 |
|
Environment.cpp
|
Add optional record of "location" SVals in the environment. When we analyzing loads/stores, we lose the location SVal, which makes it difficult to recover in some cases (e.g., for post diagnostics). This is prep for pending changes to GRExprEngine.
|
2010-09-03 01:07:02 +00:00 |
|
ExplodedGraph.cpp
|
…
|
|
|
FixedAddressChecker.cpp
|
GCC didn't care for my attempt at API compatibility, so brute-force everything
|
2010-08-25 11:45:40 +00:00 |
|
FlatStore.cpp
|
- Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking.
|
2010-08-16 01:15:17 +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
|
Now initializer of C++ record type is visited as block-level expr.
|
2010-11-01 09:09:44 +00:00 |
|
GRCoreEngine.cpp
|
Remove unused variable.
|
2010-10-21 04:00:51 +00:00 |
|
GRExprEngine.cpp
|
Now initializer of C++ record type is visited as block-level expr.
|
2010-11-01 09:09:44 +00:00 |
|
GRExprEngineExperimentalChecks.cpp
|
Add experimental chroot check which checks improper use of chroot(). Patch by
|
2010-10-10 05:45:30 +00:00 |
|
GRExprEngineExperimentalChecks.h
|
Add experimental chroot check which checks improper use of chroot(). Patch by
|
2010-10-10 05:45:30 +00:00 |
|
GRExprEngineInternalChecks.h
|
Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex can be nil
|
2010-09-10 03:05:40 +00:00 |
|
GRState.cpp
|
Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().
|
2010-09-09 07:13:00 +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
|
Don't flag idempotent '+' or '-' warnings for pointer arithmetic (typically false positives).
|
2010-10-29 01:06:54 +00:00 |
|
LLVMConventionsChecker.cpp
|
Remove dead code, caught by unused function warnings.
|
2010-08-15 01:15:58 +00:00 |
|
MacOSXAPIChecker.cpp
|
Checker: random include cleanup.
|
2010-03-27 21:19:47 +00:00 |
|
Makefile
|
BUILD_ARCHIVE is the default for libraries, no need to set it.
|
2010-07-18 00:14:47 +00:00 |
|
MallocChecker.cpp
|
"I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment
|
2010-09-03 04:34:38 +00:00 |
|
ManagerRegistry.cpp
|
…
|
|
|
MemRegion.cpp
|
Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals can be used as
|
2010-09-15 03:13:30 +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
|
MemRegion can refer to ASTContext without external help.
|
2010-08-11 06:10:55 +00:00 |
|
ObjCAtSyncChecker.cpp
|
Only enable the ObjCAtSyncChecker when the translation unit uses Objective-C.
|
2010-11-08 16:52:54 +00:00 |
|
ObjCUnusedIVarsChecker.cpp
|
Don't warn about unamed bitfield ivars in the ObjCUnusedIvarsChecker. Fixes <rdar://problem/8481311>.
|
2010-10-28 02:16:22 +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
|
GCC didn't care for my attempt at API compatibility, so brute-force everything
|
2010-08-25 11:45:40 +00:00 |
|
PointerSubChecker.cpp
|
GCC didn't care for my attempt at API compatibility, so brute-force everything
|
2010-08-25 11:45:40 +00:00 |
|
PthreadLockChecker.cpp
|
Teach the CStringChecker and PthreadLockChecker about non-identifier
|
2010-11-01 23:16:05 +00:00 |
|
RangeConstraintManager.cpp
|
zap dead ctor
|
2010-08-26 01:17:33 +00:00 |
|
RegionStore.cpp
|
Fix lazy symbolication bug in RegionStore involving fields of global variables. When invalidated, the entire
|
2010-10-26 00:06:17 +00:00 |
|
ReturnPointerRangeChecker.cpp
|
do not bind temporaries to non-const references
|
2010-09-09 10:51:37 +00:00 |
|
ReturnUndefChecker.cpp
|
Add range of return value expression in ReturnUndefChecker. Patch by Jim Goodnow II!
|
2010-08-31 01:35:32 +00:00 |
|
SVals.cpp
|
Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals can be used as
|
2010-09-15 03:13:30 +00:00 |
|
SValuator.cpp
|
GCC didn't care for my attempt at API compatibility, so brute-force everything
|
2010-08-25 11:45:40 +00:00 |
|
SimpleConstraintManager.cpp
|
GCC didn't care for my attempt at API compatibility, so brute-force everything
|
2010-08-25 11:45:40 +00:00 |
|
SimpleConstraintManager.h
|
- Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking.
|
2010-08-16 01:15:17 +00:00 |
|
SimpleSValuator.cpp
|
"I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment
|
2010-09-03 04:34:38 +00:00 |
|
StackAddrLeakChecker.cpp
|
Detabify.
|
2010-08-22 01:00:03 +00:00 |
|
Store.cpp
|
Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals can be used as
|
2010-09-15 03:13:30 +00:00 |
|
StreamChecker.cpp
|
Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) and simplify surrounding checking logic.
|
2010-09-07 20:45:26 +00:00 |
|
SymbolManager.cpp
|
Enabled relaxed LiveVariables analysis in the path-sensitive engine to increase the coverage of bugs. Primarily affects IdempotentOperationChecker.
|
2010-08-27 22:46:32 +00:00 |
|
UndefBranchChecker.cpp
|
Constify all references to Stmt* and CFGBlock* in libChecker.
|
2010-07-20 06:22:24 +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
|
For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE. Now StoreE (const Stmt*) represents the expression where the store took place, which is the assignment expression if it takes place in an assignment. This removes some conceptual dissidence as well as removes an extra parameter from the Checker::PreVisitBind() visitor. It also improves ranges and source location information in analyzer diagnostics.
|
2010-09-02 00:56:20 +00:00 |
|
UnixAPIChecker.cpp
|
GCC didn't care for my attempt at API compatibility, so brute-force everything
|
2010-08-25 11:45:40 +00:00 |
|
UnreachableCodeChecker.cpp
|
UnreachableCodeChecker cleanup and improvements
|
2010-10-06 23:02:25 +00:00 |
|
VLASizeChecker.cpp
|
GCC didn't care for my attempt at API compatibility, so brute-force everything
|
2010-08-25 11:45:40 +00:00 |
|
ValueManager.cpp
|
Another metadata symbol change (missed a file)
|
2010-08-14 20:22:12 +00:00 |
14715b7f2f