| .. |
|
AdjustedReturnValueChecker.cpp
|
Cast evaluation no longer touch GRState.
|
2010-02-04 04:56:43 +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
|
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'
|
2010-01-25 17:10:22 +00:00 |
|
BasicConstraintManager.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
BasicObjCFoundationChecks.cpp
|
Move 'LocalCheckers.h' to the 'Checkers' subdirectory.
|
2010-01-26 22:59:55 +00:00 |
|
BasicObjCFoundationChecks.h
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
BasicStore.cpp
|
Now that CastRetrievedVal returns SVal, there is no need to use CastResult.
|
2010-02-04 02:39:47 +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
|
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'
|
2010-01-25 17:10:22 +00:00 |
|
BugReporterVisitors.cpp
|
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'
|
2010-01-25 17:10:22 +00:00 |
|
BuiltinFunctionChecker.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
CFRefCount.cpp
|
Move more naming conventions logic out of the retain/release checker to CocoaConventions.h.
|
2010-01-27 18:00:17 +00:00 |
|
CMakeLists.txt
|
static analyzer: handle casts of a function to a function pointer with
|
2010-02-04 00:47:48 +00:00 |
|
CallAndMessageChecker.cpp
|
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'
|
2010-01-25 17:10:22 +00:00 |
|
CallInliner.cpp
|
Move 'LocalCheckers.h' to the 'Checkers' subdirectory.
|
2010-01-26 22:59:55 +00:00 |
|
CastToStructChecker.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
CheckDeadStores.cpp
|
Move 'LocalCheckers.h' to the 'Checkers' subdirectory.
|
2010-01-26 22:59:55 +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 |
|
CheckObjCUnusedIVars.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
|
Move more naming conventions logic out of the retain/release checker to CocoaConventions.h.
|
2010-01-27 18:00:17 +00:00 |
|
DereferenceChecker.cpp
|
Move 'include/Checkers/PathSensitive/Checkers' directory to 'include/Checkers'.
|
2010-01-26 22:56:15 +00:00 |
|
DivZeroChecker.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +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
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
FlatStore.cpp
|
Now that CastRetrievedVal returns SVal, there is no need to use CastResult.
|
2010-02-04 02:39:47 +00:00 |
|
GRBlockCounter.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
GRCoreEngine.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
GRExprEngine.cpp
|
Cast evaluation no longer touch GRState.
|
2010-02-04 04:56:43 +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
|
static analyzer: handle casts of a function to a function pointer with
|
2010-02-04 00:47:48 +00:00 |
|
GRState.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
Makefile
|
Add missing file.
|
2010-01-25 04:48:38 +00:00 |
|
MallocChecker.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
ManagerRegistry.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
MemRegion.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +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
|
Move 'LocalCheckers.h' to the 'Checkers' subdirectory.
|
2010-01-26 22:59:55 +00:00 |
|
NoReturnFunctionChecker.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
OSAtomicChecker.cpp
|
Cast evaluation no longer touch GRState.
|
2010-02-04 04:56:43 +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
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
PointerSubChecker.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
PthreadLockChecker.cpp
|
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'
|
2010-01-25 17:10:22 +00:00 |
|
RangeConstraintManager.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
RegionStore.cpp
|
Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to
|
2010-02-05 02:26:30 +00:00 |
|
ReturnPointerRangeChecker.cpp
|
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'
|
2010-01-25 17:10:22 +00:00 |
|
ReturnStackAddressChecker.cpp
|
Hoist diagnostic generation in ReturnStackAddressChecker into a separate method. No functionality change.
|
2010-02-02 00:13:41 +00:00 |
|
ReturnUndefChecker.cpp
|
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'
|
2010-01-25 17:10:22 +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
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
Store.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
SymbolManager.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
UndefBranchChecker.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
|
UndefResultChecker.cpp
|
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'
|
2010-01-25 17:10:22 +00:00 |
|
UndefinedArraySubscriptChecker.cpp
|
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'
|
2010-01-25 17:10:22 +00:00 |
|
UndefinedAssignmentChecker.cpp
|
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'
|
2010-01-25 17:10:22 +00:00 |
|
VLASizeChecker.cpp
|
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter'
|
2010-01-25 17:10:22 +00:00 |
|
ValueManager.cpp
|
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
2010-01-25 04:41:41 +00:00 |
bd96bf1e78