[cfe-dev] Static Analyzer (annotations, path sensitive analysis)
kozargabor at gmail.com
Fri May 31 06:43:13 PDT 2013
There was some discussion several weeks ago about implementing a
generalized attribute for the static analyzer. You should look it up, as I
recall, it touched the same subjects you're interested in. I do not think
any of it is implemented yet though.
> *Using the scan-build which checkers are enabled by default?*
Any checkers that are not experimental. See
lib/StaticAnalyzer/Checkers/Checkers.td for the classification of the
2013/5/31 Orbán György <o.gyorgy at gmail.com>
> Hi all!
> Are there any other or newer possibilities to suppress a specific analyzer
> I checked the FAQ and there are two possibilities right now
> - analyzer annotations
> - __clang_analzyer__ macro
> I'm interested in C++ code analysis. I found some annotations at the clang
> analyzer webpage but if I understand it right for C++ I can only use the
> attribute nonnull or anlyzer_noreturn. Are there other source code
> annotation I could use?
> Is it possible to create some annotation which will suppress only warnings
> for a given check?
> Using the scan-build which checkers are enabled by default?
> My last question is in connection with the path sensitive analysis. Could
> you give me some details how the exploded graph exploration is made or
> where can i find some information about it? The traversal is made parallel
> for each path?
> Thanks in advance!
> Best regards,
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev