..
AdjustedReturnValueChecker.cpp
Revert 95541.
2010-02-08 16:18:51 +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
[CFG]
2010-03-02 21:43:54 +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
Revert 95541.
2010-02-08 16:18:51 +00:00
BugReporterVisitors.cpp
Add simpler checker to check if variables captured by a block are uninitialized.
2010-02-16 08:33:59 +00:00
BuiltinFunctionChecker.cpp
Remove #include.
2010-02-25 00:20:28 +00:00
CFRefCount.cpp
Recognize attributes ns_returns_not_retained and cf_returns_not_retained
2010-02-18 00:06:12 +00:00
CMakeLists.txt
Add MacOSXAPIChecker, a meta checker to include various precondition checks for calls
2010-02-25 05:44:09 +00:00
CallAndMessageChecker.cpp
Revert 95541.
2010-02-08 16:18:51 +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
CheckDeadStores.cpp
Dead emit dead store warnings when assigning nil to an ObjC object
2010-02-23 21:19:33 +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
Move 'LocalCheckers.h' to the 'Checkers' subdirectory.
2010-01-26 22:59:55 +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
Move 'include/Checkers/PathSensitive/Checkers' directory to 'include/Checkers'.
2010-01-26 22:56:15 +00:00
DivZeroChecker.cpp
Revert 95541.
2010-02-08 16:18:51 +00:00
Environment.cpp
Split libAnalysis into two libraries: libAnalysis and libChecker.
2010-01-25 04:41:41 +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
Since now we store the cast type with an ElementRegion, there is
2010-03-01 06:56:52 +00:00
GRBlockCounter.cpp
Split libAnalysis into two libraries: libAnalysis and libChecker.
2010-01-25 04:41:41 +00:00
GRCoreEngine.cpp
When profiling Environment, also profile with AnalysisContext*, bacause
2010-03-04 09:04:52 +00:00
GRExprEngine.cpp
When profiling Environment, also profile with AnalysisContext*, bacause
2010-03-04 09:04:52 +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
When profiling Environment, also profile with AnalysisContext*, bacause
2010-03-04 09:04:52 +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
Add missing file.
2010-01-25 04:48:38 +00:00
MallocChecker.cpp
Fix pr6293. If ptr is NULL, no operation is preformed.
2010-02-14 06:49:48 +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
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
NoReturnFunctionChecker.cpp
Revert 95541.
2010-02-08 16:18:51 +00:00
OSAtomicChecker.cpp
Remove stray #include.
2010-02-25 00:20:31 +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
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
Since now we store the cast type with an ElementRegion, there is
2010-03-01 06:56:52 +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
SVals.cpp
Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to
2010-02-05 02:26:30 +00:00
SValuator.cpp
Cast evaluation no longer touch GRState.
2010-02-04 04:56:43 +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
SymbolManager.cpp
Since now we store the cast type with an ElementRegion, there is
2010-03-01 06:56:52 +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
UndefResultChecker.cpp
Revert 95541.
2010-02-08 16:18:51 +00:00
UndefinedArraySubscriptChecker.cpp
Revert 95541.
2010-02-08 16:18:51 +00:00
UndefinedAssignmentChecker.cpp
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'
2010-01-25 17:10:22 +00:00
UnixAPIChecker.cpp
When generating error node, check to see if we already cached out.
2010-02-25 05:44:05 +00:00
VLASizeChecker.cpp
Revert 95541.
2010-02-08 16:18:51 +00:00
ValueManager.cpp
Since now we store the cast type with an ElementRegion, there is
2010-03-01 06:56:52 +00:00
5cb8d9d40f