[cfe-dev] Clang Static Analyzer without scan-build

[Manuel Klimek]

On Mon, Jun 17, 2013 at 10:24 AM, Michele Galante <
m.galante at centrosistemi.it> wrote:

> I would like to use the Clang Static Analyzer in our projects but I'm
> having some difficulties in figuring out how to integrate it in our build
> systems.
>
> We currently use SCons to build our projects. We develop firmware for
> embedded systems, so a single project usually builds executables for
> different targets using different toolchains. In addition, the SCons script
> will build the unit tests using the host system compiler in order to run
> them on the host.
>
> At the moment we are using PC-Lint to perform static analysis. This tool
> can be used like a typical compiler. You can compile a single source file
> to a (sort of) object file, the object files can be grouped in libraries,
> object files and libraries can be linked to a (sort of) final executable.
> During the compilation the tool analyzes the single source file in
> isolation, during the link it does some inter-module analysis. This
> approach fits very well with our build system, because we can use the lint
> tool like any other toolchain.
>
> I understand that Clang Static Analyzer is driven by the scan-build
> script. This script substitutes calls to the compiler with calls to the
> static analyzer by acting on the typical build variables like CC. This
> approach does not work with our build system, because we do not use any
> external build variable but instead the build script will explicitly select
> different toolchains while building programs for different targets.
>
> Is there a (documented) way to use Clang Static Analyzer directly without
> the scan-build script?
>

If you can somehow create a compilation database (cmake and ninja currently
can do so, adding support for scons shouldn't be too hard -
http://clang.llvm.org/docs/JSONCompilationDatabase.html), you can use
$ clang-check -analyze path/to/my/file.cpp

Cheers,
/Manuel


>
> Michele Galante
> Direzione Tecnica
> Laboratorio delle Idee
>
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130617/879be16b/attachment.html>