What does Coverity/clang static analysis actually do?

[Leandro Lucarella]

Leandro Lucarella, el  1 de octubre a las 16:24 me escribiste:
> Walter Bright, el  1 de octubre a las 11:21 me escribiste:
> > I've been interested in having the D compiler take advantage of the
> > flow analysis in the optimizer to do some more checking. Coverity
> > and clang get a lot of positive press about doing this, but any
> > details of exactly *what* they do have been either carefully hidden
> > (in Coverity's case) or undocumented (clang's page on this is
> > blank). All I can find is marketing hype and a lot of vague
> > handwaving.
> 
> Clang is still in development. It will be released with LLVM in the
> upcoming 2.6 version for the first time. The C and objective C support is
> supposed to be fairly mature though, but I guess documenting the static
> analyzer is not very high in their priority list (maybe this will change
> after the release).
> 
> You can ask in the Clang ML, Clang developers (and LLVM in general) are
> very receptive.

I just found this:
http://clang-analyzer.llvm.org/available_checks.html

-- 
Leandro Lucarella (AKA luca)                      http://llucax.com.ar/
----------------------------------------------------------------------
GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145  104C 949E BFB6 5F5A 8D05)
----------------------------------------------------------------------
El otro día tenía un plan
Pero después me olvidé y me comí un flan