[cfe-dev] Adding a new static analysis checker by default

Honggyu Kim hong.gyu.kim at lge.com
Thu Apr 23 23:46:57 PDT 2015


Hi Aditya,

Your answer is absolutely right. The checkers are not classified if they
are default checkers or not.
I appreciate your detail answer.

Thanks,

Honggyu

On Thu, Apr 23, 2015 at 02:19:48PM +0000, Aditya K wrote:
> Actually, you can make any checker as a default by enabling it in Tools.cpp (http://clang.llvm.org/doxygen/Tools_8cpp_source.html)
> 
> 
> 02729     // Add default argument set.
> 02730     if (!Args.hasArg(options::OPT__analyzer_no_default_checks)) {
> 02731       CmdArgs.push_back("-analyzer-checker=core");
> 02732 
> 02733       if (!IsWindowsMSVC)
> 02734         CmdArgs.push_back("-analyzer-checker=unix");
> 02735 
> 02736       if (getToolChain().getTriple().getVendor() == llvm::Triple::Apple)
> 02737         CmdArgs.push_back("-analyzer-checker=osx");
> 02738       
> 02739       CmdArgs.push_back("-analyzer-checker=deadcode");
> 02740       
> 02741       if (types::isCXX(Inputs[0].getType()))
> 02742         CmdArgs.push_back("-analyzer-checker=cplusplus");
> 02743 
> 02744       // Enable the following experimental checkers for testing.
> 02745       CmdArgs.push_back(
> 02746           "-analyzer-checker=security.insecureAPI.UncheckedReturn");
> 02747       CmdArgs.push_back("-analyzer-checker=security.insecureAPI.getpw");
> 02748       CmdArgs.push_back("-analyzer-checker=security.insecureAPI.gets");
> 02749       CmdArgs.push_back("-analyzer-checker=security.insecureAPI.mktemp");      
> 02750       CmdArgs.push_back("-analyzer-checker=security.insecureAPI.mkstemp");
> 02751       CmdArgs.push_back("-analyzer-checker=security.insecureAPI.vfork");
> 
> // Add your checker here to enable it by default.
> 
> 02752     }
> 
> I think the checkers are classified according to their functionality, and not whether they should be default or not.
> 
> hth,
> -Aditya
> 
> 
> 
> > From: hong.gyu.kim at lge.com
> > To: adrian.neumann at siemens.com; cfe-dev at cs.uiuc.edu
> > Date: Thu, 23 Apr 2015 21:17:07 +0900
> > Subject: Re: [cfe-dev] Adding a new static analysis checker by default
> > 
> > Right, the problem was that I put the checker as an alpha checker.
> > I have moved to core checker list, then it works fine now.
> > Thank you very much.
> > 
> > Honggyu
> > 
> > > -----Original Message-----
> > > From: cfe-dev-bounces at cs.uiuc.edu [mailto:cfe-dev-bounces at cs.uiuc.edu] On Behalf Of Neumann, Adrian
> > > Sent: Thursday, April 23, 2015 6:30 PM
> > > To: cfe-dev at cs.uiuc.edu
> > > Subject: Re: [cfe-dev] Adding a new static analysis checker by default
> > > 
> > > Did you follow the steps described in the developer's manual?
> > > 
> > > > http://clang-analyzer.llvm.org/checker_dev_manual.html#registration
> > 
> > 
> > _______________________________________________
> > cfe-dev mailing list
> > cfe-dev at cs.uiuc.edu
> > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>  		 	   		  

> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev




More information about the cfe-dev mailing list