..
AdjustedReturnValueChecker.cpp
MemRegion can refer to ASTContext without external help.
2010-08-11 06:10:55 +00:00
AggExprVisitor.cpp
Add comments.
2010-08-29 05:16:31 +00:00
AnalysisConsumer.cpp
Added two new command line arguments:
2010-09-30 07:41:24 +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
Remove dead code, caught by unused function warnings.
2010-08-15 01:15:58 +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
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
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
CMakeLists.txt
Revert "CMake: Update to use standard CMake dependency tracking facilities instead"
2010-09-13 23:54:41 +00:00
CStringChecker.cpp
do not bind temporaries to non-const references
2010-09-09 10:51:37 +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
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
Polish diagnostics for null dereferences via ObjC ivar accesses. Finishes up <rdar://problem/6352035>.
2010-09-10 20:20:49 +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
Include changes to VisitCXXMemberCallExpr (call visitor functions).
2010-09-30 01:06:29 +00:00
GRCoreEngine.cpp
Added two new command line arguments:
2010-09-30 07:41:24 +00:00
GRExprEngine.cpp
Refactor GRExprEngine::VisitCall() to use EvalArguments(), just like VisitCXXMemberCallExpr(). Ideally we should unify these code paths as much as possible, since they only differ by a few details.
2010-09-23 05:14:51 +00:00
GRExprEngineExperimentalChecks.cpp
Added an path-sensitive unreachable code checker to the experimental analyzer checks.
2010-07-23 23:04:53 +00:00
GRExprEngineExperimentalChecks.h
Added AnalyzerStatsChecker, a path sensitive check that reports visitation statistics about analysis. Running clang with the -analyzer-stats flag will emit warnings containing the information. We can then run a postanalysis script to take this data and give useful information about how much the analyzer missed in a project.
2010-09-10 00:44:44 +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
Revert r114244 since it breaks a test in Analysis.
2010-09-18 00:17:17 +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
Add checker implementation for my previous commit!
2010-09-10 03:45:29 +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
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
Revert 95541.
2010-02-08 16:18:51 +00:00
RangeConstraintManager.cpp
zap dead ctor
2010-08-26 01:17:33 +00:00
RegionStore.cpp
Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals can be used as
2010-09-15 03:13:30 +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
ea53e82c78