[cfe-dev] How to run only a specific checker with scan-build (Static Analyzer)?

Saheel Godhane srgodhane at ucdavis.edu
Tue Jan 20 15:13:53 PST 2015


On Tuesday, January 20, 2015, Anna Zaks <ganna at apple.com> wrote:

> Unfortunately, we don't have such a flag for scan-build.
>
> Note that some checkers depend on "core" checkers to be enabled. Some of
> the core checkers are responsible for modeling tasks, for example, dealing
> with noreturn functions.
>

Hmmm... I am doing some simple debug stuff but I'll keep that in mind if I
run into some problem. Thanks!


>
> Cheers,
> Anna.
>
> On Jan 20, 2015, at 9:04 AM, Saheel Godhane <srgodhane at ucdavis.edu
> <javascript:_e(%7B%7D,'cvml','srgodhane at ucdavis.edu');>> wrote:
>
> Hello everyone,
>
> I have written a checker and wish to run it over a whole-program (entire
> project). I think the scan-build utility comes pretty handy in this case.
> But it has lots of default checkers enabled. I found no straightforward way
> to disable all of them, other than using the -disable-checker flag in
> scan-build for each one of them.
>
> *Hence my question: how to run only a specific checker with scan-build? OR
> how to disable all default checkers at once?*
>
> Worst comes to worst, I will just use the -disable-checker flag, but
> wanted to know if there's a better way to accomplish this.
>
> Regards,
> Saheel.
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu <javascript:_e(%7B%7D,'cvml','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/20150120/2d52d75e/attachment.html>


More information about the cfe-dev mailing list