llvm-project

AdjustedReturnValueChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

AggExprVisitor.cpp

Add a AggExprVisitor class. It contains lots of boiler

2010-03-23 07:32:14 +00:00

ArrayBoundChecker.cpp

Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'

2010-01-25 17:10:22 +00:00

AttrNonNullChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

BasicConstraintManager.cpp

Split libAnalysis into two libraries: libAnalysis and libChecker.

2010-01-25 04:41:41 +00:00

BasicObjCFoundationChecks.cpp

Simplify another switch/strcmp construct. No functionality/performance change.

2010-02-08 19:51:59 +00:00

BasicObjCFoundationChecks.h

Split libAnalysis into two libraries: libAnalysis and libChecker.

2010-01-25 04:41:41 +00:00

BasicStore.cpp

Mark CXXThisRegion in the current or parent stack frame context as live so that

2010-03-17 03:35:08 +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

merge line.

2010-03-23 05:13:26 +00:00

BugReporterVisitors.cpp

Reapply r99024 (but with the memory issue now fixed).

2010-03-20 18:02:01 +00:00

BuiltinFunctionChecker.cpp

Remove #include.

2010-02-25 00:20:28 +00:00

CallAndMessageChecker.cpp

Refactor argument checking in CallAndMessageChecker to be the same

2010-03-18 03:22:29 +00:00

CallInliner.cpp

Use getBody() to get the function definition when the decl referenced is not

2010-02-28 06:39:11 +00:00

CastToStructChecker.cpp

Split libAnalysis into two libraries: libAnalysis and libChecker.

2010-01-25 04:41:41 +00:00

CFRefCount.cpp

Extend ObjCMessageExpr for class method sends with the source location

2010-03-08 16:40:19 +00:00

CheckDeadStores.cpp

Tweak dead stores checker to not emit a warning when initialization

2010-03-18 01:22:39 +00:00

Checker.cpp

Split libAnalysis into two libraries: libAnalysis and libChecker.

2010-01-25 04:41:41 +00:00

CheckObjCDealloc.cpp

Move 'LocalCheckers.h' to the 'Checkers' subdirectory.

2010-01-26 22:59:55 +00:00

CheckObjCInstMethSignature.cpp

Move 'LocalCheckers.h' to the 'Checkers' subdirectory.

2010-01-26 22:59:55 +00:00

CheckSecuritySyntaxOnly.cpp

Use llvm::SmallString instead of std::string.

2010-03-24 22:39:47 +00:00

CheckSizeofPointer.cpp

Move 'LocalCheckers.h' to the 'Checkers' subdirectory.

2010-01-26 22:59:55 +00:00

CMakeLists.txt

update CMakeLists.txt

2010-03-23 08:14:19 +00:00

CocoaConventions.cpp

Reapply r95546, no intended change in performance or functionality.

2010-02-08 18:38:55 +00:00

DereferenceChecker.cpp

Tweak null dereference diagnostics to give clearer diagnostics when

2010-03-23 01:11:38 +00:00

DivZeroChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

Environment.cpp

Remove reference to AnalysisContext in Environment. We already have LocationContext

2010-03-05 04:45:36 +00:00

ExplodedGraph.cpp

Split libAnalysis into two libraries: libAnalysis and libChecker.

2010-01-25 04:41:41 +00:00

FixedAddressChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

FlatStore.cpp

Mark CXXThisRegion in the current or parent stack frame context as live so that

2010-03-17 03:35:08 +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

GRCoreEngine.cpp

Since we now may have basicblocks with the same block is in different function,

2010-03-23 05:05:02 +00:00

GRExprEngine.cpp

Add methods to remove a GDM entry.

2010-03-25 01:39:39 +00:00

GRExprEngineExperimentalChecks.cpp

Move 'LocalCheckers.h' to the 'Checkers' subdirectory.

2010-01-26 22:59:55 +00:00

GRExprEngineExperimentalChecks.h

