c++-analyzer on llvm-clang svn r162229

classic Classic list List threaded Threaded
5 messages Options
Reply | Threaded
Open this post in threaded view
|

c++-analyzer on llvm-clang svn r162229

lbalbalba
Hi,


The results from running scan-build (r162229) on llvm-clang svn r162229 :

http://lbalbalba.x90x.net/clang-analyzer/llvm-clang/r162229/



Regards,


John Smith.
_______________________________________________
cfe-dev mailing list
[hidden email]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
Reply | Threaded
Open this post in threaded view
|

Re: c++-analyzer on llvm-clang svn r162229

chinux
this is probably out of track of this topic. I am wondering how well does static-analyzer do regarding to C++. According to http://clang-analyzer.llvm.org/dev_cxx.html, C++ support for static analyzer is not completed. Is it still so?
Reply | Threaded
Open this post in threaded view
|

Re: c++-analyzer on llvm-clang svn r162229

Ted Kremenek
We've actually made huge progress on analyzer support for C++ in the last year, especially in the last several months.  We're aiming to having significantly better C++ support ready by the LLVM 3.2 release.  Right now a few things are in flight, and the newest analyzer improvements in this area isn't on by default yet.  We're hoping to have most of that on by default in trunk (and then in LLVM 3.2) within the next month.  There will still be more to do after that, but the difference in C++ support between previous versions of the analyzer and these improvements is night and day.

On Aug 22, 2012, at 11:16 AM, chinux <[hidden email]> wrote:

> this is probably out of track of this topic. I am wondering how well does
> static-analyzer do regarding to C++. According to
> http://clang-analyzer.llvm.org/dev_cxx.html, C++ support for static analyzer
> is not completed. Is it still so?
>
>
>
> --
> View this message in context: http://clang-developers.42468.n3.nabble.com/c-analyzer-on-llvm-clang-svn-r162229-tp4026306p4026319.html
> Sent from the Clang Developers mailing list archive at Nabble.com.
> _______________________________________________
> cfe-dev mailing list
> [hidden email]
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

_______________________________________________
cfe-dev mailing list
[hidden email]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
Reply | Threaded
Open this post in threaded view
|

Re: c++-analyzer on llvm-clang svn r162229

chinux
Hi Ted,

Great to hear the progress in Static Analyzer. I really want to try out the new analyzer. Can you point me to where to start if I want to turn it out in the LLVM 3.2 trunk?

Thanks,
Chen

On Friday, August 24, 2012 at 10:42 PM, Ted Kremenek [via Clang Developers] wrote:

We've actually made huge progress on analyzer support for C++ in the last year, especially in the last several months.  We're aiming to having significantly better C++ support ready by the LLVM 3.2 release.  Right now a few things are in flight, and the newest analyzer improvements in this area isn't on by default yet.  We're hoping to have most of that on by default in trunk (and then in LLVM 3.2) within the next month.  There will still be more to do after that, but the difference in C++ support between previous versions of the analyzer and these improvements is night and day.

On Aug 22, 2012, at 11:16 AM, chinux <[hidden email]> wrote:

> this is probably out of track of this topic. I am wondering how well does
> static-analyzer do regarding to C++. According to
> http://clang-analyzer.llvm.org/dev_cxx.html, C++ support for static analyzer
> is not completed. Is it still so?
>
>
>
> --
> View this message in context: http://clang-developers.42468.n3.nabble.com/c-analyzer-on-llvm-clang-svn-r162229-tp4026306p4026319.html
> Sent from the Clang Developers mailing list archive at Nabble.com.
> _______________________________________________
> cfe-dev mailing list
> [hidden email]
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
_______________________________________________
cfe-dev mailing list
[hidden email]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev



If you reply to this email, your message will be added to the discussion below:
http://clang-developers.42468.n3.nabble.com/c-analyzer-on-llvm-clang-svn-r162229-tp4026306p4026351.html
To start a new topic under Clang Developers, email [hidden email]
To unsubscribe from Clang Developers, click here.
NAML

Reply | Threaded
Open this post in threaded view
|

Re: c++-analyzer on llvm-clang svn r162229

Ted Kremenek
Hi Chen,

If you are on OS X, I just posted an open source checker build (checker-268) that enables the subset of C++ inter procedural analysis support that we feel comfortable users trying out.  If you are building from trunk, those same set of options are enabled by default.  Over the next couple weeks we will gradually enable more support for things we are already working on, and then we expect the support to get gradually better in stages over the next year.

Ted

On Sep 11, 2012, at 4:40 PM, chinux <[hidden email]> wrote:

> Hi Ted,
>
> Great to hear the progress in Static Analyzer. I really want to try out the new analyzer. Can you point me to where to start if I want to turn it out in the LLVM 3.2 trunk?
>
> Thanks,
> Chen
>
>
> On Friday, August 24, 2012 at 10:42 PM, Ted Kremenek [via Clang Developers] wrote:
>
>> We've actually made huge progress on analyzer support for C++ in the last year, especially in the last several months.  We're aiming to having significantly better C++ support ready by the LLVM 3.2 release.  Right now a few things are in flight, and the newest analyzer improvements in this area isn't on by default yet.  We're hoping to have most of that on by default in trunk (and then in LLVM 3.2) within the next month.  There will still be more to do after that, but the difference in C++ support between previous versions of the analyzer and these improvements is night and day.
>>
>> On Aug 22, 2012, at 11:16 AM, chinux <[hidden email] (/user/SendEmail.jtp?type=node&node=4026351&i=0)> wrote:
>>
>>> this is probably out of track of this topic. I am wondering how well does
>>> static-analyzer do regarding to C++. According to
>>> http://clang-analyzer.llvm.org/dev_cxx.html, C++ support for static analyzer
>>> is not completed. Is it still so?
>>>
>>>
>>>
>>> --
>>> View this message in context: http://clang-developers.42468.n3.nabble.com/c-analyzer-on-llvm-clang-svn-r162229-tp4026306p4026319.html
>>> Sent from the Clang Developers mailing list archive at Nabble.com (http://Nabble.com).
>>> _______________________________________________
>>> cfe-dev mailing list
>>> [hidden email] (/user/SendEmail.jtp?type=node&node=4026351&i=1)
>>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>> _______________________________________________
>> cfe-dev mailing list
>> [hidden email] (/user/SendEmail.jtp?type=node&node=4026351&i=2)
>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>>
>>
>> If you reply to this email, your message will be added to the discussion below: http://clang-developers.42468.n3.nabble.com/c-analyzer-on-llvm-clang-svn-r162229-tp4026306p4026351.html 
>> To start a new topic under Clang Developers, email [hidden email] (mailto:[hidden email])
>> To unsubscribe from Clang Developers, click here (
>> NAML (
http://clang-developers.42468.n3.nabble.com/template/NamlServlet.jtp?macro=macro_viewer&id=instant_html%21nabble%3Aemail.naml&base=nabble.naml.namespaces.BasicNamespace-nabble.view.web.template.NabbleNamespace-nabble.view.web.template.NodeNamespace&breadcrumbs=notify_subscribers%21nabble%3Aemail.naml-instant_emails%21nabble%3Aemail.naml-send_instant_email%21nabble%3Aemail.naml)
>
>
>
>
>
> --
> View this message in context: http://clang-developers.42468.n3.nabble.com/c-analyzer-on-llvm-clang-svn-r162229-tp4026306p4026613.html
> Sent from the Clang Developers mailing list archive at Nabble.com.
> _______________________________________________
> cfe-dev mailing list
> [hidden email]
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

_______________________________________________
cfe-dev mailing list
[hidden email]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev