scan-build checks list?

Clang Frontend
1

Hi.

I have very good results in code quality review with clang.
What I would like to have is a list of checks that scan-build can report.
It looks like the need of such a list already appeared here: http://clang-analyzer.llvm.org/available_checks.html
yet is not yet done.

Is the checks list documented somewhere?
Or can I extract it from the source code?

thanks! Julian Kania

2

Hi Julian,

As you point out, that list has not been updated (or created) yet. I’m very sorry about that, and I hope to get around to creating that page soon. Most of the available checks can be gleamed from looking at lib/Checker:

$ ls | grep ‘Checker.cpp’
AdjustedReturnValueChecker.cpp
AnalyzerStatsChecker.cpp
ArrayBoundChecker.cpp
AttrNonNullChecker.cpp
BuiltinFunctionChecker.cpp
CStringChecker.cpp
CallAndMessageChecker.cpp
CastSizeChecker.cpp
CastToStructChecker.cpp
Checker.cpp
DereferenceChecker.cpp
DivZeroChecker.cpp
FixedAddressChecker.cpp
IdempotentOperationChecker.cpp
LLVMConventionsChecker.cpp
MacOSXAPIChecker.cpp
MallocChecker.cpp
NSAutoreleasePoolChecker.cpp
NSErrorChecker.cpp
NoReturnFunctionChecker.cpp
OSAtomicChecker.cpp
ObjCAtSyncChecker.cpp
ObjCUnusedIVarsChecker.cpp
PointerArithChecker.cpp
PointerSubChecker.cpp
PthreadLockChecker.cpp
ReturnPointerRangeChecker.cpp
ReturnUndefChecker.cpp
StackAddrLeakChecker.cpp
StreamChecker.cpp
UndefBranchChecker.cpp
UndefCapturedBlockVarChecker.cpp
UndefResultChecker.cpp
UndefinedArraySubscriptChecker.cpp
UndefinedAssignmentChecker.cpp
UnixAPIChecker.cpp
UnreachableCodeChecker.cpp
VLASizeChecker.cpp

This is an over approximation of what checks are on by default, as some are experimental checks that are still too immature to be on be default.

3

Is the checks list documented somewhere?
Or can I extract it from the source code?

As you point out, that list has not been updated (or created) yet. I'm very sorry about that, and I hope to get around to creating that page soon. Most of the available checks can be gleamed from looking at lib/Checker:
$ ls | grep 'Checker.cpp'
[cut]

Hi Ted,
Thanks for the replay.I extracted the comments from the the sources
and it was what I needed - it helped a lot for
non-programmes/executives to understand what is being done.

Regards, Julian