| .. |
|
AdjustedReturnValueChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
AnalyzerStatsChecker.cpp
|
Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn't know how to handle a specific Expr type.
|
2011-04-02 02:56:23 +00:00 |
|
ArrayBoundChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
ArrayBoundCheckerV2.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
AttrNonNullChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
BasicObjCFoundationChecks.cpp
|
Teach VariadicMethodTypeChecker about pointers attributed as 'NSObject'.
|
2011-03-17 04:10:25 +00:00 |
|
BuiltinFunctionChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
CMakeLists.txt
|
Add initial version of "IteratorsChecker", a checker to find misues uses of C++ iterators.
|
2011-03-12 02:49:15 +00:00 |
|
CStringChecker.cpp
|
Adding Static Analyzer checker for mempcpy().
|
2011-03-31 21:36:53 +00:00 |
|
CallAndMessageChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
CastSizeChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
CastToStructChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
CheckObjCDealloc.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
CheckObjCInstMethSignature.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
CheckSecuritySyntaxOnly.cpp
|
Refactoring the security checker a little bit so that each CallExpr check doesn't get called for each CallExpr. Instead it does a switch and only runs the check for the proper identifier. Slight speed improvement (probably significant on very large ASTs), and should make it easier and more clear to add more checks for other CallExpr's later.
|
2011-04-03 05:07:11 +00:00 |
|
CheckSizeofPointer.cpp
|
Add support for the OpenCL vec_step operator, by generalising and
|
2011-03-11 19:24:49 +00:00 |
|
Checkers.td
|
[analyzer] Checker Packages can now belong to a group. This requires llvm commit r128474.
|
2011-03-29 18:54:02 +00:00 |
|
ChrootChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
ClangSACheckerProvider.cpp
|
[analyzer] Allow all checkers of a group to be enabled.
|
2011-03-29 23:57:41 +00:00 |
|
ClangSACheckerProvider.h
|
[analyzer] Overhauling of the checker registration mechanism.
|
2011-02-14 18:13:31 +00:00 |
|
ClangSACheckers.h
|
[analyzer] For -analyzer-checker-help show all the info about groups, packages, and which packages/checkers are hidden.
|
2011-03-29 23:57:38 +00:00 |
|
DeadStoresChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
DebugCheckers.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
DereferenceChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
DivZeroChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
FixedAddressChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
IdempotentOperationChecker.cpp
|
Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn't know how to handle a specific Expr type.
|
2011-04-02 02:56:23 +00:00 |
|
IteratorsChecker.cpp
|
Don't have side-effects (or rather non-trivial computation) in StringSwitch "cases."
|
2011-03-12 04:08:07 +00:00 |
|
LLVMConventionsChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
MacOSXAPIChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
Makefile
|
[analyzer] Reflect changes for tablegen'ing the checkers.
|
2011-02-15 07:42:38 +00:00 |
|
MallocChecker.cpp
|
Remove a redundant method. We have a const version.
|
2011-04-02 03:20:45 +00:00 |
|
NSAutoreleasePoolChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
NSErrorChecker.cpp
|
[analyzer] Also make sure that the parameter is coming from the current stack frame.
|
2011-03-01 01:59:41 +00:00 |
|
NoReturnFunctionChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
OSAtomicChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
ObjCAtSyncChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
ObjCSelfInitChecker.cpp
|
Move some of the logic about classifying Objective-C methods into
|
2011-03-02 01:50:55 +00:00 |
|
ObjCUnusedIVarsChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
PointerArithChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
PointerSubChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
PthreadLockChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
ReturnPointerRangeChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
ReturnUndefChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
StackAddrEscapeChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
StreamChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
UndefBranchChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
UndefCapturedBlockVarChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
UndefResultChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
UndefinedArraySubscriptChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
UndefinedAssignmentChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
UnixAPIChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
|
UnreachableCodeChecker.cpp
|
Add support for the OpenCL vec_step operator, by generalising and
|
2011-03-11 19:24:49 +00:00 |
|
VLASizeChecker.cpp
|
[analyzer] Rename CheckerV2 -> Checker.
|
2011-03-01 01:16:21 +00:00 |
fca2e9618a