Split libAnalysis into two libraries: libAnalysis and libChecker.

2010-01-25 04:41:41 +00:00

GRExprEngineInternalChecks.h

Add MacOSXAPIChecker, a meta checker to include various precondition checks for calls

2010-02-25 05:44:09 +00:00

GRState.cpp

Add methods to remove a GDM entry.

2010-03-25 01:39:39 +00:00

LLVMConventionsChecker.cpp

clang::Attr objects should be treated as AST nodes as well by

2010-02-14 22:58:16 +00:00

MacOSXAPIChecker.cpp

Add MacOSXAPIChecker, a meta checker to include various precondition checks for calls

2010-02-25 05:44:09 +00:00

Makefile

Allow users to set CPPFLAGS and CXXFLAGS on the make command line.

2010-03-12 22:55:16 +00:00

MallocChecker.cpp

Add use-after-free check to MallocChecker.

2010-03-10 04:58:55 +00:00

ManagerRegistry.cpp

Split libAnalysis into two libraries: libAnalysis and libChecker.

2010-01-25 04:41:41 +00:00

MemRegion.cpp

For inline-based inter-procedural analysis, we will have multiple stack space regions. Use a dense map to store them.

2010-02-17 08:46:50 +00:00

NoReturnFunctionChecker.cpp

Fix NoReturnFunctionChecker to properly look at a function's type

2010-03-26 22:57:13 +00:00

NSAutoreleasePoolChecker.cpp

Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'

2010-01-25 17:10:22 +00:00

NSErrorChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

ObjCUnusedIVarsChecker.cpp

Enhance the unused ivar checker to not consider an ivar to be accidentally unused

2010-02-25 03:26:55 +00:00

OSAtomicChecker.cpp

Remove stray #include.

2010-02-25 00:20:31 +00:00

PathDiagnostic.cpp

Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'

2010-01-25 17:10:22 +00:00

PointerArithChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

PointerSubChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

PthreadLockChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

RangeConstraintManager.cpp

Split libAnalysis into two libraries: libAnalysis and libChecker.

2010-01-25 04:41:41 +00:00

RegionStore.cpp

Bind the constructed object value to CXXConstructExpr.

2010-03-23 09:13:17 +00:00

ReturnPointerRangeChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

ReturnStackAddressChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

ReturnUndefChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

SimpleConstraintManager.cpp

Split libAnalysis into two libraries: libAnalysis and libChecker.

2010-01-25 04:41:41 +00:00

SimpleConstraintManager.h

Split libAnalysis into two libraries: libAnalysis and libChecker.

2010-01-25 04:41:41 +00:00

SimpleSValuator.cpp

Remove unused parameter.

2010-02-05 05:24:20 +00:00

Store.cpp

Eliminate the ASTContext parameter from RecordDecl::getDefinition()

2010-02-11 01:04:33 +00:00

SVals.cpp

Add use-after-free check to MallocChecker.

2010-03-10 04:58:55 +00:00

SValuator.cpp

Cast evaluation no longer touch GRState.

2010-02-04 04:56:43 +00:00

SymbolManager.cpp

Remove reference to AnalysisContext in Environment. We already have LocationContext

2010-03-05 04:45:36 +00:00

UndefBranchChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

UndefCapturedBlockVarChecker.cpp

Add simpler checker to check if variables captured by a block are uninitialized.

2010-02-16 08:33:59 +00:00

UndefinedArraySubscriptChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

UndefinedAssignmentChecker.cpp

Improve the diagnostics for the UndefinedAssignmentChecker when an

2010-03-22 22:16:26 +00:00

UndefResultChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00

UnixAPIChecker.cpp

When generating error node, check to see if we already cached out.

2010-02-25 05:44:05 +00:00

ValueManager.cpp

Since now we store the cast type with an ElementRegion, there is

2010-03-01 06:56:52 +00:00

VLASizeChecker.cpp

Revert 95541.

2010-02-08 16:18:51 +00:00